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 | 60 | 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 | 37 | 2012 |
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 | 28 | 2018 |
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 | 28 | 2014 |
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 | 23 | 2011 |
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 | 22 | 2018 |
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 | 21 | 2011 |
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 | 19 | 2020 |
Directed acyclic graph scheduling for mixed-criticality systems R Medina, E Borde, L Pautet Reliable Software Technologies–Ada-Europe 2017: 22nd Ada-Europe …, 2017 | 15 | 2017 |
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 | 15 | 2013 |
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 | 15 | 2013 |
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 | 15 | 2007 |
An automated approach for architectural model transformations G Loniewsli, E Borde, D Blouin, E Insfran Information System Development: Improving Enterprise Communication, 295-306, 2014 | 13 | 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 | 13 | 2011 |
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 | 12 | 2019 |
Translating ATL model transformations to algebraic graph transformations E Richa, E Borde, L Pautet Theory and Practice of Model Transformations: 8th International Conference …, 2015 | 12 | 2015 |
Composable mode switch for component-based systems Y Hang, E Borde, H Hansson APRES 11, 19-22, 2011 | 12 | 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 …, 2017 | 11 | 2017 |
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 | 11 | 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 | 11 | 2014 |