Zoé Drey

According to our database, Zoé Drey authored at least 10 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy

Softw. Test. Verification Reliab., 2016

Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification.

Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki

Comput. Informatics, 2016

Object-oriented design pattern for DSL program monitoring.

Zoé Drey, Ciprian Teodorov

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

2013

Reversible Language Extensions and their Application in Debugging

Zoé Drey, José F. Morales, Manuel V. Hermenegildo

CoRR, 2013

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

Julien Mercadal, Zoé Drey, Charles Consel

Proceedings of the Semantics, 2013

Reversible Language Extensions and Their Application in Debugging.

Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro

Proceedings of the Practical Aspects of Declarative Languages, 2013

2012

Taxonomy-driven prototyping of home automation applications: A novice-programmer visual language and its evaluation.

Zoé Drey, Charles Consel

J. Vis. Lang. Comput., 2012

2010

Vers une méthodologie dédiée à l'orchestration d'entités communicantes. (Towards a domain-specific methodology for the orchestration of networked entities).

Zoé Drey

PhD thesis, 2010

A visual, open-ended approach to prototyping ubiquitous computing applications.

Zoé Drey, Charles Consel

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

2009

A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications.

Zoé Drey, Julien Mercadal, Charles Consel

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009