Michael Meisinger

Munindar P. Singh, Matthew Arrott, Tina Balke, Amit K. Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krüger, Ho-Pun Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen, Serena Villata: The Uses of Norms. Normative Multi-Agent Systems 2013: 191-229

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini: Interaction-based Runtime Verification for Systems of Systems Integration. J. Log. Comput. 20(3): 725-742 (2010)

David R. Thompson, Steve A. Chien, Yi Chao, Peggy Li, Bronwyn Cahill, Julia Levin, Oscar Schofield, Arjuna P. Balasuriya, Stephanie Petillo, Matt Arrott, Michael Meisinger: Spatiotemporal path planning in strong, dynamic, uncertain currents. ICRA 2010: 4778-4783

Alexander Gruler, Michael Meisinger: Fundamental Concepts for the Structuring of Functionality into Modular Parts. FSEN 2009: 463-470

Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.): Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4922, Springer 2008, isbn 978-3-540-70929-9

Manfred Broy, Ingolf H. Krüger, Michael Meisinger: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1) (2007)

Sebastian Herold, Holger Klus, Yannick Welsch, Constanze Deiters, Andreas Rausch, Ralf Reussner, Klaus Krogmann, Heiko Koziolek, Raffaela Mirandola, Benjamin Hummel, Michael Meisinger, Christian Pfaller: CoCoME - The Common Component Modeling Example. CoCoME 2007: 16-53

Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild: Service-Oriented Modeling of CoCoME with Focus and AutoFocus. CoCoME 2007: 177-206

Michael Meisinger, Ingolf Krüger: A Service-Oriented Extension of the V-Modell XT. ECBS 2007: 256-268

Vina Ermagan, To-ju Huang, Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy: Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. MBEES 2007: 1-24

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini: Runtime Verification of Interactions: From MSCs to Aspects. RV 2007: 63-74

Jon Whittle, Leif Geiger, Michael Meisinger: 5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM). ACM SIGSOFT Software Engineering Notes 31(5): 39-40 (2006)

Michael Meisinger, Andreas Rausch, Marc Sihling: 4everedit - Team-based Process Documentation Management. Software Process: Improvement and Practice 11(6): 627-642 (2006)

Ingolf H. Krüger, Reena Mathew, Michael Meisinger: Efficient exploration of service-oriented architectures using aspects. ICSE 2006: 62-71

Jon Whittle, Leif Geiger, Michael Meisinger: Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM). ICSE 2006: 1039-1040

Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco: Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure. IRI 2006: 51-56

Jon Whittle, Leif Geiger, Michael Meisinger: Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM). SCESM 2006: 1-3

Ingolf H. Krüger, Gunny Lee, Michael Meisinger: Automating software architecture exploration with M2Aspects. SCESM 2006: 51-58

Stefan Wagner, Michael Meisinger: Integrating a model of analytical quality assurance into the V-Modell XT. SOQUA 2006: 38-45

Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.): Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4147, Springer 2006, isbn 3-540-37677-1

Jon Whittle, Leif Geiger, Michael Meisinger (Eds.): SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006. ACM 2006, isbn 1-59593-394-8

Ingolf H. Krüger, Reena Mathew, Michael Meisinger: From scenarios to aspects: exploring product lines. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)

Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger: Model-based run-time monitoring of end-to-end deadlines. EMSOFT 2005: 100-109

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini: Applying Service-Oriented Development to Complex Systems: BART Case Study. Monterey Workshop 2005: 26-46

Martin Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger: Modeling Crosscutting Services with UML Sequence Diagrams. MoDELS 2005: 522-536

Jean Hartmann, Claudio Imoberdorf, Michael Meisinger: UML-Based integration testing. ISSTA 2000: 60-70