| 2023 | ECRTS | Bounding the Data-Delivery Latency of DDS Messages in Real-Time Applications. | Gerlando Sciangula, Daniel Casini, Alessandro Biondi, Claudio Scordino, Marco Di Natale |
| 2023 | RTNS | Task and Memory Mapping of Large Size Embedded Applications over NUMA architecture✱. | Alessandro Druetto, Enrico Bini, Andrea Grosso, Stefano Puri, Silvio Bacci, Marco Di Natale, Francesco Paladino |
| 2023 | TACAS | EVA: a Tool for the Compositional Verification of AUTOSAR Models. | Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau |
| 2022 | MODELS | A comprehensive framework for the analysis of automotive systems. | Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta |
| 2021 | DAC | Optimal Memory Allocation and Scheduling for DMA Data Transfers under the LET Paradigm. | Paolo Pazzaglia, Daniel Casini, Alessandro Biondi, Marco Di Natale |
| 2020 | DAC | Predictable Memory-CPU Co-Scheduling with Support for Latency-Sensitive Tasks. | Daniel Casini, Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo |
| 2019 | DATE | Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems. | Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale |
| 2019 | RTSS | Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time. | Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale |
| 2018 | ECRTS | Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses. | Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, Marco Di Natale |
| 2018 | SAC | Assessing the pessimism of current multicore global fixed-priority schedulability analysis. | Youcheng Sun, Marco Di Natale |
| 2018 | RTAS | Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm. | Alessandro Biondi, Marco Di Natale |
| 2017 | COMPSAC | Using MDA to Automate the Integration of Virtual Platforms for System-Level Simulation. | David Perillo, Marco Di Natale |
| 2017 | ICISSP | Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. | Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri |
| 2017 | SAC | Modeling and generation of secure component communications in AUTOSAR. | Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano |
| 2017 | SAFECOMP | Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach. | Pasquale Antonante, Juan Valverde-Alcal, Stylianos Basagiannis, Marco Di Natale |
| 2017 | SEFM | A Framework for the Co-simulation of Engine Controls and Task Scheduling. | Paolo Pazzaglia, Marco Di Natale, Giorgio C. Buttazzo, Matteo Secchiari |
| 2016 | INDIN | On the applicability of an MILP solution for signal packing in CAN-FD. | Marco Di Natale, Celso Luiz Mendes da Silva, Max Mauro Dias Santos |
| 2016 | MEMOCODE | Step revision in hybrid Co-simulation with FMI. | Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis |
| 2015 | HPCC | Simulation-Driven Optimization of Real-Time Control Tasks. | Matteo Morelli, Yasmina Seddik, Marco Di Natale, Chokri Mraidha, Sara Tucci Piergiovanni |
| 2015 | SAC | TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink. | Fabio Cremona, Matteo Morelli, Marco Di Natale |
| 2015 | RTAS | Task placement and selection of data consistency mechanisms for real-time multicore applications. | Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer |
| 2014 | ECRTS | Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling. | Alessandro Biondi, Alessandra Melani, Mauro Marinoni, Marco Di Natale, Giorgio C. Buttazzo |
| 2014 | ETFA | An MDE approach for the design of platform-aware controls in performance-sensitive applications. | Matteo Morelli, Marco Di Natale |
| 2014 | MODELS | An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink. | Marco Di Natale, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli |
| 2013 | DATE | Robust and extensible task implementations of synchronous finite state machines. | Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng |
| 2013 | ECRTS | Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models. | Haibo Zeng, Marco Di Natale |
| 2013 | ETFA | A robotic vehicle testbench for the application of MBD-MDE development technologies. | Matteo Morelli, Federico Moro, Tizar Rizano, Daniele Fontanelli, Luigi Palopoli, Marco Di Natale |
| 2013 | ETFA | An FPGA implementation of wait-free data synchronization protocols. | Benjamin Nahill, Ari Ramdial, Haibo Zeng, Marco Di Natale, Zeljko Zilic |
| 2013 | ETFA | Practical issues with the timing analysis of the Controller Area Network. | Marco Di Natale, Haibo Zeng |
| 2013 | RTAS | Timing analysis of process graphs with finite communication buffers. | Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli |
| 2012 | DATE | Task implementation of synchronous finite state machines. | Marco Di Natale, Haibo Zeng |
| 2012 | ECRTS | Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines. | Haibo Zeng, Marco Di Natale |
| 2012 | ETFA | A code generation framework for distributed real-time embedded systems. | Mario Bambagini, Marco Di Natale |
| 2012 | ETFA | Optimizing stack memory requirements for real-time embedded applications. | Haibo Zeng, Marco Di Natale, Qi Zhu |
| 2012 | MODELS | An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. | Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
| 2011 | EMSOFT | Timing and schedulability analysis for distributed automotive control applications. | Samarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka |
| 2011 | SIMULTECH | Integrating SysML with Simulink using Open-source Model Transformations. | Andrea Sindico, Marco Di Natale, Gianpiero Panci |
| 2010 | DATE | Computing robustness of FlexRay schedules to uncertainties in design parameters. | Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim |
| 2010 | ECRTS | Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods. | Haibo Zeng, Marco Di Natale |
| 2010 | ETFA | System identification and extraction of timing properties from controller area network (CAN) message traces. | Marco Di Natale, Haibo Zeng |
| 2009 | DAC | Scheduling the FlexRay bus using optimization techniques. | Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
| 2009 | DATE | Time and memory tradeoffs in the implementation of AUTOSAR components. | Alberto Ferrari, Marco Di Natale, Giacomo Gentile, Giovanni Reggiani, Paolo Gai |
| 2009 | DATE | Optimizations of an application-level protocol for enhanced dependability in FlexRay. | Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2009 | MODELS | preface. | Marco Di Natale |
| 2009 | RTAS | Optimizing Extensibility in Hard Real-Time Distributed Systems. | Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
| 2008 | DATE | Physical Architectures of Automotive Systems. | T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2008 | DATE | Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. | E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2008 | DATE | Software Components for Reliable Automotive Systems. | Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2008 | DATE | Panel Session - The Future Car: Technology, Methods and Tools. | Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Scuola S. Anna, H. Hanselmann, Harald Heinecke, Amar Bouali, Hermann Kopetz, H. Fennel, Thomas Weber |
| 2008 | RTAS | Optimizing the Implementation of Communication in Synchronous Reactive Models. | Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli |
| 2007 | DAC | Period Optimization for Hard Real-time Distributed Automotive Systems. | Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
| 2007 | DAC | Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions. | Marco Di Natale |
| 2007 | DATE | Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures. | Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello |
| 2007 | DATE | Synthesis of task and message activation models in real-time distributed automotive systems. | Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
| 2007 | EMSOFT | Loosely time-triggered architectures based on communication-by-sampling. | Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2007 | RTSS | Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. | Wei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
| 2007 | RTAS | Optimizing the FPGA Implementation of HRT Systems. | Marco Di Natale, Enrico Bini |
| 2007 | RTAS | Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. | Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
| 2006 | ECRTS | Sensitivity Analysis for Fixed-Priority Real-Time Systems. | Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo |
| 2006 | RTAS | Optimizing the Multitask Implementation of Multirate Simulink Models. | Marco Di Natale |
| 2005 | RTSS | Optimal Task Rate Selection in Fixed Priority Systems. | Enrico Bini, Marco Di Natale |
| 2005 | RTAS | From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications. | Cesare Bartolini, Giuseppe Lipari, Marco Di Natale |
| 2004 | DATE | SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. | Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno |
| 2004 | TrustBus | Hybrid Fingerprint Matching on Programmable Smart Cards. | Tommaso Cucinotta, Riccardo Brigo, Marco Di Natale |
| 2004 | TrustBus | Breaking Down Architectural Gaps in Smart-Card Middleware Design. | Tommaso Cucinotta, Marco Di Natale, David Corcoran |
| 2003 | ECRTS | Issues in Mapping HRT-HOOD to UML. | Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega |
| 2003 | RTAS | A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform. | Paolo Gai, Marco Di Natale, Giuseppe Lipari, Alberto Ferrari, Claudio Gabellini, Paolo Marceca |
| 2001 | PLDI | A tool for simulation and fast prototyping of embedded control systems. | Luigi Palopoli, Giuseppe Lipari, Luca Abeni, Marco Di Natale, Paolo Ancilotti, Fabio Conticelli |
| 2001 | RTSS | Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-Chip. | Paolo Gai, Giuseppe Lipari, Marco Di Natale |
| 2001 | RTAS | Scheduling Reactive Task Graphs in Embedded Control Systems. | Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin |
| 2000 | DAC | Task scheduling with RT constraints. | Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin |
| 2000 | RTSS | Scheduling The Can Bus With Earliest Deadline Techniques. | Marco Di Natale |
| 2000 | RTSS | Real-Time control system analysis: an integrated approach. | Luigi Palopoli, Luca Abeni, Fabio Conticelli, Marco Di Natale, Giorgio C. Buttazzo |
| 1998 | ECRTS | Guaranteeing end-to-end deadlines in distributed client-server applications. | Marco Di Natale, Antonio Meschi |
| 1997 | RTSS | A cache-aware scheduling algorithm for embedded systems. | Gabriele Luculli, Marco Di Natale |
| 1996 | ECRTS | The MORIS Control System. | Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri |
| 1996 | ECRTS | Priority Inversion at the Network Adapter when Scheduling Messages with Earliest Deadline Techniques. | Antonio Meschi, Marco Di Natale, Marco Spuri |
| 1996 | RTAS | A Flexible Tool Kit for Development of Real-Time Applications. | Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri |
| 1995 | RTSS | Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control. | Marco Di Natale, John A. Stankovic |
| 1994 | RTSS | Dynamic End-to-End Guarantees in Distributed Real Time Systems. | Marco Di Natale, John A. Stankovic |
| 1993 | ICRA | HARTIK: A Hard Real-Time Kernel for Programming Robot Tasks with Explicit Time Constraints and Guaranteed Execution. | Giorgio C. Buttazzo, Marco Di Natale |