Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems. - Hugues Balp; Etienne Borde; Grégory Haïk; Jean-François Tilman (ICECCS, 2008)

Mode-based reconfiguration of critical software component architectures. - Etienne Borde; Grégory Haïk; Laurent Pautet (DATE, 2009)

Model driven code generation for critical and adaptative embedded systems. - Etienne Borde; Peter H. Feiler; Grégory Haïk; Laurent Pautet (SIGBED Rev., 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). - Etienne Borde (2009)

Towards verified synthesis of ProCom, a component model for real-time embedded systems. - Etienne Borde; Jan Carlson (CBSE, 2011)

Automatic Synthesis and Adaption of Gray-Box Components for Embedded Systems - Reuse vs. Optimization. - Etienne Borde; Jan Carlson (COMPSAC Workshops, 2011)

Flexible Semantic-Preserving Flattening of Hierarchical Component Models. - Thomas Leveque; Jan Carlson; Séverine Sentilles; Etienne Borde (EUROMICRO-SEAA, 2011)

Hierarchical Composition of Parametric WCET in a Component Based Approach. - Thomas Leveque; Etienne Borde; Amine Marref; Jan Carlson (ISORC, 2011)

PRIDE - An Environment for Component-Based Development of Distributed Real-Time Embedded Systems. - Etienne Borde; Jan Carlson; Juraj Feljan; Luka Lednicki; Thomas Leveque; Josip Maras; Ana Petricic; Séverine Sentilles (WICSA, 2011)

Model driven resource usage simulation for critical embedded systems. - Michaël Lafaye; Laurent Pautet; Etienne Borde; Marc Gatti; David Faura (DATE, 2012)

Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. - Fabien Cadoret; Etienne Borde; Sébastien Gardoll; Laurent Pautet (ICECCS, 2012)

Towards a model driven refinement process through architecture evaluation. - Grzegorz Loniewski; Etienne Borde; Emilio Insfrán (NFPinDSML@MoDELS, 2012)

Model-Driven Requirements Engineering for Embedded Systems Development. - Grzegorz Loniewski; Etienne Borde; Dominique Blouin; Emilio Insfrán (EUROMICRO-SEAA, 2013)

Formalization of design patterns for security and dependability. - Cuauhtemoc Castellanos; Thomas Vergnaud; Etienne Borde; Thomas Derive; Laurent Pautet (ISARCS, 2013)

An Automated Approach for Architectural Model Transformations. - Grzegorz Loniewski; Etienne Borde; Dominique Blouin; Emilio Insfrán (ISD, 2013)

Deterministic implementation of periodic-delayed communications and experimentation in AADL. - Fabien Cadoret; Thomas Robert 003; Etienne Borde; Laurent Pautet; Frank Singhoff (ISORC, 2013)

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. - Antoine Jaouën; Etienne Borde; Laurent Pautet; Thomas Robert 003 (Ada-Europe, 2014)

Automatic Production of Transformation Chains Using Structural Constraints on Output Models. - Cuauhtemoc Castellanos; Etienne Borde; Laurent Pautet; Thomas Vergnaud; Thomas Derive (EUROMICRO-SEAA, 2014)

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation. - Elie Richa; Etienne Borde; Laurent Pautet; Matteo Bordin; José F. Ruiz (AMT@MoDELS, 2014)

Architecture models refinement for fine grain timing analysis of embedded systems. - Etienne Borde; Smail Rahmoun; Fabien Cadoret; Laurent Pautet; Frank Singhoff; Pierre Dissaux (RSP, 2014)

Automatic selection and composition of model transformations alternatives using evolutionary algorithms. - Smail Rahmoun; Etienne Borde; Laurent Pautet (ECSA Workshops, 2015)

Improving Reusability of Model Transformations by Automating their Composition. - Cuauhtemoc Castellanos; Etienne Borde; Laurent Pautet; Gardoll Sebastien; Thomas Vergnaud (EUROMICRO-SEAA, 2015)

Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). - Smail Rahmoun; Etienne Borde; Laurent Pautet (ICECCS, 2015)

Translating ATL Model Transformations to Algebraic Graph Transformations. - Elie Richa; Etienne Borde; Laurent Pautet (ICMT, 2015)

