Preface to the 3rd Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2021) | 0 | 0.34 | 2021 |
Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals | 0 | 0.34 | 2021 |
A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS | 0 | 0.34 | 2020 |
A unifying framework for homogeneous model composition | 2 | 0.37 | 2019 |
Towards Sketching Interfaces for Multi-paradigm Modeling | 0 | 0.34 | 2019 |
Towards the Verification of Hybrid Co-simulation Algorithms. | 1 | 0.37 | 2018 |
Co-simulation: The Past, Future, and Open Challenges. | 1 | 0.36 | 2018 |
Explicit Control of Dataflow Graphs with MARTE/CCSL. | 0 | 0.34 | 2017 |
Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements | 0 | 0.34 | 2016 |
Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016). | 0 | 0.34 | 2016 |
Execution framework of the GEMOC studio (tool demo). | 5 | 0.46 | 2016 |
VCU: The Three Dimensions of Reuse. | 6 | 0.45 | 2016 |
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio | 2 | 0.40 | 2015 |
Towards a meta-language for the concurrency concern in DSLs | 9 | 0.55 | 2015 |
Coping with Semantic Variation Points in Domain-Specific Modeling Languages | 0 | 0.34 | 2015 |
A Model-Driven Based Environment for Automatic Model Coordination. | 0 | 0.34 | 2015 |
Weaving concurrency in executable domain-specific modeling languages | 5 | 0.51 | 2015 |
A Behavioral Coordination Operator Language (BCOoL) | 13 | 0.71 | 2015 |
Report on the First Workshop On the Globalization of Modeling Languages. | 1 | 0.37 | 2014 |
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). | 0 | 0.34 | 2013 |
Reifying Concurrency for Executable Metamodeling. | 16 | 0.77 | 2013 |
Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare | 7 | 0.48 | 2013 |
Power Consumption Analysis Using Multi-View Modeling | 4 | 0.43 | 2013 |
Multi-view Power Modeling Based on UML, MARTE and SysML | 4 | 0.42 | 2012 |
A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2 | 8 | 0.83 | 2012 |
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte | 4 | 0.42 | 2012 |
TimeSquare: treat your models with logical time | 36 | 1.60 | 2012 |
A Model-Based Approach for Reconciliation of Polychronous Execution Traces | 3 | 0.40 | 2011 |
Scheduling Multi Clock Real Time Systems: From Requirements to Implementation | 8 | 0.59 | 2011 |
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL | 16 | 0.81 | 2011 |
RT-simex: retro-analysis of execution traces | 7 | 0.85 | 2010 |
The Clock Constraint Specification Language For Building Timed Causality Models Application To Synchronous Data Flow Graphs | 0 | 0.34 | 2010 |
Logical time at work: Capturing data dependencies and platform constraints | 3 | 0.38 | 2010 |
Executing AADL Models with UML/MARTE | 5 | 0.61 | 2009 |
Modeling the Variability Space of Self-Adaptive Applications | 8 | 0.53 | 2008 |
A MDA-based approach for real time embedded systems simulation | 6 | 0.60 | 2005 |
A MDA Approach for Systems Dedicated to Process Control | 0 | 0.34 | 2005 |