Ingolf Krüger

Ingolf Krüger: Rich Services - A SOA Pattern for Dynamic Change in Cyber-physical Systems. it - Information Technology 55(1): 10-25 (2013)

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

Celal Ziftci, Ingolf Krüger: Test intents: enhancing the semantics of requirements traceability links in test cases. SAC 2013: 1272-1277

Ingolf Krüger, Barry Demchak, Massimiliano Menarini: Dynamic Service Composition and Deployment with OpenRichServices. Software Service and Application Engineering 2012: 120-146

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

Ingolf H. Krüger, Massimiliano Menarini, Filippo Seracini, Maximilian Fuchs, Jens Kohl: Improving the development process for automotive diagnostics. ICSSP 2012: 63-67

Celal Ziftci, Nima Nikzad, Nakul Verma, Piero Zappi, Elizabeth Bales, Ingolf Krueger, William G. Griswold: Citisense: mobile air quality sensing for individuals and communities. SPLASH 2012: 23-24

Barry Demchak, Ingolf Krüger: Policy Driven Development: Flexible Policy Insertion for Large Scale Systems. POLICY 2012: 17-24

Celal Ziftci, Ingolf Krueger: Feature Location Using Data Mining on Existing Test-Cases. WCRE 2012: 155-164

Celal Ziftci, Ingolf Krueger: Tracing requirements to tests with high precision and recall. ASE 2011: 472-475

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)

K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger: Scanning the Issue. Proceedings of the IEEE 98(4): 506-509 (2010)

K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger: Scanning Advances in Aerospace & Automobile Software Technology. Proceedings of the IEEE 98(4): 510-514 (2010)

Claudiu Farcas, Emilia Farcas, Ingolf Krüger, Massimiliano Menarini: Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services. Proceedings of the IEEE 98(4): 562-583 (2010)

Jon Oldevik, Massimiliano Menarini, Ingolf Krüger: Model Composition Contracts. MoDELS 2009: 531-545

Vina Ermagan, Ingolf Krüger, Massimiliano Menarini: A Fault Tolerance Approach for Enterprise Applications. IEEE SCC (2) 2008: 63-72

Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini: A Service-Oriented Approach to Failure Management. MBEES 2008: 102-116

Claudiu Farcas, Emilia Farcas, Ingolf Krüger: Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems. Monterey Workshop 2008: 93-115

Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.): 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

Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria (Eds.): Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings. Lecture Notes in Computer Science 5364, 2008, isbn 978-3-540-89647-0

Manfred Broy, Ingolf H. Krüger, Michael Meisinger: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1) (2007)

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

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

Michael Meisinger, Ingolf Krüger: A Service-Oriented Extension of the V-Modell XT. ECBS 2007: 256-268

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

Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71

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

Barry Demchak, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger: The Treasure Map for Rich Services. IRI 2007: 400-405

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

Vina Ermagan, Ingolf H. Krüger: A UML2 Profile for Service Modeling. MoDELS 2007: 360-374

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini: Runtime Verification of Interactions: From MSCs to Aspects. RV 2007: 63-74

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)

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)

Kendra Cooper, Holger Giese, Ingolf H. Krüger: Visual modeling for software intensive systems. J. Vis. Lang. Comput. 17(6): 503-507 (2006)

Ingolf H. Krüger, Reena Mathew, Michael Meisinger: Efficient exploration of service-oriented architectures using aspects. ICSE 2006: 62-71

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

Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar: Compositional interaction specifications for SystemC. MEMOCODE 2006: 201

Ingolf H. Krüger, Massimiliano Menarini: Queries and Constraints: A Comprehensive Semantic Model for UML2. MoDELS Workshops 2006: 327-328

Vina Ermagan, Ingolf Krüger, Massimiliano Menarini: Model-Based Failure Management for Distributed Reactive Systems. Monterey Workshop 2006: 53-74

Ingolf H. Krüger, Gunny Lee, Michael Meisinger: Automating software architecture exploration with M2Aspects. SCESM 2006: 51-58

Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.): 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

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)

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)

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)

Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger: Model-based run-time monitoring of end-to-end deadlines. EMSOFT 2005: 100-109

Russell A. McClure, Ingolf H. Krüger: SQL DOM: compile time checking of dynamic SQL statements. ICSE 2005: 88-96

Ingolf Krüger: Service-oriented software and systems engineering - a vision for the automotive domain. MEMOCODE 2005: 150

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini: Applying Service-Oriented Development to Complex Systems: BART Case Study. Monterey Workshop 2005: 26-46

Martin Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger: Modeling Crosscutting Services with UML Sequence Diagrams. MoDELS 2005: 522-536

Holger Giese, Ingolf H. Krüger, Kendra Cooper: Visual Modeling for Software Intensive Systems. VL/HCC 2005: 4

Ingolf Krüger, Wolfgang Prenninger, Robert Sandner: Broadcast MSCs. Formal Asp. Comput. 16(3): 194-209 (2004)

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

Ingolf H. Krüger: Service specification with MSCs and roles. IASTED Conf. on Software Engineering 2004: 42-47

Holger Giese, Ingolf Krüger: Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). ICSE 2004: 766-767

Ingolf H. Krüger, Reena Mathew: Systematic Development and Exploration of Service-Oriented Software Architectures. WICSA 2004: 177-187

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)

Ingolf H. Krüger, Reena Mathew: Component Synthesis from Service Specifications. Scenarios: Models, Transformations and Tools 2003: 255-277

Ingolf Krüger: Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. FASE 2003: 387-402

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

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

Ingolf Krüger: Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations. Electr. Notes Theor. Comput. Sci. 65(7): 34-50 (2002)

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)

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)

Radu Grosu, Ingolf Krüger, Thomas Stauner: Hybrid Sequence Charts. ISORC 2000: 104-

Ingolf Krüger: Towards the Methodical Usage of Message Sequence Charts. FBT 1999: 123-134

Bernhard Rumpe, Ruth Breu, Ingolf Krüger: Applied Software Engineering Principles for UML. TOOLS (29) 1999: 410

Radu Grosu, Ingolf Krüger, Thomas Stauner: Requirements specification of an automotive system with hybrid sequence charts. WORDS (Fall) 1999: 149-151

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)

Manfred Broy, Ingolf Krüger: Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. ICFEM 1998: 2-

Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy: From MSCs to Statecharts. DIPES 1998: 61-72

Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt: Using Extended Event Traces to Describe Communication in Software Architectures. APSEC 1997: 203-212