Ingolf Krüger

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2014
A Proactive Customer-Aware Resource Allocation Approach for Data Centers.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2014

A Comprehensive Resource Management Solution for Web-based Systems.
Proceedings of the 11th International Conference on Autonomic Computing, 2014

Throughput Maximization with Multiclass Workloads and Resource Constraints.
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.
Proceedings of the AMIA 2014, 2014

2013
Rich Services - A SOA Pattern for Dynamic Change in Cyber-physical Systems.
it Inf. Technol., 2013

Test intents: enhancing the semantics of requirements traceability links in test cases.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Getting more from requirements traceability: Requirements testing progress.
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.
Proceedings of the 2nd International Workshop on Green and Sustainable Software, 2013


Successful CyberInfrastructures for E-Health.
Proceedings of the Economics-Driven Software Architecture, 2013

2012
CitiSense: improving geospatial environmental assessment of air quality using a wireless personal exposure monitoring system.
Proceedings of the Wireless Health 2012, 2012

Feature Location Using Data Mining on Existing Test-Cases.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Policy Driven Development: Flexible Policy Insertion for Large Scale Systems.
Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012

Citisense: mobile air quality sensing for individuals and communities.
Proceedings of the Conference on Systems, 2012

Improving the development process for automotive diagnostics.
Proceedings of the 2012 International Conference on Software and System Process, 2012

PALMS: A Modern Coevolution of Community and Computing Using Policy Driven Development.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

Dynamic Service Composition and Deployment with OpenRichServices.
Proceedings of the Software Service and Application Engineering, 2012

2011
Tracing requirements to tests with high precision and recall.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010
Scanning Advances in Aerospace & Automobile Software Technology.
Proc. IEEE, 2010

Scanning the Issue.
Proc. IEEE, 2010

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

Interaction-based Runtime Verification for Systems of Systems Integration.
J. Log. Comput., 2010

2009
Model Composition Contracts.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

2008
Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

A Service-Oriented Approach to Failure Management.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Aspect-oriented modeling approach to define routing in enterprise service bus architectures.
Proceedings of the International Workshop on Modeling in Software Engineering, 2008

Rich services: addressing challenges of ultra-large-scale software-intensive systems.
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, 2008

A Fault Tolerance Approach for Enterprise Applications.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
A formal model of services.
ACM Trans. Softw. Eng. Methodol., 2007

Engineering Automotive Software.
Proc. IEEE, 2007

Runtime Verification of Interactions: From MSCs to Aspects.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

A UML2 Profile for Service Modeling.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

The Treasure Map for Rich Services.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

Rich Services: The Integration Piece of the SOA Puzzle.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Software Engineering for Automotive Systems: A Roadmap.
Proceedings of the International Conference on Software Engineering, 2007

Reactivity in SystemC Transaction-Level Models.
Proceedings of the Hardware and Software: Verification and Testing, 2007

A Service-Oriented Extension of the V-Modell XT.
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.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

A Rich Services Approach to CoCoME.
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.
J. Vis. Lang. Comput., 2006

SoSyM special section on service-based software engineering.
Softw. Syst. Model., 2006

A Verification Approach for GALS Integration of Synchronous Components.
Electron. Notes Theor. Comput. Sci., 2006

Automating software architecture exploration with M2Aspects.
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.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Queries and Constraints: A Comprehensive Semantic Model for UML2.
Proceedings of the Models in Software Engineering, 2006

Compositional interaction specifications for SystemC.
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.
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Efficient exploration of service-oriented architectures using aspects.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Guest Editorial: Special Section on Interaction and State-Based Modeling.
IEEE Trans. Software Eng., 2005

From scenarios to aspects: exploring product lines.
ACM SIGSOFT Softw. Eng. Notes, 2005

A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools".
ACM SIGSOFT Softw. Eng. Notes, 2005

Modeling Crosscutting Services with UML Sequence Diagrams.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

Applying Service-Oriented Development to Complex Systems: BART Case Study.
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Service-oriented software and systems engineering - a vision for the automotive domain.
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.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Model-based run-time monitoring of end-to-end deadlines.
Proceedings of the EMSOFT 2005, 2005

2004
Broadcast MSCs.
Formal Aspects Comput., 2004

Systematic Development and Exploration of Service-Oriented Software Architectures.
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).
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Service specification with MSCs and roles.
Proceedings of the IASTED International Conference on Software Engineering, 2004

Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.
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".
ACM SIGSOFT Softw. Eng. Notes, 2003

FORGE: A Framework for Optimization of Distributed Embedded Systems Software.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools.
Proceedings of the 25th International Conference on Software Engineering, 2003

Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

Component Synthesis from Service Specifications.
Proceedings of the Scenarios: Models, 2003

2002
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT.
Int. J. Softw. Eng. Knowl. Eng., 2002

Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations.
Electron. Notes Theor. Comput. Sci., 2002

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

2000
Distributed system design with message sequence charts.
PhD thesis, 2000

Hybrid Sequence Charts.
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.
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Applied Software Engineering Principles for UML.
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.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998
Exemplary and complete object interaction descriptions.
Comput. Stand. Interfaces, 1998

From MSCs to Statecharts.
Proceedings of the Distributed and Parallel Embedded Systems, 1998

Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997
Using Extended Event Traces to Describe Communication in Software Architectures.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997


  Loading...