A Homage to Martin Wirsing

  • Rocco De Nicola
  • Rolf Hennicker
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8950)


Martin Wirsing was born on Christmas Eve, December 24th, 1948, in Bayreuth, a Bavarian town which is famous for the annually celebrated Richard Wagner Festival. There he visited the Lerchenbühl School and the High-School “Christian Ernestinum” where he followed the humanistic branch focusing on Latin and Ancient Greek. After that, from 1968 to 1974, Martin studied Mathematics at University Paris 7 and at Ludwig-Maximilians-Universität in Munich. In 1971 he became Maitrise-en-Sciences Mathematiques at the University Paris 7 and, in 1974, he got the Diploma in Mathematics at LMU Munich.


Mobile System Soft Constraint Lambda Calculus Abstract Data Type Layer Queueing Network 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Wirsing, M.: Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten. Manuscripta Mathematica 22, 13–25 (1977)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Wirsing, M.: Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. Archiv für mathematische Logik und Grundlagenforschung 19(1-2), 97–109 (1978)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Wirsing, M.: “Small” universal Post systems. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 25, 559–564 (1979), Journal of Symbolic Logic 44, 476–477 (1979)Google Scholar
  4. 4.
    Bauer, F.L., Wirsing, M.: Elementare Aussagenlogik, 228 p. Springer, Heidelberg (1991)Google Scholar
  5. 5.
    Hennicker, R., Wirsing, M., Bidoit, M.: Proof systems for structured specifications with observability operators. Theoretical Computer Science 173, 393–443 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry–Howard Protocol. Springer Monographs in Computer Science, 420 p. (2005)Google Scholar
  7. 7.
    Merz, S., Wirsing, M., Zappe, J.: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 87–101. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    Broy, M., Wirsing, M.: Partial Abstract Types. Acta Informatica 18, 47–64 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Broy, M., Dosch, W., Partsch, H., Pepper, P., Wirsing, M.: On Hierarchies of Abstract Data Types. Acta Informatica 20, 1–34 (1983)MathSciNetzbMATHGoogle Scholar
  10. 10.
    Sannella, D., Wirsing, M.: A Kernel Language for Algebraic Specification and Implementation. In: Karpinski, M. (ed.) Colloquium on Foundations of Computation Theory, Linkping (Schweden). LNCS, vol. 158, pp. 413–427. Springer, Heidelberg (1983)CrossRefGoogle Scholar
  11. 11.
    Wirsing, M.: Structured Algebraic Specifications: A Kernel Language. Theoretical Computer Science 43, 123–250 (1986)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Wirsing, M.: Algebraic Specification. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 675–788. North-Holland, Amsterdam (1990)Google Scholar
  13. 13.
    Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and Abstractor Specifications. Science of Computer Programming 25, 149–186 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Bauer, F.L., Broy, M., Dosch, W., Gnatz, R., Krieg-Brückner, B., Laut, A., Luckmann, M., Matzner, T.A., Möller, B., Partsch, H., Pepper, P., Samelson, K., Steinbüggen, R., Wössner, H., Wirsing, M.: Programming in a Wide Spectrum Language: A Collection of Examples. Science of Computer Programming 1, 73–114 (1981)CrossRefzbMATHGoogle Scholar
  15. 15.
    Broy, M., Wirsing, M.: Correct Software: From Experiments to Applications. In: Jähnichen, S., Broy, M. (eds.) KORSO 1995. LNCS, vol. 1009, pp. 1–24. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  16. 16.
    Wirsing, M., Knapp, A.: A Formal Approach to Object-Oriented Software Engineering. Theo. Comp. Sci. 285, 519–560 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Reus, B., Wirsing, M., Hennicker, R.: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 300–317. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  18. 18.
    Wirsing, M., Baumeister, H., Knapp, A.: Property-Driven Development. In: Cuellar, J., Liu, Z. (eds.) Second IEEE Internat. Conf. on Software Engineering and Formal Methods, SEFM 2004, pp. 96–103. IEEE Computer Society, Beijing (2004)Google Scholar
  19. 19.
    Knapp, A., Merz, S., Wirsing, M., Zappe, J.: Specification and Refinement of Mobile Systems in MTLA and Mobile UML. Theoretical Computer Science 351(2), 184–202 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Broy, M., Gnatz, R., Wirsing, M.: Semantics of Nondeterministic and Noncontinuous constructs. In: Bauer, F.L., Broy, M. (eds.) Program Construction. LNCS, vol. 69, pp. 553–592. Springer, Heidelberg (1979)Google Scholar
  21. 21.
    Broy, M., Pepper, P., Wirsing, M.: On the Algebraic Definition of Programming Languages. TOPLAS 9(1), 54–99 (1987)CrossRefzbMATHGoogle Scholar
  22. 22.
    Cenciarelli, P., Knapp, A., Reus, B., Wirsing, M.: An Event-Based Structural Operational Semantics of Multi-threaded Java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol. 1523, pp. 157–200. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  23. 23.
    Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A Heterogeneous Approach to UML Semantics. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 383–402. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  24. 24.
    Boronat, A., Knapp, A., Meseguer, J., Wirsing, M.: What is a multi-modeling language? In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 71–87. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  25. 25.
    Eckhardt, J., Mühlbauer, T., Meseguer, J., Wirsing, M.: Semantics, Distributed Implementation, and Formal Analysis of KLAIM Models in Maude. Science of Computer Programming, 51 p. (to appear, 2014)Google Scholar
  26. 26.
    Wirsing, M., Clark, A., Gilmore, S., Hölzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24–45. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  27. 27.
    Wirsing, M., De Nicola, R., Gilmore, S., Hölzl, M., Lucchi, R., Tribastone, M., Zavattaro, G.: Sensoria Process Calculi for Service-Oriented Computing. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol. 4661, pp. 30–50. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  28. 28.
    Wirsing, M., Bocchi, L., Clark, A., Fiadeiro, J., Gilmore, S., Hölzl, M., Koch, N., Mayer, P., Pugliese, R., Schroeder, A.: Sensoria: Engineering for Service-Oriented Overlay Computers. In: di Nitto, E., Sassen, A.-M., Traverso, P., Zwegers, A. (eds.) At Your Service: Service Oriented Computing from an EU Perspective, pp. 159–182. MIT Press, Cambridge (2009)Google Scholar
  29. 29.
    van Riemsdijk, M.B., Wirsing, M.: Comparing Goal-Oriented and Procedural Service Orchestration. Journal on Multiagent and Grid Systems 6(2), 133–163 (2010)CrossRefzbMATHGoogle Scholar
  30. 30.
    Tribastone, M., Mayer, P., Wirsing, M.: Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 51–65. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  31. 31.
    Wirsing, M., Hölzl, M. (eds.): SENSORIA. LNCS, vol. 6582. Springer, Heidelberg (2011)Google Scholar
  32. 32.
    Koch, N., Wirsing, M.: The munich reference model for adaptive hypermedia applications. In: De Bra, P., Brusilovsky, P., Conejo, R. (eds.) AH 2002. LNCS, vol. 2347, p. 213. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  33. 33.
    Wirsing, M., Bauer, S., Schroeder, A.: Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. In: Ölvecki, P.C. (ed.) Proc. of 1st International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Spitsbergen, Norway, April 6-9. EPTCS, vol. 36, pp. 1–25 (2010)Google Scholar
  34. 34.
    Schroeder, A., Bauer, S., Wirsing, M.: A Contract-Based Approach to Adaptivity. J. Log. Algebr. Program. 80(3-5), 180–193 (2011)CrossRefzbMATHGoogle Scholar
  35. 35.
    Schroeder, A., Wirsing, M.: Developing Physiological Computing Systems: Challenges and Solutions. In: Jähnichen, S., Küpper, A., Albayrak, S. (eds.) Software Engineering 2012. GI Lecture Notes in Informatics, vol. 198, pp. 21–36 (2012)Google Scholar
  36. 36.
    Wirsing, M., Hölzl, M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 1–24. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  37. 37.
    Wirsing, M., Denker, G., Talcott, C., Poggio, A., Briesemeister, L.: A Rewriting Logic Framework for Soft Constraints. In: Proc. 6th Int. Workshop on Rewriting Logic and its Applications (WRLA 2006), Vienna, Austria. Electronic Notes in Theoretical Computer Science (ENTCS), vol. 176, pp. 181–197 (2007)Google Scholar
  38. 38.
    Hölzl, M., Meier, M., Wirsing, M.: Which Soft Constraints do you Prefer? In: Proc. 7th Int. Workshop on Rewriting Logic and its Applications (WRLA 2008), Budapest, March 29-30. Electr. Notes Theor. Comput. Sci, vol. 238(3), pp. 189–205 (2009)Google Scholar
  39. 39.
    Baumeister, H., Koch, N., Kosiuczenko, P., Wirsing, M.: Extending Activity Diagrams to Model Mobile Systems. In: Akşit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol. 2591, pp. 278–293. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Rocco De Nicola
    • 1
  • Rolf Hennicker
    • 2
  1. 1.IMT Institute for Advanced Studies LuccaItaly
  2. 2.Ludwig-Maximilians-Universität MünchenGermany

Personalised recommendations