Ingolf H. Krüger
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
48 | Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings ICSOC 2008 | |
47 | 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 | |
46 | EE | Vina Ermagan, Ingolf Krüger, Massimiliano Menarini: A Fault Tolerance Approach for Enterprise Applications. IEEE SCC (2) 2008: 63-72 |
2007 | ||
45 | EE | 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 |
44 | EE | Michael Meisinger, Ingolf Krüger: A Service-Oriented Extension of the V-Modell XT. ECBS 2007: 256-268 |
43 | EE | Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71 |
42 | EE | 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 |
41 | EE | Barry Demchak, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger: The Treasure Map for Rich Services. IRI 2007: 400-405 |
40 | EE | Vina Ermagan, Ingolf H. Krüger: A UML2 Profile for Service Modeling. MoDELS 2007: 360-374 |
39 | EE | Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini: Runtime Verification of Interactions: From MSCs to Aspects. RV 2007: 63-74 |
38 | EE | Manfred Broy, Ingolf H. Krüger, Michael Meisinger: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1): (2007) |
2006 | ||
37 | 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 | |
36 | EE | Ingolf H. Krüger, Reena Mathew, Michael Meisinger: Efficient exploration of service-oriented architectures using aspects. ICSE 2006: 62-71 |
35 | 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 | |
34 | EE | Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar: Compositional interaction specifications for SystemC. MEMOCODE 2006: 201 |
33 | EE | Ingolf H. Krüger, Massimiliano Menarini: Queries and Constraints: A Comprehensive Semantic Model for UML2. MoDELS Workshops 2006: 327-328 |
32 | EE | Vina Ermagan, Ingolf Krüger, Massimiliano Menarini: Model-Based Failure Management for Distributed Reactive Systems. Monterey Workshop 2006: 53-74 |
31 | EE | Ingolf H. Krüger, Gunny Lee, Michael Meisinger: Automating software architecture exploration with M2Aspects. SCESM 2006: 51-58 |
30 | EE | 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) |
29 | EE | Kendra Cooper, Holger Giese, Ingolf H. Krüger: Visual modeling for software intensive systems. J. Vis. Lang. Comput. 17(6): 503-507 (2006) |
28 | EE | 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 | ||
27 | EE | Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger: Model-based run-time monitoring of end-to-end deadlines. EMSOFT 2005: 100-109 |
26 | EE | Russell A. McClure, Ingolf H. Krüger: SQL DOM: compile time checking of dynamic SQL statements. ICSE 2005: 88-96 |
25 | EE | Ingolf Krüger: Service-oriented software and systems engineering - a vision for the automotive domain. MEMOCODE 2005: 150 |
24 | EE | Martin Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger: Modeling Crosscutting Services with UML Sequence Diagrams. MoDELS 2005: 522-536 |
23 | EE | Holger Giese, Ingolf H. Krüger, Kendra Cooper: Visual Modeling for Software Intensive Systems. VL/HCC 2005: 4 |
22 | EE | 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) |
21 | EE | 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) |
20 | EE | 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 | ||
19 | Ingolf H. Krüger: Service specification with MSCs and roles. IASTED Conf. on Software Engineering 2004: 42-47 | |
18 | EE | Holger Giese, Ingolf Krüger: Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). ICSE 2004: 766-767 |
17 | EE | 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 |
16 | EE | Ingolf H. Krüger, Reena Mathew: Systematic Development and Exploration of Service-Oriented Software Architectures. WICSA 2004: 177-187 |
15 | EE | Ingolf Krüger, Wolfgang Prenninger, Robert Sandner: Broadcast MSCs. Formal Asp. Comput. 16(3): 194-209 (2004) |
2003 | ||
14 | EE | Ingolf Krüger: Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. FASE 2003: 387-402 |
13 | EE | 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 |
12 | EE | 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 |
11 | EE | Ingolf H. Krüger, Reena Mathew: Component Synthesis from Service Specifications. Scenarios: Models, Transformations and Tools 2003: 255-277 |
10 | EE | 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 | ||
9 | EE | Ingolf Krüger: Specifying Services with UML and UML-RT. Electr. Notes Theor. Comput. Sci. 65(7): (2002) |
8 | EE | 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 | ||
7 | EE | 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 | ||
6 | EE | Radu Grosu, Ingolf Krüger, Thomas Stauner: Hybrid Sequence Charts. ISORC 2000: 104- |
1999 | ||
5 | Ingolf Krüger: Towards the Methodical Usage of Message Sequence Charts. FBT 1999: 123-134 | |
4 | EE | Bernhard Rumpe, Ruth Breu, Ingolf Krüger: Applied Software Engineering Principles for UML. TOOLS (29) 1999: 410 |
1998 | ||
3 | Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy: From MSCs to Statecharts. DIPES 1998: 61-72 | |
2 | EE | Manfred Broy, Ingolf Krüger: Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. ICFEM 1998: 2- |
1997 | ||
1 | EE | Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt: Using Extended Event Traces to Describe Communication in Software Architectures. APSEC 1997: 203-212 |