Filter your results
- 9
- 2
- 1
- 12
- 6
- 6
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 11
- 6
- 5
- 3
- 1
- 1
- 12
- 12
- 12
- 11
- 11
- 11
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 1
- 11
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
|
|
sorted by
|
|
Runtime Enforcement Monitors: composition, synthesis, and enforcement abilitiesFormal Methods in System Design, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩
Journal articles
hal-00576948v1
|
||
|
IF: An intermediate Representation and Validation Environment for Timed Asynchronous SystemsFM'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
|
||
|
More testable propertiesInternational Journal on Software Tools for Technology Transfer, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
Journal articles
hal-00743981v1
|
||
|
Runtime Verification of Safety-Progress PropertiesRuntime Verification, Jun 2009, France. pp.40--59
Conference papers
hal-00420487v1
|
||
|
A Transformational Approach for Generating Non-Linear InvariantsStatic Analysis 7th International Symposium, SAS 2000, Jun 2000, Santa Barbara, CA, United States. pp.58-72, ⟨10.1007/b87738⟩
Conference papers
hal-00369355v1
|
||
|
IF: An Intermediate Representation for SDL and its ApplicationsSDL '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éguliersDunod, pp.1-320, 2020, 9782100808465
Books
hal-03113401v1
|
|||
|
Efficient and Generalized Decentralized Monitoring of Regular Languages34th 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
|
||
|
IF: A Validation Environment for Timed Asynchronous SystemsComputer Aided Verification 12th International Conference, CAV 2000, Jul 2000, Chicago IL, United States. pp.543-547, ⟨10.1007/10722167⟩
Conference papers
hal-00369415v1
|
||
|
State Space Reduction based on Live Variables AnalysisStatic Analysis 6th International Symposium, SAS'99, Sep 1999, Venice, Italy. pp.164-178, ⟨10.1007/3-540-48294-6_11⟩
Conference papers
hal-00369423v1
|
||
|
Using Static Analysis To Improve Automatic Test GenerationTools 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
|
||
|
More Testable Properties22nd 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
|