Marco Di Natale

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 46

Top Venues

ACM Trans. Embed. Comput. Syst.

J. Syst. Archit.

ICCPS

IEEE Trans. Computers

Publications

Tommaso Cucinotta, Alexandre M. Amory, Gabriele Ara, Francesco Paladino, Marco Di Natale
Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDF. ACM Trans. Embed. Comput. Syst. 23 (1) (2024)
Paolo Pazzaglia, Daniel Casini, Alessandro Biondi, Marco Di Natale
Optimizing Inter-Core Communications Under the LET Paradigm using DMA Engines. IEEE Trans. Computers 72 (1) (2023)
Gerlando Sciangula, Daniel Casini, Alessandro Biondi, Claudio Scordino, Marco Di Natale
Bounding the Data-Delivery Latency of DDS Messages in Real-Time Applications. ECRTS (2023)
Alessandro Druetto, Enrico Bini, Andrea Grosso, Stefano Puri, Silvio Bacci, Marco Di Natale, Francesco Paladino
Task and Memory Mapping of Large Size Embedded Applications over NUMA architecture✱. RTNS (2023)
Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau
EVA: a Tool for the Compositional Verification of AUTOSAR Models. TACAS (2) (2023)
Daniel Casini, Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale
Optimized Partitioning and Priority Assignment of Real-Time Applications on Heterogeneous Platforms with Hardware Acceleration. CoRR (2022)
Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta
A comprehensive framework for the analysis of automotive systems. MoDELS (2022)
Daniel Casini, Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale
Optimized partitioning and priority assignment of real-time applications on heterogeneous platforms with hardware acceleration. J. Syst. Archit. 124 (2022)
Paolo Pazzaglia, Youcheng Sun, Marco Di Natale
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks. ACM Trans. Embed. Comput. Syst. 20 (1) (2021)
Paolo Pazzaglia, Daniel Casini, Alessandro Biondi, Marco Di Natale
Optimal Memory Allocation and Scheduling for DMA Data Transfers under the LET Paradigm. DAC (2021)
Marco Di Natale, Li-Pin Chang, Ya-Shu Chen
Introduction to the special issues on embedded systems in applied computing. J. Syst. Archit. 109 (2020)
Daniel Casini, Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo
Predictable Memory-CPU Co-Scheduling with Support for Latency-Sensitive Tasks. DAC (2020)
Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale
Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems. DATE (2019)
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. ACM Trans. Embed. Comput. Syst. 18 (4) (2019)
Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale
Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time. RTSS (2019)
Chao Peng, Haibo Zeng, Marco Di Natale
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs. Real Time Syst. 55 (3) (2019)
Youcheng Sun, Marco Di Natale
Pessimism in multicore global schedulability analysis. J. Syst. Archit. 97 (2019)
Marco Di Natale, David Perillo, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components. Softw. Syst. Model. 17 (1) (2018)
Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo, Paolo Pazzaglia
Selecting the Transition Speeds of Engine Control Tasks to Optimize the Performance. ACM Trans. Cyber Phys. Syst. 2 (1) (2018)
Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
Verifying data secure flow in AUTOSAR models. J. Comput. Virol. Hacking Tech. 14 (4) (2018)
Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, Marco Di Natale
Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses (Artifact). Dagstuhl Artifacts Ser. 4 (2) (2018)
Youcheng Sun, Marco Di Natale
Assessing the pessimism of current multicore global fixed-priority schedulability analysis. SAC (2018)
Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo
Response-Time Analysis of Engine Control Applications Under Fixed-Priority Scheduling. IEEE Trans. Computers 67 (5) (2018)
Caroline Brandberg, Marco Di Natale
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models. Principles of Modeling (2018)
Alessandro Biondi, Marco Di Natale
Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm. RTAS (2018)
Caroline Brandberg, Marco Di Natale
A SimEvents Model for the Analysis of Scheduling and Memory Access Delays in Multicores. SIES (2018)
Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, Marco Di Natale
Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses. ECRTS (2018)
Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios A. Tsachouridis
Generation of simulink monitors for control applications from formal requirements. SIES (2017)
David Perillo, Marco Di Natale
Using MDA to Automate the Integration of Virtual Platforms for System-Level Simulation. COMPSAC (1) (2017)
Paolo Pazzaglia, Marco Di Natale, Giorgio C. Buttazzo, Matteo Secchiari
A Framework for the Co-simulation of Engine Controls and Task Scheduling. SEFM Workshops (2017)
Youcheng Sun, Marco Di Natale
Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano
Modeling and generation of secure component communications in AUTOSAR. SAC (2017)
Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. ICISSP (2017)
Pasquale Antonante, Juan Valverde-Alcalá, Stylianos Basagiannis, Marco Di Natale
Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach. SAFECOMP Workshops (2017)
Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo
Performance-Driven Design of Engine Control Tasks. ICCPS (2016)
Marco Di Natale, Celso Luiz Mendes da Silva, Max Mauro Dias Santos
On the applicability of an MILP solution for signal packing in CAN-FD. INDIN (2016)
Peng Deng, Qi Zhu, Abhijit Davare, Anastasios I. Mourikis, Xue Liu, Marco Di Natale
An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems. IEEE Trans. Computers 65 (12) (2016)
Rolf Ernst, Marco Di Natale
Mixed Criticality Systems - A History of Misconceptions? IEEE Des. Test 33 (5) (2016)
Cinzia Bernardeschi, Gabriele Del Vigna, Marco Di Natale, Gianluca Dini, Dario Varano
Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems. MESAS (2016)
Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis
Step revision in hybrid Co-simulation with FMI. MEMOCODE (2016)
Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo
Response-time analysis for real-time tasks in engine control applications. ICCPS (2015)
Haibo Zeng, Marco Di Natale
Computing periodic request functions to speed-up the analysis of non-cyclic task models. Real Time Syst. 51 (4) (2015)
Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng
A model-based synthesis flow for automotive CPS. ICCPS (2015)
Fabio Cremona, Matteo Morelli, Marco Di Natale
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink. SAC (2015)
Matteo Morelli, Yasmina Seddik, Marco Di Natale, Chokri Mraidha, Sara Tucci Piergiovanni
Simulation-Driven Optimization of Real-Time Control Tasks. HPCC/CSS/ICESS (2015)
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
Task placement and selection of data consistency mechanisms for real-time multicore applications. RTAS (2015)
Marco Di Natale, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink. MoDELS (2014)
Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
Optimized implementation of synchronous models on industrial LTTA systems. J. Syst. Archit. 60 (4) (2014)
Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
Assigning time budgets to component functions in the design of time-critical automotive systems. ASE (2014)
Matteo Morelli, Marco Di Natale
An MDE approach for the design of platform-aware controls in performance-sensitive applications. ETFA (2014)
Haibo Zeng, Marco Di Natale, Qi Zhu
Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications. ACM Trans. Embed. Comput. Syst. 13 (5s) (2014)
Matteo Morelli, Marco Di Natale
Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach. SIMPAR (2014)
Peng Deng, Qi Zhu, Marco Di Natale, Haibo Zeng
Task synthesis for latency-sensitive synchronous block diagram. SIES (2014)
Gang Han, Haibo Zeng, Marco Di Natale, Xue Liu, Wenhua Dou
Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms. IEEE Trans. Ind. Informatics 10 (2) (2014)
Marco Di Natale, Rich West, Jian-Jia Chen, Rahul Mangharam
Editorial: Special issue on real-time and embedded technology and applications. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Alessandro Biondi, Alessandra Melani, Mauro Marinoni, Marco Di Natale, Giorgio C. Buttazzo
Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling. ECRTS (2014)
Jia Hu, Jens Palsberg, Seetharami Seelam, Marco Di Natale, Lei (Chris) Liu
Introduction to special issue on embedded systems architecture and applications. J. Syst. Archit. 60 (5) (2014)
Peng Deng, Anastasios I. Mourikis, Qi Zhu, Xue Liu, Abhijit Davare, Marco Di Natale
WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems. ICCPS (2014)
Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng
Robust and extensible task implementations of synchronous finite state machines. DATE (2013)
Haibo Zeng, Marco Di Natale
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization. IEEE Trans. Computers 62 (4) (2013)
Zaid Al-bayati, Haibo Zeng, Marco Di Natale, Zonghua Gu
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling. SIES (2013)
Marco Di Natale, Haibo Zeng
Practical issues with the timing analysis of the Controller Area Network. ETFA (2013)
Matteo Morelli, Federico Moro, Tizar Rizano, Daniele Fontanelli, Luigi Palopoli, Marco Di Natale
A robotic vehicle testbench for the application of MBD-MDE development technologies. ETFA (2013)
Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. LCTES (2013)
Haibo Zeng, Marco Di Natale
Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models. ECRTS (2013)
Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli
Timing analysis of process graphs with finite communication buffers. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Gang Han, Marco Di Natale, Haibo Zeng, Xue Liu, Wenhua Dou
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures. J. Syst. Archit. 59 (10-D) (2013)
Benjamin Nahill, Ari Ramdial, Haibo Zeng, Marco Di Natale, Zeljko Zilic
An FPGA implementation of wait-free data synchronization protocols. ETFA (2013)
Mario Bambagini, Marco Di Natale
A code generation framework for distributed real-time embedded systems. ETFA (2012)
Haibo Zeng, Marco Di Natale
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines. ECRTS (2012)
Haibo Zeng, Marco Di Natale, Qi Zhu
Optimizing stack memory requirements for real-time embedded applications. ETFA (2012)
Marco Di Natale, Haibo Zeng
Task implementation of synchronous finite state machines. DATE (2012)
Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst. 11 (4) (2012)
Haibo Zeng, Marco Di Natale
Efficient implementation of AUTOSAR components with minimal memory usage. SIES (2012)
Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. MoDELS (2012)
Samarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka
Timing and schedulability analysis for distributed automotive control applications. EMSOFT (2011)
Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Trans. Ind. Informatics 7 (1) (2011)
Andrea Sindico, Marco Di Natale, Gianpiero Panci
Integrating SysML with Simulink using Open-source Model Transformations. SIMULTECH (2011)
Haibo Zeng, Marco Di Natale
Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms. SIES (2011)
Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools. Proc. IEEE 98 (4) (2010)
Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli
Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. IEEE Trans. Ind. Informatics 6 (4) (2010)
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim
Computing robustness of FlexRay schedules to uncertainties in design parameters. DATE (2010)
Haibo Zeng, Arkadeb Ghosal, Marco Di Natale
Timing Analysis and Optimization of FlexRay Dynamic Segment. CIT (2010)
Marco Di Natale, Haibo Zeng
System identification and extraction of timing properties from controller area network (CAN) message traces. ETFA (2010)
Guoqiang Wang, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
Optimal synthesis of communication procedures in real-time synchronous reactive models. IEEE Trans. Ind. Informatics 6 (4) (2010)
Haibo Zeng, Marco Di Natale
Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods. ECRTS (2010)
Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. IEEE Trans. Ind. Informatics 6 (4) (2010)
Marco Di Natale
APESER 2010 Keynote Speech: Marco Di Natale. GreenCom/CPSCom (2010)
Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network. IEEE Trans. Ind. Informatics 6 (4) (2010)
Marco Di Natale
preface. ACES-MB@MoDELS (2009)
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
Challenges and Solutions in the Development of Automotive Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (7) (2009)
Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
Optimizing Extensibility in Hard Real-Time Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2009)
Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli
Improving the size of communication buffers in synchronous models with time constraints. IEEE Trans. Ind. Informatics 5 (3) (2009)
Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Optimizations of an application-level protocol for enhanced dependability in FlexRay. DATE (2009)
Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
Stochastic Analysis of Distributed Real-time Automotive Systems. IEEE Trans. Ind. Informatics 5 (4) (2009)
Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
Statistical analysis of Controller Area Network message response times. SIES (2009)
Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli
Automatic Code Generation for Synchronous Reactive Communication. ICESS (2009)
Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
Scheduling the FlexRay bus using optimization techniques. DAC (2009)
Alberto Ferrari, Marco Di Natale, Giacomo Gentile, Giovanni Reggiani, Paolo Gai
Time and memory tradeoffs in the implementation of AUTOSAR components. DATE (2009)
Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale
Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers 57 (10) (2008)

Marco Di Natale.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Di Natale