Page Contents




Affiliation

Matteo Bordin
Department of Pure and Applied Mathematics, University of Padua
via Belzoni 7
35100 Padova
Italy
mbordin AT studenti.math.unipd.it
META research group

Pubblications

Master Thesis

M. Bordin: “Correctness by Construction and Separation of Concerns in the Development of High-Integrity Real-Time Systems: a Metamodel-driven approach". The thesis can be downloaded here.

Bachelor Thesis

M. Bordin: “Design di sistemi hard real-time e generazione automatica di codice: HRT-UML e Ada Ravenscar". The thesis can be downloaded here.

Journal articles

  1. J. Pulido, J. de la Puente, M. Bordin, T. Vardanega, and J. Hugues, "Ada 2005 Code Patterns for Metamodel-Based Code Generation" Ada Letters vol. XXVII

International conferences

  1. M. Bordin, M. Panunzio, T. Vardanega, "Fitting Timing Analysis into Model-driven Engineering", In: Proc. 20th Euromicro Conference on Real-Time Systems, July 2008, IEEE

  2. M. Bordin, T. Tsiodras, M. Perrotin, "Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems" 13th Conference on Reliable Software Technologies - Ada Europe 2008, Springer, June 2008.

  3. M. Bordin, T. Vardanega, "A Domain-specific Metamodel for Reusable, Object-Oriented, High-Integrity Components" OOPSLA DSM 07, Montreal, ACM.

  4. M. Bordin, T. Vardanega, "Real-Time Java from an automated Code Generation Perspective" 5th International Workshop on Java Technologies for Real-Time Embedded Systems (JTRES 07), ACM (ISBN: 978-59593-813-8).

  5. M. Bordin, T. Vardanega, "Correctness by Construction for High-Integrity Real-Time Systems: a Metamodel-driven Approach" 12th Conference on Reliable Software Technologies - Ada Europe 2007, Springer, June 2007. Winner of the "Best Paper" Award.

  6. M. Bordin, T. Vardanega, "Automated Model-based Generation of Ravenscar-compliant Source Code", In: Proc. 17th Euromicro Conference on Real-Time Systems, July 2005, IEEE 69.77, July 2005 (ISBN: 0-7695-2400-1, ISSN:1068-3070).

  7. M. Bordin, T. Vardanega, "A New Strategy for the HRT-HOOD to Ada Mapping", In: Reliable Software Technologies. Ada Europe 2005, Springer. LNCS(3555):51.66, June 2005

Short papers

  1. M. Bordin, M.Panunzio, S. Puri "Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems"" International Conference on Automated Software Engineering (ASE 2008) - Demonstration section

  2. M. Bordin, M. Panunzio, T. Vardanega "A Metamodel-driven Process for the Development of Statically Verifiable Real-TIme Systems"19th Euromicro Conference on Real-Time Systems, July 2007, Work in Progress Session

  3. M. Bordin, M. Panunzio, R. Rohlick "An Integrated Metamodel-driven process focusing on Reuse and Correctness" Workshop on Model and Analysis Methods for Automotive Systems, held in conjunction with the 27th IEEE Real-Time Systems Symposium, Rio de Janeiro, Brazil, December 5, 2006.

2006 Matteo Bordin (c)