Holger Giese

Affiliations:
  • Hasso Plattner Institute, Potsdam, Germany


According to our database1, Holger Giese authored at least 228 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic.
J. Log. Algebraic Methods Program., February, 2024

2023
Compositional Analysis of Probabilistic Timed Graph Transformation Systems.
Formal Aspects Comput., September, 2023

Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation.
Ecol. Informatics, July, 2023

Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions.
J. Log. Algebraic Methods Program., February, 2023

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

Triple Graph Grammars for Multi-version Models.
CoRR, 2023

Incremental Model Transformations with Triple Graph Grammars for Multi-version Models.
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.
Softw. Syst. Model., 2022

Translation validation of coloured Petri net models of programs on integers.
Acta Informatica, 2022

Tool support for the teaching of state-based behavior modeling.
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.
Proceedings of the Graph Transformation - 15th International Conference, 2022

Probabilistic Metric Temporal Graph Logic.
Proceedings of the Graph Transformation - 15th International Conference, 2022

Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness.
Proceedings of the Graph Transformation - 15th International Conference, 2022

2021
Formal testing of timed graph transformation systems using metric temporal graph logic.
Int. J. Softw. Tools Technol. Transf., 2021

Improving Adaptive Monitoring with Incremental Runtime Model Queries.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Interval Probabilistic Timed Graph Transformation Systems.
Proceedings of the Graph Transformation - 14th International Conference, 2021

Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching.
Proceedings of the Graph Transformation - 14th International Conference, 2021

On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems.
Proceedings of the Graph Transformation - 14th International Conference, 2021

Keeping Pace with the History of Evolving Runtime Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2021

Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk).
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness.
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.
ACM Trans. Auton. Adapt. Syst., 2020

Hybrid search plan generation for generalized graph pattern matching.
J. Log. Algebraic Methods Program., 2020

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

A scalable querying scheme for memory-efficient runtime models with history.
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.
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.
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.
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.
Proceedings of the Graph Transformation - 13th International Conference, 2020

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic.
Proceedings of the Graph Transformation - 13th International Conference, 2020

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.
Proceedings of the Graph Transformation - 13th International Conference, 2020

2019
Automatic verification of behavior preservation at the transformation level for relational model transformation.
Softw. Syst. Model., 2019

Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues.
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.
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.
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.
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.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Metric Temporal Graph Logic over Typed Attributed Graphs.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018
Industrial experiences from evolving measurement systems into self-healing systems for improved availability.
Softw. Pract. Exp., 2018

Probabilistic timed graph transformation systems.
J. Log. Algebraic Methods Program., 2018

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

Towards software architecture runtime models for continuous adaptive monitoring.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Analysis of GPGPU Programs for Data-race and Barrier Divergence.
Proceedings of the 13th International Conference on Software Technologies, 2018

Training Prediction Models for Rule-Based Self-Adaptive Systems.
Proceedings of the 2018 IEEE International Conference on Autonomic Computing, 2018

2017
On the complex nature of MDE evolution and its impact on changeability.
Softw. Syst. Model., 2017

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Towards Collective Online and Offline Testing for Dynamic Software Product Line Systems.
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.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

k-Inductive Invariant Checking for Graph Transformation Systems.
Proceedings of the Graph Transformation - 10th International Conference, 2017

Self-adaptation for Individual Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

Towards a Framework for the Levels and Aspects of Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017


Reference Scenarios for Self-aware Computing.
Proceedings of the Self-Aware Computing Systems., 2017

Self-adaptation in Collective Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

Architectural Concepts for Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

State of the Art in Architectures for Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

Generic Architectures for Individual Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

Architectures for Collective Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

Self-aware Computing Systems: Related Concepts and Research Areas.
Proceedings of the Self-Aware Computing Systems., 2017

Self-aware Computing Systems: Open Challenges and Future Research Directions.
Proceedings of the Self-Aware Computing Systems., 2017

2016
Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks.
Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems.
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.
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.
Proceedings of the Graph Transformation - 9th International Conference, 2016

Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract).
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.
Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

2015
Implementing Graph Transformations in the Bulk Synchronous Parallel Model.
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.
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.
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.
Proceedings of the 8th IEEE/ACM International Symposium on Software and Systems Traceability, 2015

