Author of the publication

Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.

, , and . Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 309-324. Springer, (2005)

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

Temporal Logic for Scenario-Based Specifications., , , , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 445-460. Springer, (2005)Testing Scenario-Based Models., , and . FASE, volume 4422 of Lecture Notes in Computer Science, page 306-320. Springer, (2007)Specifying and executing requirements: the play-in/play-out approach., , and . OOPSLA Companion, page 84-85. ACM, (2002)Formal Modeling of C. elegans Development: A Scenario-Based Approach., , , , , , and . CMSB, volume 2602 of Lecture Notes in Computer Science, page 4-20. Springer, (2003)SMT-Based Analysis of Biological Computation., , , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 78-92. Springer, (2013)Supporting UML-based development of embedded systems by formal techniques., , , , and . Softw. Syst. Model., 7 (2): 131-155 (2008)Biocharts: a visual formalism for complex biological systems, , and . Journal of The Royal Society Interface, 7 (48): 1015--1024 (Jul 6, 2010)Runtime Verification and Refutation for Biological Systems.. RV, volume 8174 of Lecture Notes in Computer Science, page 384-385. Springer, (2013)Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications., and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 77-91. Springer, (2009)Synthesizing State-Based Object Systems from LSC Specifications., and . Int. J. Found. Comput. Sci., 13 (1): 5-51 (2002)