| An event-based approach for formally verifying runtime adaptive real-time systems | 1 | 0.37 | 2021 |
| Wireless Sensor Network Design Methodologies: A Survey | 4 | 0.40 | 2020 |
| An MDE-based approach for self-adaptive RTES model generation | 0 | 0.34 | 2020 |
| A Runtime Model-Based Framework For Specifying And Verifying Adaptive Rte Systems | 0 | 0.34 | 2020 |
| A Model Driven-Based Approach for Managing Unanticipated Runtime Adaptation of RTE Systems | 0 | 0.34 | 2019 |
| A UML/MARTE Based Design Pattern for a Wireless Sensor Node | 0 | 0.34 | 2018 |
| A design pattern-based approach for automatic choice of semi-partitioned and global scheduling algorithms. | 2 | 0.42 | 2018 |
| From Dynamic UML/MARTE Models to Early Schedulability Analysis of RTES with Dependent Tasks | 0 | 0.34 | 2018 |
| A model-based transformation framework for designing and analyzing wireless sensor networks | 0 | 0.34 | 2018 |
| Patterns System for the Design of Partial Reconfigurable Applications on FPGA. | 0 | 0.34 | 2017 |
| Network Reconfiguration for Wireless Sensor Networks using UML/MARTE Profile. | 0 | 0.34 | 2017 |
| From Uml/Marte Models Of Multiprocessor Real-Time Embedded Systems To Early Schedulability Analysis Based On Simso Tool | 0 | 0.34 | 2016 |
| A UML/MARTE Extension for Designing Energy Harvesting in Wireless Sensor Networks. | 0 | 0.34 | 2016 |
| Real-Time Design Patterns: Architectural Designs for Automatic Semi-Partitioned and Global Scheduling. | 1 | 0.35 | 2015 |
| Design patterns for self-adaptive RTE systems specification | 4 | 0.44 | 2014 |
| A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis | 3 | 0.41 | 2014 |
| A Model Driven Approach for the Development of Fine-Grain Self-Adaptive Multitask and Networked RTE Systems. | 0 | 0.34 | 2014 |
| High Level Design of Adaptive Real-time Embedded Systems - A Survey. | 1 | 0.35 | 2013 |
| Fine-grain adaptation for real time embedded systems using UML/MARTE profile. | 1 | 0.35 | 2013 |
| Extending UML/MARTE-GRM for Integrating Tasks Migrations in Class Diagrams. | 4 | 0.47 | 2013 |
| Using Dynamic Priority Time Petri Nets for Scheduling Analysis via Earliest Deadline First Policy | 2 | 0.36 | 2012 |
| A Formal Method for Scheduling Analysis of a Partitioned Multiprocessor System - Dynamic Priority Time Petri Nets. | 1 | 0.35 | 2012 |
| Compositional specification of real time embedded systems by priority time Petri Nets | 4 | 0.41 | 2012 |
| From UML/MARTE to RTDT: A model driven based method for scheduling analysis and HW/SW partitioning | 2 | 0.41 | 2010 |
| A Petri Net Extension for Schedulability Analysis of Real Time Embedded Systems | 4 | 0.57 | 2010 |
| Towards the Automatic Generation of Real Time Operating Systems Applying UML/MDA | 0 | 0.34 | 2008 |
