Zoé Drey

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 3

Top Topics

Programming Language

Reachability Analysis

Uml Activity Diagrams

Top Venues

Comput. Informatics

Festschrift for Dave Schmidt

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki
Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification. Comput. Informatics 35 (2) (2016)
Zoé Drey, Ciprian Teodorov
Object-oriented design pattern for DSL program monitoring. SLE (2016)
Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. Softw. Test. Verification Reliab. 26 (7) (2016)
Zoé Drey, José F. Morales, Manuel V. Hermenegildo
Reversible Language Extensions and their Application in Debugging CoRR (2013)
Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
Reversible Language Extensions and Their Application in Debugging. PADL (2013)
Julien Mercadal, Zoé Drey, Charles Consel
Denotational Semantics of A User-Oriented, Domain-Specific Language. Festschrift for Dave Schmidt (2013)
Zoé Drey, Charles Consel
Taxonomy-driven prototyping of home automation applications: A novice-programmer visual language and its evaluation. J. Vis. Lang. Comput. 23 (6) (2012)
Zoé Drey, Charles Consel
A visual, open-ended approach to prototyping ubiquitous computing applications. PerCom Workshops (2010)
Zoé Drey, Julien Mercadal, Charles Consel
A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications. DSL (2009)