Etienne Borde

53 papers A* 1A 4B 3C 7Misc 2Journal 14Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Deferred Acceptance Algorithm Improves Peer Review Process.
CoRR
Christoph Bartneck, Richard Watt, Etienne Borde, Pattara Klinpibul
2025 J jnl
CAGE challenge 4: A scalable multi-agent reinforcement learning gym for autonomous cyber defence.
AI Mag.
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, Ryan Gabrys, Wayne Gould, H. Howie Huang, Jules Jacobs, Ryan Kerr, Isaiah J. King, Li Li, Luis Martinez, Christopher Moir, Craig Murphy, Olivia Naish, Claire Owens, Miranda Purchase, Ahmad Ridley, Adrian Taylor, Sara Farmer, William John Valentine, Yiyi Zhang
2025 A* conf
Exploring the Efficacy of Multi-Agent Reinforcement Learning for Autonomous Cyber Defence: A CAGE Challenge 4 Perspective.
AAAI
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, Ryan Gabrys, Wayne Gould, H. Howie Huang, Jules Jacobs, Ryan Kerr, Isaiah J. King, Li Li, Luis Martinez, Christopher Moir, Craig Murphy, Olivia Naish, Claire Owens, Miranda Purchase, Ahmad Ridley, Adrian Taylor, Sara Farmer, William John Valentine, Yiyi Zhang
2025 — conf
Multi-agent Simulation and Reinforcement Learning to Optimize Moving Target Defense.
ARES (2)
William Valentine, Etienne Borde, Mengmeng Ge
2024 C conf
Multi-Criteria Optimization of Distributed Real-Time Network Topologies.
ISORC
Florient Champenois, Florian Brandner, Thierry Grandpierre, Etienne Borde, Abraham Suissa, Laurent Georges
2023 J jnl
A benchmark of incremental model transformation tools based on an industrial case study with AADL.
Softw. Syst. Model.
Hana Mkaouar, Dominique Blouin, Etienne Borde
2023 C conf
The Last-Level-Cache Interference in Guest Performance: a Case-Study with Zephyr OS.
DSD
Marcelo Ruaro, Hadrien Barral, Matteo Bertolino, Rodrigo Cataldo, Roberto Medina, Mohamed Karaoui, Etienne Borde
2022 J jnl
Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected Cars.
Inf.
Maxime Ayrault, Ulrich Kühne, Etienne Borde
2022 — conf
Reasoning about Moving Target Defense in Attack Modeling Formalisms.
MTD@CCS
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde
2022 J jnl
Reasoning about Moving Target Defense in Attack Modeling Formalisms.
CoRR
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde
2021 J jnl
Generalized Mixed-Criticality Static Scheduling for Periodic Directed Acyclic Graphs on Multi-Core Processors.
IEEE Trans. Computers
Roberto Medina, Etienne Borde, Laurent Pautet
2021 C conf
Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach.
PRDC
Maxime Ayrault, Etienne Borde, Ulrich Kühne, Jean Leneutre
2021 J jnl
Online Cycle Detection for Models with Mode-Dependent Input and Output Dependencies.
CoRR
HeeJong Park, Arvind Easwaran, Etienne Borde
2021 J jnl
Online cycle detection for models with mode-dependent input and output dependencies.
J. Syst. Archit.
HeeJong Park, Arvind Easwaran, Etienne Borde
2020 J jnl
A Survey on Time-Sensitive Resource Allocation in the Cloud Continuum.
CoRR
Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran, Arvind Easwaran, Etienne Borde, Sebastian Steinhorst
2020 J jnl
A survey on time-sensitive resource allocation in the cloud continuum.
it Inf. Technol.
Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran, Arvind Easwaran, Etienne Borde, Sebastian Steinhorst
2019 J jnl
Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems.
CoRR
Etienne Borde
2019 — book
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 C conf
Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour.
RSP
Artur Rataj, Etienne Borde
2019 J jnl
Multi-objective exploration of architectural designs by composition of model transformations.
Softw. Syst. Model.
Smail Rahmoun, Asma Mehiaoui-Hamitou, Etienne Borde, Laurent Pautet, Elie Soubiran
2019 — conf
Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hidden.
MTD@CCS
Maxime Ayrault, Etienne Borde, Ulrich Kühne
2019 J jnl
Translation of ATL to AGT and application to a code generator for Simulink.
Softw. Syst. Model.
Elie Richa, Etienne Borde, Laurent Pautet
2018 A conf
Availability enhancement and analysis for mixed-criticality systems on multi-core.
DATE
Roberto Medina, Etienne Borde, Laurent Pautet
2018 A conf
Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures.
RTSS
Roberto Medina, Etienne Borde, Laurent Pautet
2017 — conf
A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models.
RE Workshops
Dominique Blouin, Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen
2017 Misc conf
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems.
Ada-Europe
Roberto Medina, Etienne Borde, Laurent Pautet
2016 — conf
Availability analysis for synchronous data-flow graphs in mixed-criticality systems.
SIES
Roberto Medina, Etienne Borde, Laurent Pautet
2016 — conf
Formal semantics of behavior specifications in the architecture analysis and design language standard.
HLDVT
Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde
2015 — conf
Automatic selection and composition of model transformations alternatives using evolutionary algorithms.
ECSA Workshops
Smail Rahmoun, Etienne Borde, Laurent Pautet
2015 — conf
Improving Reusability of Model Transformations by Automating their Composition.
EUROMICRO-SEAA
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Gardoll Sebastien, Thomas Vergnaud
2015 B conf
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES).
ICECCS
Smail Rahmoun, Etienne Borde, Laurent Pautet
2015 — ed.
Proceedings of the 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015.
ModComp@MoDELS
Federico Ciccozzi, Patrizio Pelliccione, Etienne Borde
2015 — conf
Translating ATL Model Transformations to Algebraic Graph Transformations.
ICMT
Elie Richa, Etienne Borde, Laurent Pautet
2014 C conf
Architecture models refinement for fine grain timing analysis of embedded systems.
RSP
Etienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, Pierre Dissaux
2014 — conf
Automatic Production of Transformation Chains Using Structural Constraints on Output Models.
EUROMICRO-SEAA
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Derive
2014 Misc conf
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems.
Ada-Europe
Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert
2014 — conf
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation.
AMT@MoDELS
Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José F. Ruiz
2013 — conf
An Automated Approach for Architectural Model Transformations.
ISD
Grzegorz Loniewski, Etienne Borde, Dominique Blouin, Emilio Insfrán
2013 C conf
Deterministic implementation of periodic-delayed communications and experimentation in AADL.
ISORC
Fabien Cadoret, Thomas Robert, Etienne Borde, Laurent Pautet, Frank Singhoff
2013 — conf
Formalization of design patterns for security and dependability.
ISARCS
Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet
2013 — conf
Model-Driven Requirements Engineering for Embedded Systems Development.
EUROMICRO-SEAA
Grzegorz Loniewski, Etienne Borde, Dominique Blouin, Emilio Insfrán
2012 B conf
Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models.
ICECCS
Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet
2012 A conf
Model driven resource usage simulation for critical embedded systems.
DATE
Michaël Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, David Faura
2012 — conf
Towards a model driven refinement process through architecture evaluation.
NFPinDSML@MoDELS
Grzegorz Loniewski, Etienne Borde, Emilio Insfrán
2011 — conf
Automatic Synthesis and Adaption of Gray-Box Components for Embedded Systems - Reuse vs. Optimization.
COMPSAC Workshops
Etienne Borde, Jan Carlson
2011 — conf
Flexible Semantic-Preserving Flattening of Hierarchical Component Models.
EUROMICRO-SEAA
Thomas Leveque, Jan Carlson, Séverine Sentilles, Etienne Borde
2011 C conf
Hierarchical Composition of Parametric WCET in a Component Based Approach.
ISORC
Thomas Leveque, Etienne Borde, Amine Marref, Jan Carlson
2011 — conf
PRIDE - An Environment for Component-Based Development of Distributed Real-Time Embedded Systems.
WICSA
Etienne Borde, Jan Carlson, Juraj Feljan, Luka Lednicki, Thomas Leveque, Josip Maras, Ana Petricic, Séverine Sentilles
2011 — conf
Towards verified synthesis of ProCom, a component model for real-time embedded systems.
CBSE
Etienne Borde, Jan Carlson
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 A conf
Mode-based reconfiguration of critical software component architectures.
DATE
Etienne Borde, Grégory Haïk, Laurent Pautet
2009 J jnl
Model driven code generation for critical and adaptative embedded systems.
SIGBED Rev.
Etienne Borde, Peter H. Feiler, Grégory Haïk, Laurent Pautet
2008 B conf
Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems.
ICECCS
Hugues Balp, Etienne Borde, Grégory Haïk, Jean-François Tilman