default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Meisinger
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2016
[b1]Michael Meisinger:
A Service-Oriented Development Process for Distributed Reactive Systems. Technical University Munich, Germany, 2016
Journal Articles
- 2010
- [j5]Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Interaction-based Runtime Verification for Systems of Systems Integration. J. Log. Comput. 20(3): 725-742 (2010) - 2007
- [j4]Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1): 5 (2007) - 2006
- [j3]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): 39-40 (2006) - [j2]Michael Meisinger, Andreas Rausch, Marc Sihling:
4everedit - Team-based Process Documentation Management. Softw. Process. Improv. Pract. 11(6): 627-642 (2006) - 2005
- [j1]Ingolf H. Krüger, Reena Mathew, Michael Meisinger:
From scenarios to aspects: exploring product lines. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-6 (2005)
Conference and Workshop Papers
- 2010
- [c17]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: 4778-4783 - 2009
- [c16]Alexander Gruler, Michael Meisinger:
Fundamental Concepts for the Structuring of Functionality into Modular Parts. FSEN 2009: 463-470 - 2007
- [c15]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: 16-53 - [c14]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: 177-206 - [c13]Michael Meisinger, Ingolf Krüger:
A Service-Oriented Extension of the V-Modell XT. ECBS 2007: 256-268 - [c12]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: 1-24 - [c11]Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Runtime Verification of Interactions: From MSCs to Aspects. RV 2007: 63-74 - 2006
- [c10]Ingolf H. Krüger, Reena Mathew, Michael Meisinger:
Efficient exploration of service-oriented architectures using aspects. ICSE 2006: 62-71 - [c9]Jon Whittle, Leif Geiger, Michael Meisinger:
Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM). ICSE 2006: 1039-1040 - [c8]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: 51-56 - [c7]Jon Whittle, Leif Geiger, Michael Meisinger:
Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM). SCESM 2006: 1-3 - [c6]Ingolf H. Krüger, Gunny Lee, Michael Meisinger:
Automating software architecture exploration with M2Aspects. SCESM 2006: 51-58 - [c5]Stefan Wagner, Michael Meisinger:
Integrating a model of analytical quality assurance into the V-Modell XT. SOQUA 2006: 38-45 - 2005
- [c4]Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger:
Model-based run-time monitoring of end-to-end deadlines. EMSOFT 2005: 100-109 - [c3]Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Applying Service-Oriented Development to Complex Systems: BART Case Study. Monterey Workshop 2005: 26-46 - [c2]Martin R. Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger:
Modeling Crosscutting Services with UML Sequence Diagrams. MoDELS 2005: 522-536 - 2000
- [c1]Jean Hartmann, Claudio Imoberdorf, Michael Meisinger:
UML-Based integration testing. ISSTA 2000: 60-70
Parts in Books or Collections
- 2013
- [p1]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:
The Uses of Norms. Normative Multi-Agent Systems 2013: 191-229
Editorship
- 2008
- [e3]Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4922, Springer 2008, ISBN 978-3-540-70929-9 [contents] - 2006
- [e2]Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4147, Springer 2006, ISBN 3-540-37677-1 [contents] - [e1]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. ACM 2006, ISBN 1-59593-394-8 [contents]
Informal and Other Publications
- 2016
- [i1]Stefan Wagner, Michael Meisinger:
Integrating a Model of Analytical Quality Assurance into the V-Modell XT. CoRR abs/1611.01286 (2016)
Coauthor Index
aka: Ingolf H. Krüger
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 01:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
