![]() | ![]() |
Ingolf H. Krüger
List of publications from the DBLP Bibliography Server - FAQ
| 2012 | ||
|---|---|---|
| 58 | Barry Demchak, Jacqueline Kerr, Fred Raab, Kevin Patrick, Ingolf H. Krüger: PALMS: A Modern Coevolution of Community and Computing Using Policy Driven Development. HICSS 2012: 2735-2744 | |
| 2010 | ||
| 57 | 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) | |
| 2009 | ||
| 56 | Jon Oldevik, Massimiliano Menarini, Ingolf Krüger: Model Composition Contracts. MoDELS 2009: 531-545 | |
| 2008 | ||
| 55 | Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings ICSOC 2008 | |
| 54 | 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 Springer 2008 | |
| 53 | Vina Ermagan, Ingolf Krüger, Massimiliano Menarini: A Fault Tolerance Approach for Enterprise Applications. IEEE SCC (2) 2008: 63-72 | |
| 52 | Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini: A Service-Oriented Approach to Failure Management. MBEES 2008: 102-116 | |
| 51 | Claudiu Farcas, Emilia Farcas, Ingolf Krüger: Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems. Monterey Workshop 2008: 93-115 | |
| 2007 | ||
| 50 | Barry Demchak, Vina Ermagan, Emilia Farcas, To-ju Huang, Ingolf H. Krüger, Massimiliano Menarini: A Rich Services Approach to CoCoME. CoCoME 2007: 85-115 | |
| 49 | Michael Meisinger, Ingolf Krüger: A Service-Oriented Extension of the V-Modell XT. ECBS 2007: 256-268 | |
| 48 | Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71 | |
| 47 | Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta: Reactivity in SystemC Transaction-Level Models. Haifa Verification Conference 2007: 34-50 | |
| 46 | Matthew Arrott, Barry Demchak, Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini: Rich Services: The Integration Piece of the SOA Puzzle. ICWS 2007: 176-183 | |
| 45 | Barry Demchak, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger: The Treasure Map for Rich Services. IRI 2007: 400-405 | |
| 44 | 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 | |
| 43 | Vina Ermagan, Ingolf H. Krüger: A UML2 Profile for Service Modeling. MoDELS 2007: 360-374 | |
| 42 | Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini: Requirements Modeling for Embedded Realtime Systems. Model-Based Engineering of Embedded Real-Time Systems 2007: 155-199 | |
| 41 | Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini: Runtime Verification of Interactions: From MSCs to Aspects. RV 2007: 63-74 | |
| 40 | Manfred Broy, Ingolf H. Krüger, Michael Meisinger: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1): (2007) | |
| 2006 | ||
| 39 | 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 Springer 2006 | |
| 38 | Ingolf H. Krüger, Reena Mathew, Michael Meisinger: Efficient exploration of service-oriented architectures using aspects. ICSE 2006: 62-71 | |
| 37 | 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 | |
| 36 | Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar: Compositional interaction specifications for SystemC. MEMOCODE 2006: 201 | |
| 35 | Ingolf H. Krüger, Massimiliano Menarini: Queries and Constraints: A Comprehensive Semantic Model for UML2. MoDELS Workshops 2006: 327-328 | |
| 34 | Vina Ermagan, Ingolf Krüger, Massimiliano Menarini: Model-Based Failure Management for Distributed Reactive Systems. Monterey Workshop 2006: 53-74 | |
| 33 | Ingolf H. Krüger, Gunny Lee, Michael Meisinger: Automating software architecture exploration with M2Aspects. SCESM 2006: 51-58 | |
| 32 | Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin: A Verification Approach for GALS Integration of Synchronous Components. Electr. Notes Theor. Comput. Sci. 146(2): 105-131 (2006) | |
| 31 | Kendra Cooper, Holger Giese, Ingolf H. Krüger: Visual modeling for software intensive systems. J. Vis. Lang. Comput. 17(6): 503-507 (2006) | |
| 30 | Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz: SoSyM special section on service-based software engineering. Software and System Modeling 5(2): 170-171 (2006) | |
| 2005 | ||
| 29 | Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger: Model-based run-time monitoring of end-to-end deadlines. EMSOFT 2005: 100-109 | |
| 28 | Russell A. McClure, Ingolf H. Krüger: SQL DOM: compile time checking of dynamic SQL statements. ICSE 2005: 88-96 | |
| 27 | Ingolf Krüger: Service-oriented software and systems engineering - a vision for the automotive domain. MEMOCODE 2005: 150 | |
| 26 | Martin Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger: Modeling Crosscutting Services with UML Sequence Diagrams. MoDELS 2005: 522-536 | |
| 25 | Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini: Applying Service-Oriented Development to Complex Systems: BART Case Study. Monterey Workshop 2005: 26-46 | |
| 24 | Holger Giese, Ingolf H. Krüger, Kendra Cooper: Visual Modeling for Software Intensive Systems. VL/HCC 2005: 4 | |
| 23 | Holger Giese, Ingolf Krüger: A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools". ACM SIGSOFT Software Engineering Notes 30(1): 2 (2005) | |
| 22 | Ingolf H. Krüger, Reena Mathew, Michael Meisinger: From scenarios to aspects: exploring product lines. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) | |
| 21 | Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle: Guest Editorial: Special Section on Interaction and State-Based Modeling. IEEE Trans. Software Eng. 31(12): 997-998 (2005) | |
| 2004 | ||
| 20 | Ingolf H. Krüger: Service specification with MSCs and roles. IASTED Conf. on Software Engineering 2004: 42-47 | |
| 19 | Holger Giese, Ingolf Krüger: Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). ICSE 2004: 766-767 | |
| 18 | Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy: Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. SoftSpez Final Report 2004: 29-47 | |
| 17 | Ingolf H. Krüger, Reena Mathew: Systematic Development and Exploration of Service-Oriented Software Architectures. WICSA 2004: 177-187 | |
| 16 | Ingolf Krüger, Wolfgang Prenninger, Robert Sandner: Broadcast MSCs. Formal Asp. Comput. 16(3): 194-209 (2004) | |
| 2003 | ||
| 15 | Ingolf Krüger: Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. FASE 2003: 387-402 | |
| 14 | Alexander Egyed, Martin Glinz, Ingolf Krüger, Tarja Systä, Sebastián Uchitel, Albert Zündorf: Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. ICSE 2003: 783-784 | |
| 13 | Radu Cornea, Nikil D. Dutt, Rajesh K. Gupta, Ingolf Krüger, Alexandru Nicolau, Douglas C. Schmidt, Sandeep K. Shukla: FORGE: A Framework for Optimization of Distributed Embedded Systems Software. IPDPS 2003: 208 | |
| 12 | Ingolf H. Krüger, Reena Mathew: Component Synthesis from Service Specifications. Scenarios: Models, Transformations and Tools 2003: 255-277 | |
| 11 | Ingolf Krüger, Sebastián Uchitel, Jon Whittle, Albert Zündorf: A summary of the second ICSE 2003 workshop on: "scenarios and state machines: models, algorithms, and tools". ACM SIGSOFT Software Engineering Notes 28(6): 9 (2003) | |
| 2002 | ||
| 10 | Ingolf Krüger: Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations. Electr. Notes Theor. Comput. Sci. 65(7): 34-50 (2002) | |
| 9 | Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy: From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. International Journal of Software Engineering and Knowledge Engineering 12(2): 155-174 (2002) | |
| 2001 | ||
| 8 | Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin: Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999). Inform., Forsch. Entwickl. 16(1): 53-59 (2001) | |
| 2000 | ||
| 7 | Radu Grosu, Ingolf Krüger, Thomas Stauner: Hybrid Sequence Charts. ISORC 2000: 104- | |
| 1999 | ||
| 6 | Ingolf Krüger: Towards the Methodical Usage of Message Sequence Charts. FBT 1999: 123-134 | |
| 5 | Bernhard Rumpe, Ruth Breu, Ingolf Krüger: Applied Software Engineering Principles for UML. TOOLS (29) 1999: 410 | |
| 1998 | ||
| 4 | Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy: From MSCs to Statecharts. DIPES 1998: 61-72 | |
| 3 | Manfred Broy, Ingolf Krüger: Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. ICFEM 1998: 2- | |
| 2 | Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin: Exemplary and complete object interaction descriptions. Computer Standards & Interfaces 19(7): 335-345 (1998) | |
| 1997 | ||
| 1 | Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt: Using Extended Event Traces to Describe Communication in Software Architectures. APSEC 1997: 203-212 | |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page