 | 2008 |
|---|
| 7 |       | Matteo Bordin,
Marco Panunzio,
Stefano Puri:
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems.
ASE 2008: 491-492 |
| 6 | | Matteo Bordin,
Thanassis Tsiodras,
Maxime Perrotin:
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems.
Ada-Europe 2008: 171-184 |
| 5 | | Matteo Bordin,
Marco Panunzio,
Tullio Vardanega:
Fitting Schedulability Analysis Theory into Model-Driven Engineering.
ECRTS 2008: 135-144 |
| 2007 |
|---|
| 4 | | Matteo Bordin,
Tullio Vardanega:
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.
Ada-Europe 2007: 114-127 |
| 3 | | Matteo Bordin,
Tullio Vardanega:
Real-time Java from an automated code generation perspective.
JTRES 2007: 63-72 |
| 2005 |
|---|
| 2 | | Matteo Bordin,
Tullio Vardanega:
A New Strategy for the HRT-HOOD to Ada Mapping.
Ada-Europe 2005: 51-66 |
| 1 | | Matteo Bordin,
Tullio Vardanega:
Automated Model-Based Generation of Ravenscar-Compliant Source Code.
ECRTS 2005: 59-67 |
