


default search action
Martin Wirsing
Person information
- affiliation: Ludwig Maximilian University of Munich, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [c135]Martin Wirsing:
From Otter to ISoLA. The Combined Power of Research, Education, and Dissemination 2025: 44-49 - 2024
- [c134]Mirco Tribastone, Stefan Jähnichen, Martin Wirsing:
Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday. ISoLA (1) 2024: 1-12 - [c133]Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5rmth Track Edition. ISoLA (2) 2024: 1-12 - [c132]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles in Semantic and Symbolic Environments. ISoLA (2) 2024: 69-87 - [c131]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Symbolic Realisation of Epistemic Processes. LPAR 2024: 390-407 - [c130]Gerhard Stenzel, Kyrill Schmid, Michael Kölle, Philipp Altmann, Marian Lingsch-Rosenfeld, Maximilian Zorn, Tim Bücher, Thomas Gabor, Martin Wirsing, Lenz Belzner:
SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning. AISoLA 2024: 107-124 - [i8]Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski
, Martin Wirsing:
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. CoRR abs/2406.02094 (2024) - [i7]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs). CoRR abs/2408.01115 (2024) - 2023
- [j47]Martin Wirsing, Alexander Knapp:
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. Log. J. IGPL 31(6): 1047-1068 (2023) - [j46]Manfred Broy, Albrecht Schmidt, Martin Wirsing:
In memory of Heinrich Hussmann, long-time friend and SoSyM editor. Softw. Syst. Model. 22(2): 453-454 (2023) - [j45]Martin Wirsing, Stefan Jähnichen, Rocco De Nicola:
Rigorous engineering of collective adaptive systems - 2nd special section. Int. J. Softw. Tools Technol. Transf. 25(5): 617-624 (2023) - [c129]Martin Wirsing, Lenz Belzner:
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 281-306 - [c128]Lenz Belzner, Thomas Gabor, Martin Wirsing:
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. AISoLA 2023: 355-374 - 2022
- [c127]Xiyue Sun, Fabian R. Pieroth, Kyrill Schmid, Martin Wirsing, Lenz Belzner:
On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives. ICDCS Workshops 2022: 113-118 - [c126]Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition. ISoLA (3) 2022: 3-12 - [c125]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles. ISoLA (3) 2022: 110-126 - 2021
- [j44]Lenz Belzner, Martin Wirsing:
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking. Sci. Comput. Program. 206: 102620 (2021) - [j43]Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing:
On methods and tools for rigorous system design. Int. J. Softw. Tools Technol. Transf. 23(5): 679-684 (2021) - 2020
- [j42]Rocco De Nicola
, Stefan Jähnichen, Martin Wirsing:
Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4): 389-397 (2020) - [c124]Martin Wirsing, Rocco De Nicola
, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. ISoLA (2) 2020: 161-170 - [c123]Rolf Hennicker, Martin Wirsing:
A Dynamic Logic for Systems with Predicate-Based Communication. ISoLA (2) 2020: 224-242 - [i6]Lenz Belzner, Martin Wirsing:
Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking. CoRR abs/2005.03898 (2020)
2010 – 2019
- 2019
- [c122]Rolf Hennicker, Martin Wirsing:
A Generic Dynamic Logic with Applications to Interaction-Based Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 172-187 - [c121]Martin Wirsing, Rolf Hennicker:
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 367-387 - [e23]Mauro Calise, Carlos Delgado Kloos, Catherine Mongenet, Justin Reich, José A. Ruipérez-Valiente, Gideon Shimshon, Thomas Staubitz, Martin Wirsing:
Proceedings of Work in Progress Papers of the Research, Experience and Business Tracks at EMOOCs 2019, co-located with the European MOOCs Stakeholders Submmit 2019 Conference, Naples, Italy, May 20-22, 2019. CEUR Workshop Proceedings 2356, CEUR-WS.org 2019 [contents] - [e22]Mauro Calise, Carlos Delgado Kloos, Justin Reich, José A. Ruipérez-Valiente, Martin Wirsing:
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge - 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20-22, 2019, Proceedings. Lecture Notes in Computer Science 11475, Springer 2019, ISBN 978-3-030-19874-9 [contents] - 2018
- [j41]Rolf Hennicker, Alexandre Madeira
, Martin Wirsing:
Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741: 32-43 (2018) - [c120]Rocco De Nicola
, Stefan Jähnichen, Martin Wirsing:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. ISoLA (3) 2018: 3-12 - [c119]Rolf Hennicker, Martin Wirsing:
Dynamic Logic for Ensembles. ISoLA (3) 2018: 32-47 - [c118]Stefan Jähnichen, Rocco De Nicola
, Martin Wirsing:
The Meaning of Adaptation: Mastering the Unforeseen? ISoLA (3) 2018: 109-117 - [c117]Lenz Belzner, Kyrill Schmid, Thomy Phan
, Thomas Gabor, Martin Wirsing:
The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents. ISoLA (3) 2018: 241-256 - [i5]Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing:
The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents. CoRR abs/1804.10781 (2018) - 2017
- [p12]Dirk Beyer
, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing:
Software-Verifikation. 50 Jahre Universitäts-Informatik in München 2017: 75-86 - 2016
- [j40]Lenz Belzner, Matthias M. Hölzl, Nora Koch
, Martin Wirsing:
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. LNCS Trans. Found. Mastering Chang. 1: 180-200 (2016) - [c116]Stefan Jähnichen, Martin Wirsing:
Rigorous Engineering of Collective Adaptive Systems Track Introduction. ISoLA (1) 2016: 535-538 - [c115]Stefan Jähnichen, Martin Wirsing:
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. ISoLA (1) 2016: 639-641 - 2015
- [j39]Marianne Busch, Martin Wirsing:
An Ontology for Secure Web Applications. Int. J. Softw. Informatics 9(2): 233-258 (2015) - [j38]Jonas Eckhardt, Tobias Mühlbauer
, José Meseguer, Martin Wirsing:
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. Sci. Comput. Program. 99: 24-74 (2015) - [c114]Rolf Hennicker, Annabelle Klarl, Martin Wirsing:
Model-Checking Helena Ensembles with Spin. Logic, Rewriting, and Concurrency 2015: 331-360 - [c113]Stefanie Neubert, Lenz Belzner, Martin Wirsing:
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization. Logic, Rewriting, and Concurrency 2015: 562-579 - [c112]Lenz Belzner, Rolf Hennicker, Martin Wirsing:
OnPlan: A Framework for Simulation-Based Online Planning. FACS 2015: 1-30 - [p11]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente
, Andrea Vandin
, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184 - [p10]Matthias M. Hölzl, Nora Koch
, Mariachiara Puviani, Martin Wirsing, Franco Zambonelli:
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems. The ASCENS Approach 2015: 325-354 - [e21]Songmao Zhang, Martin Wirsing, Zili Zhang:
Knowledge Science, Engineering and Management - 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings. Lecture Notes in Computer Science 9403, Springer 2015, ISBN 978-3-319-25158-5 [contents] - [e20]Martin Wirsing, Matthias M. Hölzl, Nora Koch
, Philip Mayer:
Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Lecture Notes in Computer Science 8998, Springer 2015, ISBN 978-3-319-16309-3 [contents] - 2014
- [j37]Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing:
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Manifestos 4(1): 1-27 (2014) - [c111]Lenz Belzner, Rocco De Nicola
, Andrea Vandin
, Martin Wirsing:
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 2014: 188-211 - [c110]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Assembly Theories for Communication-Safe Component Systems. FPS@ETAPS 2014: 145-160 - [c109]Martin Wirsing, Rocco De Nicola
, Matthias M. Hölzl:
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. ISoLA (1) 2014: 96-98 - [c108]Marianne Busch, Nora Koch, Martin Wirsing:
SecEval: An Evaluation Framework for Engineering Secure Systems. Modellierung 2014: 337-352 - [c107]Ning Yu, Martin Wirsing:
A SOC-Based Formal Specification and Verification of Hybrid Systems. WADT 2014: 151-169 - [p9]Marianne Busch, Nora Koch, Martin Wirsing:
Evaluation of Engineering Approaches in the Secure Software Development Life Cycle. Engineering Secure Future Internet Services and Systems 2014: 234-265 - [i4]Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing:
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Reports 4(3): 47-61 (2014) - [i3]Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli:
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). Dagstuhl Reports 4(12): 68-113 (2014) - 2013
- [b4]Matthias M. Hölzl, Allaithy Raed, Martin Wirsing:
Java kompakt - Eine Einführung in die Software-Entwicklung mit Java. eXamen.press, Springer 2013, ISBN 978-3-642-28503-5, pp. I-X, 1-252 - [j36]Partha B. Sampathkumaran, Martin Wirsing:
Financial Evaluation and Optimization of Business Processes. Int. J. Inf. Syst. Model. Des. 4(2): 91-120 (2013) - [c106]Fabio Gadducci
, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing:
Soft Constraints for Lexicographic Orders. MICAI (1) 2013: 68-79 - [c105]Tomás Bures
, Rocco De Nicola
, Ilias Gerostathopoulos
, Nicklas Hoch, Michal Kit, Nora Koch
, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese
, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli
:
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. SASO Workshops 2013: 71-76 - 2012
- [c104]Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki
, José Meseguer, Martin Wirsing:
Stable Availability under Denial of Service Attacks through Formal Patterns. FASE 2012: 78-93 - [c103]Andreas Schroeder, Martin Wirsing:
Developing Physiological Computing Systems: Challenges and Solutions. Software Engineering 2012: 21-36 - [c102]Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing:
Statistical Model Checking for Composite Actor Systems. WADT 2012: 143-160 - [c101]Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer:
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. WRLA 2012: 54-82 - 2011
- [j35]Martin Wirsing, Ruqian Lu:
Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy. Int. J. Softw. Informatics 5(1-2): 1-6 (2011) - [j34]Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing:
A contract-based approach to adaptivity. J. Log. Algebraic Methods Program. 80(3-5): 180-193 (2011) - [j33]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011) - [c100]Matthias M. Hölzl, Martin Wirsing:
Towards a System Model for Ensembles. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 241-261 - [c99]Partha Sampath, Martin Wirsing:
Evaluation of Cost Based Best Practices in Business Processes. BMMDS/EMMSAD 2011: 61-74 - [c98]Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli:
ASCENS: Engineering Autonomic Service-Component Ensembles. FMCO 2011: 1-24 - [p8]Martin Wirsing, Matthias M. Hölzl, Nora Koch
, Philip Mayer:
Sensoria - Software Engineering for Service-Oriented Overlay Computers. Results of the SENSORIA Project 2011: 1-14 - [p7]Matthias M. Hölzl, Nora Koch
, Philip Mayer, Martin Wirsing:
Sensoria Patterns. Results of the SENSORIA Project 2011: 719-736 - [e19]Martin Wirsing, Matthias M. Hölzl:
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science 6582, Springer 2011, ISBN 978-3-642-20400-5 [contents] - 2010
- [j32]M. Birna van Riemsdijk, Martin Wirsing:
Comparing goal-oriented and procedural service orchestration. Multiagent Grid Syst. 6(2): 133-163 (2010) - [c97]Mirco Tribastone
, Philip Mayer, Martin Wirsing:
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. ISoLA (2) 2010: 51-65 - [c96]Martin Wirsing:
A Component-Based Approach to Adaptive User-Centric Pervasive Applications. QoSA 2010: 2 - [c95]Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki:
A heterogeneous approach to service-oriented systems specification. SAC 2010: 2477-2484 - [c94]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12 - [c93]Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder:
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. RTRTS 2010: 1-25 - [e18]Martin Wirsing, Martin Hofmann, Axel Rauschmayer:
Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6084, Springer 2010, ISBN 978-3-642-15639-7 [contents]
2000 – 2009
- 2009
- [c92]Fernando Orejas
, Martin Wirsing:
On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification 2009: 140-161 - [c91]Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing:
Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432 - [c90]Roberto Bruni
, Matthias M. Hölzl, Nora Koch
, Alberto Lluch-Lafuente
, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing:
A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave 2009: 455-469 - [c89]Partha Sampath, Martin Wirsing:
Computing the Cost of Business Processes. UNISCON 2009: 178-183 - [e17]Marsha Chechik, Martin Wirsing:
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. Proceedings. Lecture Notes in Computer Science 5503, Springer 2009, ISBN 978-3-642-00592-3 [contents] - 2008
- [c88]M. Birna van Riemsdijk
, Rolf Hennicker, Martin Wirsing, Andreas Schroeder:
Service Specification and Matchmaking Using Description Logic. AMAST 2008: 392-406 - [c87]María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki
, Martin Wirsing:
A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402 - [c86]Martin 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ó:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190 - [c85]Artur Boronat
, Alexander Knapp, José Meseguer, Martin Wirsing:
What Is a Multi-modeling Language? WADT 2008: 71-87 - [c84]Matthias M. Hölzl, Max Meier, Martin Wirsing:
Which Soft Constraints do you Prefer? WRLA 2008: 189-205 - [p6]Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Engineering of Software-Intensive Systems: State of the Art and Research Challenges. Software-Intensive Systems and New Computing Paradigms 2008: 1-44 - [p5]Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Software Engineering for Ensembles. Software-Intensive Systems and New Computing Paradigms 2008: 45-63 - [e16]Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer:
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science 5380, Springer 2008, ISBN 978-3-540-89436-0 [contents] - 2007
- [j31]Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang:
UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications). i-com 6(3): 5-12 (2007) - [c83]Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing:
Modelling the CoCoME with the Java/AComponent Model. CoCoME 2007: 207-237 - [c82]M. Birna van Riemsdijk
, Martin Wirsing:
Using Goals for Flexible Service Orchestration. SOCASE 2007: 31-48 - [e15]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing:
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007. Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i2]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing:
07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services 2007 - 2006
- [j30]Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe:
Specification and refinement of mobile systems in MTLA and mobile UML. Theor. Comput. Sci. 351(2): 184-202 (2006) - [c81]Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder:
Semantic-Based Development of Service-Oriented Systems. FORTE 2006: 24-45 - [c80]Martin Wirsing, Rocco De Nicola
, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro:
SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50 - [c79]Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister:
A Rewriting Logic Framework for Soft Constraints. WRLA 2006: 181-197 - [e14]José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing:
Foundations of Global Computing, 20.-25. February 2005. Dagstuhl Seminar Proceedings 05081, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [b3]Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley:
Adapting Proofs-as-Programs - The Curry-Howard Protocol. Monographs in Computer Science, Springer 2005, ISBN 978-0-387-23759-6, pp. 1-396 - [j29]Nora Koch, Piero Fraternali, Martin Wirsing:
Editorial. J. Web Eng. 4(1): 1-2 (2005) - [j28]Dirk Pattinson, Martin Wirsing:
A coordination approach to mobile components. Theor. Comput. Sci. 331(2-3): 457-483 (2005) - [c78]Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing:
A Component Model for Architectural Programming. FACS 2005: 75-96 - [e13]Dang Van Hung, Martin Wirsing:
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. Lecture Notes in Computer Science 3722, Springer 2005, ISBN 3-540-29107-5 [contents] - [i1]José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing:
05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005 - 2004
- [c77]Alexander Knapp, Stephan Merz, Martin Wirsing:
Refining Mobile UML State Machines. AMAST 2004: 274-288 - [c76]Diego Latella, Mieke Massink
, Hubert Baumeister, Martin Wirsing:
Mobile UML Statecharts with Localities. Global Computing 2004: 34-58 - [c75]Axel Rauschmayer, Alexander Knapp, Martin Wirsing:
Consistency Checking in an Infrastructure for Large-Scale Generative. ASE 2004: 238-247 - [c74]Hubert Baumeister, Alexander Knapp, Martin Wirsing:
Property-Driven Development. SEFM 2004: 96-102 - [e12]Nora Koch, Piero Fraternali, Martin Wirsing:
Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings. Lecture Notes in Computer Science 3140, Springer 2004, ISBN 3-540-22511-0 [contents] - [e11]Martin Wirsing, Alexander Knapp, Simonetta Balsamo:
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Lecture Notes in Computer Science 2941, Springer 2004, ISBN 3-540-21179-9 [contents] - 2003
- [c73]Philipp Meier, Martin Wirsing:
Towards a Formal Specification for the AgentComponent. Objects, Agents, and Features 2003: 175-188 - [c72]Stephan Merz, Martin Wirsing, Júlia Zappe:
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. FASE 2003: 87-101 - [c71]Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing:
UML for Global Computing. Global Computing 2003: 1-24 - [c70]Richard Krutisch, Philipp Meier, Martin Wirsing:
The Agent Component Approach, Combining Agents, and Components. MATES 2003: 1-12 - [e10]Martin Wirsing, Dirk Pattinson, Rolf Hennicker:
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2755, Springer 2003, ISBN 3-540-20537-3 [contents] - 2002
- [j27]Martin Wirsing, Alexander Knapp:
A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2): 519-560 (2002) - [c69]