default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIngolf Krüger
Ingolf Krueger – Ingolf H. Krüger
Person information
- affiliation: University of California, San Diego, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2014
[c60]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:
From computer scientists to research practitioners: lessons learned when implementing use of mobile devices in a cancer research setting. AMIA 2014- [c59]Davide Cerotti
, Marco Gribaudo, Ingolf Krüger, Pietro Piazzolla, Filippo Seracini, Giuseppe Serazzi:
Throughput Maximization with Multiclass Workloads and Resource Constraints. ASMTA 2014: 238-252 - [c58]Filippo Seracini, Massimiliano Menarini, Ingolf Krueger, Luciano Baresi, Sam Guinea, Giovanni Quattrocchi:
A Comprehensive Resource Management Solution for Web-based Systems. ICAC 2014: 233-239 - [c57]Filippo Seracini, Xiang Zhang, Tajana Rosing, Ingolf Krüger:
A Proactive Customer-Aware Resource Allocation Approach for Data Centers. ISPA 2014: 26-33 - [i1]Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin:
Exemplary and Complete Object Interaction Descriptions. CoRR abs/1409.7231 (2014) - 2013
- [j17]Ingolf Krüger:
Rich Services - A SOA Pattern for Dynamic Change in Cyber-physical Systems. it Inf. Technol. 55(1): 10-25 (2013) - [c56]Massimiliano Menarini, Filippo Seracini, Xiang Zhang, Tajana Rosing, Ingolf Krüger:
Green web services: Improving energy efficiency in data centers via workload predictions. GREENS 2013: 8-15 - [c55]Celal Ziftci, Ingolf Krüger:
Getting more from requirements traceability: Requirements testing progress. TEFSE@ICSE 2013: 12-18 - [c54]Celal Ziftci, Ingolf Krüger:
Test intents: enhancing the semantics of requirements traceability links in test cases. SAC 2013: 1272-1277 - [p2]Emilia Farcas, Claudiu Farcas, Ingolf Krüger:
Successful CyberInfrastructures for E-Health. Economics-Driven Software Architecture 2013: 259-295 - [p1]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:
The Uses of Norms. Normative Multi-Agent Systems 2013: 191-229 - 2012
- [c53]Ingolf Krüger, Barry Demchak, Massimiliano Menarini:
Dynamic Service Composition and Deployment with OpenRichServices. Software Service and Application Engineering 2012: 120-146 - [c52]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: 2735-2744 - [c51]Ingolf H. Krüger, Massimiliano Menarini, Filippo Seracini, Maximilian Fuchs, Jens Kohl:
Improving the development process for automotive diagnostics. ICSSP 2012: 63-67 - [c50]Celal Ziftci, Nima Nikzad, Nakul Verma, Piero Zappi, Elizabeth S. Bales, Ingolf Krueger, William G. Griswold:
Citisense: mobile air quality sensing for individuals and communities. SPLASH 2012: 23-24 - [c49]Barry Demchak, Ingolf Krüger:
Policy Driven Development: Flexible Policy Insertion for Large Scale Systems. POLICY 2012: 17-24 - [c48]Celal Ziftci, Ingolf Krueger:
Feature Location Using Data Mining on Existing Test-Cases. WCRE 2012: 155-164 - [c47]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:
CitiSense: improving geospatial environmental assessment of air quality using a wireless personal exposure monitoring system. Wireless Health 2012: 11:1-11:8 - 2011
- [c46]Celal Ziftci, Ingolf Krueger:
Tracing requirements to tests with high precision and recall. ASE 2011: 472-475 - 2010
- [j16]Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Interaction-based Runtime Verification for Systems of Systems Integration. J. Log. Comput. 20(3): 725-742 (2010) - [j15]K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger:
Scanning the Issue. Proc. IEEE 98(4): 506-509 (2010) - [j14]K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger:
Scanning Advances in Aerospace & Automobile Software Technology. Proc. IEEE 98(4): 510-514 (2010) - [j13]Claudiu Farcas, Emilia Farcas, Ingolf Krüger, Massimiliano Menarini:
Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services. Proc. IEEE 98(4): 562-583 (2010)
2000 – 2009
- 2009
- [c45]Jon Oldevik, Massimiliano Menarini, Ingolf Krüger:
Model Composition Contracts. MoDELS 2009: 531-545 - 2008
- [c44]Vina Ermagan, Ingolf Krüger, Massimiliano Menarini:
A Fault Tolerance Approach for Enterprise Applications. IEEE SCC (2) 2008: 63-72 - [c43]Vina Ermagan, Ingolf H. Krüger, Massimiliano Menarini:
Aspect-oriented modeling approach to define routing in enterprise service bus architectures. MiSE 2008: 15-20 - [c42]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: 29-32 - [c41]Vina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini:
A Service-Oriented Approach to Failure Management. MBEES 2008: 102-116 - [c40]Claudiu Farcas, Emilia Farcas, Ingolf Krüger:
Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems. Monterey Workshop 2008: 93-115 - [e3]Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4922, Springer 2008, ISBN 978-3-540-70929-9 [contents] - [e2]Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria:
Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings. Lecture Notes in Computer Science 5364, 2008, ISBN 978-3-540-89647-0 [contents] - 2007
- [j12]Manfred Broy, Ingolf H. Krüger, Alexander Pretschner, Christian Salzmann:
Engineering Automotive Software. Proc. IEEE 95(2): 356-373 (2007) - [j11]Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1): 5 (2007) - [c39]Barry Demchak, Vina Ermagan, Emilia Farcas, To-ju Huang, Ingolf H. Krüger, Massimiliano Menarini:
A Rich Services Approach to CoCoME. CoCoME 2007: 85-115 - [c38]Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini:
Requirements Modeling for Embedded Realtime Systems. Model-Based Engineering of Embedded Real-Time Systems 2007: 155-199 - [c37]Michael Meisinger, Ingolf Krüger:
A Service-Oriented Extension of the V-Modell XT. ECBS 2007: 256-268 - [c36]Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta:
Reactivity in SystemC Transaction-Level Models. Haifa Verification Conference 2007: 34-50 - [c35]Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner:
Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71 - [c34]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: 176-183 - [c33]Barry Demchak, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger:
The Treasure Map for Rich Services. IRI 2007: 400-405 - [c32]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: 1-24 - [c31]Vina Ermagan, Ingolf H. Krüger:
A UML2 Profile for Service Modeling. MoDELS 2007: 360-374 - [c30]Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Runtime Verification of Interactions: From MSCs to Aspects. RV 2007: 63-74 - 2006
- [j10]Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz:
SoSyM special section on service-based software engineering. Softw. Syst. Model. 5(2): 170-171 (2006) - [j9]Kendra M. L. Cooper, Holger Giese, Ingolf H. Krüger:
Visual modeling for software intensive systems. J. Vis. Lang. Comput. 17(6): 503-507 (2006) - [c29]Ingolf H. Krüger, Reena Mathew, Michael Meisinger:
Efficient exploration of service-oriented architectures using aspects. ICSE 2006: 62-71 - [c28]Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco:
Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure. IRI 2006: 51-56 - [c27]Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar:
Compositional interaction specifications for SystemC. MEMOCODE 2006: 201 - [c26]Ingolf H. Krüger, Massimiliano Menarini:
Queries and Constraints: A Comprehensive Semantic Model for UML2. MoDELS (Workshops) 2006: 327-328 - [c25]Vina Ermagan, Ingolf Krüger, Massimiliano Menarini:
Model-Based Failure Management for Distributed Reactive Systems. Monterey Workshop 2006: 53-74 - [c24]Ingolf H. Krüger, Gunny Lee, Michael Meisinger:
Automating software architecture exploration with M2Aspects. SCESM 2006: 51-58 - [e1]Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4147, Springer 2006, ISBN 3-540-37677-1 [contents] - 2005
- [j8]Holger Giese, Ingolf Krüger:
A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools". ACM SIGSOFT Softw. Eng. Notes 30(1): 2 (2005) - [j7]Ingolf H. Krüger, Reena Mathew, Michael Meisinger:
From scenarios to aspects: exploring product lines. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-6 (2005) - [j6]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): 997-998 (2005) - [c23]Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger:
Model-based run-time monitoring of end-to-end deadlines. EMSOFT 2005: 100-109 - [c22]Russell A. McClure, Ingolf H. Krüger:
SQL DOM: compile time checking of dynamic SQL statements. ICSE 2005: 88-96 - [c21]Ingolf Krüger:
Service-oriented software and systems engineering - a vision for the automotive domain. MEMOCODE 2005: 150 - [c20]Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Applying Service-Oriented Development to Complex Systems: BART Case Study. Monterey Workshop 2005: 26-46 - [c19]Martin R. Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger:
Modeling Crosscutting Services with UML Sequence Diagrams. MoDELS 2005: 522-536 - [c18]Holger Giese, Ingolf H. Krüger, Kendra M. L. Cooper:
Visual Modeling for Software Intensive Systems. VL/HCC 2005: 4 - [c17]Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin:
A Verification Approach for GALS Integration of Synchronous Components. FMGALS@MEMOCODE 2005: 105-131 - 2004
- [j5]Ingolf Krüger, Wolfgang Prenninger, Robert Sandner:
Broadcast MSCs. Formal Aspects Comput. 16(3): 194-209 (2004) - [c16]Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy:
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. SoftSpez Final Report 2004: 29-47 - [c15]Ingolf H. Krüger:
Service specification with MSCs and roles. IASTED Conf. on Software Engineering 2004: 42-47 - [c14]Holger Giese, Ingolf Krüger:
Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). ICSE 2004: 766-767 - [c13]Ingolf H. Krüger, Reena Mathew:
Systematic Development and Exploration of Service-Oriented Software Architectures. WICSA 2004: 177-187 - 2003
- [j4]Ingolf Krüger, Sebastián Uchitel, Jon Whittle, Albert Zündorf:
A summary of the second ICSE 2003 workshop on: "scenarios and state machines: models, algorithms, and tools". ACM SIGSOFT Softw. Eng. Notes 28(6): 9 (2003) - [c12]Ingolf H. Krüger, Reena Mathew:
Component Synthesis from Service Specifications. Scenarios: Models, Transformations and Tools 2003: 255-277 - [c11]Ingolf Krüger:
Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. FASE 2003: 387-402 - [c10]Alexander Egyed, Martin Glinz, Ingolf Krüger, Tarja Systä, Sebastián Uchitel, Albert Zündorf:
Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. ICSE 2003: 783-784 - [c9]Radu Cornea, Nikil D. Dutt, Rajesh K. Gupta, Ingolf Krüger, Alexandru Nicolau, Douglas C. Schmidt, Sandeep K. Shukla:
FORGE: A Framework for Optimization of Distributed Embedded Systems Software. IPDPS 2003: 208 - 2002
- [j3]Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy:
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. Int. J. Softw. Eng. Knowl. Eng. 12(2): 155-174 (2002) - [c8]Ingolf Krüger:
Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations. VISS@ETAPS 2002: 34-50 - 2001
- [j2]Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin:
Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999). Inform. Forsch. Entwickl. 16(1): 53-59 (2001) - 2000
- [b1]Ingolf Krüger:
Distributed system design with message sequence charts. Technical University Munich, Germany, 2000, pp. 1-370 - [c7]Radu Grosu, Ingolf Krüger, Thomas Stauner:
Hybrid Sequence Charts. ISORC 2000: 104-
1990 – 1999
- 1999
- [c6]Ingolf Krüger:
Towards the Methodical Usage of Message Sequence Charts. FBT 1999: 123-134 - [c5]Bernhard Rumpe, Ruth Breu, Ingolf Krüger:
Applied Software Engineering Principles for UML. TOOLS (29) 1999: 410 - [c4]Radu Grosu, Ingolf Krüger, Thomas Stauner:
Requirements specification of an automotive system with hybrid sequence charts. WORDS (Fall) 1999: 149-151 - 1998
- [j1]Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin:
Exemplary and complete object interaction descriptions. Comput. Stand. Interfaces 19(7): 335-345 (1998) - [c3]Manfred Broy, Ingolf Krüger:
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. ICFEM 1998: 2-15 - [c2]Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy:
From MSCs to Statecharts. DIPES 1998: 61-72 - 1997
- [c1]Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt:
Using Extended Event Traces to Describe Communication in Software Architectures. APSEC 1997: 203-212
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
