Michael Meisinger

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Venues

CoRR

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Stefan Wagner, Michael Meisinger
Integrating a Model of Analytical Quality Assurance into the V-Modell XT. CoRR (2016)
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)
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
Interaction-based Runtime Verification for Systems of Systems Integration. J. Log. Comput. 20 (3) (2010)
Alexander Gruler, Michael Meisinger
Fundamental Concepts for the Structuring of Functionality into Modular Parts. FSEN (2009)
Manfred Broy, Ingolf H. Krüger, Michael Meisinger
A formal model of services. ACM Trans. Softw. Eng. Methodol. 16 (1) (2007)
Michael Meisinger, Ingolf Krüger
A Service-Oriented Extension of the V-Modell XT. ECBS (2007)
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)
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
Runtime Verification of Interactions: From MSCs to Aspects. RV (2007)
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
CoCoME - The Common Component Modeling Example. CoCoME (2007)
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)
Michael Meisinger, Andreas Rausch, Marc Sihling
4everedit - Team-based Process Documentation Management. Softw. Process. Improv. Pract. 11 (6) (2006)
Stefan Wagner, Michael Meisinger
Integrating a model of analytical quality assurance into the V-Modell XT. SOQUA (2006)
Ingolf H. Krüger, Reena Mathew, Michael Meisinger
Efficient exploration of service-oriented architectures using aspects. ICSE (2006)
Ingolf H. Krüger, Gunny Lee, Michael Meisinger
Automating software architecture exploration with M2Aspects. SCESM (2006)
Jon Whittle, Leif Geiger, Michael Meisinger
Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM). SCESM (2006)
Jon Whittle, Leif Geiger, Michael Meisinger
Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM). ICSE (2006)
Jon Whittle, Leif Geiger, Michael Meisinger
5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM). ACM SIGSOFT Softw. Eng. Notes 31 (5) (2006)
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)
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
Applying Service-Oriented Development to Complex Systems: BART Case Study. Monterey Workshop (2005)
Ingolf H. Krüger, Reena Mathew, Michael Meisinger
From scenarios to aspects: exploring product lines. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger
Model-based run-time monitoring of end-to-end deadlines. EMSOFT (2005)
Martin R. Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger
Modeling Crosscutting Services with UML Sequence Diagrams. MoDELS (2005)
Jean Hartmann, Claudio Imoberdorf, Michael Meisinger
UML-Based integration testing. ISSTA (2000)

Michael Meisinger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Meisinger