Michael Meisinger

According to our database, Michael Meisinger authored at least 24 papers between 2000 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

A Service-Oriented Development Process for Distributed Reactive Systems.

Michael Meisinger

PhD thesis, 2016

2013

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, 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

Proceedings of the Normative Multi-Agent Systems, 2013

2010

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009

Fundamental Concepts for the Structuring of Functionality into Modular Parts.

Alexander Gruler, Michael Meisinger

Proceedings of the Fundamentals of Software Engineering, 2009

2007

A formal model of services.

Manfred Broy, Ingolf H. Krüger, Michael Meisinger

ACM Trans. Softw. Eng. Methodol., 2007

Runtime Verification of Interactions: From MSCs to Aspects.

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini

Proceedings of the Runtime Verification, 7th International Workshop, 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

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

A Service-Oriented Extension of the V-Modell XT.

Michael Meisinger, Ingolf Krüger

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 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

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 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

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

4everedit - Team-based Process Documentation Management.

Michael Meisinger, Andreas Rausch, Marc Sihling

Softw. Process. Improv. Pract., 2006

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

Integrating a model of analytical quality assurance into the V-Modell XT.

Stefan Wagner, Michael Meisinger

Proceedings of the Third International Workshop on Software Quality Assurance, 2006

Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM).

Jon Whittle, Leif Geiger, Michael Meisinger

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Automating software architecture exploration with M2Aspects.

Ingolf H. Krüger, Gunny Lee, Michael Meisinger

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 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, 2006

Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM).

Jon Whittle, Leif Geiger, Michael Meisinger

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Efficient exploration of service-oriented architectures using aspects.

Ingolf H. Krüger, Reena Mathew, Michael Meisinger

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

From scenarios to aspects: exploring product lines.

Ingolf H. Krüger, Reena Mathew, Michael Meisinger

ACM SIGSOFT Softw. Eng. Notes, 2005

Modeling Crosscutting Services with UML Sequence Diagrams.

Martin R. Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Applying Service-Oriented Development to Complex Systems: BART Case Study.

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Model-based run-time monitoring of end-to-end deadlines.

Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger

Proceedings of the EMSOFT 2005, 2005

2000

UML-Based integration testing.

Jean Hartmann, Claudio Imoberdorf, Michael Meisinger

Proceedings of the International Symposium on Software Testing and Analysis, 2000