Følg
Tullio Vardanega
Tullio Vardanega
University of Padua, Department of Mathematics
Verifisert e-postadresse på unipd.it - Startside
Tittel
Sitert av
Sitert av
År
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
3072012
Guide for the use of the Ada Ravenscar Profile in high integrity systems
A Burns, B Dobbing, T Vardanega
ACM SIGAda Ada Letters 24 (2), 1-74, 2004
2652004
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), 1-26, 2013
1952013
WCET analysis methods: Pitfalls and challenges on their trustworthiness
J Abella, C Hernández, E Quiñones, FJ Cazorla, PR Conmy, ...
10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-10, 2015
1262015
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
1012013
The scalability challenge of ethereum: An initial quantitative analysis
M Bez, G Fornari, T Vardanega
2019 IEEE International Conference on Service-Oriented System Engineering …, 2019
922019
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
832013
The effects of coding on children's planning and inhibition skills
B Arfé, T Vardanega, L Ronconi
Computers & Education 148, 103807, 2020
772020
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
772012
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
67*2014
Probabilistic worst-case timing analysis: Taxonomy and comprehensive survey
FJ Cazorla, L Kosmidis, E Mezzetti, C Hernandez, J Abella, T Vardanega
ACM Computing Surveys (CSUR) 52 (1), 1-35, 2019
662019
The HiPEAC Vision 2019
M Duranton, K De Bosschere, B Coppens, C Gamrat, M Gray, H Munk, ...
HiPEAC CSA, 2019
592019
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
582014
Contention in multicore hardware shared resources: Understanding of the state of the art
G Fernandez, J Abella Ferrer, E Quiñones, C Rochange, T Vardanega, ...
14th International Workshop on Worst-Case Execution Time Analysis: WCET 2014 …, 2014
582014
Timing analysis of an avionics case study on complex hardware/software platforms
F Wartel, L Kosmidis, A Gogonel, A Baldovino, Z Stephenson, B Triquet, ...
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 397-402, 2015
562015
A component-based process with separation of concerns for the development of embedded real-time software systems
M Panunzio, T Vardanega
Journal of Systems and Software 96, 105-121, 2014
552014
On the industrial fitness of wcet analysis
E Mezzetti, T Vardanega
na, 2011
542011
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
502005
Coding in primary grades boosts children’s executive functions
B Arfé, T Vardanega, C Montuori, M Lavanga
Frontiers in psychology 10, 2713, 2019
472019
Correctness by construction for high-integrity real-time systems: A metamodel-driven approach
M Bordin, T Vardanega
Reliable Software Technologies–Ada Europe 2007: 12th Ada-Europe …, 2007
462007
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20