| Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction | 0 | 0.34 | 2022 |
| Translation validation of coloured Petri net models of programs on integers | 0 | 0.34 | 2022 |
| Compositional Analysis of Probabilistic Timed Graph Transformation Systems. | 0 | 0.34 | 2021 |
| Interval Probabilistic Timed Graph Transformation Systems. | 0 | 0.34 | 2021 |
| Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. | 0 | 0.34 | 2020 |
| Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. | 0 | 0.34 | 2020 |
| A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. | 0 | 0.34 | 2020 |
| Collective risk minimization via a bayesian model for statistical software testing | 0 | 0.34 | 2020 |
| Software Engineering for Smart Cyber-Physical Systems: Challenges and Opportunities | 0 | 0.34 | 2019 |
| Metric Temporal Graph Logic over Typed Attributed Graphs. | 0 | 0.34 | 2019 |
| Generic Adaptive Monitoring Based on Executed Architecture Runtime Model Queries and Events | 1 | 0.36 | 2019 |
| Automatic verification of behavior preservation at the transformation level for relational model transformation | 0 | 0.34 | 2019 |
| Towards Generic Adaptive Monitoring | 1 | 0.41 | 2018 |
| Analysis of GPGPU Programs for Data-race and Barrier Divergence. | 0 | 0.34 | 2018 |
| A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models. | 0 | 0.34 | 2017 |
| Incremental View Maintenance For Deductive Graph Databases Using Generalized Discrimination Networks | 0 | 0.34 | 2016 |
| On The Operationalization Of Graph Queries With Generalized Discrimination Networks | 2 | 0.36 | 2016 |
| Inductive Invariant Checking With Partial Negative Application Conditions | 2 | 0.37 | 2015 |
| Towards Smart Systems of Systems. | 1 | 0.38 | 2015 |
| Traceability recovery for innovation processes | 1 | 0.35 | 2015 |
| Modeling Collaborations in Adaptive Systems of Systems | 1 | 0.35 | 2015 |
| Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. | 1 | 0.35 | 2015 |
| BenchmarX. | 0 | 0.34 | 2014 |
| Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling. | 0 | 0.34 | 2014 |
| Modal Specifications For Probabilistic Timed Systems | 0 | 0.34 | 2013 |
| Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. | 2 | 0.37 | 2013 |
| Compositional and behavior-preserving reconfiguration of component connectors in Reo. | 3 | 0.39 | 2013 |
| Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior. | 0 | 0.34 | 2013 |
| A Model Management Framework for Maintaining Traceability Links. | 0 | 0.34 | 2013 |
| Scalable real-time compatibility for embedded components using language-progressive TIOA | 0 | 0.34 | 2013 |
| A Survey of Triple Graph Grammar Tools. | 23 | 0.80 | 2013 |
| Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). | 7 | 0.49 | 2013 |
| Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. | 6 | 0.48 | 2013 |
| On the Complex Nature of MDE Evolution. | 7 | 0.48 | 2013 |
| Integration of Triple Graph Grammars and Constraints. | 2 | 0.40 | 2012 |
| A build server for model-driven engineering. | 2 | 0.39 | 2012 |
| Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. | 6 | 0.51 | 2012 |
| Towards automatic verification of behavior preservation for model transformation via invariant checking | 10 | 0.55 | 2012 |
| Integrated software development for embedded robotic systems | 3 | 0.44 | 2012 |
| Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders | 2 | 0.40 | 2012 |
| The MDELab tool framework for the development of correct model transformations with triple graph grammars | 0 | 0.34 | 2012 |
| Probabilistic graph transformation systems | 1 | 0.35 | 2012 |
| Living with Uncertainty in the Age of Runtime Models. | 12 | 0.60 | 2011 |
| A dedicated language for context composition and execution of true black-box model transformations | 3 | 0.46 | 2011 |
| Model Checking Probabilistic Real-Time Properties For Service-Oriented Systems With Service Level Agreements | 3 | 0.40 | 2011 |
| 10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems. | 0 | 0.34 | 2010 |
| Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures | 2 | 0.36 | 2010 |
| 10431 Report - Software Engineering for Self-Adaptive Systems. | 0 | 0.34 | 2010 |
| Making control loops explicit when architecting self-adaptive systems | 24 | 1.21 | 2010 |
| Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) | 2 | 0.49 | 2010 |
