Search the dblp DataBase

Publications of Author

1. Matteo Bordin, Tullio Vardanega
   A New Strategy for the HRT-HOOD to Ada Mapping. [Citation Graph (0, 0)][DBLP]
   Ada-Europe, 2005, pp:51-66 [Conf]
   
2. Matteo Bordin, Tullio Vardanega
   Automated Model-Based Generation of Ravenscar-Compliant Source Code. [Citation Graph (0, 0)][DBLP]
   ECRTS, 2005, pp:59-67 [Conf]
   
3. Matteo Bordin, Tullio Vardanega
   Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. [Citation Graph (0, 0)][DBLP]
   Ada-Europe, 2007, pp:114-127 [Conf]
   
4. 
   Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems. [Citation Graph (, )][DBLP]
   
   
5. 
   Fitting Schedulability Analysis Theory into Model-Driven Engineering. [Citation Graph (, )][DBLP]
   
   
6. 
   Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Real-time Java from an automated code generation perspective. [Citation Graph (, )][DBLP]