Tullio Vardanega

Andrea Baldovin, Andrea Graziano, Enrico Mezzetti, Tullio Vardanega: Kernel-level time composability for avionics applications. SAC 2013: 1552-1554

Marco Panunzio, Tullio Vardanega: Ada Ravenscar Code Archetypes for Component-Based Development. Ada-Europe 2012: 1-17

Patricia López Martínez, Tullio Vardanega: Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development. Ada-Europe 2012: 89-104

Patricia López Martínez, Tullio Vardanega: An MDE approach to address synchronization needs in component-based real-time systems. CBSE 2012: 125-134

Claudio Guidi, Paolo Anedda, Tullio Vardanega: Towards a New Paas Architecture Generation. CLOSER 2012: 279-282

Liliana Cucu-Grosjean, Luca Santinelli, Michael Houston, Code Lo, Tullio Vardanega, Leonidas Kosmidis, Jaume Abella, Enrico Mezzetti, Eduardo Quiñones, Francisco J. Cazorla: Measurement-Based Probabilistic Timing Analysis for Multi-path Programs. ECRTS 2012: 91-101

Claudio Guidi, Paolo Anedda, Tullio Vardanega: PaaSSOA: An Open PaaS Architecture for Service Oriented Applications. ESOCC 2012: 208-209

Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, Tullio Vardanega: CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems. ASE 2012: 362-365

Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega: A Time-composable Operating System. WCET 2012: 69-80

Tullio Vardanega (Ed.): 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, July 10, 2012, Pisa, Italy. OASICS 23, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, isbn 978-3-939897-41-5

Marco Panunzio, Tullio Vardanega: Pitfalls and misconceptions in component-oriented approaches for real-time embedded systems: lessons learned and solutions. SIGBED Review 8(1): 6-13 (2011)

Giovanni Giacobbi, Tullio Vardanega: Measuring I/O Performance in Xen Paravirtualization Virtual Machines. CLOSER 2011: 656-662

Alexander Romanovsky, Tullio Vardanega (Eds.): Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6652, Springer 2011, isbn 978-3-642-21337-3

Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio: Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems. IEEE Trans. Industrial Informatics 6(2): 181-194 (2010)

Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega: Cache-Aware Development of High-Integrity Systems. Ada-Europe 2010: 139-152

Enrico Mezzetti, Marco Panunzio, Tullio Vardanega: Preservation of Timing Properties with the Ada Ravenscar Profile. Ada-Europe 2010: 153-166

Marco Panunzio, Tullio Vardanega: A Component Model for On-board Software Applications. EUROMICRO-SEAA 2010: 57-64

Enrico Mezzetti, Tullio Vardanega: Towards a Cache-Aware Development of High Integrity Real-Time Systems. RTCSA 2010: 329-338

Enrico Mezzetti, Marco Panunzio, Tullio Vardanega: Bounding the Effects of Resource Access Protocols on Cache Behavior. WCET 2010: 11-22

Alessandro Maccagnan, Tullio Vardanega, Erika Feltrin, Giorgio Valle, Mauro Riva, Nicola Cannata: A Multi-Agent System for the Automated Handling of Experimental Protocols in Biological Laboratories. WOA 2010

Jorge Real, Tullio Vardanega (Eds.): Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings. Lecture Notes in Computer Science 6106, Springer 2010, isbn 978-3-642-13549-1

Alessandro Zovi, Tullio Vardanega: Requirements on the Target Programming Language for High-Integrity MDE. Ada-Europe 2009: 1-15

Silvia Mazzini, Stefano Puri, Tullio Vardanega: An MDE methodology for the development of high-integrity real-time systems. DATE 2009: 1154-1159

Tullio Vardanega: Property Preservation and Composition with Guarantees: From ASSERT to CHESS. ISORC 2009: 125-132

Marco Panunzio, Tullio Vardanega: On Component-Based Development and High-Integrity Real-Time Systems. RTCSA 2009: 79-84

Matteo Bordin, Marco Panunzio, Tullio Vardanega: Fitting Schedulability Analysis Theory into Model-Driven Engineering. ECRTS 2008: 135-144

Fabrice Kordon, Tullio Vardanega (Eds.): Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings. Lecture Notes in Computer Science 5026, Springer 2008, isbn 978-3-540-68621-7

Matteo Bordin, Tullio Vardanega: Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. Ada-Europe 2007: 114-127

Marco Panunzio, Tullio Vardanega: A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis. Ada-Europe 2007: 128-141

Matteo Bordin, Tullio Vardanega: Real-time Java from an automated code generation perspective. JTRES 2007: 63-72

Marco Panunzio, Tullio Vardanega: An Approach to the Timing Analysis of Hierarchical Systems. RTCSA 2007: 157-164

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

Vaclav Cechticky, M. Egli, Alessandro Pasetti, O. Rohlik, Tullio Vardanega: A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications. ICSR 2006: 312-325

Tullio Vardanega: Property-Preserving Reuse-Geared Approach to Model-Driven Development. RTCSA 2006: 223-232

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)

Matteo Bordin, Tullio Vardanega: A New Strategy for the HRT-HOOD to Ada Mapping. Ada-Europe 2005: 51-66

Matteo Bordin, Tullio Vardanega: Automated Model-Based Generation of Ravenscar-Compliant Source Code. ECRTS 2005: 59-67

Tullio Vardanega, Andy J. Wellings (Eds.): Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings. Lecture Notes in Computer Science 3555, Springer 2005, isbn 3-540-26286-5

Tullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro: Component-Based Real-Time Design: Mapping HRT-HOOD to UML. EUROMICRO 2004: 6-13

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

Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega: Issues in Mapping HRT-HOOD to UML. ECRTS 2003: 221-228

Tullio Vardanega, Gert Caspersen: Engineering software reuse for on-board embedded real-time systems. Softw., Pract. Exper. 32(3): 233-264 (2002)

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

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

Tullio Vardanega: On the Distribution of Control Functions in New-Generation On-Board Embedded Real-Time Systems. Scalable Computing: Practice and Experience 2(1) (1999)

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)

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

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)

Tullio Vardanega: Tool support for the construction of statically analysable hard real-time Ada systems. RTSS 1996: 129-135

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

Tullio Vardanega: Experience with the Development of Hard Real-Time Embedded Ada Software. ICSE 1994: 301-308

Tullio Vardanega: An operating system suited for integrated broadband communications networks. LCN 1991: 429-441