Filtrer vos résultats
- 4
- 3
- 4
- 3
- 7
- 2
- 1
- 1
- 3
- 7
- 5
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
|
Denotational Semantics of A User-Oriented, Domain-Specific LanguageElectronic Proceedings in Theoretical Computer Science, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
Article dans une revue
hal-00865381v1
|
||
|
KriQL: a query language for the diagnosis of transition systems15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
Communication dans un congrès
hal-01203649v1
|
||
|
Techniques and Challenges for Trace Processing from a Model-Checking PerspectiveInternational Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Communication dans un congrès
hal-01119571v1
|
||
TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATIONComputing and Informatics, 2016, 35, pp.1001-1031
Article dans une revue
hal-01326351v1
|
|||
Early exploring design alternatives of smart sensor software with Model of Computation implemented with actorsESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
Communication dans un congrès
hal-00913335v1
|
|||
Reversible languages and their application to debuggingFifteenth International Symposium on Practical Aspects of Declarative Languages(PADL 2013), Jan 2013, Rome, Italy. pp.206-221, ⟨10.1007/978-3-642-45284-0⟩
Communication dans un congrès
hal-00873841v1
|
|||
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysisJournal of Software Testing, Verification and Reliability, 2016, ⟨10.1002/stvr.1611⟩
Article dans une revue
istex
hal-01373287v1
|