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

Special issue: Engineering Fault Tolerant Systems., , , and . Comput. Syst. Sci. Eng., (2008)Architecting Fault-tolerant Component-based Systems: from requirements to testing, , and . 168, page 77--90. Electronic Notes in Theoretical Computer Science, (September 2006)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)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)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 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)Formal Analysis of Architectural Patterns., , and . EWSA, volume 3047 of Lecture Notes in Computer Science, page 10-24. Springer, (2004)CHARMY: A Framework for Designing and Verifying Architectural Specifications., , and . IEEE Trans. Software Eng., 35 (3): 325-346 (2009)