Etienne Borde

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 25

Top Venues

CoRR

EUROMICRO-SEAA

Softw. Syst. Model.

RSP

Télécom ParisTech, France (PHD)

Education History

Télécom ParisTech, France

PHD

Publications

Hana Mkaouar, Dominique Blouin, Etienne Borde
A benchmark of incremental model transformation tools based on an industrial case study with AADL. Softw. Syst. Model. 22 (1) (2023)
Maxime Ayrault, Ulrich Kühne, Etienne Borde
Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected Cars. Inf. 13 (5) (2022)
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde
Reasoning about Moving Target Defense in Attack Modeling Formalisms. CoRR (2022)
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde
Reasoning about Moving Target Defense in Attack Modeling Formalisms. MTD@CCS (2022)
HeeJong Park, Arvind Easwaran, Etienne Borde
Online cycle detection for models with mode-dependent input and output dependencies. J. Syst. Archit. 115 (2021)
HeeJong Park, Arvind Easwaran, Etienne Borde
Online Cycle Detection for Models with Mode-Dependent Input and Output Dependencies. CoRR (2021)
Maxime Ayrault, Etienne Borde, Ulrich Kühne, Jean Leneutre
Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach. PRDC (2021)
Roberto Medina, Etienne Borde, Laurent Pautet
Generalized Mixed-Criticality Static Scheduling for Periodic Directed Acyclic Graphs on Multi-Core Processors. IEEE Trans. Computers 70 (3) (2021)
Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran, Arvind Easwaran, Etienne Borde, Sebastian Steinhorst
A survey on time-sensitive resource allocation in the cloud continuum. it Inf. Technol. 62 (5-6) (2020)
Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran, Arvind Easwaran, Etienne Borde, Sebastian Steinhorst
A Survey on Time-Sensitive Resource Allocation in the Cloud Continuum. CoRR (2020)
Elie Richa, Etienne Borde, Laurent Pautet
Translation of ATL to AGT and application to a code generator for Simulink. Softw. Syst. Model. 18 (1) (2019)
Etienne Borde
Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. CoRR (2019)
Smail Rahmoun, Asma Mehiaoui-Hamitou, Etienne Borde, Laurent Pautet, Elie Soubiran
Multi-objective exploration of architectural designs by composition of model transformations. Softw. Syst. Model. 18 (1) (2019)
Artur Rataj, Etienne Borde
Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour. RSP (2019)
Maxime Ayrault, Etienne Borde, Ulrich Kühne
Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hidden. MTD@CCS (2019)
Roberto Medina, Etienne Borde, Laurent Pautet
Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures. RTSS (2018)
Roberto Medina, Etienne Borde, Laurent Pautet
Availability enhancement and analysis for mixed-criticality systems on multi-core. DATE (2018)
Dominique Blouin, Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen
A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models. RE Workshops (2017)
Roberto Medina, Etienne Borde, Laurent Pautet
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. Ada-Europe (2017)
Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde
Formal semantics of behavior specifications in the architecture analysis and design language standard. HLDVT (2016)
Roberto Medina, Etienne Borde, Laurent Pautet
Availability analysis for synchronous data-flow graphs in mixed-criticality systems. SIES (2016)
Smail Rahmoun, Etienne Borde, Laurent Pautet
Automatic selection and composition of model transformations alternatives using evolutionary algorithms. ECSA Workshops (2015)
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Gardoll Sebastien, Thomas Vergnaud
Improving Reusability of Model Transformations by Automating their Composition. EUROMICRO-SEAA (2015)
Smail Rahmoun, Etienne Borde, Laurent Pautet
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). ICECCS (2015)
Elie Richa, Etienne Borde, Laurent Pautet
Translating ATL Model Transformations to Algebraic Graph Transformations. ICMT (2015)
Etienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, Pierre Dissaux
Architecture models refinement for fine grain timing analysis of embedded systems. RSP (2014)
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Derive
Automatic Production of Transformation Chains Using Structural Constraints on Output Models. EUROMICRO-SEAA (2014)
Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. Ada-Europe (2014)
Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José F. Ruiz
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation. AMT@MoDELS (2014)
Grzegorz Loniewski, Etienne Borde, Dominique Blouin, Emilio Insfrán
An Automated Approach for Architectural Model Transformations. ISD (2013)
Fabien Cadoret, Thomas Robert, Etienne Borde, Laurent Pautet, Frank Singhoff
Deterministic implementation of periodic-delayed communications and experimentation in AADL. ISORC (2013)
Grzegorz Loniewski, Etienne Borde, Dominique Blouin, Emilio Insfrán
Model-Driven Requirements Engineering for Embedded Systems Development. EUROMICRO-SEAA (2013)
Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet
Formalization of design patterns for security and dependability. ISARCS (2013)
Grzegorz Loniewski, Etienne Borde, Emilio Insfrán
Towards a model driven refinement process through architecture evaluation. NFPinDSML@MoDELS (2012)
Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet
Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. ICECCS (2012)
Michaël Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, David Faura
Model driven resource usage simulation for critical embedded systems. DATE (2012)
Etienne Borde, Jan Carlson
Automatic Synthesis and Adaption of Gray-Box Components for Embedded Systems - Reuse vs. Optimization. COMPSAC Workshops (2011)
Etienne Borde, Jan Carlson, Juraj Feljan, Luka Lednicki, Thomas Leveque, Josip Maras, Ana Petricic, Séverine Sentilles
PRIDE - An Environment for Component-Based Development of Distributed Real-Time Embedded Systems. WICSA (2011)
Thomas Leveque, Etienne Borde, Amine Marref, Jan Carlson
Hierarchical Composition of Parametric WCET in a Component Based Approach. ISORC (2011)
Thomas Leveque, Jan Carlson, Séverine Sentilles, Etienne Borde
Flexible Semantic-Preserving Flattening of Hierarchical Component Models. EUROMICRO-SEAA (2011)
Etienne Borde, Jan Carlson
Towards verified synthesis of ProCom, a component model for real-time embedded systems. CBSE (2011)
Etienne Borde, Peter H. Feiler, Grégory Haïk, Laurent Pautet
Model driven code generation for critical and adaptative embedded systems. SIGBED Rev. 6 (3) (2009)
Etienne Borde, Grégory Haïk, Laurent Pautet
Mode-based reconfiguration of critical software component architectures. DATE (2009)
Hugues Balp, Etienne Borde, Grégory Haïk, Jean-François Tilman
Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems. ICECCS (2008)

Etienne Borde.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Etienne Borde