Travelled to:1 × Spain
1 × Switzerland
1 × United Kingdom
2 × Italy
Collaborated with:T.Vardanega M.Panunzio S.Puri T.Tsiodras M.Perrotin E.Richa E.Borde L.Pautet J.F.Ruiz
Talks about:integr (4) model (4) system (3) driven (3) high (3) transform (2) construct (2) time (2) real (2) precondit (1)
Person: Matteo Bordin
DBLP: Bordin:Matteo
Contributed to:
2014
2008
200820072005Wrote 5 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.
- ASE-2008-BordinPP #agile #modelling #prototype #realtime #verification
- Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems (MB, MP, SP), pp. 491–492.
- AdaEurope-2008-BordinTP #experience #integration #modelling
- Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems (MB, TT, MP), pp. 171–184.
- AdaEurope-2007-BordinV #approach #correctness #metamodelling #realtime
- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach (MB, TV), pp. 114–127.
- AdaEurope-2005-BordinV #ada
- A New Strategy for the HRT-HOOD to Ada Mapping (MB, TV), pp. 51–66.