search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Camille Constant

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 1

Top Topics

Real Time Embedded

Architectural Model

Anytime Algorithms

Top Venues

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux
Use of Runtime Enforcement for the Test of Real-time Systems. HPCC/CSS/ICESS (2015)
Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu
Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng. 33 (8) (2007)
Camille Constant, Bertrand Jeannet, Thierry Jéron
Automatic Test Generation from Interprocedural Specifications. TestCom/FATES (2007)