 |
|
|
||
|---|---|---|
| hal-00676640v1
Communication dans un congrès
Context Aware Model Exploration with OBP tool to Improve Model-Checking ERTS 2012, Feb 2012, Toulouse, France |
||
| hal-00738735v1
Article dans une revue
Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩  |
||
| hal-00873841v1
Communication dans un congrès
Reversible languages and their application to debugging Fifteenth International Symposium on Practical Aspects of Declarative Languages(PADL 2013), Jan 2013, Rome, Italy. pp.206-221, ⟨10.1007/978-3-642-45284-0⟩ |
||
| hal-01203649v1
Communication dans un congrès
KriQL: a query language for the diagnosis of transition systems 15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165 |
||
| hal-03188864v1
Communication dans un congrès
Security property modeling 7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701 |
||
| hal-01006647v1
Article dans une revue
Modélisation UML d'un régulateur de vitesse automobile Génie logiciel, C & S, 2014, 109 |
||
| hal-01326351v1
Article dans une revue
TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031 |
||
| hal-00865381v1
Article dans une revue
Denotational Semantics of A User-Oriented, Domain-Specific Language Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩ |
||
| hal-01119571v1
Communication dans un congrès
Techniques and Challenges for Trace Processing from a Model-Checking Perspective International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States |
||
| hal-00913335v1
Communication dans un congrès
Early exploring design alternatives of smart sensor software with Model of Computation implemented with actors ESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France |
||
| hal-01373287v1
Article dans une revue
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2016, ⟨10.1002/stvr.1611⟩  |
||
| hal-01203701v1
Communication dans un congrès
Context-Aware Verification of a Cruise-Control System MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ |
||
|
|
||