Holger Giese

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

2023

Compositional Analysis of Probabilistic Timed Graph Transformation Systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., September, 2023

Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation.

[BibT_eX]

[DOI]

Ecol. Informatics, July, 2023

Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., February, 2023

Modular and Incremental Global Model Management with Extended Generalized Discrimination Networks.

[BibT_eX]

[DOI]

CoRR, 2023

Triple Graph Grammars for Multi-version Models.

[BibT_eX]

[DOI]

Christian Medeiros Adriano

CoRR, 2023

Challenges in Reward Design for Reinforcement Learning-based Traffic Signal Control: An Investigation using a CO2 Emission Objective.

[BibT_eX]

[DOI]

Max Schumacher

Proceedings of the SUMO User Conference 2023, Berlin, Germany, May 2-4, 2023, 2023

Incremental Model Transformations with Triple Graph Grammars for Multi-version Models.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Incremental execution of temporal graph queries over runtime models with history and its applications.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Translation validation of coloured Petri net models of programs on integers.

[BibT_eX]

[DOI]

Soumyadip Bandyopadhyay

Dipankar Sarkar

Chittaranjan A. Mandal

Acta Informatica, 2022

Tool support for the teaching of state-based behavior modeling.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 15th International Conference, 2022

Probabilistic Metric Temporal Graph Logic.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 15th International Conference, 2022

Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 15th International Conference, 2022

2021

Formal testing of timed graph transformation systems using metric temporal graph logic.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

Improving Adaptive Monitoring with Incremental Runtime Model Queries.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Interval Probabilistic Timed Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 14th International Conference, 2021

Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 14th International Conference, 2021

On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 14th International Conference, 2021

Keeping Pace with the History of Evolving Runtime Models.

[BibT_eX]

[DOI]

Lucas Sakizloglou

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2020

Hybrid search plan generation for generalized graph pattern matching.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements.

[BibT_eX]

[DOI]

Comput., 2020

A scalable querying scheme for memory-efficient runtime models with history.

[BibT_eX]

[DOI]

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

From classic to agile: experiences from more than a decade of project-based modeling education.

[BibT_eX]

[DOI]

Christian Zöllner

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Towards highly scalable runtime models with history.

[BibT_eX]

[DOI]

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Collective risk minimization via a bayesian model for statistical software testing.

[BibT_eX]

[DOI]

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 13th International Conference, 2020

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 13th International Conference, 2020

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Automatic verification of behavior preservation at the transformation level for relational model transformation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues.

[BibT_eX]

[DOI]

Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Generic Adaptive Monitoring Based on Executed Architecture Runtime Model Queries and Events.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2019

Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Software Engineering for Smart Cyber-Physical Systems: Challenges and Opportunities.

[BibT_eX]

[DOI]

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Metric Temporal Graph Logic over Typed Attributed Graphs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Industrial experiences from evolving measurement systems into self-healing systems for improved availability.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2018

Probabilistic timed graph transformation systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

Towards Generic Adaptive Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2018

Towards software architecture runtime models for continuous adaptive monitoring.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Analysis of GPGPU Programs for Data-race and Barrier Divergence.

[BibT_eX]

[DOI]

Santonu Sarkar

Prateek Kandelwal

Soumyadip Bandyopadhyay

Proceedings of the 13th International Conference on Software Technologies, 2018

Training Prediction Models for Rule-Based Self-Adaptive Systems.

[BibT_eX]

[DOI]

Christian M. Adriano

Proceedings of the 2018 IEEE International Conference on Autonomic Computing, 2018

2017

On the complex nature of MDE evolution and its impact on changeability.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Towards Collective Online and Offline Testing for Dynamic Software Product Line Systems.

[BibT_eX]

[DOI]

Joachim Hänsel

Proceedings of the 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, 2017

Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

k-Inductive Invariant Checking for Graph Transformation Systems.

[BibT_eX]

[DOI]

Alessandro Vittorio Papadopoulos

Proceedings of the Graph Transformation - 10th International Conference, 2017

Self-adaptation for Individual Self-aware Computing Systems.

[BibT_eX]

[DOI]

Anders Robertsson

Katinka Wolter

Proceedings of the Self-Aware Computing Systems., 2017

Towards a Framework for the Levels and Aspects of Self-aware Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

The Notion of Self-aware Computing.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Reference Scenarios for Self-aware Computing.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Self-adaptation in Collective Self-aware Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Architectural Concepts for Self-aware Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

State of the Art in Architectures for Self-aware Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Generic Architectures for Individual Self-aware Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Architectures for Collective Self-aware Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Self-aware Computing Systems: Related Concepts and Research Areas.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

Self-aware Computing Systems: Open Challenges and Future Research Directions.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

2016

Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

On the Operationalization of Graph Queries with Generalized Discrimination Networks.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 9th International Conference, 2016

Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design.

[BibT_eX]

[DOI]

Dominique Blouin

Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

2015

Implementing Graph Transformations in the Bulk Synchronous Parallel Model.

[BibT_eX]

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models.

[BibT_eX]

[DOI]

Joachim Hänsel

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations.

[BibT_eX]

[DOI]

Sebastian Schlesinger

Sabine Glesner

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Traceability Recovery for Innovation Processes.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Symposium on Software and Systems Traceability, 2015

Inductive Invariant Checking with Partial Negative Application Conditions.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 8th International Conference, 2015

Towards Smart Systems of Systems.

[BibT_eX]

[DOI]

Sebastian Wätzoldt

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Modeling Collaborations in Adaptive Systems of Systems.

[BibT_eX]

[DOI]

Sebastian Wätzoldt

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014

Model-Driven Engineering of Self-Adaptive Software with EUREMA.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2014

Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling.

[BibT_eX]

[DOI]

Sebastian Wätzoldt

Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

On Unifying Development Models and Runtime Models.

[BibT_eX]

[DOI]

Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

BenchmarX.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML.

[BibT_eX]

[DOI]

Wilhelm Schäfer

Proceedings of the Assurances for Self-Adaptive Systems, 2013

Compositional and behavior-preserving reconfiguration of component connectors in Reo.

[BibT_eX]

[DOI]

Erik P. de Vink

J. Vis. Lang. Comput., 2013

A Survey of Triple Graph Grammar Tools.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

Modal Specifications for Probabilistic Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

A Model Management Framework for Maintaining Traceability Links.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

On the Complex Nature of MDE Evolution.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Scalable real-time compatibility for embedded components using language-progressive TIOA.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Why innovation processes need to support traceability.

[BibT_eX]

[DOI]

Gregor Berg

Proceedings of the 7th International Workshop on Traceability in Emerging Forms of Software Engineering, 2013

Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2013

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2013

What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Cooperating with a non-governmental organization to teach gathering and implementation of requirements.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012

Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Integration of Triple Graph Grammars and Constraints.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Integrated Software Development for Embedded Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012

Graph Transformations for MDE, Adaptation, and Models at Runtime.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

A build server for model-driven engineering.

[BibT_eX]

[DOI]

Henrik Steudel

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

The MDELab tool framework for the development of correct model transformations with triple graph grammars.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Towards patterns for MDE-related processes to detect and handle changeability risks.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Software and System Process, 2012

A language for feedback loops in self-adaptive systems: Executable runtime megamodels.

[BibT_eX]

[DOI]

Clarissa Cassales Marquezan

Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.

[BibT_eX]

[DOI]

Annapaola Marconi

Antonio Bucchiarone

Konstantinos Bratanis

Andreas Metzger

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Teaching requirements engineering with authentic stakeholders: towards a scalable course setting.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Software Engineering Education Based on Real-World Experiences, 2012

Probabilistic Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

Traceability in Model-Driven Engineering: Efficient and Scalable Traceability Maintenance.

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Traceability., 2012

2011

A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems.

[BibT_eX]

[DOI]

Simul., 2011

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures.

[BibT_eX]

Comput. Syst. Sci. Eng., 2011

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements

[BibT_eX]

[DOI]

Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011

A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 4th International Conference, 2011

Why should I help you to teach requirements engineering?

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Requirements Engineering Education and Training, 2011

Requirements and Assessment of Languages and Frameworks for Adaptation Models.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2011

Toward a comparable characterization for software development activities in context of MDE.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software and Systems Process, 2011

Iterative Development of Consistency-Preserving Rule-Based Refactorings.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2011

Living with Uncertainty in the Age of Runtime Models.

[BibT_eX]

[DOI]

Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010

Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2010

Navigating Across Non-Navigable Ecore References via OCL.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Teaching requirements engineering with virtual stakeholders without software engineering knowledge.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Requirements Engineering Education and Training, 2010

The Role of Models and Megamodels at Runtime.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

Toward Megamodels at Runtime.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Models@run.time, Oslo, Norway, October 5th, 2010, 2010

Deriving behavior of multi-user processes from interactive requirements validation.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Adaptation and abstract runtime models.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Making control loops explicit when architecting self-adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Self-Organizing Architectures, 2010

On Patterns for Decentralized Control in Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

10431 Report - Software Engineering for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

From model transformation to incremental bidirectional model synchronization.

[BibT_eX]

[DOI]

Robert Wagner

Softw. Syst. Model., 2009

Improved Flexibility and Scalability by Interpreting Story Diagrams.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Incremental Model Synchronization for Efficient Run-Time Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization.

[BibT_eX]

[DOI]

Giovanna Di Marzo Serugendo

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

SEAMS 2009: Software engineering for adaptive and self-managing systems.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Model-driven architectural monitoring and adaptation for autonomic systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Autonomic Computing, 2009

The Role of Models in Self-adaptive and Self-healing Systems.

[BibT_eX]

[DOI]

Christian Müller-Schloer

Roland Reichle

Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

Software Engineering for Self-Adaptive Systems: A Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

Engineering Self-Adaptive Systems through Feedback Loops.

[BibT_eX]

[DOI]

Yuriy Brun

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

2008

Tool support for the design of self-optimizing mechatronic multi-agent systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2008

Modeling of correct self-adaptive systems: a graph transformation system based approach.

[BibT_eX]

[DOI]

Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Seams 2008: software engineering for adaptive and self-managing systems.

[BibT_eX]

[DOI]

Marin Litoiu

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Modeling collaborations with dynamic structural adaptation in mechatronic UML.

[BibT_eX]

[DOI]

Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

Incremental model synchronization for multiple updates.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Graph and Model Transformations, 2008

Friends or foes?: a conceptual analysis of self-adaptation and it change management.

[BibT_eX]

[DOI]

Cristina Gacek

Ethan Hadar

Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

2007

Systematic verification of multi-agent systems based on rigorous executable specifications.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2007

Workshops and Symposia at MODELS 2007.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen.

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Models of Reactive Systems - Communication, Concurrency, and Causality.

[BibT_eX]

[DOI]

Bernhard Schätz

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Model-Based Integration.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007

07451 Summary - Model-Based Engineering of Embedded Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007

2006

A survey of approaches for the visual model-driven development of next generation software-intensive systems.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2006

Visual modeling for software intensive systems.

[BibT_eX]

[DOI]

Kendra M. L. Cooper

Ingolf H. Krüger

J. Vis. Lang. Comput., 2006

Separation of non-orthogonal concerns in software architecture and design.

[BibT_eX]

[DOI]

Alexander Vilbig

Softw. Syst. Model., 2006

Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report.

[BibT_eX]

[DOI]

Alessandro Garcia

Carlos José Pereira de Lucena

Ricardo Choren

Ho-fung Leung

Eric Platon

ACM SIGSOFT Softw. Eng. Notes, 2006

Introduction to the SELMAS 2006.

[BibT_eX]

[DOI]

Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

Nobody's perfect: interactive synthesis from parametrized real-time scenarios.

[BibT_eX]

[DOI]

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2006

Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Incremental Model Synchronization with Triple Graph Grammars.

[BibT_eX]

[DOI]

Robert Wagner

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools.

[BibT_eX]

[DOI]

Tihamer Levendovszky

Hans Vangheluwe

Proceedings of the Models in Software Engineering, 2006

Architecture-driven platform independent deterministic replay for distributed hard real-time systems.

[BibT_eX]

[DOI]

Carlos José Pereira de Lucena

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Acute Stress Response for Self-optimizing Mechatronic Systems.

[BibT_eX]

[DOI]

Proceedings of the Biologically Inspired Cooperative Computing, 2006

Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS).

[BibT_eX]

[DOI]

Ricardo Choren

