Publications in publications/Selected_Publications_Holger_Giese.bib
59 results
2017
Samuel Kounev, Jeffrey O. Kephart, Peter Lewis, Ada Diaconescu, Kurt Geihs, Holger Giese, Paola Inverardi, Andrea Zisman, Kirstie Bellman, Lukas Esterle, Nelly Bencomo, Hartmut Schmeck, Hank Hoffmann, Sebastian Götz, Javier Camara, "The Notion of Self-Aware Computing", in Samuel Kounev, Jeffrey O. Kephart, A. Milenkoski, Xiaoyun Zhu, Eds., Self-Aware Computing Systems., Springer Verlag, Berlin Heidelberg, Germany, 2017, (To Appear). [bibtex]
2016
Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers, "On the Operationalization of Graph Queries with Generalized Discrimination Networks", in Rachid Echahed, Mark Minas, Eds., Proceedings of the $9^th$ International Conference on Graph Transformations, pp. 170–186, Springer, 2016. [bibtex]
2015
Regina Hebig and Holger Giese, "On the Complex Nature of MDE Evolution and its Impact on Changeability", Software & Systems Modeling, 2015, accepted for publication. [bibtex] [url]
2014
Holger Giese, Barbara König, Eds., Graph Transformation, 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, vol. 8571 of Lecture Notes in Computer Science (LNCS), Springer, July 2014. [bibtex] [url]
Thomas Vogel and Holger Giese, "Model-Driven Engineering of Self-Adaptive Software with EUREMA", ACM Trans. Auton. Adapt. Syst., vol. 8, no. 4, pp. 18:1-18:33, January 2014. [bibtex] [url]
Christian Krause, Matthias Tichy and Holger Giese, "Implementing Graph Transformations in the Bulk Synchronous Parallel Model", in Stefania Gnesi, Arend Rensink, Eds., 17th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France, vol. 8411 of Lecture Notes in Computer Science (LNCS), pp. 325-339, Springer, 7-10 June 2014. [bibtex] [url]
Holger Giese, Stephan Hildebrandt and Leen Lambers, "Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations", Software and Systems Modeling, vol. 13, no. 1, pp. 273-299, 2014. [bibtex] [url]
2013
Holger Giese and Wilhelm Schäfer, "Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML", in Javier Camara, Rogério de Lemos, Carlo Ghezzi, AntÃÂnia Lopes, Eds., Assurances for Self-Adaptive Systems, vol. 7740 of Lecture Notes in Computer Science (LNCS), pp. 152-186, Springer, January 2013. [bibtex] [url]
Danny Weyns, Bradley Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese, Karl Goeschka, "On Patterns for Decentralized Control in Self-Adaptive Systems", in Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), pp. 76-107, Springer, January 2013. [bibtex] [url]
Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), Springer, 2013. [bibtex] [url]
Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley Schmerl, Gabriel Tamura, NorhaM. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl Goeschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Rick Schlichting, Dennis B. Smith, Joao P. Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke, "Software Engineering for Self-Adaptive Systems: A second Research Roadmap", in Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), pp. 1-32, Springer, January 2013. [bibtex] [url]
Stefan Neumann and Holger Giese, "Scalable Real-Time Compatibility for Embedded Components using Language-Progressive TIOA", in 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013. [bibtex]
Tingting Han, Christian Krause, Marta Kwiatkowska, Holger Giese, "Modal Specifications for Probabilistic Timed Systems", in Proc. of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2013. [bibtex]
2012
Christian Krause, Holger Giese and Erik de Vink, "Compositional and behavior-preserving reconfiguration of component connectors in Reo", Journal of Visual Languages & Computing, 2012. [bibtex]
Christian Krause and Holger Giese, "Probabilistic Graph Transformation Systems", in Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of Lecture Notes in Computer Science, pp. 311-325, Springer-Verlag, 2012. [bibtex] [url]
Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter, "Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations", in Andy Schürr, Daniel Varró, Gergely Varró, Eds., Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011), vol. 7233 of LNCS, pp. 238-253, Springer, 2012. [bibtex]
Holger Giese and Leen Lambers, "Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking", in Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, Eds., Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of LNCS, pp. 249-263, Springer, 2012. [bibtex] [url]
Holger Giese, Grigore Rosu, Eds., Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings, vol. 7273 of Lecture Notes in Computer Science (LNCS), Springer, 2012. [bibtex]
2011
Bernhard Schätz and Holger Giese, "Models of Reactive Systems - Communication, Concurrency and Causality", in Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, Eds., Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, vol. 6100 of Lecture Notes in Computer Science, pp. 3-15, Springer, 2011. [bibtex] [url]
Stefan Henkler, Simon Oberthur, Holger Giese, Andreas Seibel, "Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures", International Journal of Computer Systems Science and Engineering, vol. 27, no. 1, pp. 3–16, 2011. [bibtex]
Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz, "Model-Based Integration", in Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, Eds., Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, vol. 6100 of Lecture Notes in Computer Science, pp. 17-54, Springer, 2011. [bibtex] [url]
Holger Giese, Stefan Henkler and Martin Hirsch, "A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems", SIMULATION, vol. 87, no. 9, pp. 775-808, 2011. [bibtex] [url]
Holger Giese, Garbor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, Eds., Model-Based Engineering of Embedded Real-Time Systems, International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, vol. 6100 of Lecture Notes in Computer Science (LNCS), Springer, 2011. [bibtex] [url]
2010
Stefan Henkler, Simon Oberthur, Holger Giese, Andreas Seibel, "Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures", in Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, IEEE Computer Society Press, 5-6 May 2010. [bibtex]
Andreas Seibel, Stefan Neumann and Holger Giese, "Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance", Software and Systems Modeling, vol. 9, no. 4, pp. 493-528, 2010. [bibtex] [url]
Holger Giese, Ed., Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings, vol. 6150 of Lecture Notes in Computer Science (LNCS), Springer, 2010. [bibtex] [url]
Holger Giese, Stefan Neumann and Stephan Hildebrandt, "Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent", in Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, B. Westfechtel, Eds., Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, vol. 5765 of Lecture Notes in Computer Science, pp. 555-579, Springer Berlin / Heidelberg, 2010. [bibtex]
2009
Holger Giese and Robert Wagner, "From model transformation to incremental bidirectional model synchronization", Software and Systems Modeling, vol. 8, no. 1, pp. 21-43, 28 March 2009. [bibtex] [url]
Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos, Eds., Software Engineering for Self-Adaptive Systems, vol. 5525 of Lecture Notes in Computer Science (LNCS), Springer, 2009. [bibtex] [url]
Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, HausiA. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle, "Software Engineering for Self-Adaptive Systems: A Research Roadmap", in Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Eds., Software Engineering for Self-Adaptive Systems, vol. 5525 of Lecture Notes in Computer Science (LNCS), pp. 1-26, Springer, 2009. [bibtex] [url]
Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, HausiA. Müller, Mauro Pezzè, Mary Shaw, "Engineering Self-Adaptive Systems through Feedback Loops", in Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Eds., Software Engineering for Self-Adaptive Systems, vol. 5525 of Lecture Notes in Computer Science, pp. 48-70, Springer, 2009. [bibtex]
2008
Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler, "Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems", International Journal on Software Tools for Technology Transfer (STTT), vol. 10, no. 3, pp. 207-222, June 2008. [bibtex] [url]
Holger Giese, Ed., Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, vol. 5002 of Lecture Notes in Computer Science (LNCS), Springer, 2008. [bibtex] [url]
Holger Giese, "Reusable Services and Semi-Automatic Service Composition for Automotive Software", in Manfred Broy, Ingolf Krüger, Michael Meisinger, Eds., Automotive Software – Model-Driven Development of Reliable Automotive Services. Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, vol. 4922 of Lecture Notes in Computer Science, pp. 161-181, Springer Verlag, 2008. [bibtex] [url]
Holger Giese, Stefan Henkler and Martin Hirsch, "Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML", in Architecting Dependable Systems V, vol. 5135 of Lecture Notes in Computer Science, pp. 248–272, Springer Verlag, 2008. [bibtex] [url]
2007
Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky, Eds., Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications, vol. 4408 of Lecture Notes in Computer Science (LNCS), Springer, 2007. [bibtex] [url]
Holger Giese and Florian Klein, "Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications", International Journal on Agent-Oriented Software Engineering (IJAOSE), vol. 1, no. 1, pp. 28–62, April 2007. [bibtex]
Florian Klein and Holger Giese, "Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams", in Matt Dwyer, Antónia Lopes, Eds., Proc. of 10th International Conference on Fundamental Approaches to Software Engineering (FASE) 2007, held as part of ETAPS 2007, Lisboa, Portugal, March 24-April 1, 2007, vol. 4422 of Lecture Notes in Computer Science (LNCS), pp. 185–199, Springer Verlag, March 2007. [bibtex] [url]
Holger Giese, "Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems", in Fabrice Kordon, Janos Sztipanovits, Eds., Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 . Laguna Beach, CA, USA, September 22-24,2005 . Revised Selected Papers, vol. 4322 of Lecture Notes in Computer Science, pp. 258-280, Springer Verlag, 2007. [bibtex]
2006
Holger Giese and Stefan Henkler, "A Survey of Approaches for the Visual Model-Driven Development of Next Generation Software-Intensive Systems", Journal of Visual Languages & Computing, vol. 17, no. 6, pp. 528–550, December 2006. [bibtex] [url]
Holger Giese and Robert Wagner, "Incremental Model Synchronization with Triple Graph Grammars", in Oscar Nierstrasz, John Whittle, David Harel, Gianna Reggio, Eds., Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy, vol. 4199 of Lecture Notes in Computer Science (LNCS), pp. 543–557, Springer Verlag, October 2006. [bibtex] [url]
Holger Giese and Matthias Tichy, "Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration", in Proc. of the 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP), Gdansk, Poland, vol. 4166 of Lecture Notes in Computer Science (LNCS), pp. 156–169, Springer Verlag, September 2006. [bibtex] [url]
Holger Giese and Alexander Vilbig, "Separation of Non-Orthogonal Concerns in Software Architecture and Design", Software and Systems Modeling, vol. 5, no. 2, pp. 136 - 169, June 2006. [bibtex]
Björn Axenath, Holger Giese, Florian Klein, Ursula Frank, "Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems", in Proc. of the 14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, Minnesota, USA, pp. 156–165, IEEE Computer Science, 11-15 September 2006. [bibtex] [url]
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling, "Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation", in Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, 2006. [bibtex]
2005
Sven Burmester, Holger Giese and Wilhelm Schäfer, "Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code", in Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2005), Nürnberg, Germany, vol. 3748 of Lecture Notes in Computer Science (LNCS), pp. 25-40, Springer Verlag, November 2005. [bibtex] [url]
2004
Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp, "Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration", in Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pp. 179-188, ACM Press, November 2004. [bibtex] [url]
Holger Giese, Matthias Tichy and Daniela Schilling, "Compositional Hazard Analysis of UML Component and Deployment Models", in Maritta Heisel, Peter Liggesmeyer, S. Wittmann, Eds., Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany, vol. 3219 of Lecture Notes in Computer Science (LNCS), Springer Verlag, September 2004. [bibtex] [url]
Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür, "Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation", in B. Georgio, Ed., Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy, pp. 175-183, ACM Press, September 2004. [bibtex] [url]
Thorsten Hestermeyer, Oliver Oberschelp and Holger Giese, "Structured Information Processing For Self-optimizing Mechatronic Systems", in Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, Marina Carvalho, Eds., Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 230-237, INSTICC Press, August 2004. [bibtex] [url]
Sven Burmester, Holger Giese, Jorg Niere, Matthias Tichy, Jorg P. Wadsack, Robert Wagner, Lothar Wendehals, Albert Zündorf, "Tool Integration at the Meta-Model Level within the FUJABA Tool Suite", International Journal on Software Tools for Technology Transfer (STTT), vol. 6, no. 3, pp. 203-218, August 2004. [bibtex] [url]
Ursula Frank, Holger Giese, Florian Klein, Oliver Oberschelp, Andreas Schmidt, Bernd Schulz, Henner Vöcking, Katrin Witting, Selbstoptimierende Systeme des Maschinenbaus - Definitionen und Konzepte, HNI-Verlagsschriftenreihe, 1st ed. Paderborn, Germany: Heinz Nixdorf Institut, Universität Paderborn, 2004. [bibtex]
2003
Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, Stephan Flake, "Towards the Compositional Verification of Real-Time UML Designs", in Proc. of the 9th european software engineering conference held jointly with 11th ACM SIGSOFT international symposium on foundations of software engineering (ESEC/FSE-11), Helsinki, Finland, pp. 38–47, New York, NY, USA: ACM Press, September 2003. [bibtex] [url]
2001
Guido Wirtz, Mathias Weske and Holger Giese, "The OCoN Approach to Workflow Modeling in Object-Oriented Systems", Information Systems Frontiers, vol. 3, no. 3, pp. 357-376, 2001. [bibtex] [url]
Holger Giese, Object-Oriented Design and Architecture of Distributed Systems, Berichte aus der Informatik, Shaker Verlag, 2001. [bibtex] [url]
Holger Giese and Guido Wirtz, "The OCoN Approach for Object-Oriented Distributed Software Systems Modeling", Computer Systems Science & Engineering, vol. 16, no. 3, pp. 157-172, 2001. [bibtex] [url]
Holger Giese and Guido Wirtz, "Visual Modeling of Object-oriented Distributed Systems", Journal of Visual Languages and Computing, vol. 12, no. 2, pp. 183-202, 2001. [bibtex] [url]
1999
Holger Giese, Jörg Graf and Guido Wirtz, "Closing the Gap Between Object-Oriented Modeling of Structure and Behavior", in Robert France, Bernhard Rumpe, Eds., UML'99 - The Second International Conference on The Unified Modeling Language Fort Collins, Colorado, USA, vol. 1723 of Lecture Notes in Computer Science (LNCS), pp. 534-549, Springer Verlag, October 1999. [bibtex]
Holger Giese, Jörg Graf and Guido Wirtz, "Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems", in IEEE Symposium On Visual Languages, Tokyo, Japan, IEEE Press, September 1999. [bibtex]
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser