| 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 | 330 | 2012 |
| 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 | 271 | 2004 |
| 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 | 204 | 2013 |
| 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 | 166 | 2019 |
| 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 | 157 | 2015 |
| The effects of coding on children's planning and inhibition skills B Arfé, T Vardanega, L Ronconi Computers & Education 148, 103807, 2020 | 144 | 2020 |
| 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 | 105 | 2013 |
| 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 | 92 | 2019 |
| Coding in primary grades boosts children’s executive functions B Arfé, T Vardanega, C Montuori, M Lavanga Frontiers in psychology 10, 2713, 2019 | 89 | 2019 |
| 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), 2013 | 89 | 2013 |
| 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 | 85 | 2012 |
| 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 | 69* | 2014 |
| 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 (WCET 2014 …, 2014 | 65 | 2014 |
| The HiPEAC Vision 2019 M Duranton, K De Bosschere, B Coppens, C Gamrat, M Gray, H Munk, ... HiPEAC CSA, 2019 | 63 | 2019 |
| 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 | 63 | 2015 |
| 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 | 62 | 2014 |
| 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 | 60 | 2014 |
| On the industrial fitness of wcet analysis E Mezzetti, T Vardanega na, 2011 | 59 | 2011 |
| Fitting processor architectures for measurement-based probabilistic timing analysis L Kosmidis, E Quiñones, J Abella, T Vardanega, C Hernandez, ... Microprocessors and Microsystems 47, 287-302, 2016 | 50 | 2016 |
| 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 | 50 | 2005 |
Francisco J CazorlaBSCZweryfikowany adres z bsc.es
