Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

12 Results
Author: personID (integer) : 858857
Image document

Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities

Yliès Falcone , Laurent Mounier , Jean-Claude Fernandez , Jean-Luc Richier
Formal Methods in System Design, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩
Journal articles hal-00576948v1
Image document

IF: An intermediate Representation and Validation Environment for Timed Asynchronous Systems

Marius Bozga , Jean-Claude Fernandez , Constantin Lucian Ghirvu , Susanne Graf , Jean Pierre Krimm , et al.
FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Sep 1999, Toulouse, France. pp.307-327, ⟨10.1007/3-540-48119-2⟩
Conference papers hal-00369430v1
Image document

More testable properties

Yliès Falcone , Jean-Claude Fernandez , Thierry Jéron , Hervé Marchand , Laurent Mounier
International Journal on Software Tools for Technology Transfer, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
Journal articles hal-00743981v1
Image document

Runtime Verification of Safety-Progress Properties

Yliès Falcone , Jean-Claude Fernandez , Laurent Mounier
Runtime Verification, Jun 2009, France. pp.40--59
Conference papers hal-00420487v1
Image document

A Transformational Approach for Generating Non-Linear Invariants

Saddek Bensalem , Marius Bozga , Jean-Claude Fernandez , Constantin Lucian Ghirvu , Yassine Lakhnech
Static Analysis 7th International Symposium, SAS 2000, Jun 2000, Santa Barbara, CA, United States. pp.58-72, ⟨10.1007/b87738⟩
Conference papers hal-00369355v1
Image document

IF: An Intermediate Representation for SDL and its Applications

Marius Bozga , Jean-Claude Fernandez , Constantin Lucian Ghirvu , Susanne Graf , Krimm Jean Pierre , et al.
SDL '99 The Next Millennium, 9th International SDL Forum, Jun 1999, Montreal, Canada. pp.423-440
Conference papers hal-00374129v1

Automates à états finis et langages réguliers

Yliès Falcone , Jean-Claude Fernandez
Dunod, pp.1-320, 2020, 9782100808465
Books hal-03113401v1
Image document

Efficient and Generalized Decentralized Monitoring of Regular Languages

Yliès Falcone , Tom Cornebize , Jean-Claude Fernandez
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩
Conference papers hal-00972559v1
Image document

IF: A Validation Environment for Timed Asynchronous Systems

Marius Bozga , Jean-Claude Fernandez , Constantin Lucian Ghirvu , Susanne Graf , Krimm Jean Pierre , et al.
Computer Aided Verification 12th International Conference, CAV 2000, Jul 2000, Chicago IL, United States. pp.543-547, ⟨10.1007/10722167⟩
Conference papers hal-00369415v1
Image document

State Space Reduction based on Live Variables Analysis

Marius Bozga , Jean-Claude Fernandez , Constantin Lucian Ghirvu
Static Analysis 6th International Symposium, SAS'99, Sep 1999, Venice, Italy. pp.164-178, ⟨10.1007/3-540-48294-6_11⟩
Conference papers hal-00369423v1
Image document

Using Static Analysis To Improve Automatic Test Generation

Marius Bozga , Jean-Claude Fernandez , Constantin Lucian Ghirvu
Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000, Mar 2000, Berlin, Germany. pp.235-250, ⟨10.1007/3-540-46419-0⟩
Conference papers hal-00369360v1
Image document

More Testable Properties

Yliès Falcone , Jean-Claude Fernandez , Thierry Jéron , Hervé Marchand , Laurent Mounier
22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
Conference papers inria-00510018v2