M. Deubler, I. H. Krüger, M. Meisinger, S. Rittmann: Modeling Crosscutting Services with UML Sequence Diagrams, Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2005

J. Ahluwalia, I. H. Krüger, M. Meisinger, W. Phillips: Model-Based Run-Time Monitoring of End-to-End Deadlines, In: Proceedings of the Conference on Embedded Systems Software (EMSOFT), 2005

R. A. McClure, I. H. Krüger: SQL DOM: compile time checking of dynamic SQL statements, In: Proceedings of the 27th international conference on Software engineering, ACM Press, 2005

I. H. Krüger, R. Mathew, M. Meisinger: From Scenarios to Aspects: Exploring Product Lines, In: Proceedings of the ICSE 2005 Workshop on Scenarios and State Machines (SCESM), 2005

R. Mathew, I. H. Krüger: Component Synthesis from Service Specifications. In: Leue, Stefan; Systä, Tarja J. (Eds.): Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 3466, Springer 2005

Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy: Development of Hierarchical Broadcasting Software Architectures Using UML 2.0, In: H. Ehrig, W. Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder and Engelbert Westkämper (Eds.): SoftSpez Final Report, Lecture Notes in Computer Science, Volume 3147, Springer, 2004

I. H. Krüger, E. C. Nelson, K. V. Prasad: Service-Based Development for Automotive Applications, In: Proceedings of the CONVERGENCE 2004, SAE, 2004

I. Krüger, W. Prenninger, R. Sandner: Broadcast MSCs. Formal Aspects of Computing, Issue: Volume 16, Number 3, Pages: 194 - 209, Springer, 2004.

I. H. Krüger, R. Mathew: Systematic Development and Exploration of Service-Oriented Software Architectures. Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), 2004.

I. H. Krüger, D. Gupta, R. Mathew, P. Moorthy, W. Phillips, S. Rittmann, J. Ahluwalia: Towards a Process and Tool-Chain for Service-Oriented Automotive Software Engineering. Proceedings of the ICSE 2004 Workshop on Software Engineering for Automotive Systems (SEAS), 2004

J. Whittle, I. H. Krüger: A Methodology for Scenario-Based Requirments Capture. Proceedings of the ICSE 2004 Workshop on Scenarios and State Machines (SCESM), 2004

I. Krüger: Service Specification with MSCs and Roles. in: IASTED International Conference on Software Engineering, Innsbruck, 2004

I. Krüger: Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. in: Mauro Pezzè (Ed.): Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Lecture Notes in Computer Science 2621, Springer 2003

I. Krüger: Modeling and Synthesis with MSC Extensions for Broadcasting, Overlapping, Preemptive, and Triggered Collaborations. Workshop on Scenarios and State Machines at ICSE 2003, 2003

Radu Cornea, Nikil Dutt, Rajesh Gupta, Ingolf Krueger, Alex Nicolau, Doug Schmidt, Sandeep Shukla: FORGE: A Framework for Optimization of Distributed Embedded Systems Software, International Parallel and Distributed Processing Symposium, April 2003

Radu Cornea, Shivajit Mohapatra, Nikil Dutt, Rajesh Gupta, Ingolf Krueger, Alex Nicolau, Doug Schmidt, Sandeep Shukla, Nalini Venkatasubramanian: A Model-Based Approach to System Specification for Distributed Real-time and Embedded Systems,
RTAS Workshop on Model-Driven Embedded Systems, May 2003

I. Krüger: Towards Precise Service Specification with UML and UML-RT, in: Critical Systems Development with UML (CSDUML). Workshop at «UML» 2002,  2002

I. Krüger: Specifying Services with UML and UML-RT, Electronic Notes in Theoretical Computer Science, Vol. 65 (7) , 2002

M. Broy, R. Grosu, I. Krüger: Automatically Generating A Program, US Patent No.: 06405361, 2002

I. Krüger, W. Prenninger, R. Sandner: Semantics of Broadcast MSCs, in: ETAPS 2002  Satellite Workshop on Semantic Foundations of Engineering Design Languages  (SFEDL), 2002

I. Krüger, W. Prenninger, R. Sandner, M. Broy: From Scenarios to Hierarchical Broadcasting Software Architectures using UML-RT, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 12, No. 2, pp. 155-174, 2002

B. Finkbeiner, I. Krüger: Using Message Sequence Charts for Component-Based Formal Verification. Specification and Verification of Component-Based Systems (SAVCBS). Workshop at OOPSLA 2001.

