Statistics
Publications
4
Citations
124
H-Index
4
Active since
1997
Affiliations
Ada Technologies (United States)(Current)
Cyrille Comar is an author at Ada Technologies (United States) specializing in software engineering, computing, and software testing.
Publications per year
1997–2014
4
4
Certifiably safe software-dependent systems: challenges and directions
John Hatcliff, Alan Wassyng, Tim Kelly et al. · 2014 · 68 citations
Integrating Formal Program Verication with Testing
Cyrille Comar, Johannes Kanig, Yannick Moy · 2012 · 19 citations
DO-178C: A New Standard for Software Safety Certification
Ben Brosgol, Cyrille Comar · 2010 · 19 citations
Targeting GNAT to the Java virtual machine
Cyrille Comar, Gary Dismukes, Franco Gasperoni · 1997 · 18 citations
1–4 of 4