Inductive Invariant Checking with Partial Negative Application Conditions.
Proceedings of the Graph Transformation - 8th International Conference, 2015

Towards Smart Systems of Systems.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Modeling Collaborations in Adaptive Systems of Systems.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014
Model-Driven Engineering of Self-Adaptive Software with EUREMA.
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.
Softw. Syst. Model., 2014

Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling.
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.
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.
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.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

Compositional and behavior-preserving reconfiguration of component connectors in Reo.
J. Vis. Lang. Comput., 2013

A Survey of Triple Graph Grammar Tools.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

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

Modal Specifications for Probabilistic Timed Systems.
Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

A Model Management Framework for Maintaining Traceability Links.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

On the Complex Nature of MDE Evolution.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Scalable real-time compatibility for embedded components using language-progressive TIOA.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Why innovation processes need to support traceability.
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.
Proceedings of the Theory and Practice of Model Transformations, 2013

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations.
Proceedings of the Theory and Practice of Model Transformations, 2013

What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?
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.
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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Integration of Triple Graph Grammars and Constraints.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Integrated Software Development for Embedded Robotic Systems.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012

Graph Transformations for MDE, Adaptation, and Models at Runtime.
Proceedings of the Formal Methods for Model-Driven Engineering, 2012

A build server for model-driven engineering.
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.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Towards patterns for MDE-related processes to detect and handle changeability risks.
Proceedings of the 2012 International Conference on Software and System Process, 2012

A language for feedback loops in self-adaptive systems: Executable runtime megamodels.
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.
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.
Proceedings of the First International Workshop on Software Engineering Education Based on Real-World Experiences, 2012

Probabilistic Graph Transformation Systems.
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.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Traceability in Model-Driven Engineering: Efficient and Scalable Traceability Maintenance.
Proceedings of the Software and Systems Traceability., 2012

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

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

Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures.
Comput. Syst. Sci. Eng., 2011

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements
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.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

Why should I help you to teach requirements engineering?
Proceedings of the 6th International Workshop on Requirements Engineering Education and Training, 2011

Requirements and Assessment of Languages and Frameworks for Adaptation Models.
Proceedings of the Models in Software Engineering, 2011

Toward a comparable characterization for software development activities in context of MDE.
Proceedings of the International Conference on Software and Systems Process, 2011

Iterative Development of Consistency-Preserving Rule-Based Refactorings.
Proceedings of the Theory and Practice of Model Transformations, 2011

Living with Uncertainty in the Age of Runtime Models.
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.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance.
Softw. Syst. Model., 2010

Navigating Across Non-Navigable Ecore References via OCL.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Teaching requirements engineering with virtual stakeholders without software engineering knowledge.
Proceedings of the 5th International Workshop on Requirements Engineering Education and Training, 2010

The Role of Models and Megamodels at Runtime.
Proceedings of the Models in Software Engineering, 2010

Toward Megamodels at Runtime.
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.
Proceedings of the ASE 2010, 2010

Adaptation and abstract runtime models.
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).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Making control loops explicit when architecting self-adaptive systems.
Proceedings of the Second International Workshop on Self-Organizing Architectures, 2010

On Patterns for Decentralized Control in Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010


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

10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems.
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.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
From model transformation to incremental bidirectional model synchronization.
Softw. Syst. Model., 2009

Improved Flexibility and Scalability by Interpreting Story Diagrams.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Incremental Model Synchronization for Efficient Run-Time Monitoring.
Proceedings of the Models in Software Engineering, 2009

Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration.
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization.
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.
Proceedings of the 31st International Conference on Software Engineering, 2009

SEAMS 2009: Software engineering for adaptive and self-managing systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

Model-driven architectural monitoring and adaptation for autonomic systems.
Proceedings of the 6th International Conference on Autonomic Computing, 2009

The Role of Models in Self-adaptive and Self-healing Systems.
Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009


Engineering Self-Adaptive Systems through Feedback Loops.
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.
Int. J. Softw. Tools Technol. Transf., 2008

Modeling of correct self-adaptive systems: a graph transformation system based approach.
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.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles.
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.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Modeling collaborations with dynamic structural adaptation in mechatronic UML.
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

