Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hidden
Maxime Ayrault
,
Etienne Borde
,
Ulrich Kühne
Conference papers
hal-02449676v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
Stefan Klikovits
,
Rima Al-Ali
,
Moussa Amrani
,
Ankica Barisic
,
Fernando Barros
,
et al.
[Research Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168832v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation
Elie Richa
,
Etienne Borde
,
Laurent Pautet
,
Matteo Bordin
,
José Riuz
AMT@MoDELS , Sep 2014, Valencia, Spain. pp.34-43
Conference papers
hal-02287272v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Improving Reusability of Model Transformations by Automating their Composition
Cuauhtemoc Castellanos
,
Etienne Borde
,
Laurent Pautet
,
Sébastien Gardoll
,
Thomas Vergnaud
EUROMICRO-SEAA , Aug 2015, Madeira, Portugal. pp.267-274
Conference papers
hal-02287271v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs
Etienne Borde
Systèmes embarqués. Télécom ParisTech, 2009. Français.
⟨NNT : ⟩
Theses
pastel-00563947v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models
Dominique Blouin
,
Matthias Barkowski
,
Melanie Schneider
,
Holger Giese
,
Johannes Dyck
,
et al.
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) , Sep 2017, Lisbon, France.
⟨10.1109/REW.2017.52⟩
Conference papers
hal-01873945v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Teaching Real-Time Scheduling Analysis with Cheddar
Frank Singhoff
,
Alain Plantec
,
Stéphane Rubini
,
Hai-Nam Tran
,
Vincent Gaudel
,
et al.
9ème édition de l’Ecole d’Eté « Temps Réel » , Aug 2015, Rennes, France
Conference papers
hal-01166136v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems
Laurent Pautet
,
Etienne Borde
,
Thomas Robert
,
Antoine Jaouen
International Conference on Reliable Software Technologies , Jun 2014, Paris, France. pp.149-165
Conference papers
hal-01115671v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains
Elie Richa
,
Etienne Borde
,
Laurent Pautet
,
Matteo Bordin
,
José Riuz
MODELS workshop on Analysis of Model Transformations , Oct 2014, Valencia, Spain. pp.34-43
Conference papers
hal-01115716v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formal semantics of behavior specifications in the architecture analysis and design language standard
Loïc Besnard
,
Thierry Gautier
,
Paul Le Guernic
,
Clément Guy
,
Jean-Pierre Talpin
,
et al.
[Research Report] RR-8950, INRIA. 2016, pp.30 - 39
Reports
hal-01419973v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard
Loic Besnard
,
Thierry Gautier
,
Paul Le Guernic
,
Clément Guy
,
Jean-Pierre Talpin
,
et al.
Cyber-Physical System Design from an Architecture Analysis Viewpoint , Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint,
⟨10.1007/978-981-10-4436-6_3⟩
Book sections
hal-01615143v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models
Fabien Cadoret
,
Etienne Borde
,
Sébastien Gardoll
,
Laurent Pautet
ICECCS 2012 , Jul 2012, Paris, France
Conference papers
hal-02286400v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multi-objective exploration of architectural designs by composition of model transformations
Smail Rahmoun
,
Asma Mehiaoui-Hamitou
,
Etienne Borde
,
Laurent Pautet
,
Elie Soubiran
Journal articles
hal-02292455v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour
Artur Rataj
,
Etienne Borde
Conference papers
hal-02449670v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems
Roberto Medina
,
Etienne Borde
,
Laurent Pautet
Reliable Software Technologies , Jun 2017, Vienne, Austria. pp.217-232
Conference papers
hal-01995010v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL
Fabien Cadoret
,
Robert Thomas
,
Etienne Borde
,
Laurent Pautet
,
Frank Singhoff
17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013) , Jun 2013, Paderborn, Germany
Conference papers
hal-01121244v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
Etienne Borde
,
Laurent Pautet
,
Fabien Cadoret
,
Smail Rahmoun
,
Frank Singhoff
International Symposium on Rapid System Prototyping , Oct 2014, New Delhi, India. pp.44-50
Conference papers
hal-01115723v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A benchmark of incremental model transformation tools based on an industrial case study with AADL
Hana Mkaouar
,
Dominique Blouin
,
Etienne Borde
Journal articles
hal-03905646v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards a model driven refinement process through architecture evaluation
Grzegorz Loniewski
,
Etienne Borde
,
Emilio Insfran
Conference papers
hal-02286708v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
Etienne Borde
,
Smail Rahmoun
,
Fabien Cadoret
,
Laurent Pautet
,
Frank Singhoff
,
et al.
IEEE International Symposium on Rapid System Prototyping , Oct 2014, New Dehli, India
Conference papers
hal-01121019v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
Loïc Besnard
,
Etienne Borde
,
Pierre Dissaux
,
Thierry Gautier
,
Paul Le Guernic
,
et al.
[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports
hal-00970244v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Translating ATL Model Transformations to Algebraic Graph Transformations
Elie Richa
,
Etienne Borde
,
Laurent Pautet
8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015 , Jul 2015, L'Aquila, Italy. pp.183-198,
⟨10.1007/978-3-319-21155-8_14⟩
Conference papers
hal-01229113v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
,
et al.
HLDVT 2016 - 18th IEEE International High-Level Design Validation and Test Workshop , Oct 2016, Santa Cruz, United States. pp.30-39,
⟨10.1109/HLDVT.2016.7748252⟩
Conference papers
hal-01419968v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected Cars
Maxime Ayrault
,
Ulrich Kühne
,
Etienne Borde
Journal articles
hal-03670106v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Translation of ATL to AGT and application to a code generator for Simulink
Elie Richa
,
Etienne Borde
,
Laurent Pautet
Journal articles
hal-02449688v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Automatic selection and composition of model transformations alternatives using evolutionary algorithms
Smail Rahmoun
,
Etienne Borde
,
Laurent Pautet
ECSA Workshops 2015 , Sep 2015, Dubrovnik/Cavtat, Croatia. pp.25:1-25:7
Conference papers
hal-02292448v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability
Cuauhtemoc Castellanos
,
Etienne Borde
,
Laurent Pautet
,
Thomas Vergnaud
,
Thomas Dérive
ISARCS'13 , Aug 2013, Montréal, Canada
Conference papers
hal-02286706v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures
Roberto Medina
,
Etienne Borde
,
Laurent Pautet
Conference papers
hal-01994627v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Model driven code generation for critical and adaptative embedded systems
Etienne Borde
,
Peter H. Feiler
,
Gregory Haïk
,
Laurent Pautet
ACM SIGBED Review , 2009, 6 (3), pp.10:1-10:5
Journal articles
hal-02286671v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Availability enhancement and analysis for mixed-criticality systems on multi-core
Roberto Medina
,
Etienne Borde
,
Laurent Pautet
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) , Mar 2018, Dresden, France. pp.1271-1276
Conference papers
hal-01994643v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More