Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

7 Résultats
authFullName_s : Zoé Drey
Image document

Denotational Semantics of A User-Oriented, Domain-Specific Language

Julien Mercadal , Zoé Drey , Charles Consel
Electronic Proceedings in Theoretical Computer Science, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
Article dans une revue hal-00865381v1
Image document

KriQL: a query language for the diagnosis of transition systems

Khaoula Es-Salhi , Siham Rim Boudaoud , Ciprian Teodorov , Zoé Drey , Vincent Ribaud
15th 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
Image document

Techniques and Challenges for Trace Processing from a Model-Checking Perspective

Vincent Ribaud , Ciprian Teodorov , Zoé Drey , Luka Leroux , Philippe Dhaussy
International 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 VERIFICATION

Nadia Menad , Philippe Dhaussy , Zoé Drey , Rachida Mekki
Computing 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 actors

Jean-Philippe Schneider , Zoé Drey , Jean-Christophe Le Lann
ESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
Communication dans un congrès hal-00913335v1

Reversible languages and their application to debugging

Zoé Drey , José Morales , Manuel Hermenegildo , Manuel Carro
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⟩
Communication dans un congrès hal-00873841v1

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis

Ciprian Teodorov , Luka Le Roux , Zoé Drey , Philippe Dhaussy
Journal of Software Testing, Verification and Reliability, 2016, ⟨10.1002/stvr.1611⟩
Article dans une revue istex hal-01373287v1