Author of the publication

A Generated Property Specification Language for Resilient Multirobot Missions.

, , and . SERENE, volume 10479 of Lecture Notes in Computer Science, page 45-61. Springer, (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

Formal Analysis of Architectural Patterns., , and . EWSA, volume 3047 of Lecture Notes in Computer Science, page 10-24. Springer, (2004)POPEYE, a Peer-to-peer Collaborative Working Environment over Mobile Ad-hoc Networks, , and . In proceeding of the International Conference eChallenges e2008, (22 - 24 October 2008)Using UML for SA-based Modeling and Analysis, , , , and . Proceedings of the Int. Workshop on Software Architecture Description and UML., (October 2004)Architecting Fault-tolerant Component-based Systems: from requirements to testing, , and . 168, page 77--90. Electronic Notes in Theoretical Computer Science, (September 2006)Workshops summaries: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems, , , and . Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering ESEC-FSE '07, ACM press, (2007)AN INTRODUCTION TO SOFTWARE ENGINEERING AND FAULT TOLERANCE, , , and . chapter SOFTWARE ENGINEERING OF FAULT TOLERANT SYSTEMS, Series on Software Engineering and Knowledge Eng., (2007)The Fault-Tolerant Insulin Pump Therapy, , and . Workshop on Rigorous Engineering of Fault Tolerant Systems Event Information, in conjunction with Formal Methods 2005, (18-22 July 2005)Special issue: Engineering Fault Tolerant Systems., , , and . Comput. Syst. Sci. Eng., (2008)The Problem of Consolidating RE Practices at Scale: An Ethnographic Study., , , and . REFSQ, volume 10753 of Lecture Notes in Computer Science, page 155-170. Springer, (2018)A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World., , , , and . IEEE Access, (2019)