Ingolf Krüger

According to our database, Ingolf Krüger authored at least 79 papers between 1997 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

A Proactive Customer-Aware Resource Allocation Approach for Data Centers.

Filippo Seracini, Xiang Zhang, Tajana Rosing, Ingolf Krüger

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2014

A Comprehensive Resource Management Solution for Web-based Systems.

Filippo Seracini, Massimiliano Menarini, Ingolf Krueger, Luciano Baresi, Sam Guinea, Giovanni Quattrocchi

Proceedings of the 11th International Conference on Autonomic Computing, 2014

Throughput Maximization with Multiclass Workloads and Resource Constraints.

Davide Cerotti, Marco Gribaudo, Ingolf Krüger, Pietro Piazzolla, Filippo Seracini, Giuseppe Serazzi

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2014

From computer scientists to research practitioners: lessons learned when implementing use of mobile devices in a cancer research setting.

Stephanie L. Martch, Karen M. Basen-Engquist, Wendy Demark-Wahnefried, Alexander V. Prokhorov, Kevin Patrick, Eileen H. Shinn, Emilia Farcas, Chaitan Baru, Ingolf Krueger, Kai Lin, Phillip Rios, Yan Yan, Viswanath Nandigam, Susan K. Peterson

Proceedings of the AMIA 2014, 2014

2013

Rich Services - A SOA Pattern for Dynamic Change in Cyber-physical Systems.

Ingolf Krüger

it Inf. Technol., 2013

Test intents: enhancing the semantics of requirements traceability links in test cases.

Celal Ziftci, Ingolf Krüger

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Getting more from requirements traceability: Requirements testing progress.

Celal Ziftci, Ingolf Krüger

Proceedings of the 7th International Workshop on Traceability in Emerging Forms of Software Engineering, 2013

Green web services: Improving energy efficiency in data centers via workload predictions.

Massimiliano Menarini, Filippo Seracini, Xiang Zhang, Tajana Rosing, Ingolf Krüger

Proceedings of the 2nd International Workshop on Green and Sustainable Software, 2013

The Uses of Norms.

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

Proceedings of the Normative Multi-Agent Systems, 2013

Successful CyberInfrastructures for E-Health.

Emilia Farcas, Claudiu Farcas, Ingolf Krüger

Proceedings of the Economics-Driven Software Architecture, 2013

2012

CitiSense: improving geospatial environmental assessment of air quality using a wireless personal exposure monitoring system.

Nima Nikzad, Nakul Verma, Celal Ziftci, Elizabeth S. Bales, Nichole Quick, Piero Zappi, Kevin Patrick, Sanjoy Dasgupta, Ingolf Krueger, Tajana Simunic Rosing, William G. Griswold

Proceedings of the Wireless Health 2012, 2012

Feature Location Using Data Mining on Existing Test-Cases.

Celal Ziftci, Ingolf Krueger

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Policy Driven Development: Flexible Policy Insertion for Large Scale Systems.

Barry Demchak, Ingolf Krüger

Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012

Citisense: mobile air quality sensing for individuals and communities.

Celal Ziftci, Nima Nikzad, Nakul Verma, Piero Zappi, Elizabeth S. Bales, Ingolf Krueger, William G. Griswold

Proceedings of the SPLASH'12, 2012

Improving the development process for automotive diagnostics.

Ingolf H. Krüger, Massimiliano Menarini, Filippo Seracini, Maximilian Fuchs, Jens Kohl

Proceedings of the 2012 International Conference on Software and System Process, 2012

PALMS: A Modern Coevolution of Community and Computing Using Policy Driven Development.

Barry Demchak, Jacqueline Kerr, Fred Raab, Kevin Patrick, Ingolf H. Krüger

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

Dynamic Service Composition and Deployment with OpenRichServices.

Ingolf Krüger, Barry Demchak, Massimiliano Menarini

Proceedings of the Software Service and Application Engineering, 2012

2011

Tracing requirements to tests with high precision and recall.

Celal Ziftci, Ingolf Krueger

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Scanning Advances in Aerospace & Automobile Software Technology.

K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger

Proc. IEEE, 2010

Scanning the Issue.

K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger

Proc. IEEE, 2010

Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services.

Claudiu Farcas, Emilia Farcas, Ingolf Krüger, Massimiliano Menarini

Proc. IEEE, 2010

Interaction-based Runtime Verification for Systems of Systems Integration.

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini

J. Log. Comput., 2010

2009

Model Composition Contracts.

Jon Oldevik, Massimiliano Menarini, Ingolf Krüger

Proceedings of the Model Driven Engineering Languages and Systems, 2009

2008

Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems.

Claudiu Farcas, Emilia Farcas, Ingolf Krüger

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

A Service-Oriented Approach to Failure Management.

Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Aspect-oriented modeling approach to define routing in enterprise service bus architectures.

Vina Ermagan, Ingolf H. Krüger, Massimiliano Menarini

Proceedings of the International Workshop on Modeling in Software Engineering, 2008

Rich services: addressing challenges of ultra-large-scale software-intensive systems.

Barry Demchak, Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini

Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, 2008

A Fault Tolerance Approach for Enterprise Applications.

Vina Ermagan, Ingolf Krüger, Massimiliano Menarini

Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007

A formal model of services.

Manfred Broy, Ingolf H. Krüger, Michael Meisinger

ACM Trans. Softw. Eng. Methodol., 2007

Engineering Automotive Software.

Manfred Broy, Ingolf H. Krüger, Alexander Pretschner, Christian Salzmann

