| 2008 |
|---|
| 24 | | Fabrice Kordon,
Tullio Vardanega:
Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Springer 2008 |
| 23 | EE | Matteo Bordin,
Marco Panunzio,
Tullio Vardanega:
Fitting Schedulability Analysis Theory into Model-Driven Engineering.
ECRTS 2008: 135-144 |
| 2007 |
|---|
| 22 | EE | Matteo Bordin,
Tullio Vardanega:
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.
Ada-Europe 2007: 114-127 |
| 21 | EE | Marco Panunzio,
Tullio Vardanega:
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis.
Ada-Europe 2007: 128-141 |
| 20 | EE | Matteo Bordin,
Tullio Vardanega:
Real-time Java from an automated code generation perspective.
JTRES 2007: 63-72 |
| 19 | EE | Marco Panunzio,
Tullio Vardanega:
An Approach to the Timing Analysis of Hierarchical Systems.
RTCSA 2007: 157-164 |
| 2006 |
|---|
| 18 | EE | José Antonio Pulido,
Santiago Urueña,
Juan Zamorano,
Tullio Vardanega,
Juan Antonio de la Puente:
Hierarchical Scheduling with Ada 2005.
Ada-Europe 2006: 1-12 |
| 17 | EE | Tullio Vardanega:
Property-Preserving Reuse-Geared Approach to Model-Driven Development.
RTCSA 2006: 223-232 |
| 2005 |
|---|
| 16 | | Tullio Vardanega,
Andy J. Wellings:
Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
Springer 2005 |
| 15 | EE | Matteo Bordin,
Tullio Vardanega:
A New Strategy for the HRT-HOOD to Ada Mapping.
Ada-Europe 2005: 51-66 |
| 14 | EE | Matteo Bordin,
Tullio Vardanega:
Automated Model-Based Generation of Ravenscar-Compliant Source Code.
ECRTS 2005: 59-67 |
| 13 | EE | Tullio Vardanega,
Juan Zamorano,
Juan Antonio de la Puente:
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.
Real-Time Systems 29(1): 59-89 (2005) |
| 2004 |
|---|
| 12 | EE | Tullio Vardanega,
Marco Di Natale,
Silvia Mazzini,
Massimo D'Alessandro:
Component-Based Real-Time Design: Mapping HRT-HOOD to UML.
EUROMICRO 2004: 6-13 |
| 2003 |
|---|
| 11 | EE | Silvia Mazzini,
Massimo D'Alessandro,
Marco Di Natale,
Andrea Domenici,
Giuseppe Lipari,
Tullio Vardanega:
HRT-UML: Taking HRT-HOOD onto UML.
Ada-Europe 2003: 405-416 |
| 10 | EE | Silvia Mazzini,
Massimo D'Alessandro,
Marco Di Natale,
Giuseppe Lipari,
Tullio Vardanega:
Issues in Mapping HRT-HOOD to UML.
ECRTS 2003: 221-228 |
| 2002 |
|---|
| 9 | EE | Alejandro Alonso,
Roberto López,
Tullio Vardanega,
Juan Antonio de la Puente:
Using Object Orientation in High Integrity Applications: A Case Study.
Ada-Europe 2002: 357-366 |
| 8 | | Tullio Vardanega,
Gert Caspersen:
Engineering software reuse for on-board embedded real-time systems.
Softw., Pract. Exper. 32(3): 233-264 (2002) |
| 2001 |
|---|
| 7 | EE | Tullio Vardanega,
Rodrigo García,
Juan Antonio de la Puente:
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.
Ada-Europe 2001: 392-404 |
| 1999 |
|---|
| 6 | EE | Tullio Vardanega,
Gert Caspersen,
Jan Storbank Pedersen:
A Case Study in the Reuse of On-board Embedded Real-Time Software.
Ada-Europe 1999: 425-436 |
| 5 | | Tullio Vardanega,
Jan van Katwijk:
A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems.
Softw., Pract. Exper. 29(3): 235-266 (1999) |
| 1998 |
|---|
| 4 | EE | Tullio Vardanega,
Jan van Katwijk:
Productive engineering of predictable embedded real-time systems: the road to maturity.
Information & Software Technology 40(13): 745-764 (1998) |
| 1996 |
|---|
| 3 | EE | Tullio Vardanega:
Tool support for the construction of statically analysable hard real-time Ada systems.
IEEE Real-Time Systems Symposium 1996: 129-135 |
| 1995 |
|---|
| 2 | | Tullio Vardanega,
P. David,
J.-F. Chane,
W. Mader,
R. Messaros,
Jean Arlat:
On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection.
FTCS 1995: 510-515 |
| 1994 |
|---|
| 1 | EE | Tullio Vardanega:
Experience with the Development of Hard Real-Time Embedded Ada Software.
ICSE 1994: 301-308 |
