Author of the publication

Integrating Statechart Components in Polyglot.

, , , , , , and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 267-272. Springer, (2012)

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

Knowledge-Based Design., , , and . KBSE, page 239-244. IEEE Computer Society, (1991)Combining unit-level symbolic execution and system-level concrete execution for testing NASA software., , , , , , and . ISSTA, page 15-26. ACM, (2008)Static analysis for software assurance: soundness, scalability and adaptiveness., and . FoSER, page 393-396. ACM, (2010)Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic?. RE, page 12-13. IEEE Computer Society, (2001)Legal Issues on Knowledge-Based Software Engineering., and . KBSE, page 61-69. IEEE Computer Society, (1995)Towards a Theory for Integration of Mathematical Verification and Empirical Testing., , and . ASE, page 322-. IEEE Computer Society, (1998)Key Applications for High-Assurance Systems., , , , , , , , , and 4 other author(s). Computer, 31 (4): 35-45 (1998)Deductive Composition of Astronomical Software from Subroutine Libraries., , , , and . CADE, volume 814 of Lecture Notes in Computer Science, page 341-355. Springer, (1994)The Abstraction/Implementation Model of Problem Reformulation.. IJCAI, page 1004-1010. Morgan Kaufmann, (1987)Polyglot: modeling and analysis for multiple Statechart formalisms., , , , and . ISSTA, page 45-55. ACM, (2011)