Ingolf H. Krüger

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Software Application

Development Processes

Requirements Analysis

Top Venues

Publications

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)
Ingolf H. Krüger, Massimiliano Menarini, Filippo Seracini, Maximilian Fuchs, Jens Kohl
Improving the development process for automotive diagnostics. ICSSP (2012)
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
Interaction-based Runtime Verification for Systems of Systems Integration. J. Log. Comput. 20 (3) (2010)
Barry Demchak, Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini
Rich services: addressing challenges of ultra-large-scale software-intensive systems. ULSSIS@ICSE (2008)
Vina Ermagan, Ingolf H. Krüger, Massimiliano Menarini
Aspect-oriented modeling approach to define routing in enterprise service bus architectures. MiSE (2008)
Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini
A Service-Oriented Approach to Failure Management. MBEES (2008)
Vina Ermagan, Ingolf H. Krüger
A UML2 Profile for Service Modeling. MoDELS (2007)
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)
Manfred Broy, Ingolf H. Krüger, Alexander Pretschner, Christian Salzmann
Engineering Automotive Software. Proc. IEEE 95 (2) (2007)
Barry Demchak, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger
The Treasure Map for Rich Services. IRI (2007)
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)
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
Runtime Verification of Interactions: From MSCs to Aspects. RV (2007)
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)
Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta
Reactivity in SystemC Transaction-Level Models. Haifa Verification Conference (2007)
Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner
Software Engineering for Automotive Systems: A Roadmap. FOSE (2007)
Ingolf H. Krüger, Massimiliano Menarini
Queries and Constraints: A Comprehensive Semantic Model for UML2. MoDELS (Workshops) (2006)
Kendra M. L. Cooper, Holger Giese, Ingolf H. Krüger
Visual modeling for software intensive systems. J. Vis. Lang. Comput. 17 (6) (2006)
Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin
A Verification Approach for GALS Integration of Synchronous Components. Electron. Notes Theor. Comput. Sci. 146 (2) (2006)
Ingolf H. Krüger, Reena Mathew, Michael Meisinger
Efficient exploration of service-oriented architectures using aspects. ICSE (2006)
Ingolf H. Krüger, Gunny Lee, Michael Meisinger
Automating software architecture exploration with M2Aspects. SCESM (2006)
Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz
SoSyM special section on service-based software engineering. Softw. Syst. Model. 5 (2) (2006)
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
Applying Service-Oriented Development to Complex Systems: BART Case Study. Monterey Workshop (2005)
Russell A. McClure, Ingolf H. Krüger
SQL DOM: compile time checking of dynamic SQL statements. ICSE (2005)
Ingolf H. Krüger, Reena Mathew, Michael Meisinger
From scenarios to aspects: exploring product lines. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger
Model-based run-time monitoring of end-to-end deadlines. EMSOFT (2005)
Holger Giese, Ingolf H. Krüger, Kendra M. L. Cooper
Visual Modeling for Software Intensive Systems. VL/HCC (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) (2005)
Ingolf H. Krüger
Service specification with MSCs and roles. IASTED Conf. on Software Engineering (2004)
Ingolf H. Krüger, Reena Mathew
Systematic Development and Exploration of Service-Oriented Software Architectures. WICSA (2004)
Ingolf H. Krüger, Reena Mathew
Component Synthesis from Service Specifications. Scenarios: Models, Transformations and Tools (2003)