Formal semantics of behavior specifications in the architecture analysis and design language standard. - Loïc Besnard; Thierry Gautier; Clément Guy; Paul Le Guernic; Jean-Pierre Talpin; Brian R. Larson; Etienne Borde (HLDVT, 2016)

Availability analysis for synchronous data-flow graphs in mixed-criticality systems. - Roberto Medina 001; Etienne Borde; Laurent Pautet (SIES, 2016)

Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. - Roberto Medina 001; Etienne Borde; Laurent Pautet (Ada-Europe, 2017)

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models. - Dominique Blouin; Matthias Barkowski; Melanie Schneider; Holger Giese; Johannes Dyck; Etienne Borde; Dalila Tamzalit; Joost Noppen (RE Workshops, 2017)

Availability enhancement and analysis for mixed-criticality systems on multi-core. - Roberto Medina 001; Etienne Borde; Laurent Pautet (DATE, 2018)

Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures. - Roberto Medina 001; Etienne Borde; Laurent Pautet (RTSS, 2018)

Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. (Raffinements de Modèles d'Architectures pour le Développement Logiciel des Systèmes Temps-réels Embarqués Critiques). - Etienne Borde (2019)

Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hidden. - Maxime Ayrault; Etienne Borde; Ulrich Kühne (MTD@CCS, 2019)

Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour. - Artur Rataj; Etienne Borde (RSP, 2019)

Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. - Etienne Borde (CoRR, 2019)

Multi-objective exploration of architectural designs by composition of model transformations. - Smail Rahmoun; Asma Mehiaoui-Hamitou; Etienne Borde; Laurent Pautet; Elie Soubiran (Softw. Syst. Model., 2019)

Translation of ATL to AGT and application to a code generator for Simulink. - Elie Richa; Etienne Borde; Laurent Pautet (Softw. Syst. Model., 2019)

A survey on time-sensitive resource allocation in the cloud continuum. - Saravanan Ramanathan; Nitin Shivaraman; Seima Suryasekaran; Arvind Easwaran; Etienne Borde; Sebastian Steinhorst (it Inf. Technol., 2020)

Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach. - Maxime Ayrault; Etienne Borde; Ulrich Kühne; Jean Leneutre (PRDC, 2021)

Online cycle detection for models with mode-dependent input and output dependencies. - HeeJong Park 001; Arvind Easwaran; Etienne Borde (J. Syst. Archit., 2021)

Generalized Mixed-Criticality Static Scheduling for Periodic Directed Acyclic Graphs on Multi-Core Processors. - Roberto Medina 001; Etienne Borde; Laurent Pautet (IEEE Trans. Computers, 2021)

Reasoning about Moving Target Defense in Attack Modeling Formalisms. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Etienne Borde (MTD@CCS, 2022)

Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected Cars. - Maxime Ayrault; Ulrich Kühne; Etienne Borde (Inf., 2022)

The Last-Level-Cache Interference in Guest Performance: a Case-Study with Zephyr OS. - Marcelo Ruaro; Hadrien Barral; Matteo Bertolino; Rodrigo Cataldo; Roberto Medina 001; Mohamed Karaoui; Etienne Borde (DSD, 2023)

A benchmark of incremental model transformation tools based on an industrial case study with AADL. - Hana Mkaouar; Dominique Blouin; Etienne Borde (Softw. Syst. Model., 2023)

Multi-Criteria Optimization of Distributed Real-Time Network Topologies. - Florient Champenois; Florian Brandner; Thierry Grandpierre; Etienne Borde; Abraham Suissa; Laurent Georges (ISORC, 2024)

Multi-agent Simulation and Reinforcement Learning to Optimize Moving Target Defense. - William Valentine; Etienne Borde; Mengmeng Ge 001 (ARES (2), 2025)

Exploring the Efficacy of Multi-Agent Reinforcement Learning for Autonomous Cyber Defence: A CAGE Challenge 4 Perspective. - Mitchell Kiely; Metin Ahiskali; Etienne Borde; Benjamin Bowman; David Bowman; Dirk Van Bruggen; KC Cowan; Prithviraj Dasgupta; Erich Devendorf; Ben Edwards; Alex Fitts; Sunny Fugate; et al. (AAAI, 2025)