Matthias Tichy

Empir. Softw. Eng., April, 2024

On the Anatomy of Real-World R Code for Static Analysis.

[BibT_eX]

[DOI]

CoRR, 2024

Predicting the Performance of ATL Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Improving Collaborative Modeling by an Operation-Based Versioning Approach.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Streamlining Attack Tree Generation: A Fragment-Based Approach.

[BibT_eX]

[DOI]

Irdin Pekaric

Markus Frick

Jubril Gbolahan Adigun

Proceedings of the 57th Hawaii International Conference on System Sciences, 2024

2023

A systematic review on security and safety of self-adaptive systems.

[BibT_eX]

[DOI]

Irdin Pekaric

Jubril Gbolahan Adigun

Alexander Raschke

Michael Felderer

J. Syst. Softw., September, 2023

A new versioning approach for collaboration in blended modeling.

[BibT_eX]

[DOI]

J. Comput. Lang., August, 2023

One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS.

[BibT_eX]

[DOI]

Florian Sihler

J. Object Technol., 2023

Correction to: Advantages and disadvantages of (dedicated) model transformation languages.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2023

Event-based Simulation for Transient Systems with Capture Replay to Predict Self-Adaptive Systems (Work in Progress Paper).

[BibT_eX]

[DOI]

Proceedings of the Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, 2023

Model-Based Generation of Attack-Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2023

Efficient Caching for Operation-Based Versioning.

[BibT_eX]

[DOI]

Heiko Raab

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

Collaboration And Versioning Framework - A Systematic Top-Down Approach.

[BibT_eX]

[DOI]

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

2022

Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size.

[BibT_eX]

[DOI]

Timo Kehrer

Softw. Syst. Model., 2022

A domain-specific language for modeling and analyzing solution spaces for technology roadmapping.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Advantages and disadvantages of (dedicated) model transformation languages.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

The Impact of Model Transformation Language Features on Quality Properties of MTLs: A Study Protocol.

[BibT_eX]

[DOI]

CoRR, 2022

Mapping aids using source location tracking increase novices' performance in programming cyber-physical systems.

[BibT_eX]

[DOI]

CoRR, 2022

Advantages and Disadvantages of (Dedicated) Model Transformation Languages A Qualitative Interview Study.

[BibT_eX]

[DOI]

CoRR, 2022

Improving the Comprehension of Evolving Graphical Models.

[BibT_eX]

[DOI]

Lenard Funk

Proceedings of the Working Conference on Software Visualization, 2022

A Quality Model and Checklists for Reviewing Automotive Test Case Specifications.

[BibT_eX]

[DOI]

Denis Neumüller

Proceedings of the Software Quality: The Next Big Thing in Software Engineering and Quality, 2022

Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling.

[BibT_eX]

[DOI]

Proceedings of the STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2022

Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis.

[BibT_eX]

[DOI]

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

Contrasting Dedicated Model Transformation Languages vs. General Purpose Languages: A Historical Perspective on ATL vs. Java based on Complexity and Size - Extended Abstract.

[BibT_eX]

[DOI]

Timo Kehrer

Proceedings of the Software Engineering 2022, 2022

Coordination and explanation of reconfigurations in self-adaptive high-performance systems.

[BibT_eX]

[DOI]

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

Thirty-One Challenges in Testing Automated Vehicles: Interviews with Experts from Industry and Research.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

2021

Challenges concerning test case specifications in automotive software testing: assessment of frequency and criticality.

[BibT_eX]

[DOI]

Softw. Qual. J., 2021

Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review.

[BibT_eX]

[DOI]

Stefan Götz

Softw. Syst. Model., 2021

What Is the Future of Modeling?

[BibT_eX]

[DOI]

IEEE Softw., 2021

Clustering Natural Language Test Case Instructions as Input for Deriving Automotive Testing DSLs.

[BibT_eX]

[DOI]

Alexander Nikic

J. Object Technol., 2021

