The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Zoé Drey" ( http://dblp.L3S.de/Authors/Zoé_Drey )

  Author page on DBLP  Author page in RDF  Community of Zoé Drey in ASPL-2

Publication years (Num. hits)
2009 (1) 2010 (2) 2012 (1) 2013 (3) 2016 (3)
Publication types (Num. hits)
article(4) inproceedings(5) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 11 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification. Search on Bibsonomy Computing and Informatics The full citation details ... 2016 DBLP  BibTeX  RDF
1Ciprian Teodorov, Luka Leroux, Zoé Drey, Philippe Dhaussy Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zoé Drey, Ciprian Teodorov Object-oriented design pattern for DSL program monitoring. Search on Bibsonomy SLE The full citation details ... 2016 DBLP  BibTeX  RDF
1Julien Mercadal, Zoé Drey, Charles Consel Denotational Semantics of A User-Oriented, Domain-Specific Language. Search on Bibsonomy Festschrift for Dave Schmidt The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zoé Drey, José F. Morales, Manuel V. Hermenegildo Reversible Language Extensions and their Application in Debugging Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro Reversible Language Extensions and Their Application in Debugging. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zoé Drey, Charles Consel Taxonomy-driven prototyping of home automation applications: A novice-programmer visual language and its evaluation. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zoé Drey, Charles Consel A visual, open-ended approach to prototyping ubiquitous computing applications. Search on Bibsonomy PerCom Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zoé Drey Vers une méthodologie dédiée à l'orchestration d'entités communicantes. (Towards a domain-specific methodology for the orchestration of networked entities). Search on Bibsonomy 2010   RDF
1Zoé Drey, Julien Mercadal, Charles Consel A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications. Search on Bibsonomy DSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Visual Rule-Based Language, Pervasive Computing
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license