Skip to main content
SpringerLink
Log in
Book cover

Software, Services, and Systems pp 1–12Cite as

A Homage to Martin Wirsing

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8950))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Wirsing, M.: Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten. Manuscripta Mathematica 22, 13–25 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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. Bauer, F.L., Wirsing, M.: Elementare Aussagenlogik, 228 p. Springer, Heidelberg (1991)

    Google Scholar 

  5. Hennicker, R., Wirsing, M., Bidoit, M.: Proof systems for structured specifications with observability operators. Theoretical Computer Science 173, 393–443 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  8. Broy, M., Wirsing, M.: Partial Abstract Types. Acta Informatica 18, 47–64 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  9. Broy, M., Dosch, W., Partsch, H., Pepper, P., Wirsing, M.: On Hierarchies of Abstract Data Types. Acta Informatica 20, 1–34 (1983)

    MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  11. Wirsing, M.: Structured Algebraic Specifications: A Kernel Language. Theoretical Computer Science 43, 123–250 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  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. Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and Abstractor Specifications. Science of Computer Programming 25, 149–186 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  16. Wirsing, M., Knapp, A.: A Formal Approach to Object-Oriented Software Engineering. Theo. Comp. Sci. 285, 519–560 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Article  MathSciNet  MATH  Google Scholar 

  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. Broy, M., Pepper, P., Wirsing, M.: On the Algebraic Definition of Programming Languages. TOPLAS 9(1), 54–99 (1987)

    Article  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. van Riemsdijk, M.B., Wirsing, M.: Comparing Goal-Oriented and Procedural Service Orchestration. Journal on Multiagent and Grid Systems 6(2), 133–163 (2010)

    Article  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  31. Wirsing, M., Hölzl, M. (eds.): SENSORIA. LNCS, vol. 6582. Springer, Heidelberg (2011)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Schroeder, A., Bauer, S., Wirsing, M.: A Contract-Based Approach to Adaptivity. J. Log. Algebr. Program. 80(3-5), 180–193 (2011)

    Article  MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IMT Institute for Advanced Studies Lucca, Italy

    Rocco De Nicola

  2. Ludwig-Maximilians-Universität München, Germany

    Rolf Hennicker

Authors
  1. Rocco De Nicola
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rolf Hennicker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IMT Institute for Advanced Studies Lucca, Piazza S. Francesco, 19, 55100, Lucca, Italy

    Rocco De Nicola

  2. Ludwig-Maximilians-Universität München, Germany

    Rolf Hennicker

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

De Nicola, R., Hennicker, R. (2015). A Homage to Martin Wirsing. In: De Nicola, R., Hennicker, R. (eds) Software, Services, and Systems. Lecture Notes in Computer Science, vol 8950. Springer, Cham. https://doi.org/10.1007/978-3-319-15545-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-15545-6_1

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-15544-9

  • Online ISBN: 978-3-319-15545-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation