Accéder directement au contenu Accéder directement à la navigation


hal-00873841v1  Communication dans un congrès
Zoé DreyJosé MoralesManuel HermenegildoManuel Carro. 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
Jean-Philippe SchneiderZoé DreyJean-Christophe Le Lann. 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-01326351v1  Article dans une revue
Nadia MenadPhilippe DhaussyZoé DreyRachida Mekki. 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