default search action

combined dblp search
author search
venue search
publication search

ask others

Etienne Borde

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/ChampenoisBGBSG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/ChampenoisBGBSG24
Florient Champenois, Florian Brandner, Thierry Grandpierre, Etienne Borde, Abraham Suissa, Laurent Georges:
Multi-Criteria Optimization of Distributed Real-Time Network Topologies. ISORC 2024: 1-11
2023
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MkaouarBB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MkaouarBB23
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): 175-201 (2023)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/RuaroBBCMKB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/RuaroBBCMKB23
Marcelo Ruaro, Hadrien Barral, Matteo Bertolino, Rodrigo Cataldo, Roberto Medina, Mohamed Karaoui, Etienne Borde:
The Last-Level-Cache Interference in Guest Performance: a Case-Study with Zephyr OS. DSD 2023: 351-358
2022
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/information/AyraultKB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/information/AyraultKB22
Maxime Ayrault, Ulrich Kühne, Etienne Borde:
Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected Cars. Inf. 13(5): 242 (2022)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BallotMLB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BallotMLB22
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde:
Reasoning about Moving Target Defense in Attack Modeling Formalisms. MTD@CCS 2022: 55-65
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-14076
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-14076
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde:
Reasoning about Moving Target Defense in Attack Modeling Formalisms. CoRR abs/2206.14076 (2022)
2021
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/ParkEB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/ParkEB21
HeeJong Park, Arvind Easwaran, Etienne Borde:
Online cycle detection for models with mode-dependent input and output dependencies. J. Syst. Archit. 115: 102017 (2021)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/MedinaBP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/MedinaBP21
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): 457-470 (2021)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/AyraultBKL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/AyraultBKL21
Maxime Ayrault, Etienne Borde, Ulrich Kühne, Jean Leneutre:
Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach. PRDC 2021: 27-36
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-01928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-01928
HeeJong Park, Arvind Easwaran, Etienne Borde:
Online Cycle Detection for Models with Mode-Dependent Input and Output Dependencies. CoRR abs/2102.01928 (2021)
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/it/RamanathanSSEBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/RamanathanSSEBS20
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): 241-255 (2020)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-14559
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-14559
Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran, Arvind Easwaran, Etienne Borde, Sebastian Steinhorst:
A Survey on Time-Sensitive Resource Allocation in the Cloud Continuum. CoRR abs/2004.14559 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b2]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - books/hal/Borde19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Borde19
Etienne Borde:
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). Sorbonne University, Paris, France, 2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/RahmounMBPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/RahmounMBPS19
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): 107-127 (2019)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/RichaBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/RichaBP19
Elie Richa, Etienne Borde, Laurent Pautet:
Translation of ATL to AGT and application to a code generator for Simulink. Softw. Syst. Model. 18(1): 321-344 (2019)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AyraultBK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AyraultBK19
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: 47-56
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/RatajB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/RatajB19
Artur Rataj, Etienne Borde:
Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour. RSP 2019: 50-56
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-10457
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-10457
Etienne Borde:
Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. CoRR abs/1911.10457 (2019)
2018
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/date/MedinaBP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MedinaBP18
Roberto Medina, Etienne Borde, Laurent Pautet:
Availability enhancement and analysis for mixed-criticality systems on multi-core. DATE 2018: 1271-1276
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/MedinaBP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/MedinaBP18
Roberto Medina, Etienne Borde, Laurent Pautet:
Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures. RTSS 2018: 254-264
2017
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MedinaBP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MedinaBP17
Roberto Medina, Etienne Borde, Laurent Pautet:
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. Ada-Europe 2017: 217-232
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/re/BlouinBSGDBTN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/BlouinBSGDBTN17
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: 36-45
2016
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/BesnardGGGTLB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/BesnardGGGTLB16
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: 30-39
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/MedinaBP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/MedinaBP16
Roberto Medina, Etienne Borde, Laurent Pautet:
Availability analysis for synchronous data-flow graphs in mixed-criticality systems. SIES 2016: 205-210
2015
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/RahmounBP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/RahmounBP15
Smail Rahmoun, Etienne Borde, Laurent Pautet:
Automatic selection and composition of model transformations alternatives using evolutionary algorithms. ECSA Workshops 2015: 25:1-25:7
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/CastellanosBPSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/CastellanosBPSV15
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Gardoll Sebastien, Thomas Vergnaud:
Improving Reusability of Model Transformations by Automating their Composition. EUROMICRO-SEAA 2015: 267-274
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/RahmounBP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/RahmounBP15
Smail Rahmoun, Etienne Borde, Laurent Pautet:
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). ICECCS 2015: 21-30
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/RichaBP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/RichaBP15
Elie Richa, Etienne Borde, Laurent Pautet:
Translating ATL Model Transformations to Algebraic Graph Transformations. ICMT 2015: 183-198
[e1]
- view
- export record
  dblp key:
  - conf/models/2015modcomp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2015modcomp
