| Execution of Partial State Machine Models | 0 | 0.34 | 2022 |
| A general architecture for client-agnostic hybrid model editors as a service. | 0 | 0.34 | 2022 |
| Live Modeling In The Context Of State Machine Models And Code Generation | 0 | 0.34 | 2021 |
| On The Benefits Of File-Level Modularity For Emf Models | 0 | 0.34 | 2021 |
| MRegTest: A Replay-Based Regression Testing Tool for Distributed UML-RT Models | 0 | 0.34 | 2021 |
| Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development | 0 | 0.34 | 2021 |
| Toward client-agnostic hybrid model editor tools as a service | 0 | 0.34 | 2020 |
| A model-based architecture for interactive run-time monitoring | 0 | 0.34 | 2020 |
| Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development. | 0 | 0.34 | 2020 |
| MReplayer: a trace replayer of distributed UML-RT models | 0 | 0.34 | 2020 |
| Live-Umlrt: A Tool For Live Modeling Of Uml-Rt Models | 0 | 0.34 | 2019 |
| Concolic testing for models of state-based systems. | 0 | 0.34 | 2019 |
| Survey and classification of model transformation tools | 7 | 0.45 | 2019 |
| Towards Modeling Framework for DevOps - Requirements Derived from Industry Use Case. | 0 | 0.34 | 2019 |
| Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines | 1 | 0.36 | 2019 |
| mCUTE: a model-level concolic unit testing engine for UML state machines | 0 | 0.34 | 2019 |
| A controller synthesis framework for automated service composition. | 0 | 0.34 | 2019 |
| Preface to the 1st Workshop on DevOps@MODELS | 0 | 0.34 | 2019 |
| Enabling model-driven software development tools for the internet of things | 0 | 0.34 | 2019 |
| PMExec: an execution engine of partial UML-RT models | 0 | 0.34 | 2019 |
| Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT | 0 | 0.34 | 2019 |
| Model development guidelines for UML-RT: conventions, patterns and antipatterns. | 2 | 0.38 | 2018 |
| Analyzing a decade of Linux system calls. | 2 | 0.37 | 2018 |
| Property-Aware Unit Testing of UML-RT Models in the Context of MDE. | 0 | 0.34 | 2018 |
| Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018). | 0 | 0.34 | 2018 |
| Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts. | 0 | 0.34 | 2018 |
| MDebugger: a model-level debugger for UML-RT. | 2 | 0.43 | 2018 |
| Guest editorial for the special section on MODELS 2014. | 0 | 0.34 | 2018 |
| How is ATL Really Used? Language Feature Use in the ATL Zoo | 2 | 0.35 | 2017 |
| Model-level, platform-independent debugging in the context of the model-driven development of real-time systems | 6 | 0.49 | 2017 |
| Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT. | 0 | 0.34 | 2017 |
| Controller synthesis for dynamic hierarchical real-time plants using timed automata. | 0 | 0.34 | 2017 |
| Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems. | 0 | 0.34 | 2017 |
| Modelling and code generation for real-time embedded systems with UML-RT and papyrus-RT. | 1 | 0.35 | 2017 |
| Language-specific model checking of UML-RT models | 0 | 0.34 | 2017 |
| Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. | 0 | 0.34 | 2016 |
| Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware. | 0 | 0.34 | 2016 |
| Complexity Is The Only Constant: Trends In Computing And Their Relevance To Model Driven Engineering | 0 | 0.34 | 2016 |
| The problems with eclipse modeling tools: a topic analysis of eclipse forums. | 10 | 0.58 | 2016 |
| An executable formal semantics for UML-RT. | 11 | 0.63 | 2016 |
| Supporting The Model-Driven Development Of Real-Time Embedded Systems With Run-Time Monitoring And Animation Via Highly Customizable Code Generation | 2 | 0.39 | 2016 |
| Model Transformation Intents and Their Properties | 30 | 0.78 | 2016 |
| A Model For Industrial Real-Time Systems | 2 | 0.37 | 2015 |
| Formal Verification Techniques for Model Transformations: A Tridimensional Classification | 16 | 0.72 | 2015 |
| Compositional Predictability Analysis of Mixed Critical Real Time Systems. | 0 | 0.34 | 2015 |
| Model transformations for migrating legacy deployment models in the automotive industry | 4 | 0.40 | 2015 |
| SyVOLT: Full Model Transformation Verification Using Contracts. | 1 | 0.35 | 2015 |
| State machine antipatterns for UML-RT | 1 | 0.36 | 2015 |
| Incremental symbolic execution of evolving state machines | 2 | 0.37 | 2015 |
| System-Model-based Simulation of UML Models | 2 | 0.40 | 2014 |
