Michael Meisinger

28 papers A* 3A 2B 1Misc 2Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2016 — —
A Service-Oriented Development Process for Distributed Reactive Systems.
Michael Meisinger
2016 J jnl
Integrating a Model of Analytical Quality Assurance into the V-Modell XT.
CoRR
Stefan Wagner, Michael Meisinger
2013 — ch.
The Uses of Norms.
Normative Multi-Agent Systems
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
2010 J jnl
Interaction-based Runtime Verification for Systems of Systems Integration.
J. Log. Comput.
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
2010 A* conf
Spatiotemporal path planning in strong, dynamic, uncertain currents.
ICRA
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
2009 — conf
Fundamental Concepts for the Structuring of Functionality into Modular Parts.
FSEN
Alexander Gruler, Michael Meisinger
2008 — ed.
Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
ASWSD
Manfred Broy, Ingolf H. Krüger, Michael Meisinger
2007 — conf
A Service-Oriented Extension of the V-Modell XT.
ECBS
Michael Meisinger, Ingolf Krüger
2007 J jnl
A formal model of services.
ACM Trans. Softw. Eng. Methodol.
Manfred Broy, Ingolf H. Krüger, Michael Meisinger
2007 — conf
CoCoME - The Common Component Modeling Example.
CoCoME
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
2007 B conf
Runtime Verification of Interactions: From MSCs to Aspects.
RV
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
2007 — conf
Service-Oriented Modeling of CoCoME with Focus and AutoFocus.
CoCoME
Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild
2007 — conf
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems.
MBEES
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy
2006 J jnl
4everedit - Team-based Process Documentation Management.
Softw. Process. Improv. Pract.
Michael Meisinger, Andreas Rausch, Marc Sihling
2006 J jnl
5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM).
ACM SIGSOFT Softw. Eng. Notes
Jon Whittle, Leif Geiger, Michael Meisinger
2006 — conf
Automating software architecture exploration with M2Aspects.
SCESM
Ingolf H. Krüger, Gunny Lee, Michael Meisinger
2006 — ed.
Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
ASWSD
Manfred Broy, Ingolf H. Krüger, Michael Meisinger
2006 A* conf
Efficient exploration of service-oriented architectures using aspects.
ICSE
Ingolf H. Krüger, Reena Mathew, Michael Meisinger
2006 — conf
Integrating a model of analytical quality assurance into the V-Modell XT.
SOQUA
Stefan Wagner, Michael Meisinger
2006 Misc conf
Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure.
IRI
Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco
2006 — ed.
SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006
SCESM
Jon Whittle, Leif Geiger, Michael Meisinger
2006 A* conf
Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM).
ICSE
Jon Whittle, Leif Geiger, Michael Meisinger
2006 — conf
Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM).
SCESM
Jon Whittle, Leif Geiger, Michael Meisinger
2005 — conf
Applying Service-Oriented Development to Complex Systems: BART Case Study.
Monterey Workshop
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
2005 J jnl
From scenarios to aspects: exploring product lines.
ACM SIGSOFT Softw. Eng. Notes
Ingolf H. Krüger, Reena Mathew, Michael Meisinger
2005 Misc conf
Model-based run-time monitoring of end-to-end deadlines.
EMSOFT
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger
2005 A conf
Modeling Crosscutting Services with UML Sequence Diagrams.
MoDELS
Martin R. Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger
2000 A conf
UML-Based integration testing.
ISSTA
Jean Hartmann, Claudio Imoberdorf, Michael Meisinger