Zoé Drey
According to our database1,
Zoé Drey
authored at least 10 papers
between 2009 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
2015
2016
0
1
2
3
4
2
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis.
Softw. Test. Verification Reliab., 2016
Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification.
Comput. Informatics, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016
2013
Proceedings of the Semantics, 2013
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.
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).
PhD thesis, 2010
Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010
2009
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009