Federico Ciccozzi, Patrizio Pelliccione, Etienne Borde:
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. CEUR Workshop Proceedings 1463, CEUR-WS.org 2015 [contents]
2014
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/JaouenBPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/JaouenBPR14
Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert:
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. Ada-Europe 2014: 149-165
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/CastellanosBPVD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/CastellanosBPVD14
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Derive:
Automatic Production of Transformation Chains Using Structural Constraints on Output Models. EUROMICRO-SEAA 2014: 158-165
[c16]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/RichaBPBR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RichaBPBR14
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: 34-43
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/BordeRCPSD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/BordeRCPSD14
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: 44-50
2013
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/LoniewskiBBI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/LoniewskiBBI13
Grzegorz Loniewski, Etienne Borde, Dominique Blouin, Emilio Insfrán:
Model-Driven Requirements Engineering for Embedded Systems Development. EUROMICRO-SEAA 2013: 236-243
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/isarcs/CastellanosVBDP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isarcs/CastellanosVBDP13
Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet:
Formalization of design patterns for security and dependability. ISARCS 2013: 17-26
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/isdevel/LoniewskiBBI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isdevel/LoniewskiBBI13
Grzegorz Loniewski, Etienne Borde, Dominique Blouin, Emilio Insfrán:
An Automated Approach for Architectural Model Transformations. ISD 2013: 295-306
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/CadoretRBPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/CadoretRBPS13
Fabien Cadoret, Thomas Robert, Etienne Borde, Laurent Pautet, Frank Singhoff:
Deterministic implementation of periodic-delayed communications and experimentation in AADL. ISORC 2013: 1-8
2012
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/date/LafayePBGF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/LafayePBGF12
Michaël Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, David Faura:
Model driven resource usage simulation for critical embedded systems. DATE 2012: 312-315
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/CadoretBGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/CadoretBGP12
Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet:
Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. ICECCS 2012: 67-76
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LoniewskiBI12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LoniewskiBI12
Grzegorz Loniewski, Etienne Borde, Emilio Insfrán:
Towards a model driven refinement process through architecture evaluation. NFPinDSML@MoDELS 2012: 4:1-4:6
2011
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/BordeC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/BordeC11
Etienne Borde, Jan Carlson:
Towards verified synthesis of ProCom, a component model for real-time embedded systems. CBSE 2011: 129-138
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/BordeC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/BordeC11
Etienne Borde, Jan Carlson:
Automatic Synthesis and Adaption of Gray-Box Components for Embedded Systems - Reuse vs. Optimization. COMPSAC Workshops 2011: 224-229
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/LevequeCSB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/LevequeCSB11
Thomas Leveque, Jan Carlson, Séverine Sentilles, Etienne Borde:
Flexible Semantic-Preserving Flattening of Hierarchical Component Models. EUROMICRO-SEAA 2011: 31-38
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/LevequeBMC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/LevequeBMC11
Thomas Leveque, Etienne Borde, Amine Marref, Jan Carlson:
Hierarchical Composition of Parametric WCET in a Component Based Approach. ISORC 2011: 261-268
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/BordeCFLLMPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/BordeCFLLMPS11
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: 351-354

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Borde09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Borde09
Etienne Borde:
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). Télécom ParisTech, France, 2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/BordeFHP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/BordeFHP09
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): 10 (2009)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BordeHP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BordeHP09
Etienne Borde, Grégory Haïk, Laurent Pautet:
Mode-based reconfiguration of critical software component architectures. DATE 2009: 1160-1165
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BalpBHT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BalpBHT08
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: 269-274

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.