A Survey on the Relevance of the Performance of Model Transformations.

[BibT_eX]

[DOI]

Vijayshree Vijayshree

Sebastian Frank

J. Object Technol., 2021

An Operation-based Versioning Approach for Synchronous and Asynchronous Collaboration in Graphical Modeling Tools.

[BibT_eX]

[DOI]

Fabian Füg

Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

Morpheus: A Degradation Framework for Resilient IoT Systems.

[BibT_eX]

[DOI]

Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

An Exploratory Study on Performance Engineering in Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2021, 2021

Inferred Interactive Controls Through Provenance Tracking of ROS Message Data.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE/ACM International Workshop on Robotics Software Engineering, 2021

Dedicated Model Transformation Languages vs. General-purpose Languages: A Historical Perspective on ATL vs. Java.

[BibT_eX]

[DOI]

Stefan Götz

Timo Kehrer

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution.

[BibT_eX]

[DOI]

Florian Ege

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020

Investigating the Origins of Complexity and Expressiveness in ATL Transformations.

[BibT_eX]

[DOI]

Stefan Götz

J. Object Technol., 2020

Experiences with an Internal DSL in the IoT Domain.

[BibT_eX]

[DOI]

Proceedings of the STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 2020

CouchEdit: a relaxed conformance editing approach.

[BibT_eX]

[DOI]

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

A profiler for the matching process of henshin.

[BibT_eX]

[DOI]

Sophie Gylstorff

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

A Domain-Specific Language and Interactive User Interface for Model-Driven Engineering of Technology Roadmaps.

[BibT_eX]

[DOI]

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

2019

Monitoring the Execution of Declarative Model Transformations.

[BibT_eX]

[DOI]

Sophie Gylstorff

Softwaretechnik-Trends, 2019

Use, potential, and showstoppers of models in automotive requirements engineering.

[BibT_eX]

[DOI]

Grischa Liebel

Eric Knauss

Softw. Syst. Model., 2019

Assessing the impact of meta-model evolution: a measure and its automotive application.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

Insights for Improving Diagram Editing Gained from an Empirical Study.

[BibT_eX]

[DOI]

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

A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations.

[BibT_eX]

[DOI]

Florian Ege

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

Blended Modelling - What, Why and How.

[BibT_eX]

[DOI]

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

SORRIR: A Resilient Self-organizing Middleware for IoT Applications [Position Paper].

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things, 2019

A Hybrid Editor for Fast Robot Mission Prototyping.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

A Tailored Domain Analysis Method for the Development of System-Specific Testing DSLs Enabling Their Smooth Introduction in Automotive Practice.

[BibT_eX]

[DOI]

Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019

Debugging Quadrocopter Trajectories in Mixed Reality.

[BibT_eX]

[DOI]

Proceedings of the Augmented Reality, Virtual Reality, and Computer Graphics, 2019

Learning from Evolution for Evolution.

[BibT_eX]

[DOI]

Proceedings of the Managed Software Evolution., 2019

Addressed Challenges.

[BibT_eX]

[DOI]

Proceedings of the Managed Software Evolution., 2019

2018

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

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2018

Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Organisation and communication problems in automotive requirements engineering.

[BibT_eX]

[DOI]

Requir. Eng., 2018

Supporting semi-automatic co-evolution of architecture and fault tree models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Verlässliche Software im 21. Jahrhundert.

[BibT_eX]

[DOI]

Inform. Spektrum, 2018

Towards Performance Engineering of Model Transformation.

[BibT_eX]

[DOI]

Steffen Becker

Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Quality Indicators for Automotive Test Case Specifications.

[BibT_eX]

[DOI]

Proceedings of the Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018), 2018

A study design template for identifying usability issues in graphical modeling tools.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Checking consistency of robot software architectures in ROS.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Robotics Software Engineering, 2018

Developing an optimizing compiler for the game boy as a software engineering project.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, 2018

Challenges with automotive test case specifications.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

