Philip Mayer, Jose Velasco, Annabelle Klarl, Rolf Hennicker, Maria-Chiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, and Tomas Bures. The Autonomic Cloud. In Martin Wirsing, Matthias Hölzl, Nora Koch, and Philip Mayer, editors, Software Engineering for Collective Autonomic Systems, volume 8998 of Lecture Notes in Computer Science, pages 495–512. Springer, 2015.
Rolf Hennicker, Annabelle Klarl, and Martin Wirsing. Model-Checking Helena Ensemble Specifications with Spin. In Logic, Rewriting, and Concurreny, volume 9200 of Lecture Notes in Computer Science, pages 331–360. Springer, 2015.
Marianne Busch and Martin Wirsing. An Ontology for Secure Web Applications. In Ruqian Lu, editor, International Journal of Software and Informatics, volume 9 of International Journal of Software and Informatics, pages 233–258. Institute of Software, Chinese Academy of Sciences, 2015.
Marianne Busch, Nora Koch, and Martin Wirsing. SecEval: An Evaluation Framework for Engineering Secure Systems. In Hans-Georg Fill, Dimitris Karagiannis, and Ulrich Reimer, editors, Proceedings of MoK14. Gesellschaft für Informatik e.V. (GI), 2014.
Marianne Busch, Nora Koch, and Martin Wirsing. Advances in Engineering Secure Future Internet Services and Systems, volume LNCS 8431, chapter Systematic Evaluation of Engineering Approaches for Secure Software and Systems. Springer, 2014.
Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, and Martin Wirsing. Statistical Model-Checking for Composite Actor Systems. In International Workshop on Algebraic Development Techniques (WADT 2012), LNCS. Springer, 2013.
Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, and José Meseguer. Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. In Franciso Durán, editor, 9th International Workshop on Rewriting Logic and its Applications (WRLA 2012), LNCS. Springer, 2012.
Sebastian Bauer, Rolf Hennicker, and Martin Wirsing. Building a modal interface theory for concurrency and data. In Till Mossakowski and Hans-Jörg Kreowski, editors, Recent Trends in Algebraic Development Techniques, volume 7137 of Lecture Notes in Computer Science, pages 1–12. Springer Berlin / Heidelberg, 2012. 10.1007/978-3-642-28412-0_1.
Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, and Martin Wirsing. Stable Availability under Denial of Service Attacks through Formal Patterns. In Juan Lara and Andrea Zisman, editors, 15th International Conference on Fundamentals of Software Engineering (FASE'12), LNCS. Springer, 2012.
Andreas Schroeder and Martin Wirsing. Developing physiological computing systems: Challenges and solutions. In Software Engineering Conference 2012 Proceedings, 2012.