Grounding Game Semantics in Categorical Algebra von Koenig, Jérémie

Volltext

ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions von Kim, Jieung, Koenig, Jérémie, Chen, Hao, Gu, Ronghui, Shao, Zhong

Volltext

Verified compilation of C programs with a nominal memory model von Wang, Yuting, Zhang, Ling, Shao, Zhong, Koenig, Jérémie

Volltext

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules von Zhang, Ling, Wang, Yuting, Wu, Jinhua, Koenig, Jérémie, Shao, Zhong

Volltext

Layered and object-based game semantics von Oliveira Vale, Arthur, Melliès, Paul-André, Shao, Zhong, Koenig, Jérémie, Stefanesco, Léo

Volltext

On the Feasibility of a Technological Response to the Surveillance Morass (Transcript of Discussion) von Feigenbaum, Joan, Koenig, Jérémie

Volltext

On the Feasibility of a Technological Response to the Surveillance Morass von Feigenbaum, Joan, Koenig, Jérémie

Volltext

Deep Specifications and Certified Abstraction Layers von Gu, Ronghui, Koenig, Jérémie, Ramananandro, Tahina, Shao, Zhong, Wu, Xiongnan (Newman), Weng, Shu-Chun, Zhang, Haozhong, Guo, Yu

Volltext

Grounding Game Semantics in Categorical Algebra von Koenig, Jérémie

Volltext

Systems and methods of formal verification von Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie

Volltext bestellen

SYSTEMS AND METHODS OF FORMAL VERIFICATION von Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie

Volltext bestellen

Systems and methods of formal verification von Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie

Volltext bestellen

SYSTEMS AND METHODS OF FORMAL VERIFICATION von Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie

Volltext bestellen

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules (Technical Report) von Zhang, Ling, Wang, Yuting, Wu, Jinhua, Koenig, Jérémie, Shao, Zhong

Volltext

SYSTEMS AND METHODS OF FORMAL VERIFICATION von GU, Ronghui, KIM, Jieung, SJOBERG, Vilhelm, KOENIG, Jeremie, SHAO, Zhong

Volltext bestellen

Certified concurrent abstraction layers von Gu, Ronghui, Shao, Zhong, Kim, Jieung, Wu, Xiongnan (Newman), Koenig, Jérémie, Sjöberg, Vilhelm, Chen, Hao, Costanzo, David, Ramananandro, Tahina

Volltext

Building certified concurrent OS kernels von Gu, Ronghui, Shao, Zhong, Chen, Hao, Kim, Jieung, Koenig, Jérémie, Wu, Xiongnan (Newman), Sjöberg, Vilhelm, Costanzo, David

Volltext

Novel synergists for flame retarded glass-fiber reinforced poly(1,4-butylene terephthalate) von LOUISY, JEREMIE, BOURBIGOT, SERGE, DUQUESNE, SOPHIE, DESBOIS, PHILIPPE, KOENIG, ALEXANDER, KLATT, MARTIN

Volltext

Integrated clustering of multiple immune marker trajectories reveals different immunotypes in severely injured patients von Bodinier, Maxime, Peronnet, Estelle, Llitjos, Jean-François, Kreitmann, Louis, Brengel-Pesce, Karen, Rimmelé, Thomas, Fleurie, Aurore, Textoris, Julien, Venet, Fabienne, Maucort-Boulch, Delphine, Monneret, Guillaume

Volltext

Dynamic LTR retrotransposon transcriptome landscape in septic shock patients von Mommert, Marine, Tabone, Olivier, Guichard, Audrey, Oriol, Guy, Cerrato, Elisabeth, Denizot, Melanie, Cheynet, Valerie, Pachot, Alexandre, Lepape, Alain, Monneret, Guillaume, Venet, Fabienne, Brengel-Pesce, Karen, Textoris, Julien, Mallet, Francois

Volltext