Author of the publication

Ardoises: Collaborative & Interactive Editing Using Layered Data.

, and . ACSD, page 136-145. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Specification of Decision Diagram Operations., , , , , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 437-451. CEUR-WS.org, (2010)polyDD: Towards a Framework Generalizing Decision Diagrams., , , , and . ACSD, page 124-133. IEEE Computer Society, (2010)Report on the Model Checking Contest at Petri Nets 2011., , , , , , , , , and . Trans. Petri Nets Other Model. Concurr., (2012)A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis., , , , , and . Trans. Petri Nets Other Model. Concurr., (2012)Ardoises: Collaborative & Interactive Editing Using Layered Data., and . ACSD, page 136-145. IEEE Computer Society, (2017)CREST - A DSL for Reactive Cyber-Physical Systems., , and . SAM, volume 11150 of Lecture Notes in Computer Science, page 29-45. Springer, (2018)New features in CPN-AMI 3: focusing on the analysis of complex distributed systems., , , , , , and . ACSD, page 273-275. IEEE Computer Society, (2006)Optimized Colored Nets Unfolding., , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 339-355. Springer, (2006)Improving the Significance of Benchmarks for Petri Nets Model Checkers., , , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 475-489. CEUR-WS.org, (2010)CREST - A Continuous, REactive SysTems DSL., , and . MoDELS (Satellite Events), volume 2019 of CEUR Workshop Proceedings, page 286-291. CEUR-WS.org, (2017)