Proc. IEEE, 2007

Runtime Verification of Interactions: From MSCs to Aspects.

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini

Proceedings of the Runtime Verification, 7th International Workshop, 2007

A UML2 Profile for Service Modeling.

Vina Ermagan, Ingolf H. Krüger

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems.

Vina Ermagan, To-ju Huang, Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

The Treasure Map for Rich Services.

Barry Demchak, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

Rich Services: The Integration Piece of the SOA Puzzle.

Matthew Arrott, Barry Demchak, Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Software Engineering for Automotive Systems: A Roadmap.

Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner

Proceedings of the International Conference on Software Engineering, 2007

Reactivity in SystemC Transaction-Level Models.

Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta

Proceedings of the Hardware and Software: Verification and Testing, 2007

A Service-Oriented Extension of the V-Modell XT.

Michael Meisinger, Ingolf Krüger

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

Requirements Modeling for Embedded Realtime Systems.

Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

A Rich Services Approach to CoCoME.

Barry Demchak, Vina Ermagan, Emilia Farcas, To-ju Huang, Ingolf H. Krüger, Massimiliano Menarini

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Visual modeling for software intensive systems.

Kendra M. L. Cooper, Holger Giese, Ingolf H. Krüger

J. Vis. Lang. Comput., 2006

SoSyM special section on service-based software engineering.

Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz

Softw. Syst. Model., 2006

Automating software architecture exploration with M2Aspects.

Ingolf H. Krüger, Gunny Lee, Michael Meisinger

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Model-Based Failure Management for Distributed Reactive Systems.

Vina Ermagan, Ingolf Krüger, Massimiliano Menarini

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Queries and Constraints: A Comprehensive Semantic Model for UML2.

Ingolf H. Krüger, Massimiliano Menarini

Proceedings of the Models in Software Engineering, 2006

Compositional interaction specifications for SystemC.

Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure.

Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Efficient exploration of service-oriented architectures using aspects.

Ingolf H. Krüger, Reena Mathew, Michael Meisinger

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Guest Editorial: Special Section on Interaction and State-Based Modeling.

Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle

IEEE Trans. Software Eng., 2005

From scenarios to aspects: exploring product lines.

Ingolf H. Krüger, Reena Mathew, Michael Meisinger

ACM SIGSOFT Softw. Eng. Notes, 2005

A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools".

Holger Giese, Ingolf Krüger

ACM SIGSOFT Softw. Eng. Notes, 2005

A Verification Approach for GALS Integration of Synchronous Components.

Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

Modeling Crosscutting Services with UML Sequence Diagrams.

Martin R. Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Applying Service-Oriented Development to Complex Systems: BART Case Study.

Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Service-oriented software and systems engineering - a vision for the automotive domain.

Ingolf Krüger

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

SQL DOM: compile time checking of dynamic SQL statements.

Russell A. McClure, Ingolf H. Krüger

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Model-based run-time monitoring of end-to-end deadlines.

Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger

Proceedings of the EMSOFT 2005, 2005

2004

Broadcast MSCs.

Ingolf Krüger, Wolfgang Prenninger, Robert Sandner

Formal Aspects Comput., 2004

Systematic Development and Exploration of Service-Oriented Software Architectures.

Ingolf H. Krüger, Reena Mathew

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04).

Holger Giese, Ingolf Krüger

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Service specification with MSCs and roles.

Ingolf H. Krüger

Proceedings of the IASTED International Conference on Software Engineering, 2004

Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.

Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

A summary of the second ICSE 2003 workshop on: "scenarios and state machines: models, algorithms, and tools".

Ingolf Krüger, Sebastián Uchitel, Jon Whittle, Albert Zündorf

ACM SIGSOFT Softw. Eng. Notes, 2003

FORGE: A Framework for Optimization of Distributed Embedded Systems Software.

Radu Cornea, Nikil D. Dutt, Rajesh K. Gupta, Ingolf Krüger, Alexandru Nicolau, Douglas C. Schmidt, Sandeep K. Shukla

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools.

Alexander Egyed, Martin Glinz, Ingolf Krüger, Tarja Systä, Sebastián Uchitel, Albert Zündorf

Proceedings of the 25th International Conference on Software Engineering, 2003

Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.

Ingolf Krüger

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Component Synthesis from Service Specifications.

Ingolf H. Krüger, Reena Mathew

Proceedings of the Scenarios: Models, 2003

2002

From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT.

Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy

Int. J. Softw. Eng. Knowl. Eng., 2002

Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations.

Ingolf Krüger

Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002

2001

Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999).

Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin

Inform. Forsch. Entwickl., 2001

2000

Distributed system design with message sequence charts.

Ingolf Krüger

PhD thesis, 2000

Hybrid Sequence Charts.

Radu Grosu, Ingolf Krüger, Thomas Stauner

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999

Requirements specification of an automotive system with hybrid sequence charts.

Radu Grosu, Ingolf Krüger, Thomas Stauner

Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Applied Software Engineering Principles for UML.

Bernhard Rumpe, Ruth Breu, Ingolf Krüger

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Towards the Methodical Usage of Message Sequence Charts.

Ingolf Krüger

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998

Exemplary and complete object interaction descriptions.

Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin

Comput. Stand. Interfaces, 1998

From MSCs to Statecharts.

Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy

Proceedings of the Distributed and Parallel Embedded Systems, 1998

Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts.

Manfred Broy, Ingolf Krüger

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

Using Extended Event Traces to Describe Communication in Software Architectures.

Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997