Search the dblp DataBase

Publications of Author

1. Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger
   Model-based run-time monitoring of end-to-end deadlines. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:100-109 [Conf]
   
2. Ingolf H. Krüger, Reena Mathew, Michael Meisinger
   Efficient exploration of service-oriented architectures using aspects. [Citation Graph (0, 0)][DBLP]
   ICSE, 2006, pp:62-71 [Conf]
   
3. Jon Whittle, Leif Geiger, Michael Meisinger
   Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM). [Citation Graph (0, 0)][DBLP]
   ICSE, 2006, pp:1039-1040 [Conf]
   
4. Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco
   Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure. [Citation Graph (0, 0)][DBLP]
   IRI, 2006, pp:51-56 [Conf]
   
5. Jean Hartmann, Claudio Imoberdorf, Michael Meisinger
   UML-Based integration testing. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2000, pp:60-70 [Conf]
   
6. Ingolf H. Krüger, Gunny Lee, Michael Meisinger
   Automating software architecture exploration with M2Aspects. [Citation Graph (0, 0)][DBLP]
   SCESM, 2006, pp:51-58 [Conf]
   
7. Jon Whittle, Leif Geiger, Michael Meisinger
   Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM). [Citation Graph (0, 0)][DBLP]
   SCESM, 2006, pp:1-3 [Conf]
   
8. Stefan Wagner, Michael Meisinger
   Integrating a model of analytical quality assurance into the V-Modell XT. [Citation Graph (0, 0)][DBLP]
   SOQUA, 2006, pp:38-45 [Conf]
   
9. Martin Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger
   Modeling Crosscutting Services with UML Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
   MoDELS, 2005, pp:522-536 [Conf]
   
10. Manfred Broy, Ingolf H. Krüger, Michael Meisinger
    A formal model of services. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:1, pp:- [Journal]
    
11. 
    Service-Oriented Modeling of CoCoME with Focus and AutoFocus. [Citation Graph (, )][DBLP]
    
    
12. 
    CoCoME - The Common Component Modeling Example. [Citation Graph (, )][DBLP]
    
    
13. 
    A Service-Oriented Extension of the V-Modell XT. [Citation Graph (, )][DBLP]
    
    
14. 
    Spatiotemporal path planning in strong, dynamic, uncertain currents. [Citation Graph (, )][DBLP]
    
    
15. 
    Fundamental Concepts for the Structuring of Functionality into Modular Parts. [Citation Graph (, )][DBLP]
    
    
16. 
    Runtime Verification of Interactions: From MSCs to Aspects. [Citation Graph (, )][DBLP]
    
    
17. 
    Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. [Citation Graph (, )][DBLP]