Ingolf H. Krüger

33 papers A* 2A 2B 3C 1Misc 2Journal 7Unranked 14

Year	Rank	Type	Title / Venue / Authors
2012	B	`conf`	Improving the development process for automotive diagnostics. ICSSP Ingolf H. Krüger, Massimiliano Menarini, Filippo Seracini, Maximilian Fuchs, Jens Kohl
2012	—	`conf`	PALMS: A Modern Coevolution of Community and Computing Using Policy Driven Development. HICSS Barry Demchak, Jacqueline Kerr, Fred Raab, Kevin Patrick, Ingolf H. Krüger
2010	J	`jnl`	Interaction-based Runtime Verification for Systems of Systems Integration. J. Log. Comput. Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
2008	—	`conf`	A Service-Oriented Approach to Failure Management. MBEES Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini
2008	C	`conf`	Aspect-oriented modeling approach to define routing in enterprise service bus architectures. MiSE Vina Ermagan, Ingolf H. Krüger, Massimiliano Menarini
2008	—	`ed.`	Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers ASWSD Manfred Broy, Ingolf H. Krüger, Michael Meisinger
2008	—	`conf`	Rich services: addressing challenges of ultra-large-scale software-intensive systems. ULSSIS@ICSE Barry Demchak, Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini
2007	—	`conf`	A Rich Services Approach to CoCoME. CoCoME Barry Demchak, Vina Ermagan, Emilia Farcas, To-ju Huang, Ingolf H. Krüger, Massimiliano Menarini
2007	A	`conf`	A UML2 Profile for Service Modeling. MoDELS Vina Ermagan, Ingolf H. Krüger
2007	J	`jnl`	A formal model of services. ACM Trans. Softw. Eng. Methodol. Manfred Broy, Ingolf H. Krüger, Michael Meisinger
2007	J	`jnl`	Engineering Automotive Software. Proc. IEEE Manfred Broy, Ingolf H. Krüger, Alexander Pretschner, Christian Salzmann
2007	—	`conf`	Reactivity in SystemC Transaction-Level Models. Haifa Verification Conference Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta
2007	A	`conf`	Rich Services: The Integration Piece of the SOA Puzzle. ICWS Matthew Arrott, Barry Demchak, Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini
2007	B	`conf`	Runtime Verification of Interactions: From MSCs to Aspects. RV Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
2007	—	`conf`	Software Engineering for Automotive Systems: A Roadmap. FOSE Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner
2007	Misc	`conf`	The Treasure Map for Rich Services. IRI Barry Demchak, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger
2007	—	`conf`	Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. MBEES Vina Ermagan, To-ju Huang, Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy
2006	—	`conf`	Automating software architecture exploration with M2Aspects. SCESM Ingolf H. Krüger, Gunny Lee, Michael Meisinger
2006	—	`ed.`	Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers ASWSD Manfred Broy, Ingolf H. Krüger, Michael Meisinger
2006	A*	`conf`	Efficient exploration of service-oriented architectures using aspects. ICSE Ingolf H. Krüger, Reena Mathew, Michael Meisinger
2006	—	`conf`	Queries and Constraints: A Comprehensive Semantic Model for UML2. MoDELS (Workshops) Ingolf H. Krüger, Massimiliano Menarini
2006	J	`jnl`	SoSyM special section on service-based software engineering. Softw. Syst. Model. Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz
2006	J	`jnl`	Visual modeling for software intensive systems. J. Vis. Lang. Comput. Kendra M. L. Cooper, Holger Giese, Ingolf H. Krüger
2005	—	`conf`	A Verification Approach for GALS Integration of Synchronous Components. FMGALS@MEMOCODE Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin
2005	—	`conf`	Applying Service-Oriented Development to Complex Systems: BART Case Study. Monterey Workshop Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini
2005	J	`jnl`	From scenarios to aspects: exploring product lines. ACM SIGSOFT Softw. Eng. Notes Ingolf H. Krüger, Reena Mathew, Michael Meisinger
2005	J	`jnl`	Guest Editorial: Special Section on Interaction and State-Based Modeling. IEEE Trans. Software Eng. Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle
2005	Misc	`conf`	Model-based run-time monitoring of end-to-end deadlines. EMSOFT Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger
2005	A*	`conf`	SQL DOM: compile time checking of dynamic SQL statements. ICSE Russell A. McClure, Ingolf H. Krüger
2005	B	`conf`	Visual Modeling for Software Intensive Systems. VL/HCC Holger Giese, Ingolf H. Krüger, Kendra M. L. Cooper
2004	—	`conf`	Service specification with MSCs and roles. IASTED Conf. on Software Engineering Ingolf H. Krüger
2004	—	`conf`	Systematic Development and Exploration of Service-Oriented Software Architectures. WICSA Ingolf H. Krüger, Reena Mathew
2003	—	`conf`	Component Synthesis from Service Specifications. Scenarios: Models, Transformations and Tools Ingolf H. Krüger, Reena Mathew