Follow
Matteo Bordin
Matteo Bordin
Unknown affiliation
Verified email at oysterhr.com
Title
Cited by
Cited by
Year
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
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
Fitting schedulability analysis theory into model-driven engineering
M Bordin, M Panunzio, T Vardanega
2008 Euromicro Conference on Real-Time Systems, 135-144, 2008
322008
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
272010
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
192009
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
182007
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
182007
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
92023
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
72014
A Domain-specific Metamodel for Reusable Object-Oriented High-Integrity Components
M Bordin, T Vardanega
OOPSLA DSM 2007, 2007
72007
A new strategy for the HRT-HOOD to ada mapping
M Bordin, T Vardanega
International Conference on Reliable Software Technologies, 51-66, 2005
72005
Compilation of heterogeneous models: Motivations and challenges
M Bordin, T Naks, A Toom, M Pantel
Embedded Real Time Software and Systems (ERTS2012), 2012
62012
Compiling heterogeneous models: motivations and challenges
M Bordin, T Naks, M Pantel, A Toom
Proceedings—embedded real time software and systems, Tolouse, France, 2012
52012
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
42014
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
42014
Towards verifying model compilers
M Bordin, F Gasperoni
ERTS2 2010, Embedded Real Time Software & Systems, 2010
32010
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
32008
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
22014
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
12022
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
12014
The system can't perform the operation now. Try again later.
Articles 1–20