×

A homage to Martin Wirsing. (English) Zbl 1437.01027

De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 1-12 (2015).
Summary: 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 Mathématiques at the University Paris 7 and, in 1974, he got the Diploma in Mathematics at LMU Munich.
For the entire collection see [Zbl 1312.68005].

MSC:

01A70 Biographies, obituaries, personalia, bibliographies
68-03 History of computer science

Biographic References:

Wirsing, Martin

Software:

Maude; PAGODA
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Wirsing, M.: Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten. Manuscripta Mathematica 22, 13–25 (1977) · Zbl 0365.02035 · doi:10.1007/BF01182063
[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) · Zbl 0398.03005 · doi:10.1007/BF02011871
[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) · Zbl 0467.03035
[4] Bauer, F.L., Wirsing, M.: Elementare Aussagenlogik, 228 p. Springer, Heidelberg (1991) · Zbl 0721.68001 · doi:10.1007/978-3-642-84263-4
[5] Hennicker, R., Wirsing, M., Bidoit, M.: Proof systems for structured specifications with observability operators. Theoretical Computer Science 173, 393–443 (1997) · Zbl 0901.68116 · doi:10.1016/S0304-3975(96)00162-4
[6] Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry–Howard Protocol. Springer Monographs in Computer Science, 420 p. (2005) · Zbl 1095.68025
[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) · Zbl 1032.03028 · doi:10.1007/3-540-36578-8_7
[8] Broy, M., Wirsing, M.: Partial Abstract Types. Acta Informatica 18, 47–64 (1982) · Zbl 0494.68020 · doi:10.1007/BF00625280
[9] Broy, M., Dosch, W., Partsch, H., Pepper, P., Wirsing, M.: On Hierarchies of Abstract Data Types. Acta Informatica 20, 1–34 (1983) · Zbl 0513.68015
[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) · Zbl 0517.68043 · doi:10.1007/3-540-12689-9_122
[11] Wirsing, M.: Structured Algebraic Specifications: A Kernel Language. Theoretical Computer Science 43, 123–250 (1986) · Zbl 0599.68021 · doi:10.1016/0304-3975(86)90051-4
[12] Wirsing, M.: Algebraic Specification. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 675–788. North-Holland, Amsterdam (1990) · Zbl 0900.68309
[13] Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and Abstractor Specifications. Science of Computer Programming 25, 149–186 (1995) · Zbl 0853.68130 · doi:10.1016/0167-6423(95)00014-3
[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) · Zbl 0469.68003 · doi:10.1016/0167-6423(81)90006-X
[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) · doi:10.1007/BFb0015453
[16] Wirsing, M., Knapp, A.: A Formal Approach to Object-Oriented Software Engineering. Theo. Comp. Sci. 285, 519–560 (2002) · Zbl 1001.68024 · doi:10.1016/S0304-3975(01)00367-X
[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) · Zbl 0977.68858 · doi:10.1007/3-540-45314-8_22
[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)
[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) · Zbl 1086.68016 · doi:10.1016/j.tcs.2005.09.067
[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) · Zbl 0406.03059 · doi:10.1007/BFb0014683
[21] Broy, M., Pepper, P., Wirsing, M.: On the Algebraic Definition of Programming Languages. TOPLAS 9(1), 54–99 (1987) · Zbl 0627.68009 · doi:10.1145/9758.10501
[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) · doi:10.1007/3-540-48737-9_5
[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) · Zbl 1143.68373 · doi:10.1007/978-3-540-68679-8_23
[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) · Zbl 1253.68225 · doi:10.1007/978-3-642-03429-9_6
[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)
[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) · Zbl 05527863 · doi:10.1007/11888116_3
[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) · Zbl 05523435 · doi:10.1007/978-3-540-75336-0_3
[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)
[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) · Zbl 1205.68117 · doi:10.3233/MGS-2010-0145
[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) · Zbl 05854251 · doi:10.1007/978-3-642-16561-0_12
[31] Wirsing, M., Hölzl, M. (eds.): SENSORIA. LNCS, vol. 6582. Springer, Heidelberg (2011)
[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) · Zbl 1047.68813 · doi:10.1007/3-540-47952-X_23
[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) · doi:10.4204/EPTCS.36.1
[34] Schroeder, A., Bauer, S., Wirsing, M.: A Contract-Based Approach to Adaptivity. J. Log. Algebr. Program. 80(3-5), 180–193 (2011) · Zbl 1213.68208 · doi:10.1016/j.jlap.2010.09.001
[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)
[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) · doi:10.1007/978-3-642-35887-6_1
[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) · Zbl 1279.68124 · doi:10.1016/j.entcs.2007.06.015
[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) · Zbl 1347.68197 · doi:10.1016/j.entcs.2009.05.020
[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) · Zbl 1021.68558 · doi:10.1007/3-540-36557-5_21
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.