Publications in publications/Selected_Publications_Holger_Giese.bib
59 results
2017
[59]The Notion of Self-Aware Computing (, , , , , , , , , , , , , , ), Chapter in (Samuel Kounev, Jeffrey O. Kephart, A. Milenkoski, Xiaoyun Zhu, eds.), Springer Verlag, . ((To Appear)) [bibtex]
2016
[58]On the Operationalization of Graph Queries with Generalized Discrimination Networks (, , , ), In Proceedings of the $9^th$ International Conference on Graph Transformations (Rachid Echahed, Mark Minas, eds.), Springer, . [bibtex]
2015
[57] On the Complex Nature of MDE Evolution and its Impact on Changeability (, ), In Software & Systems Modeling, Springer-Verlag, . (accepted for publication) [bibtex] [pdf]
2014
[56] Graph Transformation, 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, (Holger Giese, Barbara König, eds.), Springer, volume 8571, . [bibtex] [pdf]
[55] Model-Driven Engineering of Self-Adaptive Software with EUREMA (, ), In ACM Trans. Auton. Adapt. Syst., volume 8, . [bibtex] [pdf]
[54] Implementing Graph Transformations in the Bulk Synchronous Parallel Model (, , ), In 17th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France (Stefania Gnesi, Arend Rensink, eds.), Springer, volume 8411, . [bibtex] [pdf]
[53] Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations (, , ), In Software and Systems Modeling, Springer Berlin Heidelberg, volume 13, . [bibtex] [pdf]
2013
[52] Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML (, ), Chapter in Assurances for Self-Adaptive Systems (Javier Camara, Rogério de Lemos, Carlo Ghezzi, AntÃÂnia Lopes, eds.), Springer, volume 7740, . [bibtex] [pdf]
[51] Software Engineering for Self-Adaptive Systems II, (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, . [bibtex] [pdf]
[50] Software Engineering for Self-Adaptive Systems: A second Research Roadmap (, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, . [bibtex] [pdf]
[49] On Patterns for Decentralized Control in Self-Adaptive Systems (, , , , , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, . [bibtex] [pdf]
[48]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), . [bibtex]
[47]Modal Specifications for Probabilistic Timed Systems (, , , ), In Proc. of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), Open Publishing Association, . [bibtex]
2012
[46]Compositional and behavior-preserving reconfiguration of component connectors in Reo (, , ), In Journal of Visual Languages & Computing, . [bibtex]
[45] Probabilistic Graph Transformation Systems (, ), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), Springer-Verlag, volume 7562, . [bibtex] [pdf]
[44]Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (, , , , ), In Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011) (Andy Schürr, Daniel Varró, Gergely Varró, eds.), Springer, volume 7233, . [bibtex]
[43] Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (, ), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, . [bibtex] [pdf]
[42]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, (Holger Giese, Grigore Rosu, eds.), Springer, volume 7273, . [bibtex]
2011
[41] Models of Reactive Systems - Communication, Concurrency and Causality (, ), In Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, . [bibtex] [pdf]
[40]Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures (, , , ), In International Journal of Computer Systems Science and Engineering, volume 27, . [bibtex]
[39] Model-Based Integration (, , , ), In Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, . [bibtex] [pdf]
[38] A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems (, , ), In SIMULATION, volume 87, . [bibtex] [pdf]
[37] Model-Based Engineering of Embedded Real-Time Systems, International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, (Holger Giese, Garbor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, . [bibtex] [pdf]
2010
[36]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, . [bibtex]
[35] Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance (, , ), In Software and Systems Modeling, volume 9, . [bibtex] [pdf]
[34] Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings, (Holger Giese, ed.), Springer, volume 6150, . [bibtex] [pdf]
[33]Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent (, , ), In Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, B. Westfechtel, eds.), Springer Berlin / Heidelberg, volume 5765, . [bibtex]
2009
[32] From model transformation to incremental bidirectional model synchronization (, ), In Software and Systems Modeling, volume 8, . [bibtex] [pdf]
[31] Software Engineering for Self-Adaptive Systems, (Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos, eds.), Springer, volume 5525, . [bibtex] [pdf]
[30] Software Engineering for Self-Adaptive Systems: A Research Roadmap (, , , , , , , , , , , , , , , , , , , , , , , , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems (Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Springer, volume 5525, . [bibtex] [pdf]
[29]Engineering Self-Adaptive Systems through Feedback Loops (, , , , , , , , ), In Software Engineering for Self-Adaptive Systems (Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Springer, volume 5525, . [bibtex]
2008
[28] Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems (, , , , , ), In International Journal on Software Tools for Technology Transfer (STTT), Springer Verlag, volume 10, . [bibtex] [pdf]
[27] Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, (Holger Giese, ed.), Springer, volume 5002, . [bibtex] [pdf]
[26] Reusable Services and Semi-Automatic Service Composition for Automotive Software (), In 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 (Manfred Broy, Ingolf Krüger, Michael Meisinger, eds.), Springer Verlag, volume 4922, . [bibtex] [pdf]
[25] Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML (, , ), Chapter in Architecting Dependable Systems V, Springer Verlag, volume 5135, . [bibtex] [pdf]
2007
[24] Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications, (Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky, eds.), Springer, volume 4408, . [bibtex] [pdf]
[23]Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications (, ), In International Journal on Agent-Oriented Software Engineering (IJAOSE), volume 1, . [bibtex]
[22] Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams (, ), In 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 (Matt Dwyer, Antónia Lopes, eds.), Springer Verlag, volume 4422, . [bibtex] [pdf]
[21]Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems (), In Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 . Laguna Beach, CA, USA, September 22-24,2005 . Revised Selected Papers (Fabrice Kordon, Janos Sztipanovits, eds.), Springer Verlag, volume 4322, . [bibtex]
2006
[20] A Survey of Approaches for the Visual Model-Driven Development of Next Generation Software-Intensive Systems (, ), In Journal of Visual Languages & Computing, volume 17, . [bibtex] [pdf]
[19] Incremental Model Synchronization with Triple Graph Grammars (, ), In Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy (Oscar Nierstrasz, John Whittle, David Harel, Gianna Reggio, eds.), Springer Verlag, volume 4199, . [bibtex] [pdf]
[18] 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, Springer Verlag, volume 4166, . [bibtex] [pdf]
[17]Separation of Non-Orthogonal Concerns in Software Architecture and Design (, ), In Software and Systems Modeling, Springer Verlag, volume 5, . [bibtex]
[16] 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, IEEE Computer Science, . [bibtex] [pdf]
[15]Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation (, , , , ), In Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, . [bibtex]
2005
[14] 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, Springer Verlag, volume 3748, . [bibtex] [pdf]
2004
[13] 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, ACM Press, . [bibtex] [pdf]
[12] Compositional Hazard Analysis of UML Component and Deployment Models (, , ), In Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany (Maritta Heisel, Peter Liggesmeyer, S. Wittmann, eds.), Springer Verlag, volume 3219, . [bibtex] [pdf]
[11] Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation (, , , ), In Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy (B. Georgio, ed.), ACM Press, . [bibtex] [pdf]
[10] Structured Information Processing For Self-optimizing Mechatronic Systems (, , ), In Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal (Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, Marina Carvalho, eds.), INSTICC Press, . [bibtex] [pdf]
[9] Tool Integration at the Meta-Model Level within the FUJABA Tool Suite (, , , , , , , ), In International Journal on Software Tools for Technology Transfer (STTT), Springer Verlag, volume 6, . [bibtex] [pdf]
[8]Selbstoptimierende Systeme des Maschinenbaus - Definitionen und Konzepte (, , , , , , , ), (Jürgen Gausemeier, ed.), Heinz Nixdorf Institut, Universität Paderborn, . [bibtex]
2003
[7] 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, ACM Press, . [bibtex] [pdf]
2001
[6] The OCoN Approach to Workflow Modeling in Object-Oriented Systems (, , ), In Information Systems Frontiers, volume 3, . [bibtex] [pdf]
[5] Object-Oriented Design and Architecture of Distributed Systems (), Shaker Verlag, . [bibtex] [pdf]
[4] The OCoN Approach for Object-Oriented Distributed Software Systems Modeling (, ), In Computer Systems Science & Engineering, volume 16, . [bibtex] [pdf]
[3] Visual Modeling of Object-oriented Distributed Systems (, ), In Journal of Visual Languages and Computing, volume 12, . [bibtex] [pdf]
1999
[2]Closing the Gap Between Object-Oriented Modeling of Structure and Behavior (, , ), In UML'99 - The Second International Conference on The Unified Modeling Language Fort Collins, Colorado, USA (Robert France, Bernhard Rumpe, eds.), Springer Verlag, volume 1723, . [bibtex]
[1]Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems (, , ), In IEEE Symposium On Visual Languages, Tokyo, Japan, IEEE Press, . [bibtex]
Powered by bibtexbrowser