BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Borde:Etienne

Facilitated 1 volumes:

CBSE 2014PrCo

Contributed to:

AMT 20142014
Ada-Europe 20142014
DATE 20122012
CBSE 20112011
WICSA 20112011
DATE 20092009
ICMT 20152015
Ada-Europe 20172017

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.