5 results  save search


...
hal-01231765v1  Conference papers
Abdeldjalil BoudjadarFrits VaandragerJean-Paul BodeveixMamoun Filali. Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems
5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132
...
hal-01231769v1  Conference papers
Manuel GarnachoJean-Paul BodeveixMamoun Filali. A Mechanized Semantic Framework for Real-Time Systems
11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Aug 2013, Buenos Aires, Argentina. pp. 106-120
...
hal-01226470v1  Conference papers
Elie FaresJean-Paul BodeveixMamoun FilaliManuel Garnacho. An Automatic Technique for Checking the Simulation of Timed Systems
11th International Symposium Automated Technology for Verification and Analysis (ATVA 2013), Oct 2013, Hanoï, Vietnam. pp. 71-86
...
hal-01220607v1  Conference papers
Elie FaresJean-Paul BodeveixMamoun Filali. Event Algebra for Transition Systems Composition - Application to Timed Automata
20th International Symposium on Temporal Representation and Reasoning (TIME 2013), Sep 2013, Penscacolq, FL, United States. pp. 125-132
...
hal-01154264v1  Journal articles
Zhibin YangJean-Paul BodeveixMamoun Filali. A comparative study of two formal semantics of the SIGNAL language
Frontiers of Computer Science, Springer Verlag, 2013, vol. 7 (n° 5), pp. 673-693. ⟨10.1007/s11704-013-3908-2⟩