Etienne Borde

, 2019

2018

Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Availability enhancement and analysis for mixed-criticality systems on multi-core.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Directed Acyclic Graph Scheduling for Mixed-Criticality Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016

Availability analysis for synchronous data-flow graphs in mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Formal semantics of behavior specifications in the architecture analysis and design language standard.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015

Translating ATL Model Transformations to Algebraic Graph Transformations.

[BibT_eX]

[DOI]

Elie Richa

Proceedings of the Theory and Practice of Model Transformations, 2015

Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES).

[BibT_eX]

[DOI]

Smail Rahmoun

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Improving Reusability of Model Transformations by Automating their Composition.

[BibT_eX]

[DOI]

Cuauhtemoc Castellanos

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Automatic selection and composition of model transformations alternatives using evolutionary algorithms.

[BibT_eX]

[DOI]

Smail Rahmoun

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014

Architecture models refinement for fine grain timing analysis of embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Automatic Production of Transformation Chains Using Structural Constraints on Output Models.

[BibT_eX]

[DOI]

Cuauhtemoc Castellanos

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

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2014

2013

Deterministic implementation of periodic-delayed communications and experimentation in AADL.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

An Automated Approach for Architectural Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Information System Development, 2013

Formalization of design patterns for security and dependability.

[BibT_eX]

[DOI]

Cuauhtemoc Castellanos

Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

Model-Driven Requirements Engineering for Embedded Systems Development.

[BibT_eX]

[DOI]

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012

Towards a model driven refinement process through architecture evaluation.

[BibT_eX]

[DOI]

Grzegorz Loniewski

Emilio Insfrán

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Model driven resource usage simulation for critical embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

PRIDE - An Environment for Component-Based Development of Distributed Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Hierarchical Composition of Parametric WCET in a Component Based Approach.

[BibT_eX]

[DOI]

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

Flexible Semantic-Preserving Flattening of Hierarchical Component Models.

[BibT_eX]

[DOI]

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

Automatic Synthesis and Adaption of Gray-Box Components for Embedded Systems - Reuse vs. Optimization.

[BibT_eX]

[DOI]

Jan Carlson

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Towards verified synthesis of ProCom, a component model for real-time embedded systems.

[BibT_eX]

[DOI]

Jan Carlson

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2009

Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs. (Configuration and Reconfiguration of Critical and Distributed Real-Time Embedded Systems).

[BibT_eX]

[DOI]