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.
Martin Wirsing, Matthias Hölzl, Annabelle Klarl, and Nora Koch. Engineering Autonomic Ensembles. Awareness Magazine, December 2011. online publication. (doi:10.2417/3201111.003884)
Sebastian S. Bauer, Rolf Hennicker, and Martin Wirsing. Interface theories for concurrency and data. Theor. Comput. Sci., 412(28):3101–3121, 2011. (doi:dx.doi.org/10.1016/j.tcs.2011.04.007)
Martin Wirsing and Matthias M. Hölzl, editors. Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, volume 6582 of Lecture Notes in Computer Science. Springer, 2011. (doi:dx.doi.org/10.1007/978-3-642-20401-2)
Partha Sampath and Martin Wirsing. Evaluation of cost based best practices in business processes. In BMMDS/EMMSAD, pages 61–74, 2011. (doi:dx.doi.org/10.1007/978-3-642-21759-3_5)
Matthias M. Hölzl, Nora Koch, Philip Mayer, and Martin Wirsing. Sensoria Patterns. In Martin Wirsing and Matthias M. Hölzl, editors, Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, pages 719–736. Springer, 2011. (doi:dx.doi.org/10.1007/978-3-642-20401-2_35)
Matthias M. Hölzl and Martin Wirsing. Towards a System Model for Ensembles. In Gul Agha, Olivier Danvy, and José Meseguer, editors, Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday, volume 7000 of Lecture Notes in Computer Science, pages 241–261. Springer, 2011. (doi:dx.doi.org/10.1007/978-3-642-24933-4)
Martin Wirsing and Ruqian Lu. Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy. Int. J. Software and Informatics, 5(1-2):1–6, 2011.
Andreas Schroeder, Sebastian S. Bauer, and Martin Wirsing. A contract-based approach to adaptivity. J. Log. Algebr. Program., 80(3-5):180–193, 2011.
Mirco Tribastone and Stephen Gilmore. Rigorous Software Engineering for Service-Oriented Systems—Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, chapter Scaling Performance Analysis using Fluid-Flow Approximation. Springer-Verlag, 2011.
Martin Wirsing, Matthias M. Hölzl, Nora Koch, and Philip Mayer. Sensoria - Software Engineering for Service-Oriented Overlay Computers. In Martin Wirsing and Matthias M. Hölzl, editors, Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, pages 1–14. Springer, 2011. (doi:dx.doi.org/10.1007/978-3-642-20401-2)