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 | 103 | 2013 |
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 | 61 | 2015 |
A time-composable operating system A Baldovin, E Mezzetti, T Vardanega 12th International Workshop on Worst-Case Execution Time Analysis, 2012 | 31 | 2012 |
AI and reliability trends in safety-critical autonomous systems on ground and air J Athavale, A Baldovin, R Graefe, M Paulitsch, R Rosales 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems …, 2020 | 24 | 2020 |
Trends and functional safety certification strategies for advanced railway automation systems J Athavale, A Baldovin, M Paulitsch 2020 IEEE International Reliability Physics Symposium (IRPS), 1-7, 2020 | 12 | 2020 |
The concerto methodology for model-based development of avionics software A Baldovin, A Zovi, G Nelissen, S Puri Reliable Software Technologies–Ada-Europe 2015: 20th Ada-Europe …, 2015 | 9 | 2015 |
Chip-level considerations to enable dependability for eVTOL and Urban Air Mobility systems J Athavale, A Baldovin, S Mo, M Paulitsch 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-6, 2020 | 8 | 2020 |
Limited preemptive scheduling of non-independent task sets A Baldovin, E Mezzetti, T Vardanega 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 7 | 2013 |
A software-only approach to enable diverse redundancy on Intel GPUs for safety-related kernels N Andriotis, A Serrano-Cases, S Alcaide, J Abella, FJ Cazorla, Y Peng, ... Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 451-460, 2023 | 4 | 2023 |
Hpc hardware design reliability benchmarking with hdfit P Omland, A Netti, Y Peng, A Baldovin, M Paulitsch, G Espinosa, J Parra, ... IEEE Transactions on Parallel and Distributed Systems 34 (3), 995-1006, 2023 | 4 | 2023 |
Kernel-level time composability for avionics applications A Baldovin, A Graziano, E Mezzetti, T Vardanega Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1552-1554, 2013 | 4 | 2013 |
Towards a time-composable operating system A Baldovin, E Mezzetti, T Vardanega Reliable Software Technologies–Ada-Europe 2013: 18th Ada-Europe …, 2013 | 4 | 2013 |
SPRINT: Extending RUN to schedule sporadic tasks A Baldovin, G Nelissen, T Vardanega, E Tovar Proceedings of the 22nd International Conference on Real-Time Networks and …, 2014 | 3 | 2014 |
Deployment of autonomous vehicles F Geissler, R Rosales, NK Cihangir, R Graefe, S Qutub, A Baldovin, ... US Patent App. 17/129,770, 2021 | 1 | 2021 |
The power of dense silicon: trending features and support at chip-level enabling new levels of integration and dependability for avionics systems J Athavale, A Baldovin, M Paulitsch 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-9, 2019 | 1 | 2019 |
The CONCERTO methodology for model-based development of avionics SW A Baldovin, A Zovi, G Nelissen, S Puri | | 2015 |
Modelling Avionics Applications with CONCERTO A Baldovin, A Zovi, E Tovar, G Nelissen, T Vardanega | | 2014 |
Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems A Baldovin alma, 2014 | | 2014 |
Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES) W Franck, K Leonidas, L Code, T Benoit, Q Eduardo, A Jaume, G Adriana, ... 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES …, 2013 | | 2013 |
12th International Workshop on Worst-Case Execution Time Analysis T Vardanega | | 2012 |