| 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 |
| 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 | 46 | 2007 |
| Fitting schedulability analysis theory into model-driven engineering M Bordin, M Panunzio, T Vardanega 2008 Euromicro Conference on Real-Time Systems, 135-144, 2008 | 32 | 2008 |
| Object and source coverage for critical applications with the C OUVERTURE open analysis framework M Bordin, C Comar, T Gingold, J Guitton, O Hainque, T Quinot ERTS2 2010, Embedded Real Time Software & Systems, 2010 | 27 | 2010 |
| Real-time Java from an automated code generation perspective M Bordin, T Vardanega Proceedings of the 5th international workshop on Java technologies for real …, 2007 | 20 | 2007 |
| Couverture: an innovative open framework for coverage analysis of safety critical applications M Bordin, C Comar, T Gingold, J Guitton, O Hainque, T Quinot, J Delange, ... Ada User Journal 30 (4), 248-255, 2009 | 19 | 2009 |
| Ada 2005 code patterns for metamodel-based code generation JA Pulido, JA de la Puente, J Hugues, M Bordin, T Vardanega ACM SIGAda Ada Letters 27 (2), 53-58, 2007 | 18 | 2007 |
| Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation. E Richa, E Borde, L Pautet, M Bordin, JF Ruiz AMT@ MoDELS, 34-43, 2014 | 9 | 2014 |
| A Domain-specific Metamodel for Reusable Object-Oriented High-Integrity Components M Bordin, T Vardanega OOPSLA DSM 2007, 2007 | 7 | 2007 |
| A new strategy for the HRT-HOOD to ada mapping M Bordin, T Vardanega International Conference on Reliable Software Technologies, 51-66, 2005 | 7 | 2005 |
| Compilation of heterogeneous models: Motivations and challenges M Bordin, T Naks, A Toom, M Pantel Embedded Real Time Software and Systems (ERTS2012), 2012 | 6 | 2012 |
| Compiling heterogeneous models: motivations and challenges M Bordin, T Naks, M Pantel, A Toom Proceedings—embedded real time software and systems, Tolouse, France, 2012 | 5 | 2012 |
| ns-o-ran: Simulating o-ran 5g systems in ns-3 A Lacava, M Bordin, M Polese, R Sivaraj, T Zugno, F Cuomo, T Melodia Proceedings of the 2023 Workshop on ns-3, 35-44, 2023 | 4 | 2023 |
| A modeling and code generation framework for critical embedded systems design: From Simulink down to VHDL and Ada/C code M Lanoe, M Bordin, D Heller, P Coussy, C Chavet 2014 21st IEEE International Conference on Electronics, Circuits and Systems …, 2014 | 4 | 2014 |
| System to software integrity: A case study M Bordin, C Comar, E Falis, F Gasperoni, Y Moy, E Richa, J Hugues Embedded Real Time Software and Systems (ERTS2014), 2014 | 4 | 2014 |
| Towards verifying model compilers M Bordin, F Gasperoni ERTS2 2010, Embedded Real Time Software & Systems, 2010 | 3 | 2010 |
| Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems M Bordin, T Tsiodras, M Perrotin Reliable Software Technologies–Ada-Europe 2008: 13th Ada-Europe …, 2008 | 3 | 2008 |
| Autonomous Driving From the Sky: Design and End-to-End Performance Evaluation M Bordin, M Giordani, M Polese, T Melodia, M Zorzi 2022 IEEE Globecom Workshops (GC Wkshps), 1610-1615, 2022 | 1 | 2022 |
| Towards a lean tool qualification process: Digital avionics systems conference T Taft, M Bordin 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 1-40, 2014 | 1 | 2014 |
| Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains E Richa, E Borde, L Pautet, M Bordin, J Riuz MODELS workshop on Analysis of Model Transformations, 34-43, 2014 | 1 | 2014 |