The Business Experiments Navigator (BEN).

[BibT_eX]

[DOI]

Matthias Gutbrod

Jürgen Münch

Proceedings of the 2018 IEEE International Conference on Engineering, 2018

Challenges Concerning Test Case Specifications in Automotive Software Testing.

[BibT_eX]

[DOI]

Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

Retro-λ: An Event-sourced Platform for Serverless Applications with Retroactive Computing Support.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

2017

Rapid Continuous Software Engineering.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Editorial.

[BibT_eX]

[DOI]

Jan Bosch

Michael Goedicke

J. Syst. Softw., 2017

An investigation of technical debt in automatic production systems.

[BibT_eX]

[DOI]

Proceedings of the XP2017 Scientific Workshops, Cologne, Germany, May 22 - 26, 2017, 2017

Ein Framework zur Erstellung von Planspielen zur Softwaretechnik.

[BibT_eX]

[DOI]

Alexander Nassal

Proceedings of the Tagungsband des 15. Workshops "Software Engineering im Unterricht der Hochschulen" 2017, Hannover, Deutschland, 22., 2017

Model-Driven Software Engineering in the openETCS Project: Project Experiences and Lessons Learned.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2017, 2017

How Do Software Startups Approach Experimentation? Empirical Results from a Qualitative Interview Study.

[BibT_eX]

[DOI]

Matthias Gutbrod

Jürgen Münch

Proceedings of the Product-Focused Software Process Improvement, 2017

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Towards Debugging the Matching of Henshin Model Transformations Rules.

[BibT_eX]

[DOI]

Luis Beaucamp

Stefan Kögel

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17).

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments - A Case Study of AUTOSAR.

[BibT_eX]

[DOI]

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

Challenges and Research Directions for Successfully Applying MBE Tools in Practice.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Henshin: A Usability-Focused Framework for EMF Model Transformation Development.

[BibT_eX]

[DOI]

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

2016

Visualizing Data-Flows in Functional Programs.

[BibT_eX]

[DOI]

Tobias Weck

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Addressing the Need for Strict Meta-modeling in Practice - A Case Study of AUTOSAR.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2016, 2016

Automatic Change Recommendation of Models and Meta Models Based on Change Histories.

[BibT_eX]

[DOI]

Stefan Kögel

Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

INLINE: Now you're coding with portals.

[BibT_eX]

[DOI]

Alexander Breckel

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

Embedding programming context into source code.

[BibT_eX]

[DOI]

Alexander Breckel

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

Modeling human behavior for software engineering simulation games.

[BibT_eX]

[DOI]

Alexander Nassal

Proceedings of the 5th International Workshop on Games and Software Engineering, 2016

A Universal Control Construct for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Preface for the Special Issue on Graph Transformation and Visual Modeling Techniques 2013.

[BibT_eX]

[DOI]

Leila Ribeiro

Sci. Comput. Program., 2015

Evolution of software in automated production systems: Challenges and research directions.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience.

[BibT_eX]

[DOI]

Salome Maro

Jan-Philipp Steghöfer

Anthony Anjorin

Lars Gelin

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Industrielle Praxis modellbasierter Entwicklung im Bereich eingebetteter Systeme.

