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
- 2024
- [c133]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 - [c132]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 - [c131]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles in Semantic and Symbolic Environments. ISoLA (2) 2024: 69-87 - [c130]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Symbolic Realisation of Epistemic Processes. LPAR 2024: 390-407 - [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]