Author: "Koenig, Jérémie" / Publication Type: Conference Materials - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Koenig, Jérémie"' showing total 4 results

Start Over Author "Koenig, Jérémie" Publication Type Conference Materials

4 results on '"Koenig, Jérémie"'

1. CompCertO: compiling certified open C components

Author: Koenig, Jérémie, primary and Shao, Zhong, additional
Published: 2021
Full Text: View/download PDF

2. Refinement-Based Game Semantics for Certified Abstraction Layers

Author: Koenig, Jérémie, primary and Shao, Zhong, additional
Published: 2020
Full Text: View/download PDF

3. Certified concurrent abstraction layers

Author: Gu, Ronghui, primary, Shao, Zhong, additional, Kim, Jieung, additional, Wu, Xiongnan (Newman), additional, Koenig, Jérémie, additional, Sjöberg, Vilhelm, additional, Chen, Hao, additional, Costanzo, David, additional, and Ramananandro, Tahina, additional
Published: 2018
Full Text: View/download PDF

4. Deep Specifications and Certified Abstraction Layers

Author: Gu, Ronghui, primary, Koenig, Jérémie, additional, Ramananandro, Tahina, additional, Shao, Zhong, additional, Wu, Xiongnan (Newman), additional, Weng, Shu-Chun, additional, Zhang, Haozhong, additional, and Guo, Yu, additional
Published: 2015
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results