I. Krüger, W. Prenninger, R. Sandner: Architectural Design of a Broadcasting System using UML-RT, in: A. Schürr (ed.), OMER-2 Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, Universität der Bundeswehr, München, 2001

I. Krüger, W. Prenninger, R. Sandner: Deriving Architectural Prototypes for a Broadcasting System using UML-RT, in: P. Kruchten (ed.), Proceedings 1st ICSE Workshop on Describing Software Architecture with UML, Rational Software, 2001

M. Broy, R. Breu, F. Huber, I. Krüger, B. Rumpe, W. Schwerin: Methodik, Sprachen und Grundlagen des Software Engineering (Abschlußbericht des Forschungslabors Syslab 10/94-9/99), Informatik: Forschung und Entwicklung, Band 16, Heft 1. pp. 53-59, 2001 (in German)

Manfred Broy, Peter Braun, Ingolf Krüger, Martin Rappl, Robert Sandner (ed.). Workshop - Architektur eingebetteter Systeme. Technische Universität München, FORSOFT II, 2001.

Manfred Broy, Michael Gnatz, Ingolf Krüger, Frank Marschall, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin (ed.). ADL-Workshop München 2001. Technische Universität München, FORSOFT II, 2001.

R. Grosu, I. Krüger, T. Stauner. Hybrid Sequence Charts. In Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), IEEE, 2000.

I. Krüger: Distributed System Design with Message Sequence Charts, Dissertation, Technische Universität München, 2000

I. Krüger: Notational and Methodical Issues in Forward Engineering with MSCs, in: Tarja Systä (ed.), Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October, 2000.

I. Krüger, R. Grosu, P. Scholz, M. Broy: From MSCs to Statecharts, in: Franz J. Rammig (ed.): Distributed and Parallel Embedded Systems, Kluwer Academic Publishers, 1999

I. Krüger: Towards the Methodical Usage of Message Sequence Charts, in: Katharina Spies and Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme. FBT'99, 9. GI/ITG Fachgespräch, pages 123-134, Herbert Utz Verlag, June 1999

R. Grosu, I. Krüger, T. Stauner: Hybrid Sequence Charts, TUM-I9914, Technische Universität München, 1999

R. Grosu, I. Krüger, T. Stauner: Requirements Specification of an Automotive System with Hybrid Sequence Charts, in:WORDS'99F, Fifth International Workshop on Object-oriented Real-time Dependable Systems, IEEE, 1999

G. Popp, F. Huber, I. Krüger, B. Rumpe, W. Schwerin: Internet Buchhandel. Eine UML Fallstudie, TUM-I9915, Technische Universität München, 1999 (in German)

R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, W. Schwerin: Exemplary and Complete Object Interaction Descriptions, Computer Standards & Interfaces, Volume 19, Issue (7), pages 335-345, 1998

M. Broy, I. Krüger: Interaction Interfaces - Towards a scientific foundation of a methodological usage of Message Sequence Charts, in: J. Staples, M. G. Hinchey, Shaoying Liu (eds.): Formal Engineering Methods (ICFEM'98), IEEE Computer Society, 1998

M.Broy, M. von der Beeck, I. Krüger: SOFTBED: Problemanalyse für ein Großverbundprojekt "Systemtechnik Automobil -- Software für eingebettete Systeme", report drafted for the BMBF, 1998 (in German)

M. Broy, C. Hofmann, I. Krüger, M. Schmidt: A Graphical Description Technique for Communication in Software Architectures, TUM-I9705, Technische Universität München, 1997

M. Broy, C. Hofmann, I. Krüger, M. Schmidt: Using Extended Event Traces to Describe Communication in Software Architectures, in: Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, IEEE Computer Society, 1997

J. Coldewey, I. Krüger: Form-Based User Interface - The Architectural Patterns, in: F. Buschmann, D. Riehle (Eds.): Proceedings of the 1997 European Pattern Languages of Programming Conference, Irsee, Germany, Siemens Technical Report 120/SW1/FB, 1997

R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, W. Schwerin: Exemplary and Complete Object Interaction Descriptions, in: H. Kilov, B. Rumpe, I. Simmonds (eds.): Proceedings OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, TUM-I9737, 1997

Ingolf Krüger: An experiment in compiler design for a concurrent object-based programming language , Master's Thesis, UT Austin, 1996