An environment for teaching "program design" by exercises. - Cyrille Comar; Panayiotis E. Pintelas (Microprocessing and Microprogramming, 1990)

Ada 9X Tagged Types and Their Implementation in GNAT. - Cyrille Comar; Brett Porter (TRI-Ada, 1994)

The GNAT implementation of controlled types. - Cyrille Comar; Gary Dismukes; Franco Gasperoni (TRI-Ada, 1995)

Targeting GNAT to the Java Virtual Machine. - Cyrille Comar; Gary Dismukes; Franco Gasperoni (TRI-Ada, 1997)

Open source in dependable systems: Current and future business models. - Cyrille Comar; Franco Gasperoni (IFIP Congress Topical Sessions, 2004)

Open-DO: Open Framework for Critical Systems. - José F. Ruiz; Cyrille Comar (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012. - José F. Ruiz; Cyrille Comar; Yannick Moy (Ada-Europe, 2012)

Integration von Formaler Verifikation und Test. - Cyrille Comar; Johannes Kanig; Yannick Moy (Automotive - Safety & Security, 2012)

Certifiably safe software-dependent systems: challenges and directions. - John Hatcliff; Alan Wassyng; Tim Kelly; Cyrille Comar; Paul L. Jones (FOSE, 2014)

Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. - Johannes Kanig; Roderick Chapman; Cyrille Comar; Jérôme Guitton; Yannick Moy; Emyr Rees (TAP@STAF, 2014)

Software Safety Assessment and Probabilities. - Jean-Paul Blanquart; Philippe Baufreton; Jean-Louis Boulanger; Jean-Louis Camus; Cyrille Comar; Hervé Delseny; Jean Gassino; Emmanuel Ledinot; Philippe Quéré; Bertrand Ricque (DSN Workshops, 2016)