A Service-Oriented Development Process for Distributed Reactive Systems - Michael Meisinger (Technical University Munich, Germany, 2016)

Integrating a Model of Analytical Quality Assurance into the V-Modell XT - Stefan Wagner; Michael Meisinger (CoRR, 2016)

The Uses of Norms - 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; et al. (Normative Multi-Agent Systems, 2013)

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

Spatiotemporal path planning in strong, dynamic, uncertain currents - 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 (IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010, 2010)

Fundamental Concepts for the Structuring of Functionality into Modular Parts - Alexander Gruler; Michael Meisinger (Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers, 2009)

Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers - Manfred Broy; Ingolf H. Krüger; Michael Meisinger (Springer, 2008)

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

CoCoME - The Common Component Modeling Example - Sebastian Herold; Holger Klus; Yannick Welsch; Constanze Deiters; Andreas Rausch; Ralf H. Reussner; Klaus Krogmann; Heiko Koziolek; Raffaela Mirandola; Benjamin Hummel; Michael Meisinger; Christian Pfaller (The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007], 2007)

Service-Oriented Modeling of CoCoME with Focus and AutoFocus - Manfred Broy; Jorge Fox; Florian Hölzl; Dagmar Koss; Marco Kuhrmann; Michael Meisinger; Birgit Penzenstadler; Sabine Rittmann; Bernhard Schätz; Maria Spichkova; Doris Wild (The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007], 2007)

A Service-Oriented Extension of the V-Modell XT - Michael Meisinger; Ingolf Krüger (14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA, 2007)

Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems - Vina Ermagan; To-ju Huang; Ingolf H. Krüger; Michael Meisinger; Massimiliano Menarini; Praveen Moorthy (Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, 2007)

Runtime Verification of Interactions: From MSCs to Aspects - Ingolf H. Krüger; Michael Meisinger; Massimiliano Menarini (Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, 2007)

5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM) - Jon Whittle; Leif Geiger; Michael Meisinger (ACM SIGSOFT Softw. Eng. Notes, 2006)

4everedit - Team-based Process Documentation Management - Michael Meisinger; Andreas Rausch; Marc Sihling (Softw. Process. Improv. Pract., 2006)

Efficient exploration of service-oriented architectures using aspects - Ingolf H. Krüger; Reena Mathew; Michael Meisinger (28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, 2006)

Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM) - Jon Whittle; Leif Geiger; Michael Meisinger (28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, 2006)

Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure - Ingolf Krüger; Michael Meisinger; Massimiliano Menarini; Stephen Pasco (Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI - 2006: Heuristic Systems Engineering, September 16-18, 2006, Waikoloa, Hawaii, USA, 2006)

Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM) - Jon Whittle; Leif Geiger; Michael Meisinger (SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006, 2006)

Automating software architecture exploration with M2Aspects - Ingolf H. Krüger; Gunny Lee; Michael Meisinger (SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006, 2006)

Integrating a model of analytical quality assurance into the V-Modell XT - Stefan Wagner; Michael Meisinger (Third International Workshop on Software Quality Assurance, SOQUA 2006, Portland, Oregon, USA, November 6, 2006, 2006)

Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers - Manfred Broy; Ingolf H. Krüger; Michael Meisinger (Springer, 2006)

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

From scenarios to aspects: exploring product lines - Ingolf H. Krüger; Reena Mathew; Michael Meisinger (ACM SIGSOFT Softw. Eng. Notes, 2005)

Model-based run-time monitoring of end-to-end deadlines - Jaswinder Ahluwalia; Ingolf H. Krüger; Walter Phillips; Michael Meisinger (EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, 2005)

Applying Service-Oriented Development to Complex Systems: BART Case Study - Ingolf H. Krüger; Michael Meisinger; Massimiliano Menarini (Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers, 2005)

Modeling Crosscutting Services with UML Sequence Diagrams - Martin R. Deubler; Michael Meisinger; Sabine Rittmann; Ingolf Krüger (Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, 2005)

UML-Based integration testing - Jean Hartmann; Claudio Imoberdorf; Michael Meisinger (Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, 2000)