2011
2010
- Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected PapersMartin Wirsing, Martin Hofmann, Axel Rauschmayer, editors, Volume 6084 of Lecture Notes in Computer Science, Springer, 2010. [doi]
2009
- Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. ProceedingsMarsha Chechik, Martin Wirsing, editors, Volume 5503 of Lecture Notes in Computer Science, Springer, 2009. [doi]
2008
- Engineering of Software-Intensive Systems: State of the Art and Research ChallengesMatthias M. Hölzl, Axel Rauschmayer, Martin Wirsing. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 1-44, Springer, 2008. [doi]
- Software Engineering for EnsemblesMatthias M. Hölzl, Axel Rauschmayer, Martin Wirsing. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 45-63, Springer, 2008. [doi]
- SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and DynamicityMartin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró. isola 2008: 170-190 [doi]
2007
- Autonomous and Adaptive Web Services, 04.02. - 09.02.2007Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing, editors, Volume 07061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.
2006
2005
- Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, ProceedingsDang Van Hung, Martin Wirsing, editors, Volume 3722 of Lecture Notes in Computer Science, Springer, 2005.
2004
- Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, ProceedingsNora Koch, Piero Fraternali, Martin Wirsing, editors, Volume 3140 of Lecture Notes in Computer Science, Springer, 2004.
- Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised PapersMartin Wirsing, Alexander Knapp, Simonetta Balsamo, editors, Volume 2941 of Lecture Notes in Computer Science, Springer, 2004.
2003
- Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected PapersMartin Wirsing, Dirk Pattinson, Rolf Hennicker, editors, Volume 2755 of Lecture Notes in Computer Science, Springer, 2003.
2002
- AGILE: Software Architecture for MobilityLuis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki. WADT 2003: 1-33 [doi]
- MultiMedia Instruction in Safe and Secure SystemsBernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing. WADT 2003: 82-117 [doi]
2001
2000
1999
1998
1997
- EPK-fix: Methods and Tools for Engineering Electronic Product CataloguesAlexander Knapp, Nora Koch, Martin Wirsing, J. Duckeck, Rainer Lutze, Hartmut Fritzsche, D. Timm, Patrick Closhen, M. Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, Andreas Turk. idms 1997: 199-209
1996
- Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, ProceedingsMartin Wirsing, Maurice Nivat, editors, Volume 1101 of Lecture Notes in Computer Science, Springer, 1996.
1995
1994
1993
1992
- Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28, 1992, ProceedingsMaurice Bruynooghe, Martin Wirsing, editors, Volume 631 of Lecture Notes in Computer Science, Springer, 1992.
1991
- Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP 91, Passau, Germany, August 26-28, 1991, ProceedingsJan Maluszynski, Martin Wirsing, editors, Volume 528 of Lecture Notes in Computer Science, Springer, 1991.
1990
PreviousNext