Author of the publication

Synthesizing Modal Transition Systems from Triggered Scenarios.

, , , and . IEEE Trans. Software Eng., 39 (7): 975-1001 (2013)

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

Checking Subsystem Safety Properties in Compositional Reachability Analysis., and . ICSE, page 144-154. IEEE Computer Society, (1996)Towards Self-management in Service-Oriented Computing with Modes, , , and . Service-Oriented Computing - ICSOC 2007 Workshops, volume 4907 of LNCS, Springer, (2009)Distributed Software Engineering.. ICSE, page 253-263. IEEE Computer Society / ACM Press, (1994)Editorial: New Associate Editor Introduction.. IEEE Trans. Software Eng., 34 (2): 161 (2008)Tractable Dataflow Analysis for Distributed Systems., and . IEEE Trans. Software Eng., 20 (8): 579-593 (1994)State of the Journal Address.. IEEE Trans. Software Eng., 34 (1): 1-2 (2008)Providing High Performance Distributed Computing Through Scalable Computation Servers., and . HPDC, page 70-77. IEEE, (1994)Tool support for requirements analysis., , , and . Softw. Eng. J., 3 (3): 86-96 (1988)LTSA-PCA: tool support for compositional reliability analysis., , and . ICSE Companion, page 548-551. ACM, (2014)RE @ runtime : the challenge of change RE'20 Conference Keynote.. RE, page 4-6. IEEE, (2020)