Ho-fung Leung

Alessandro F. Garcia

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Symbolic invariant verification for systems with dynamic structural adaptation.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Reusable Services and Semi-automatic Service Composition for Automotive Software.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005

Computing optimal self-repair actions: damage minimization versus repair time.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Analysis and design of physical and social contexts in multi-agent systems using UML.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Reconciling scenario-centered controller design with state-based system models.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools".

[BibT_eX]

[DOI]

Carlos José Pereira de Lucena

Ingolf Krüger

ACM SIGSOFT Softw. Eng. Notes, 2005

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report.

[BibT_eX]

[DOI]

Alessandro Garcia

Ricardo Choren

ACM SIGSOFT Softw. Eng. Notes, 2005

Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Summary of the Educator's Symposium.

[BibT_eX]

[DOI]

Pascal Roques

Timothy Lethbridge

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.

[BibT_eX]

[DOI]

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Analysis and Design of Physical and Social Contexts in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems.

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code.

[BibT_eX]

[DOI]

Wilhelm Schäfer

Proceedings of the Model Driven Architecture, 2005

Grounding Social Interactions in the Environment.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems II, Second International Workshop, 2005

2004

Tool integration at the meta-model level: the Fujaba approach.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

Design of self-managing dependable systems with UML and fault tolerance patterns.

[BibT_eX]

[DOI]

Daniela Schilling

Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

Modular design and verification of component-based mechatronic systems with online-reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Compositional Hazard Analysis of UML Component and Deployment Models.

[BibT_eX]

[DOI]

Daniela Schilling

Proceedings of the Computer Safety, 2004

Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2004

Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04).

[BibT_eX]

[DOI]

Ingolf Krüger

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Structured Information Processing for Self-Optimizing Mechatronic Systems.

[BibT_eX]

Thorsten Hestermeyer

Oliver Oberschelp

Proceedings of the ICINCO 2004, 2004

Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems.

[BibT_eX]

Oliver Oberschelp

Proceedings of the ICINCO 2004, 2004

Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2004, 2004

2003

Towards the compositional verification of real-time UML designs.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

A Self-optimizing Run-Time Architecture for Configurable Dependability of Services.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems II, 2003

Seamless UML Support for Service-Based Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models.

[BibT_eX]

[DOI]

Proceedings of the Scenarios: Models, 2003

Autonomous Shuttle System Case Study.

[BibT_eX]

[DOI]

Proceedings of the Scenarios: Models, 2003

2002

Towards Design Verification and Validation at Multiple Levels of Abstraction.

[BibT_eX]

Martin Kardos

Ulrich Nickel

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

Reporting about industrial strength software engineering courses for undergraduates.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

Visual Modeling of Object-Oriented Distributed Systems.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2001

FG 2.1.9: Bericht vom 8. Workshop des GI-Arbeitskreises GROOM am 13. und 14. November 2000 in Münster.

[BibT_eX]

[DOI]

Stephan Philippi

Softwaretechnik-Trends, 2001

Bericht über die Modellierung 2001 vom 28. - 30. März 2001 in Bad Lippspringe.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2001

The OCoN Approach to Workflow Modeling in Object-Oriented Systems.

[BibT_eX]

[DOI]

Mathias Weske

Inf. Syst. Frontiers, 2001

The OCoN approach for object-oriented distributed software systems modeling.

[BibT_eX]

Comput. Syst. Sci. Eng., 2001

Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation.

[BibT_eX]

[DOI]

Ulrich Nickel

Proceedings of the OMER, 2001

Object-oriented design and architecture of distributed systems.

[BibT_eX]

[DOI]

PhD thesis, 2001

2000

Using UML and object-coordination-nets for workflow specification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

Early Evaluation of Design Options for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 2000

Contract-Based Component System Design.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

Extending UML with Workflow Modeling Capabilities.

[BibT_eX]

[DOI]

Mathias Weske

Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

1999

Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Closing the Gap Between Object-Oriented Modeling of Structure and Behavior.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Contract-based Coordination of Distributed Object Systems.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998

Modeling Distributed Software Systems with Object Coordination Nets.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

1997

Ruling the Behavior of Distributed Software Components.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Modular Development of Correct Meander Programs.

[BibT_eX]