Follow
Etienne BORDE
Etienne BORDE
Verified email at telecom-paristech.fr - Homepage
Title
Cited by
Cited by
Year
Mode-based reconfiguration of critical software component architectures
E Borde, G Haik, L Pautet
2009 Design, Automation & Test in Europe Conference & Exhibition, 1160-1165, 2009
602009
Design patterns for rule-based refinement of safety critical embedded systems models
F Cadoret, E Borde, S Gardoll, L Pautet
2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012
342012
Architecture models refinement for fine grain timing analysis of embedded systems
E Borde, S Rahmoun, F Cadoret, L Pautet, F Singhoff, P Dissaux
2014 25nd IEEE International Symposium on Rapid System Prototyping, 44-50, 2014
262014
Scheduling multi-periodic mixed-criticality dags on multi-core architectures
R Medina, E Borde, L Pautet
2018 IEEE Real-Time Systems Symposium (RTSS), 254-264, 2018
252018
Towards verified synthesis of procom, a component model for real-time embedded systems
E Borde, J Carlson
Proceedings of the 14th international ACM Sigsoft symposium on Component …, 2011
222011
Pride-an environment for component-based development of distributed real-time embedded systems
E Borde, J Carlson, J Feljan, L Lednicki, T Leveque, J Maras, A Petricic, ...
2011 Ninth Working IEEE/IFIP Conference on Software Architecture, 351-354, 2011
202011
Translating ATL model transformations to algebraic graph transformations
E Richa, E Borde, L Pautet
Theory and Practice of Model Transformations: 8th International Conference …, 2015
152015
Deterministic implementation of periodic-delayed communications and experimentation in aadl
F Cadoret, T Robert, E Borde, L Pautet, F Singhoff
16th IEEE International Symposium on Object/component/service-oriented Real …, 2013
152013
Really hard time developing hard real time
E Borde, G Haïk, V Watine, L Pautet
2nd National workshop on Control Architecture of Robots, 2007
152007
Availability enhancement and analysis for mixed-criticality systems on multi-core
R Medina, E Borde, L Pautet
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
142018
Model-driven requirements engineering for embedded systems development
G Loniewski, E Borde, D Blouin, E Insfran
2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013
142013
An automated approach for architectural model transformations
G Loniewsli, E Borde, D Blouin, E Insfran
Information System Development: Improving Enterprise Communication, 295-306, 2014
132014
Hierarchical composition of parametric WCET in a component based approach
T Leveque, E Borde, A Marref, J Carlson
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
132011
Directed acyclic graph scheduling for mixed-criticality systems
R Medina, E Borde, L Pautet
Reliable Software Technologies–Ada-Europe 2017: 22nd Ada-Europe …, 2017
122017
Composable mode switch for component-based systems
Y Hang, E Borde, H Hansson
APRES 11, 19-22, 2011
122011
Generalized mixed-criticality static scheduling for periodic directed acyclic graphs on multi-core processors
R Medina, E Borde, L Pautet
IEEE Transactions on Computers 70 (3), 457-470, 2020
112020
Logically timed specifications in the AADL: a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
L Besnard, E Borde, P Dissaux, T Gautier, P Le Guernic, JP Talpin
INRIA, 2014
112014
Flexible semantic-preserving flattening of hierarchical component models
T Lévêque, J Carlson, S Sentilles, E Borde
2011 37th EUROMICRO Conference on Software Engineering and Advanced …, 2011
112011
Multi-objective exploration of architectural designs by composition of model transformations
S Rahmoun, A Mehiaoui-Hamitou, E Borde, L Pautet, E Soubiran
Software & Systems Modeling 18, 107-127, 2019
102019
Formal semantics of behavior specifications in the architecture analysis and design language standard
L Besnard, T Gautier, P Le Guernic, C Guy, JP Talpin, B Larson, E Borde
Cyber-Physical System Design from an Architecture Analysis Viewpoint …, 2017
92017
The system can't perform the operation now. Try again later.
Articles 1–20