A Service-Oriented Development Process for Distributed Reactive Systems. - Meisinger, Michael (2016)

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

The Uses of Norms. - Singh, Munindar P.; Arrott, Matthew; Balke, Tina; Chopra, Amit K.; Christiaanse, Rob; Cranefield, Stephen; Dignum, Frank; Eynard, Davide; Farcas, Emilia; Fornara, Nicoletta; Gandon, Fabien; Governatori, Guido; et al. (2013)

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

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

Fundamental Concepts for the Structuring of Functionality into Modular Parts. - Gruler, Alexander; Meisinger, Michael (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 (Springer, 2008)

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

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

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

A Service-Oriented Extension of the V-Modell XT. - Meisinger, Michael; Krüger, Ingolf (2007)

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

Runtime Verification of Interactions: From MSCs to Aspects. - Krüger, Ingolf H.; Meisinger, Michael; Menarini, Massimiliano (2007)

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

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

Efficient exploration of service-oriented architectures using aspects. - Krüger, Ingolf H.; Mathew, Reena; Meisinger, Michael (2006)

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

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

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

Automating software architecture exploration with M2Aspects. - Krüger, Ingolf H.; Lee, Gunny; Meisinger, Michael (2006)

Integrating a model of analytical quality assurance into the V-Modell XT. - Wagner, Stefan; Meisinger, Michael (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 (Springer, 2006)

SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006 (ACM, 2006)

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

Model-based run-time monitoring of end-to-end deadlines. - Ahluwalia, Jaswinder; Krüger, Ingolf H.; Phillips, Walter; Meisinger, Michael (2005)

Applying Service-Oriented Development to Complex Systems: BART Case Study. - Krüger, Ingolf H.; Meisinger, Michael; Menarini, Massimiliano (2005)

Modeling Crosscutting Services with UML Sequence Diagrams. - Deubler, Martin R.; Meisinger, Michael; Rittmann, Sabine; Krüger, Ingolf (2005)

UML-Based integration testing. - Hartmann, Jean; Imoberdorf, Claudio; Meisinger, Michael (2000)