Travelled to:
1 × Germany
1 × Italy
1 × Spain
2 × France
2 × USA
Collaborated with:
L.Pautet J.Carlson E.Richa G.Haïk Roberto Medina 0001 A.Jaouën T.Robert M.Bordin J.F.Ruiz M.Lafaye M.Gatti D.Faura J.Feljan L.Lednicki T.Leveque J.Maras A.Petricic S.Sentilles
Talks about:
system (5) transform (4) model (4) critic (3) compon (3) graph (3) embed (3) algebra (2) toward (2) time (2)
Person: Etienne Borde
DBLP: Borde:Etienne
Facilitated 1 volumes:
Contributed to:
Wrote 8 papers:
- AMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using
- Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
- AdaEurope-2014-JaouenBPR #protocol
- PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems (AJ, EB, LP, TR), pp. 149–165.
- DATE-2012-LafayePBGF #embedded #modelling #resource management #simulation
- Model driven resource usage simulation for critical embedded systems (ML, LP, EB, MG, DF), pp. 312–315.
- CBSE-2011-BordeC #component #embedded #realtime #synthesis #towards
- Towards verified synthesis of ProCom, a component model for real-time embedded systems (EB, JC), pp. 129–138.
- WICSA-2011-BordeCFLLMPS #component #development #distributed #embedded #named #realtime
- PRIDE — An Environment for Component-Based Development of Distributed Real-Time Embedded Systems (EB, JC, JF, LL, TL, JM, AP, SS), pp. 351–354.
- DATE-2009-BordeHP #architecture #component #configuration management
- Mode-based reconfiguration of critical software component architectures (EB, GH, LP), pp. 1160–1165.
- ICMT-2015-RichaBP #algebra #atl #graph transformation #model transformation
- Translating ATL Model Transformations to Algebraic Graph Transformations (ER, EB, LP), pp. 183–198.
- AdaEurope-2017-MedinaBP #graph #scheduling
- Directed Acyclic Graph Scheduling for Mixed-Criticality Systems (RM0, EB, LP), pp. 217–232.