dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Ingolf Krüger Home Page Coauthor index pubzone.org

Ingolf H. Krüger

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Jaswinder Ahluwalia [29]
2Matthew Arrott [46]
3Athman Bouguettaya [55]
4Ruth Breu [2] [5] [8]
5Manfred Broy [1] [3] [4] [8] [9] [18] [21] [30] [39] [40] [48] [54]
6Kendra Cooper (Kendra M. L. Cooper) [24] [31]
7Radu Cornea [13]
8Barry Demchak [45] [46] [50] [58]
9Martin Deubler [26]
10Frederic Doucet [32] [36] [47]
11Nikil D. Dutt (Nikil Dutt) [13]
12Alexander Egyed [14]
13Vina Ermagan [34] [43] [44] [46] [50] [52] [53]
14Claudiu Farcas [42] [45] [46] [51] [52]
15Emilia Farcas [42] [45] [46] [50] [51] [52]
16Holger Giese [19] [23] [24] [31]
17Martin Glinz [14]
18Radu Grosu [2] [4] [7]
19Rajesh K. Gupta (Rajesh Gupta) [13] [32] [36] [47]
20Christoph Hofmann [1] [2]
21To-ju Huang [44] [50]
22Franz Huber [2] [8]
23Heinrich Hußmann (Heinrich Hussmann) [30]
24Saurabh Joshi [47]
25Jacqueline Kerr [58]
26Gunny Lee [33]
27Tiziana Margaria (Tiziana Margaria-Steffen) [55]
28Reena Mathew [12] [17] [22] [38]
29Russell A. McClure [28]
30Michael Meisinger [22] [25] [26] [29] [33] [37] [38] [39] [40] [41] [44] [49] [54] [57]
31Massimiliano Menarini [25] [32] [34] [35] [37] [41] [42] [44] [46] [50] [52] [53] [56] [57]
32Praveen Moorthy [44]
33Alexandru Nicolau (Alex Nicolau) [13]
34Jon Oldevik [56]
35Stephen Pasco [37]
36Kevin Patrick [58]
37Walter Phillips [29]
38Wolfgang Prenninger [9] [16] [18]
39Alexander Pretschner [48]
40Fred Raab [58]
41Sabine Rittmann [26]
42Bernhard Rumpe [2] [5] [8]
43Robert Sandner [9] [16] [18]
44Bernhard Schätz [30]
45Douglas C. Schmidt [13]
46Monika Schmidt [1] [2]
47Peter Scholz [4]
48Wolfgang Schwerin [2] [8]
49Sandeep K. Shukla (Sandeep Kumar Shukla) [13]
50R. K. Shyamasundar (Rudrapatna K. Shyamasundar) [36] [47]
51Thomas Stauner [7] [48]
52Tarja Systä [14]
53Jean-Pierre Talpin [32]
54Sebastián Uchitel [11] [14] [21]
55Jon Whittle (Jonathan Whittle) [11] [21]
56Albert Zündorf [11] [14]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page