Incremental model synchronization for multiple updates.
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.
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.
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.
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.
Int. J. Agent Oriented Softw. Eng., 2007

Workshops and Symposia at MODELS 2007.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen.
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.
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.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

Models of Reactive Systems - Communication, Concurrency, and Causality.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

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

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

07451 Summary - Model-Based Engineering of Embedded Real-Time Systems.
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.
J. Vis. Lang. Comput., 2006

Visual modeling for software intensive systems.
J. Vis. Lang. Comput., 2006

Separation of non-orthogonal concerns in software architecture and design.
Softw. Syst. Model., 2006

Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2006

Introduction to the SELMAS 2006.
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.
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.
Proceedings of the Computer Safety, 2006

Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Incremental Model Synchronization with Triple Graph Grammars.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools.
Proceedings of the Models in Software Engineering, 2006

Architecture-driven platform independent deterministic replay for distributed hard real-time systems.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Acute Stress Response for Self-optimizing Mechatronic Systems.
Proceedings of the Biologically Inspired Cooperative Computing, 2006

Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS).
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Symbolic invariant verification for systems with dynamic structural adaptation.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Reusable Services and Semi-automatic Service Composition for Automotive Software.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005
Computing optimal self-repair actions: damage minimization versus repair time.
ACM SIGSOFT Softw. Eng. Notes, 2005

Analysis and design of physical and social contexts in multi-agent systems using UML.
ACM SIGSOFT Softw. Eng. Notes, 2005

Reconciling scenario-centered controller design with state-based system models.
ACM SIGSOFT Softw. Eng. Notes, 2005

A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools".
ACM SIGSOFT Softw. Eng. Notes, 2005

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2005

Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Summary of the Educator's Symposium.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Analysis and Design of Physical and Social Contexts in Multi-agent Systems.
Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems.
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems.
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.
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.
Proceedings of the Model Driven Architecture, 2005

Grounding Social Interactions in the Environment.
Proceedings of the Environments for Multi-Agent Systems II, Second International Workshop, 2005

2004
Tool integration at the meta-model level: the Fujaba approach.
Int. J. Softw. Tools Technol. Transf., 2004

Design of self-managing dependable systems with UML and fault tolerance patterns.
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

Modular design and verification of component-based mechatronic systems with online-reconfiguration.
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.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Compositional Hazard Analysis of UML Component and Deployment Models.
Proceedings of the Computer Safety, 2004

Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML.
Proceedings of the Model Driven Architecture, 2004

Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04).
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Structured Information Processing for Self-Optimizing Mechatronic Systems.
Proceedings of the ICINCO 2004, 2004

Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems.
Proceedings of the ICINCO 2004, 2004

Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation.
Proceedings of the EMSOFT 2004, 2004

2003
Towards the compositional verification of real-time UML designs.
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.
Proceedings of the Architecting Dependable Systems II, 2003

Seamless UML Support for Service-Based Software Architectures.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models.
Proceedings of the Scenarios: Models, 2003

Autonomous Shuttle System Case Study.
Proceedings of the Scenarios: Models, 2003

2002
Towards Design Verification and Validation at Multiple Levels of Abstraction.
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.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
Visual Modeling of Object-Oriented Distributed Systems.
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.
Softwaretechnik-Trends, 2001

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

The OCoN Approach to Workflow Modeling in Object-Oriented Systems.
Inf. Syst. Frontiers, 2001

The OCoN approach for object-oriented distributed software systems modeling.
Comput. Syst. Sci. Eng., 2001

Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation.
Proceedings of the OMER, 2001

Object-oriented design and architecture of distributed systems.
PhD thesis, 2001

2000
Using UML and object-coordination-nets for workflow specification.
Proceedings of the IEEE International Conference on Systems, 2000

Early Evaluation of Design Options for Distributed Systems.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 2000

Contract-Based Component System Design.
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

Extending UML with Workflow Modeling Capabilities.
Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

1999
Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Closing the Gap Between Object-Oriented Modeling of Structure and Behavior.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Contract-based Coordination of Distributed Object Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998
Modeling Distributed Software Systems with Object Coordination Nets.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

1997
Ruling the Behavior of Distributed Software Components.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Modular Development of Correct Meander Programs.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997


  Loading...