Cyrille Comar

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