Author of the publication

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

Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle., , , and . FME, volume 2805 of Lecture Notes in Computer Science, page 114-132. Springer, (2003)Multi-robot LTL Planning Under Uncertainty., , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 399-417. Springer, (2018)Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications., , , , and . EWSA, volume 3527 of Lecture Notes in Computer Science, page 130-145. Springer, (2005)A/B Testing in E-commerce Sales Processes., , and . SERENE, volume 9823 of Lecture Notes in Computer Science, page 133-148. Springer, (2016)Developing highly complex distributed systems: a software engineering perspective., , , and . J. Internet Serv. Appl., 3 (1): 15-22 (2012)The impact of requirements on systems development speed: a multiple-case study in automotive., , , , , and . Requir. Eng., 24 (3): 315-340 (2019)Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems., , , and . IEEE Access, (2016)A model-driven approach to detect faults in FOSS systems., and . Journal of Software: Evolution and Process, 27 (4): 294-318 (2015)Guaranteeing Correct Evolution of Software Product Lines., , and . ERCIM News, (2012)Simulating upgrades of complex systems: The case of Free and Open Source Software., and . Inf. Softw. Technol., 56 (4): 438-462 (2014)