Tullio Vardanega
Tullio Vardanega
University of Padua, Department of Mathematics
Dirección de correo verificada de unipd.it - Página principal
TítuloCitado porAño
Guide for the use of the Ada Ravenscar Profile in high integrity systems
A Burns, B Dobbing, T Vardanega
REPORT-UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE YCS, 2003
2392003
Measurement-based probabilistic timing analysis for multi-path programs
L Cucu-Grosjean, L Santinelli, M Houston, C Lo, T Vardanega, L Kosmidis, ...
2012 24th euromicro conference on real-time systems, 91-101, 2012
2302012
Proartis: Probabilistically analyzable real-time systems
FJ Cazorla, E Quiñones, T Vardanega, L Cucu, B Triquet, G Bernat, ...
ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 94, 2013
1642013
Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study
F Wartel, L Kosmidis, C Lo, B Triquet, E Quinones, J Abella, A Gogonel, ...
2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES …, 2013
752013
WCET analysis methods: Pitfalls and challenges on their trustworthiness
J Abella, C Hernandez, E Quiñones, FJ Cazorla, PR Conmy, ...
10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-10, 2015
682015
Upper-bounding program execution time with extreme value theory
FJ Cazorla, T Vardanega, E Quiñones, J Abella
13th International Workshop on Worst-Case Execution Time Analysis, 2013
652013
Code Lo, Tullio Vardanega, Leonidas Kosmidis, Jaume Abella, Enrico Mezzetti, Eduardo Quinones, Francisco J. Cazorla, Measurement-Based Probabilistic Timing Analysis for Multi …
L Cucu-Grosjean, L Santinelli, M Houston
Proceedings of the 2012 24th Euromicro Conference on Real-Time Systems, 91-101, 2012
492012
CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems
A Cicchetti, F Ciccozzi, S Mazzini, S Puri, M Panunzio, A Zovi, ...
Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
472012
Measurement-based probabilistic timing analysis and its impact on processor architecture
L Kosmidis, E Quiñones, J Abella, T Vardanega, I Broster, FJ Cazorla
2014 17th Euromicro Conference on Digital System Design, 401-410, 2014
462014
Heart of gold: Making the improbable happen to Increase Confidence in MBPTA
J Abella, E Quinones, F Wartel, T Vardanega, FJ Cazorla
Real-Time Systems (ECRTS), 2014 26th Euromicro Conference on, 255-265, 2014
46*2014
Timing analysis of an avionics case study on complex hardware/software platforms
F Wartel, L Kosmidis, A Gogonel, A Baldovin, Z Stephenson, B Triquet, ...
Proceedings of the 2015 Design, Automation & Test in Europe Conference …, 2015
452015
On the industrial fitness of wcet analysis
E Mezzetti, T Vardanega
na, 2011
442011
Correctness by construction for high-integrity real-time systems: a metamodel-driven approach
M Bordin, T Vardanega
International Conference on Reliable Software Technologies, 114-127, 2007
442007
Automated model-based generation of ravenscar-compliant source code
M Bordin, T Vardanega
17th Euromicro Conference on Real-Time Systems (ECRTS'05), 59-67, 2005
442005
The HiPEAC Vision 2019
M Duranton, K De Bosschere, B Coppens, C Gamrat, M Gray, H Munk, ...
422019
Toward correctness in the specification and handling of non-functional attributes of high-integrity real-time embedded systems
D Cancila, R Passerone, T Vardanega, M Panunzio
IEEE Transactions on Industrial Informatics 6 (2), 181-194, 2010
402010
Session summary: Tasking profiles
T Baker, T Vardanega
Ada Letters 17 (5), 5-7, 1997
381997
Contention in multicore hardware shared resources: Understanding of the state of the art
G Fernandez, J Abella, E Quiñones, C Rochange, T Vardanega, ...
14th International Workshop on Worst-Case Execution Time Analysis, 2014
372014
Development of on-board embedded real-time systems: An engineering approach
T Vardanega
341998
On the dynamic semantics and the timing behavior of Ravenscar kernels
T Vardanega, J Zamorano, JA De La Puente
Real-Time Systems 29 (1), 59-89, 2005
322005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20