Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Ingolf Krüger
@inproceedings{DBLP:conf/amia/MartchBDPPSFBKL14, author = {Stephanie L. Martch and Karen M. Basen{-}Engquist and Wendy Demark{-}Wahnefried and Alexander V. Prokhorov and Kevin Patrick and Eileen H. Shinn and Emilia Farcas and Chaitan Baru and Ingolf Krueger and Kai Lin and Phillip Rios and Yan Yan and Viswanath Nandigam and Susan K. Peterson}, title = {From computer scientists to research practitioners: lessons learned when implementing use of mobile devices in a cancer research setting}, booktitle = {{AMIA} 2014, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 15-19, 2014}, publisher = {{AMIA}}, year = {2014}, url = {https://knowledge.amia.org/56638-amia-1.1540970/t-005-1.1543914/f-005-1.1543915/a-440-1.1544351/a-441-1.1544348}, timestamp = {Wed, 17 Apr 2024 11:47:48 +0200}, biburl = {https://dblp.org/rec/conf/amia/MartchBDPPSFBKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asmta/CerottiGKPSS14, author = {Davide Cerotti and Marco Gribaudo and Ingolf Kr{\"{u}}ger and Pietro Piazzolla and Filippo Seracini and Giuseppe Serazzi}, editor = {Bruno Sericola and Mikl{\'{o}}s Telek and G{\'{a}}bor Horv{\'{a}}th}, title = {Throughput Maximization with Multiclass Workloads and Resource Constraints}, booktitle = {Analytical and Stochastic Modelling Techniques and Applications - 21st International Conference, {ASMTA} 2014, Budapest, Hungary, June 30 - July 2, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8499}, pages = {238--252}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08219-6\_17}, doi = {10.1007/978-3-319-08219-6\_17}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asmta/CerottiGKPSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icac/SeraciniMKBGQ14, author = {Filippo Seracini and Massimiliano Menarini and Ingolf Krueger and Luciano Baresi and Sam Guinea and Giovanni Quattrocchi}, editor = {Xiaoyun Zhu and Giuliano Casale and Xiaohui Gu}, title = {A Comprehensive Resource Management Solution for Web-based Systems}, booktitle = {11th International Conference on Autonomic Computing, {ICAC} '14, Philadelphia, PA, USA, June 18-20, 2014}, pages = {233--239}, publisher = {{USENIX} Association}, year = {2014}, url = {https://www.usenix.org/conference/icac14/technical-sessions/presentation/seracini}, timestamp = {Thu, 11 Sep 2014 17:28:39 +0200}, biburl = {https://dblp.org/rec/conf/icac/SeraciniMKBGQ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispa/SeraciniZRK14, author = {Filippo Seracini and Xiang Zhang and Tajana Rosing and Ingolf Kr{\"{u}}ger}, title = {A Proactive Customer-Aware Resource Allocation Approach for Data Centers}, booktitle = {{IEEE} International Symposium on Parallel and Distributed Processing with Applications, {ISPA} 2014, Milan, Italy, August 26-28, 2014}, pages = {26--33}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ISPA.2014.13}, doi = {10.1109/ISPA.2014.13}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispa/SeraciniZRK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BreuGHHKRSS14, author = {Ruth Breu and Radu Grosu and Christoph Hofmann and Franz Huber and Ingolf Kr{\"{u}}ger and Bernhard Rumpe and Monika Schmidt and Wolfgang Schwerin}, title = {Exemplary and Complete Object Interaction Descriptions}, journal = {CoRR}, volume = {abs/1409.7231}, year = {2014}, url = {http://arxiv.org/abs/1409.7231}, eprinttype = {arXiv}, eprint = {1409.7231}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BreuGHHKRSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/it/Kruger13, author = {Ingolf Kr{\"{u}}ger}, title = {Rich Services - {A} {SOA} Pattern for Dynamic Change in Cyber-physical Systems}, journal = {it Inf. Technol.}, volume = {55}, number = {1}, pages = {10--25}, year = {2013}, url = {https://doi.org/10.1524/itit.2013.0002}, doi = {10.1524/ITIT.2013.0002}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/it/Kruger13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/greens/MenariniSZRK13, author = {Massimiliano Menarini and Filippo Seracini and Xiang Zhang and Tajana Rosing and Ingolf Kr{\"{u}}ger}, editor = {Patricia Lago and Niklaus Meyer and Maurizio Morisio and Hausi A. M{\"{u}}ller and Giuseppe Scanniello}, title = {Green web services: Improving energy efficiency in data centers via workload predictions}, booktitle = {2nd International Workshop on Green and Sustainable Software, {GREENS} 2013, San Francisco, CA, USA, May 20, 2013}, pages = {8--15}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/GREENS.2013.6606416}, doi = {10.1109/GREENS.2013.6606416}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/greens/MenariniSZRK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ZiftciK13, author = {Celal Ziftci and Ingolf Kr{\"{u}}ger}, editor = {Nan Niu and Patrick M{\"{a}}der}, title = {Getting more from requirements traceability: Requirements testing progress}, booktitle = {7th International Workshop on Traceability in Emerging Forms of Software Engineering, {TEFSE} 2013, 19 May, 2013, San Francisco, CA, {USA}}, pages = {12--18}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/TEFSE.2013.6620148}, doi = {10.1109/TEFSE.2013.6620148}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/ZiftciK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/ZiftciK13, author = {Celal Ziftci and Ingolf Kr{\"{u}}ger}, editor = {Sung Y. Shin and Jos{\'{e}} Carlos Maldonado}, title = {Test intents: enhancing the semantics of requirements traceability links in test cases}, booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing, {SAC} '13, Coimbra, Portugal, March 18-22, 2013}, pages = {1272--1277}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2480362.2480600}, doi = {10.1145/2480362.2480600}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/ZiftciK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/13/FarcasFK13, author = {Emilia Farcas and Claudiu Farcas and Ingolf Kr{\"{u}}ger}, editor = {Ivan Mistr{\'{\i}}k and Rami Bahsoon and Rick Kazman and Yuanyuan Zhang}, title = {Successful CyberInfrastructures for E-Health}, booktitle = {Economics-Driven Software Architecture}, pages = {259--295}, publisher = {Morgan Kaufmann / Academic Press / Elsevier}, year = {2013}, url = {https://doi.org/10.1016/b978-0-12-410464-8.00012-x}, doi = {10.1016/B978-0-12-410464-8.00012-X}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/el/13/FarcasFK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/dagstuhl/SinghABCCCDEFFGGDHKLMNSTVV13, author = {Munindar P. Singh and Matthew Arrott and Tina Balke and Amit K. Chopra and Rob Christiaanse and Stephen Cranefield and Frank Dignum and Davide Eynard and Emilia Farcas and Nicoletta Fornara and Fabien Gandon and Guido Governatori and Hoa Khanh Dam and Joris Hulstijn and Ingolf Kr{\"{u}}ger and Ho{-}Pun Lam and Michael Meisinger and Pablo Noriega and Bastin Tony Roy Savarimuthu and Kartik Tadanki and Harko Verhagen and Serena Villata}, editor = {Giulia Andrighetto and Guido Governatori and Pablo Noriega and Leendert W. N. van der Torre}, title = {The Uses of Norms}, booktitle = {Normative Multi-Agent Systems}, series = {Dagstuhl Follow-Ups}, volume = {4}, pages = {191--229}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/DFU.Vol4.12111.191}, doi = {10.4230/DFU.VOL4.12111.191}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/SinghABCCCDEFFGGDHKLMNSTVV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/KrugerDM12, author = {Ingolf Kr{\"{u}}ger and Barry Demchak and Massimiliano Menarini}, editor = {Maritta Heisel}, title = {Dynamic Service Composition and Deployment with OpenRichServices}, booktitle = {Software Service and Application Engineering - Essays Dedicated to Bernd Kr{\"{a}}mer on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {7365}, pages = {120--146}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30835-2\_9}, doi = {10.1007/978-3-642-30835-2\_9}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/KrugerDM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/DemchakKRPK12, author = {Barry Demchak and Jacqueline Kerr and Fred Raab and Kevin Patrick and Ingolf H. Kr{\"{u}}ger}, title = {{PALMS:} {A} Modern Coevolution of Community and Computing Using Policy Driven Development}, booktitle = {45th Hawaii International International Conference on Systems Science {(HICSS-45} 2012), Proceedings, 4-7 January 2012, Grand Wailea, Maui, HI, {USA}}, pages = {2735--2744}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/HICSS.2012.464}, doi = {10.1109/HICSS.2012.464}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/DemchakKRPK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispw/KrugerMSFK12, author = {Ingolf H. Kr{\"{u}}ger and Massimiliano Menarini and Filippo Seracini and Maximilian Fuchs and Jens Kohl}, editor = {D. Ross Jeffery and David Raffo and Ove Armbrust and LiGuo Huang}, title = {Improving the development process for automotive diagnostics}, booktitle = {2012 International Conference on Software and System Process, {ICSSP} 2012, Zurich, Switzerland, June 2-3, 2012}, pages = {63--67}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICSSP.2012.6225982}, doi = {10.1109/ICSSP.2012.6225982}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispw/KrugerMSFK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/ZiftciNVZBKG12, author = {Celal Ziftci and Nima Nikzad and Nakul Verma and Piero Zappi and Elizabeth S. Bales and Ingolf Krueger and William G. Griswold}, editor = {Gary T. Leavens}, title = {Citisense: mobile air quality sensing for individuals and communities}, booktitle = {SPLASH'12 - Proceedings of the 2012 {ACM} Conference on Systems, Programming, and Applications: Software for Humanity, Tucson, AZ, USA, October 21-25, 2012}, pages = {23--24}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2384716.2384728}, doi = {10.1145/2384716.2384728}, timestamp = {Mon, 30 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/ZiftciNVZBKG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/policy/DemchakK12, author = {Barry Demchak and Ingolf Kr{\"{u}}ger}, title = {Policy Driven Development: Flexible Policy Insertion for Large Scale Systems}, booktitle = {2012 {IEEE} International Symposium on Policies for Distributed Systems and Networks, {POLICY} 2012, Chapel Hill, NC, USA, July 16-18, 2012}, pages = {17--24}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/POLICY.2012.13}, doi = {10.1109/POLICY.2012.13}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/policy/DemchakK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcre/ZiftciK12, author = {Celal Ziftci and Ingolf Krueger}, title = {Feature Location Using Data Mining on Existing Test-Cases}, booktitle = {19th Working Conference on Reverse Engineering, {WCRE} 2012, Kingston, ON, Canada, October 15-18, 2012}, pages = {155--164}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/WCRE.2012.25}, doi = {10.1109/WCRE.2012.25}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wcre/ZiftciK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wh/NikzadVZBQZPDKRG12, author = {Nima Nikzad and Nakul Verma and Celal Ziftci and Elizabeth S. Bales and Nichole Quick and Piero Zappi and Kevin Patrick and Sanjoy Dasgupta and Ingolf Krueger and Tajana Simunic Rosing and William G. Griswold}, editor = {William J. Kaiser and Robert McCray}, title = {CitiSense: improving geospatial environmental assessment of air quality using a wireless personal exposure monitoring system}, booktitle = {Wireless Health 2012, {WH} '12, La Jolla, CA, USA, October 22 - 25, 2012}, pages = {11:1--11:8}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2448096.2448107}, doi = {10.1145/2448096.2448107}, timestamp = {Mon, 30 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wh/NikzadVZBQZPDKRG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ZiftciK11, author = {Celal Ziftci and Ingolf Krueger}, editor = {Perry Alexander and Corina S. Pasareanu and John G. Hosking}, title = {Tracing requirements to tests with high precision and recall}, booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011}, pages = {472--475}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ASE.2011.6100102}, doi = {10.1109/ASE.2011.6100102}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ZiftciK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/KrugerMM10, author = {Ingolf H. Kr{\"{u}}ger and Michael Meisinger and Massimiliano Menarini}, title = {Interaction-based Runtime Verification for Systems of Systems Integration}, journal = {J. Log. Comput.}, volume = {20}, number = {3}, pages = {725--742}, year = {2010}, url = {https://doi.org/10.1093/logcom/exn079}, doi = {10.1093/LOGCOM/EXN079}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/KrugerMM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/PrasadBK10, author = {K. Venkatesh Prasad and Manfred Broy and Ingolf Kr{\"{u}}ger}, title = {Scanning the Issue}, journal = {Proc. {IEEE}}, volume = {98}, number = {4}, pages = {506--509}, year = {2010}, url = {https://doi.org/10.1109/JPROC.2010.2041833}, doi = {10.1109/JPROC.2010.2041833}, timestamp = {Fri, 02 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/PrasadBK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/PrasadBK10a, author = {K. Venkatesh Prasad and Manfred Broy and Ingolf Kr{\"{u}}ger}, title = {Scanning Advances in Aerospace {\&} Automobile Software Technology}, journal = {Proc. {IEEE}}, volume = {98}, number = {4}, pages = {510--514}, year = {2010}, url = {https://doi.org/10.1109/JPROC.2010.2041835}, doi = {10.1109/JPROC.2010.2041835}, timestamp = {Fri, 02 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/PrasadBK10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/FarcasFKM10, author = {Claudiu Farcas and Emilia Farcas and Ingolf Kr{\"{u}}ger and Massimiliano Menarini}, title = {Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services}, journal = {Proc. {IEEE}}, volume = {98}, number = {4}, pages = {562--583}, year = {2010}, url = {https://doi.org/10.1109/JPROC.2009.2039630}, doi = {10.1109/JPROC.2009.2039630}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/FarcasFKM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/OldevikMK09, author = {Jon Oldevik and Massimiliano Menarini and Ingolf Kr{\"{u}}ger}, editor = {Andy Sch{\"{u}}rr and Bran Selic}, title = {Model Composition Contracts}, booktitle = {Model Driven Engineering Languages and Systems, 12th International Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5795}, pages = {531--545}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04425-0\_40}, doi = {10.1007/978-3-642-04425-0\_40}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/models/OldevikMK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEscc/ErmaganKM08, author = {Vina Ermagan and Ingolf Kr{\"{u}}ger and Massimiliano Menarini}, title = {A Fault Tolerance Approach for Enterprise Applications}, booktitle = {2008 {IEEE} International Conference on Services Computing {(SCC} 2008), 8-11 July 2008, Honolulu, Hawaii, {USA}}, pages = {63--72}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SCC.2008.140}, doi = {10.1109/SCC.2008.140}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEscc/ErmaganKM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ErmaganKM08, author = {Vina Ermagan and Ingolf H. Kr{\"{u}}ger and Massimiliano Menarini}, editor = {Joanne M. Atlee and Robert B. France and Geri Georg and Ana Moreira and Bernhard Rumpe and Steven V{\"{o}}lkel and Steffen Zschaler}, title = {Aspect-oriented modeling approach to define routing in enterprise service bus architectures}, booktitle = {International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008}, pages = {15--20}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1370731.1370735}, doi = {10.1145/1370731.1370735}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/ErmaganKM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/DemchakEFFKM08, author = {Barry Demchak and Vina Ermagan and Claudiu Farcas and Emilia Farcas and Ingolf H. Kr{\"{u}}ger and Massimiliano Menarini}, editor = {Kevin J. Sullivan and Rick Kazman}, title = {Rich services: addressing challenges of ultra-large-scale software-intensive systems}, booktitle = {Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, ULSSIS@ICSE 2008, Leipzig, Germany, May 10-11, 2008}, pages = {29--32}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1370700.1370709}, doi = {10.1145/1370700.1370709}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/DemchakEFFKM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbees/ErmaganFFKM08, author = {Vina Ermagan and Claudiu Farcas and Emilia Farcas and Ingolf H. Kr{\"{u}}ger and Massimiliano Menarini}, editor = {Holger Giese and Michaela Huhn and Ulrich Nickel and Bernhard Sch{\"{a}}tz}, title = {A Service-Oriented Approach to Failure Management}, booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, series = {Informatik-Bericht}, volume = {2008-2}, pages = {102--116}, publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering}, year = {2008}, url = {http://www.ips.cs.tu-bs.de/images/mbees/MBEES08Proceedings.pdf}, timestamp = {Thu, 12 Mar 2020 11:39:37 +0100}, biburl = {https://dblp.org/rec/conf/mbees/ErmaganFFKM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/FarcasFK08, author = {Claudiu Farcas and Emilia Farcas and Ingolf Kr{\"{u}}ger}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {93--115}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_6}, doi = {10.1007/978-3-642-12566-9\_6}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/FarcasFK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aswsd/2006, editor = {Manfred Broy and Ingolf H. Kr{\"{u}}ger and Michael Meisinger}, title = {Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, {ASWSD} 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4922}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70930-5}, doi = {10.1007/978-3-540-70930-5}, isbn = {978-3-540-70929-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aswsd/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icsoc/2008, editor = {Athman Bouguettaya and Ingolf Kr{\"{u}}ger and Tiziana Margaria}, title = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5364}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89652-4}, doi = {10.1007/978-3-540-89652-4}, isbn = {978-3-540-89647-0}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/BroyKPS07, author = {Manfred Broy and Ingolf H. Kr{\"{u}}ger and Alexander Pretschner and Christian Salzmann}, title = {Engineering Automotive Software}, journal = {Proc. {IEEE}}, volume = {95}, number = {2}, pages = {356--373}, year = {2007}, url = {https://doi.org/10.1109/JPROC.2006.888386}, doi = {10.1109/JPROC.2006.888386}, timestamp = {Fri, 02 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/BroyKPS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/BroyKM07, author = {Manfred Broy and Ingolf H. Kr{\"{u}}ger and Michael Meisinger}, title = {A formal model of services}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {16}, number = {1}, pages = {5}, year = {2007}, url = {https://doi.org/10.1145/1189748.1189753}, doi = {10.1145/1189748.1189753}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/BroyKM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/DemchakEFHKM07, author = {Barry Demchak and Vina Ermagan and Emilia Farcas and To{-}ju Huang and Ingolf H. Kr{\"{u}}ger and Massimiliano Menarini}, editor = {Andreas Rausch and Ralf H. Reussner and Raffaela Mirandola and Frantisek Pl{\'{a}}sil}, title = {A Rich Services Approach to CoCoME}, booktitle = {The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007]}, series = {Lecture Notes in Computer Science}, volume = {5153}, pages = {85--115}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85289-6\_5}, doi = {10.1007/978-3-540-85289-6\_5}, timestamp = {Fri, 21 Oct 2022 16:47:28 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/DemchakEFHKM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/KrugerFFM07, author = {Ingolf Kr{\"{u}}ger and Claudiu Farcas and Emilia Farcas and Massimiliano Menarini}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {Requirements Modeling for Embedded Realtime Systems}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6100}, pages = {155--199}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-642-16277-0\_7}, doi = {10.1007/978-3-642-16277-0\_7}, timestamp = {Sat, 30 Sep 2023 09:38:34 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/KrugerFFM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecbs/MeisingerK07, author = {Michael Meisinger and Ingolf Kr{\"{u}}ger}, title = {A Service-Oriented Extension of the V-Modell {XT}}, booktitle = {14th Annual {IEEE} International Conference and Workshop on Engineering of Computer Based Systems {(ECBS} 2007), 26-29 March 2007, Tucson, Arizona, {USA}}, pages = {256--268}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ECBS.2007.12}, doi = {10.1109/ECBS.2007.12}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecbs/MeisingerK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/DoucetSKJG07, author = {Frederic Doucet and R. K. Shyamasundar and Ingolf H. Kr{\"{u}}ger and Saurabh Joshi and Rajesh K. Gupta}, editor = {Karen Yorav}, title = {Reactivity in SystemC Transaction-Level Models}, booktitle = {Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October 23-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4899}, pages = {34--50}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77966-7\_7}, doi = {10.1007/978-3-540-77966-7\_7}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hvc/DoucetSKJG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/PretschnerBKS07, author = {Alexander Pretschner and Manfred Broy and Ingolf H. Kr{\"{u}}ger and Thomas Stauner}, editor = {Lionel C. Briand and Alexander L. Wolf}, title = {Software Engineering for Automotive Systems: {A} Roadmap}, booktitle = {International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}}, pages = {55--71}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/FOSE.2007.22}, doi = {10.1109/FOSE.2007.22}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/PretschnerBKS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/ArrottDEFFKM07, author = {Matthew Arrott and Barry Demchak and Vina Ermagan and Claudiu Farcas and Emilia Farcas and Ingolf H. Kr{\"{u}}ger and Massimiliano Menarini}, title = {Rich Services: The Integration Piece of the {SOA} Puzzle}, booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007), July 9-13, 2007, Salt Lake City, Utah, {USA}}, pages = {176--183}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICWS.2007.155}, doi = {10.1109/ICWS.2007.155}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/ArrottDEFFKM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iri/DemchakFFK07, author = {Barry Demchak and Claudiu Farcas and Emilia Farcas and Ingolf H. Kr{\"{u}}ger}, title = {The Treasure Map for Rich Services}, booktitle = {Proceedings of the {IEEE} International Conference on Information Reuse and Integration, {IRI} 2007, 13-15 August 2007, Las Vegas, Nevada, {USA}}, pages = {400--405}, publisher = {{IEEE} Systems, Man, and Cybernetics Society}, year = {2007}, url = {https://doi.org/10.1109/IRI.2007.4296653}, doi = {10.1109/IRI.2007.4296653}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iri/DemchakFFK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbees/ErmaganHKMMM07, author = {Vina Ermagan and To{-}ju Huang and Ingolf H. Kr{\"{u}}ger and Michael Meisinger and Massimiliano Menarini and Praveen Moorthy}, editor = {Mirko Conrad and Holger Giese and Bernhard Rumpe and Bernhard Sch{\"{a}}tz}, title = {Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems}, booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, series = {Informatik-Bericht}, volume = {2007-1}, pages = {1--24}, publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering}, year = {2007}, url = {http://www.sse-tubs.de/publications/CGRS\_MBEES\_InfoBericht\_07.pdf}, timestamp = {Thu, 12 Mar 2020 11:39:37 +0100}, biburl = {https://dblp.org/rec/conf/mbees/ErmaganHKMMM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/ErmaganK07, author = {Vina Ermagan and Ingolf H. Kr{\"{u}}ger}, editor = {Gregor Engels and Bill Opdyke and Douglas C. Schmidt and Frank Weil}, title = {A {UML2} Profile for Service Modeling}, booktitle = {Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4735}, pages = {360--374}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75209-7\_25}, doi = {10.1007/978-3-540-75209-7\_25}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/models/ErmaganK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/KrugerMM07, author = {Ingolf H. Kr{\"{u}}ger and Michael Meisinger and Massimiliano Menarini}, editor = {Oleg Sokolsky and Serdar Tasiran}, title = {Runtime Verification of Interactions: From MSCs to Aspects}, booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4839}, pages = {63--74}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77395-5\_6}, doi = {10.1007/978-3-540-77395-5\_6}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/KrugerMM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/BroyHKS06, author = {Manfred Broy and Heinrich Hussmann and Ingolf H. Kr{\"{u}}ger and Bernhard Sch{\"{a}}tz}, title = {SoSyM special section on service-based software engineering}, journal = {Softw. Syst. Model.}, volume = {5}, number = {2}, pages = {170--171}, year = {2006}, url = {https://doi.org/10.1007/s10270-006-0002-3}, doi = {10.1007/S10270-006-0002-3}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/BroyHKS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/CooperGK06, author = {Kendra M. L. Cooper and Holger Giese and Ingolf H. Kr{\"{u}}ger}, title = {Visual modeling for software intensive systems}, journal = {J. Vis. Lang. Comput.}, volume = {17}, number = {6}, pages = {503--507}, year = {2006}, url = {https://doi.org/10.1016/j.jvlc.2006.10.001}, doi = {10.1016/J.JVLC.2006.10.001}, timestamp = {Tue, 08 Aug 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/CooperGK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/KrugerMM06, author = {Ingolf H. Kr{\"{u}}ger and Reena Mathew and Michael Meisinger}, editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa}, title = {Efficient exploration of service-oriented architectures using aspects}, booktitle = {28th International Conference on Software Engineering {(ICSE} 2006), Shanghai, China, May 20-28, 2006}, pages = {62--71}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1134285.1134296}, doi = {10.1145/1134285.1134296}, timestamp = {Mon, 26 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/KrugerMM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iri/KrugerMMP06, author = {Ingolf Kr{\"{u}}ger and Michael Meisinger and Massimiliano Menarini and Stephen Pasco}, title = {Rapid systems of systems integration - combining an architecture-centric approach with enterprise service bus infrastructure}, booktitle = {Proceedings of the 2006 {IEEE} International Conference on Information Reuse and Integration, {IRI} - 2006: Heuristic Systems Engineering, September 16-18, 2006, Waikoloa, Hawaii, {USA}}, pages = {51--56}, publisher = {{IEEE} Systems, Man, and Cybernetics Society}, year = {2006}, url = {https://doi.org/10.1109/IRI.2006.252387}, doi = {10.1109/IRI.2006.252387}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iri/KrugerMMP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/DoucetKGS06, author = {Frederic Doucet and Ingolf Kr{\"{u}}ger and Rajesh K. Gupta and R. K. Shyamasundar}, title = {Compositional interaction specifications for SystemC}, booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy Suites, Napa, California, {USA}}, pages = {201}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/MEMCOD.2006.1695930}, doi = {10.1109/MEMCOD.2006.1695930}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/DoucetKGS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/KrugerM06, author = {Ingolf H. Kr{\"{u}}ger and Massimiliano Menarini}, editor = {Thomas K{\"{u}}hne}, title = {Queries and Constraints: {A} Comprehensive Semantic Model for {UML2}}, booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4364}, pages = {327--328}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-69489-2\_41}, doi = {10.1007/978-3-540-69489-2\_41}, timestamp = {Wed, 23 Feb 2022 12:58:00 +0100}, biburl = {https://dblp.org/rec/conf/models/KrugerM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/ErmaganKM06, author = {Vina Ermagan and Ingolf Kr{\"{u}}ger and Massimiliano Menarini}, editor = {Fabrice Kordon and Oleg Sokolsky}, title = {Model-Based Failure Management for Distributed Reactive Systems}, booktitle = {Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4888}, pages = {53--74}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-77419-8\_4}, doi = {10.1007/978-3-540-77419-8\_4}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/monterey/ErmaganKM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scesm/KrugerLM06, author = {Ingolf H. Kr{\"{u}}ger and Gunny Lee and Michael Meisinger}, editor = {Jon Whittle and Leif Geiger and Michael Meisinger}, title = {Automating software architecture exploration with M2Aspects}, booktitle = {{SCESM} '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006}, pages = {51--58}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1138953.1138964}, doi = {10.1145/1138953.1138964}, timestamp = {Tue, 24 May 2022 15:28:49 +0200}, biburl = {https://dblp.org/rec/conf/scesm/KrugerLM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aswsd/2004, editor = {Manfred Broy and Ingolf H. Kr{\"{u}}ger and Michael Meisinger}, title = {Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, {ASWSD} 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4147}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11823063}, doi = {10.1007/11823063}, isbn = {3-540-37677-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aswsd/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/GieseK05, author = {Holger Giese and Ingolf Kr{\"{u}}ger}, title = {A summary of the {ICSE} 2004 workshop on "scenarios and state machines: models, algorithms, and tools"}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {30}, number = {1}, pages = {2}, year = {2005}, url = {https://doi.org/10.1145/1039174.1039186}, doi = {10.1145/1039174.1039186}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/GieseK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/KrugerMM05, author = {Ingolf H. Kr{\"{u}}ger and Reena Mathew and Michael Meisinger}, title = {From scenarios to aspects: exploring product lines}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {30}, number = {4}, pages = {1--6}, year = {2005}, url = {https://doi.org/10.1145/1082983.1083188}, doi = {10.1145/1082983.1083188}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/KrugerMM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/UchitelBKW05, author = {Sebasti{\'{a}}n Uchitel and Manfred Broy and Ingolf H. Kr{\"{u}}ger and Jon Whittle}, title = {Guest Editorial: Special Section on Interaction and State-Based Modeling}, journal = {{IEEE} Trans. Software Eng.}, volume = {31}, number = {12}, pages = {997--998}, year = {2005}, url = {https://doi.org/10.1109/TSE.2005.139}, doi = {10.1109/TSE.2005.139}, timestamp = {Tue, 24 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/UchitelBKW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/AhluwaliaKPM05, author = {Jaswinder Ahluwalia and Ingolf H. Kr{\"{u}}ger and Walter Phillips and Michael Meisinger}, editor = {Wayne H. Wolf}, title = {Model-based run-time monitoring of end-to-end deadlines}, booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM} International Conference On Embedded Software, Proceedings}, pages = {100--109}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1086228.1086248}, doi = {10.1145/1086228.1086248}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/AhluwaliaKPM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/McClureK05, author = {Russell A. McClure and Ingolf H. Kr{\"{u}}ger}, editor = {Gruia{-}Catalin Roman and William G. Griswold and Bashar Nuseibeh}, title = {{SQL} {DOM:} compile time checking of dynamic {SQL} statements}, booktitle = {27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}}, pages = {88--96}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1062455.1062487}, doi = {10.1145/1062455.1062487}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/McClureK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/Kruger05, author = {Ingolf Kr{\"{u}}ger}, title = {Service-oriented software and systems engineering - a vision for the automotive domain}, booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona, Italy, Proceedings}, pages = {150}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/MEMCOD.2005.1487906}, doi = {10.1109/MEMCOD.2005.1487906}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/Kruger05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/KrugerMM05, author = {Ingolf H. Kr{\"{u}}ger and Michael Meisinger and Massimiliano Menarini}, editor = {Fabrice Kordon and Janos Sztipanovits}, title = {Applying Service-Oriented Development to Complex Systems: {BART} Case Study}, booktitle = {Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4322}, pages = {26--46}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-71156-8\_2}, doi = {10.1007/978-3-540-71156-8\_2}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/monterey/KrugerMM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/DeublerMRK05, author = {Martin R. Deubler and Michael Meisinger and Sabine Rittmann and Ingolf Kr{\"{u}}ger}, editor = {Lionel C. Briand and Clay Williams}, title = {Modeling Crosscutting Services with {UML} Sequence Diagrams}, booktitle = {Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3713}, pages = {522--536}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11557432\_40}, doi = {10.1007/11557432\_40}, timestamp = {Thu, 09 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uml/DeublerMRK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/GieseKC05, author = {Holger Giese and Ingolf H. Kr{\"{u}}ger and Kendra M. L. Cooper}, title = {Visual Modeling for Software Intensive Systems}, booktitle = {2005 {IEEE} Symposium on Visual Languages and Human-Centric Computing {(VL/HCC} 2005), 21-24 September 2005, Dallas, TX, {USA}}, pages = {4}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/VLHCC.2005.69}, doi = {10.1109/VLHCC.2005.69}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/GieseKC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DoucetMKGT06, author = {Frederic Doucet and Massimiliano Menarini and Ingolf H. Kr{\"{u}}ger and Rajesh K. Gupta and Jean{-}Pierre Talpin}, editor = {Montek Singh and Jean{-}Pierre Talpin}, title = {A Verification Approach for {GALS} Integration of Synchronous Components}, booktitle = {Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {146}, number = {2}, pages = {105--131}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.05.038}, doi = {10.1016/J.ENTCS.2005.05.038}, timestamp = {Fri, 16 Dec 2022 11:32:05 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DoucetMKGT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/KrugerPS04, author = {Ingolf Kr{\"{u}}ger and Wolfgang Prenninger and Robert Sandner}, title = {Broadcast MSCs}, journal = {Formal Aspects Comput.}, volume = {16}, number = {3}, pages = {194--209}, year = {2004}, url = {https://doi.org/10.1007/s00165-004-0046-5}, doi = {10.1007/S00165-004-0046-5}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/KrugerPS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/KrugerPSB04, author = {Ingolf Kr{\"{u}}ger and Wolfgang Prenninger and Robert Sandner and Manfred Broy}, editor = {Hartmut Ehrig and Werner Damm and J{\"{o}}rg Desel and Martin Gro{\ss}e{-}Rhode and Wolfgang Reif and Eckehard Schnieder and Engelbert Westk{\"{a}}mper}, title = {Development of Hierarchical Broadcasting Software Architectures Using {UML} 2.0}, booktitle = {Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report}, series = {Lecture Notes in Computer Science}, volume = {3147}, pages = {29--47}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27863-4\_4}, doi = {10.1007/978-3-540-27863-4\_4}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/dfg/KrugerPSB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iastedSE/Kruger04, author = {Ingolf H. Kr{\"{u}}ger}, editor = {M. H. Hamza}, title = {Service specification with MSCs and roles}, booktitle = {{IASTED} International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004}, pages = {42--47}, publisher = {{IASTED/ACTA} Press}, year = {2004}, timestamp = {Wed, 08 Nov 2006 11:22:27 +0100}, biburl = {https://dblp.org/rec/conf/iastedSE/Kruger04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/GieseK04, author = {Holger Giese and Ingolf Kr{\"{u}}ger}, editor = {Anthony Finkelstein and Jacky Estublier and David S. Rosenblum}, title = {Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04)}, booktitle = {26th International Conference on Software Engineering {(ICSE} 2004), 23-28 May 2004, Edinburgh, United Kingdom}, pages = {766--767}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/ICSE.2004.10021}, doi = {10.1109/ICSE.2004.10021}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/GieseK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wicsa/KrugerM04, author = {Ingolf H. Kr{\"{u}}ger and Reena Mathew}, title = {Systematic Development and Exploration of Service-Oriented Software Architectures}, booktitle = {4th Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA} 2004), 12-15 June 2004, Oslo, Norway}, pages = {177--187}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/WICSA.2004.1310701}, doi = {10.1109/WICSA.2004.1310701}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wicsa/KrugerM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/KrugerUWZ03, author = {Ingolf Kr{\"{u}}ger and Sebasti{\'{a}}n Uchitel and Jon Whittle and Albert Z{\"{u}}ndorf}, title = {A summary of the second {ICSE} 2003 workshop on: "scenarios and state machines: models, algorithms, and tools"}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {28}, number = {6}, pages = {9}, year = {2003}, url = {https://doi.org/10.1145/966221.966231}, doi = {10.1145/966221.966231}, timestamp = {Tue, 24 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/KrugerUWZ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/KrugerM03, author = {Ingolf H. Kr{\"{u}}ger and Reena Mathew}, editor = {Stefan Leue and Tarja Syst{\"{a}}}, title = {Component Synthesis from Service Specifications}, booktitle = {Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3466}, pages = {255--277}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/11495628\_14}, doi = {10.1007/11495628\_14}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/KrugerM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/Kruger03, author = {Ingolf Kr{\"{u}}ger}, editor = {Mauro Pezz{\`{e}}}, title = {Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs}, booktitle = {Fundamental Approaches to Software Engineering, 6th International Conference, {FASE} 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2621}, pages = {387--402}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36578-8\_27}, doi = {10.1007/3-540-36578-8\_27}, timestamp = {Sun, 02 Oct 2022 16:01:12 +0200}, biburl = {https://dblp.org/rec/conf/fase/Kruger03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/EgyedGKSUZ03, author = {Alexander Egyed and Martin Glinz and Ingolf Kr{\"{u}}ger and Tarja Syst{\"{a}} and Sebasti{\'{a}}n Uchitel and Albert Z{\"{u}}ndorf}, editor = {Lori A. Clarke and Laurie Dillon and Walter F. Tichy}, title = {Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools}, booktitle = {Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, {USA}}, pages = {783--784}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/ICSE.2003.1201284}, doi = {10.1109/ICSE.2003.1201284}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/EgyedGKSUZ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/CorneaDGKNSS03, author = {Radu Cornea and Nikil D. Dutt and Rajesh K. Gupta and Ingolf Kr{\"{u}}ger and Alexandru Nicolau and Douglas C. Schmidt and Sandeep K. Shukla}, title = {{FORGE:} {A} Framework for Optimization of Distributed Embedded Systems Software}, booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS} 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings}, pages = {208}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/IPDPS.2003.1213381}, doi = {10.1109/IPDPS.2003.1213381}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/CorneaDGKNSS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/KrugerPSB02, author = {Ingolf Kr{\"{u}}ger and Wolfgang Prenninger and Robert Sandner and Manfred Broy}, title = {From Scenarios to Hierarchical Broadcasting Software Architectures Using {UML-RT}}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {12}, number = {2}, pages = {155--174}, year = {2002}, url = {https://doi.org/10.1142/S0218194002000858}, doi = {10.1142/S0218194002000858}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/KrugerPSB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kruger02, author = {Ingolf Kr{\"{u}}ger}, editor = {Beno{\^{\i}}t Caillaud and Anca Muscholl}, title = {Specifying Services with {UML} and {UML-RT:} Foundations, Challenges and Limitations}, booktitle = {Validation and Implementation of Scenario-based Specifications, {VISS} 2002, Satellite Event of {ETAPS} 2002, Grenoble, France, April 6-14, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {65}, number = {7}, pages = {34--50}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80483-3}, doi = {10.1016/S1571-0661(04)80483-3}, timestamp = {Mon, 05 Dec 2022 15:19:52 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Kruger02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ife/BroyBHKRS01, author = {Manfred Broy and Ruth Breu and Franz Huber and Ingolf Kr{\"{u}}ger and Bernhard Rumpe and Wolfgang Schwerin}, title = {Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors {SYSLAB} {(1.10.1994} - 30.9.1999)}, journal = {Inform. Forsch. Entwickl.}, volume = {16}, number = {1}, pages = {53--59}, year = {2001}, url = {https://doi.org/10.1007/PL00009142}, doi = {10.1007/PL00009142}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ife/BroyBHKRS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Kruger00, author = {Ingolf Kr{\"{u}}ger}, title = {Distributed system design with message sequence charts}, school = {Technical University Munich, Germany}, year = {2000}, url = {http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2000/krueger.pdf}, urn = {urn:nbn:de:bvb:91-diss2000072116526}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Kruger00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isorc/GrosuKS00, author = {Radu Grosu and Ingolf Kr{\"{u}}ger and Thomas Stauner}, title = {Hybrid Sequence Charts}, booktitle = {3rd International Symposium on Object-Oriented Real-Time Distributed Computing {(ISORC} 2000), 15-17 March 2000, Newport Beach, CA, {USA}}, pages = {104}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/ISORC.2000.839517}, doi = {10.1109/ISORC.2000.839517}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isorc/GrosuKS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fbt/Kruger99, author = {Ingolf Kr{\"{u}}ger}, editor = {Katharina Spies and Bernhard Sch{\"{a}}tz}, title = {Towards the Methodical Usage of Message Sequence Charts}, booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9. GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999}, pages = {123--134}, publisher = {Herbert Utz Verlag}, year = {1999}, timestamp = {Thu, 27 Mar 2003 09:47:32 +0100}, biburl = {https://dblp.org/rec/conf/fbt/Kruger99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/RumpeBK99, author = {Bernhard Rumpe and Ruth Breu and Ingolf Kr{\"{u}}ger}, title = {Applied Software Engineering Principles for {UML}}, booktitle = {{TOOLS} Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France}, pages = {410}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10016}, doi = {10.1109/TOOLS.1999.10016}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tools/RumpeBK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/words/GrosuKS99, author = {Radu Grosu and Ingolf Kr{\"{u}}ger and Thomas Stauner}, title = {Requirements specification of an automotive system with hybrid sequence charts}, booktitle = {Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, {WORDS} Fall 1999, November 18-10, 1999, Monterey, California, {USA.} Proceedings}, pages = {149--151}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/WORDSF.1999.842346}, doi = {10.1109/WORDSF.1999.842346}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/words/GrosuKS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csi/BreuGHHKRSS98, author = {Ruth Breu and Radu Grosu and Christoph Hofmann and Franz Huber and Ingolf Kr{\"{u}}ger and Bernhard Rumpe and Monika Schmidt and Wolfgang Schwerin}, title = {Exemplary and complete object interaction descriptions}, journal = {Comput. Stand. Interfaces}, volume = {19}, number = {7}, pages = {335--345}, year = {1998}, url = {https://doi.org/10.1016/S0920-5489(98)00021-X}, doi = {10.1016/S0920-5489(98)00021-X}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csi/BreuGHHKRSS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/BroyK98, author = {Manfred Broy and Ingolf Kr{\"{u}}ger}, title = {Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts}, booktitle = {Second {IEEE} International Conference on Formal Engineering Methods, {ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings}, pages = {2--15}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/ICFEM.1998.730565}, doi = {10.1109/ICFEM.1998.730565}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/BroyK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-3/KrugerGSB98, author = {Ingolf Kr{\"{u}}ger and Radu Grosu and Peter Scholz and Manfred Broy}, editor = {Franz J. Rammig}, title = {From MSCs to Statecharts}, booktitle = {Distributed and Parallel Embedded Systems, {IFIP} {WG10.3/WG10.5} International Workshop on Distributed and Parallel Embedded Systems {(DIPES} '98), October 5-6. 1998, Schlo{\ss} Eringerfeld, Germany}, series = {{IFIP} Conference Proceedings}, volume = {155}, pages = {61--72}, publisher = {Kluwer}, year = {1998}, timestamp = {Fri, 11 Oct 2002 14:29:47 +0200}, biburl = {https://dblp.org/rec/conf/ifip10-3/KrugerGSB98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/BroyHKS97, author = {Manfred Broy and Christoph Hofmann and Ingolf Kr{\"{u}}ger and Monika Schmidt}, title = {Using Extended Event Traces to Describe Communication in Software Architectures}, booktitle = {4th Asia-Pacific Software Engineering and International Computer Science Conference {(APSEC} '97 / {ICSC} '97), 2-5 December 1997, Clear Water Bay, Hong Kong}, pages = {203--212}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/APSEC.1997.640177}, doi = {10.1109/APSEC.1997.640177}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/BroyHKS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.