-
A Formal Framework to Specify and Verify Real Time Properties on Critical Sys...
International audience -
A Simulation Framework for the Validation of Event-B Specifications
This thesis aims at the specification, verification and validation of safety-critical systems with formal methods, in particular, with Event-B. We assessed the... -
Generation of Single Input Change Test Sequences for Conformance Test of Prog...
International audience -
Construction et vérification de spécifications d'Interfaces Homme-Machine
Ingénieur CNAM. Rapport de stage. -
Always and Eventually in Object Requirements
Colloque avec actes et comité de lecture. -
Teaching Formal Methods: Lessons to learn
Colloque avec actes et comité de lecture. -
POTS: An OO LOTOS Specification
Rapport interne. -
Fundamental Approaches to Software Engineering
Congrès (éditeur). -
Fair Objects
Contribution à un ouvrage. -
Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'e...
Rapport de contrat. -
Formalisation et test d'IPv6
Rapport de contrat.