[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

Implementing Graph Transformations in the Bulk Synchronous Parallel Model.

[BibT_eX]

Christian Krause

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

Identifying Optimal Sets of Standardized Architectural Features: A Method and its Automotive Application.

[BibT_eX]

[DOI]

Darko Durisic

Miroslaw Staron

Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, 2015

Comparing Comprehensibility of Modelling Languages for Specifying Behavioural Requirements.

[BibT_eX]

[DOI]

Grischa Liebel

Proceedings of the First International Workshop on Human Factors in Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Selected challenges of software evolution for automated production systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Technical debt in Automated Production Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Workshop on Managing Technical Debt, 2015

2nd International Workshop on Rapid Continuous Software Engineering (RCoSE 2015).

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

ARCA - Automated Analysis of AUTOSAR Meta-model Changes.

[BibT_eX]

[DOI]

Darko Durisic

Miroslaw Staron

Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models.

[BibT_eX]

[DOI]

Sinem Getir

Lars Grunske

Christian Karl Bernasko

Verena Käfer

Tim Sanwald

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

Preface.

[BibT_eX]

[DOI]

Bernhard Westfechtel

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

ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.

[BibT_eX]

[DOI]

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

The TTC 2014 Movie Database Case.

[BibT_eX]

[DOI]

Tassilo Horn

Christian Krause

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

A modelica coordination pattern library for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014

Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems.

[BibT_eX]

[DOI]

Sabine Winetzhammer

Joel Greenyer

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain.

[BibT_eX]

[DOI]

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

Quantifying Long-Term Evolution of Industrial Meta-Models - A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2014 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement, 2014

Automated User Interaction Analysis for Workflow-Based Web Portals.

[BibT_eX]

[DOI]

Emil Backlund

Mikael Bolle

Helena Holmström Olsson

Jan Bosch

Proceedings of the Software Business. Towards Continuous Value Delivery, 2014

Evolution of Long-Term Industrial Meta-Models - An Automotive Case Study of AUTOSAR.

[BibT_eX]

[DOI]

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2013

Timed Hazard Analysis of Self-healing Systems.

[BibT_eX]

[DOI]

Claudia Priesterjahn

Dominik Steenken

Proceedings of the Assurances for Self-Adaptive Systems, 2013

Preface.

[BibT_eX]

[DOI]

Leila Ribeiro

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

Detecting Performance Bad Smells for Henshin Model Transformations.

[BibT_eX]

[DOI]

Christian Krause

Grischa Liebel

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013

A discipline-spanning development process for self-adaptive mechatronic systems.

[BibT_eX]

[DOI]

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

2012

Towards Model-Driven Evolution of Performance Critical Business Information Systems to Cloud Computing Architectures.

[BibT_eX]

[DOI]

Steffen Becker

Softwaretechnik-Trends, 2012

Runtime safety analysis for safe reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Towards Transactional Self-Adaptation for AUTOSAR on the Example of a Collision Detection System.

[BibT_eX]

[DOI]

Christian Berger

Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012

Real-Time Coordination Patterns for Advanced Mechatronic Systems.

[BibT_eX]

[DOI]

Stefan Dziwok

Christian Heinzemann

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011

Component-based timed hazard analysis of self-healing systems.

[BibT_eX]

[DOI]

Claudia Priesterjahn

Dominik Steenken

Christoph Sondermann-Wölke

Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, 2011

Component-Based Hazard Analysis for Mechatronic Systems.

[BibT_eX]

[DOI]

Claudia Priesterjahn

Christian Hölscher

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

Modelica code generation from ModelicaML state machines extended by asynchronous communication.

[BibT_eX]

[DOI]

Uwe Pohlmann

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.

[BibT_eX]

[DOI]

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

Planning Self-adaption with Graph Transformations.

[BibT_eX]

[DOI]

Benjamin Klöpper

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

2010

Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Designing Self-healing in Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

2009

Gefahrenanalyse selbstoptimierender Systeme

[BibT_eX]

[DOI]

PhD thesis, 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

2008

Introduction to the special section on self-optimizing mechatronic systems.

[BibT_eX]

[DOI]

Wilhelm Schäfer

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

Safety of component-based systems: analysis and improvement using Fujaba4Eclipse.

[BibT_eX]

[DOI]

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

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

Fujaba4Eclipse Real-Time Tool Suite.

[BibT_eX]

[DOI]

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

Considering Runtime Restrictions in Self-Healing Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

Building reliable systems based on self-organizing multi-agent systems.

[BibT_eX]

[DOI]

Florian Klein

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

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

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2006

2005

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

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 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

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

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]

Sven Burmester

Proceedings of the Model Driven Architecture, 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]