Cyrille Comar

According to our database, Cyrille Comar authored at least 11 papers between 1990 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

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

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Certifiably safe software-dependent systems: challenges and directions.

John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones

Proceedings of the on Future of Software Engineering, 2014

2012

Integration von Formaler Verifikation und Test.

Cyrille Comar, Johannes Kanig, Yannick Moy

Proceedings of the Automotive, 2012

Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012.

José F. Ruiz, Cyrille Comar, Yannick Moy

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2009

Open-DO: Open Framework for Critical Systems.

José F. Ruiz, Cyrille Comar

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2004

Open source in dependable systems: Current and future business models.

Cyrille Comar, Franco Gasperoni

Proceedings of the Building the Information Society, 2004

1997

Targeting GNAT to the Java Virtual Machine.

Cyrille Comar, Gary Dismukes, Franco Gasperoni

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

1995

The GNAT implementation of controlled types.

Cyrille Comar, Gary Dismukes, Franco Gasperoni

Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

1994

Ada 9X Tagged Types and Their Implementation in GNAT.

Cyrille Comar, Brett Porter

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1990

An environment for teaching "program design" by exercises.

Cyrille Comar, Panayiotis E. Pintelas

Microprocessing and Microprogramming, 1990