 |
|
|
||
|---|---|---|
| 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-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-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-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 |
||
|
|
||