Cyrille Comar

Publication Activity (10 Years)

Years Active: 1990-2016
Publications (10 Years): 1

Top Topics

Explicitly Represented

Software Design

Software Package

Current Challenges

Top Venues

Publications

Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Jean-Louis Camus, Cyrille Comar, Hervé Delseny, Jean Gassino, Emmanuel Ledinot, Philippe Quéré, Bertrand Ricque
Software Safety Assessment and Probabilities. DSN Workshops (2016)
Johannes Kanig, Roderick Chapman, Cyrille Comar, Jérôme Guitton, Yannick Moy, Emyr Rees
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. TAP@STAF (2014)
John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones
Certifiably safe software-dependent systems: challenges and directions. FOSE (2014)
Cyrille Comar, Johannes Kanig, Yannick Moy
Integration von Formaler Verifikation und Test. Automotive - Safety & Security (2012)
José F. Ruiz, Cyrille Comar, Yannick Moy
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012. Ada-Europe (2012)
José F. Ruiz, Cyrille Comar
Open-DO: Open Framework for Critical Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 20 (2009)
Cyrille Comar, Franco Gasperoni
Open source in dependable systems: Current and future business models. IFIP Congress Topical Sessions (2004)
Cyrille Comar, Gary Dismukes, Franco Gasperoni
Targeting GNAT to the Java Virtual Machine. TRI-Ada (1997)
Cyrille Comar, Gary Dismukes, Franco Gasperoni
The GNAT implementation of controlled types. TRI-Ada (1995)
Cyrille Comar, Brett Porter
Ada 9X Tagged Types and Their Implementation in GNAT. TRI-Ada (1994)
Cyrille Comar, Panayiotis E. Pintelas
An environment for teaching "program design" by exercises. Microprocessing and Microprogramming 28 (1-5) (1990)