Etienne BORDE
Etienne BORDE
Email confirmado em - Página inicial
Citado por
Citado por
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
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
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
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
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
Translating ATL model transformations to algebraic graph transformations
E Richa, E Borde, L Pautet
International Conference on Theory and Practice of Model Transformations …, 2015
Really hard time developing hard real time
E Borde, G Haik, V Watine, L Pautet
2nd National workshop on Control Architecture of Robots, 2007
An automated approach for architectural model transformations
G Loniewsli, E Borde, D Blouin, E Insfran
Information System Development, 295-306, 2014
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
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
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
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
Composable mode switch for component-based systems
Y Hang, E Borde, H Hansson
APRES 11, 19-22, 2011
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, 53-79, 2017
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
Automatic selection and composition of model transformations alternatives using evolutionary algorithms
S Rahmoun, E Borde, L Pautet
Proceedings of the 2015 European Conference on Software Architecture …, 2015
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
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation.
E Richa, E Borde, L Pautet, M Bordin, JF Ruiz
AMT@ MoDELS, 34-43, 2014
Model driven code generation for critical and adaptative embedded systems
E Borde, PH Feiler, G Haïk, L Pautet
ACM SIGBED Review 6 (3), 1-5, 2009
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20