Marco Di Natale

163 papers A* 7A 34B 12C 12Misc 8Journal 48Unranked 38
YearRankTypeTitle / Venue / Authors
2026 J jnl
End-To-end response-time analysis of DDS-based real-time applications.
Internet Things
Gerlando Sciangula, Daniel Casini, Alessandro Biondi, Claudio Scordino, Marco Di Natale
2025 — conf
Multi-Criteria Optimization of Real-Time DAGs on Heterogeneous Platforms under P-EDF.
ICPE (Companion)
Tommaso Cucinotta, Alexandre M. Amory, Gabriele Ara, Francesco Paladino, Marco Di Natale
2024 J jnl
Implications of architecture and implementation choices on timing analysis of automotive CAN networks.
J. Syst. Archit.
Dongwen Yang, Marco Di Natale, Haibo Zeng
2024 J jnl
Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDF.
ACM Trans. Embed. Comput. Syst.
Tommaso Cucinotta, Alexandre M. Amory, Gabriele Ara, Francesco Paladino, Marco Di Natale
2023 B conf
Bounding the Data-Delivery Latency of DDS Messages in Real-Time Applications.
ECRTS
Gerlando Sciangula, Daniel Casini, Alessandro Biondi, Claudio Scordino, Marco Di Natale
2023 — conf
EVA: a Tool for the Compositional Verification of AUTOSAR Models.
TACAS (2)
Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau
2023 J jnl
Optimizing Inter-Core Communications Under the LET Paradigm using DMA Engines.
IEEE Trans. Computers
Paolo Pazzaglia, Daniel Casini, Alessandro Biondi, Marco Di Natale
2023 Misc conf
Task and Memory Mapping of Large Size Embedded Applications over NUMA architecture✱.
RTNS
Alessandro Druetto, Enrico Bini, Andrea Grosso, Stefano Puri, Silvio Bacci, Marco Di Natale, Francesco Paladino
2022 A conf
A comprehensive framework for the analysis of automotive systems.
MoDELS
Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta
2022 J jnl
Optimized Partitioning and Priority Assignment of Real-Time Applications on Heterogeneous Platforms with Hardware Acceleration.
CoRR
Daniel Casini, Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale
2022 J jnl
Optimized partitioning and priority assignment of real-time applications on heterogeneous platforms with hardware acceleration.
J. Syst. Archit.
Daniel Casini, Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale
2021 J jnl
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks.
ACM Trans. Embed. Comput. Syst.
Paolo Pazzaglia, Youcheng Sun, Marco Di Natale
2021 A* conf
Optimal Memory Allocation and Scheduling for DMA Data Transfers under the LET Paradigm.
DAC
Paolo Pazzaglia, Daniel Casini, Alessandro Biondi, Marco Di Natale
2020 J jnl
Introduction to the special issues on embedded systems in applied computing.
J. Syst. Archit.
Marco Di Natale, Li-Pin Chang, Ya-Shu Chen
2020 A* conf
Predictable Memory-CPU Co-Scheduling with Support for Latency-Sensitive Tasks.
DAC
Daniel Casini, Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo
2019 J jnl
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs.
Real Time Syst.
Chao Peng, Haibo Zeng, Marco Di Natale
2019 A conf
Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time.
RTSS
Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale
2019 J jnl
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems.
ACM Trans. Embed. Comput. Syst.
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
2019 J jnl
Pessimism in multicore global schedulability analysis.
J. Syst. Archit.
Youcheng Sun, Marco Di Natale
2019 A conf
Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems.
DATE
Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale
2018 J jnl
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components.
Softw. Syst. Model.
Marco Di Natale, David Perillo, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli
2018 — conf
A SimEvents Model for the Analysis of Scheduling and Memory Access Delays in Multicores.
SIES
Caroline Brandberg, Marco Di Natale
2018 A conf
Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm.
RTAS
Alessandro Biondi, Marco Di Natale
2018 Misc conf
Assessing the pessimism of current multicore global fixed-priority schedulability analysis.
SAC
Youcheng Sun, Marco Di Natale
2018 J jnl
Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses (Artifact).
Dagstuhl Artifacts Ser.
Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, Marco Di Natale
2018 B conf
Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses.
ECRTS
Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, Marco Di Natale
2018 — conf
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models.
Principles of Modeling
Caroline Brandberg, Marco Di Natale
2018 J jnl
Response-Time Analysis of Engine Control Applications Under Fixed-Priority Scheduling.
IEEE Trans. Computers
Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo
2018 J jnl
Selecting the Transition Speeds of Engine Control Tasks to Optimize the Performance.
ACM Trans. Cyber Phys. Syst.
Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo, Paolo Pazzaglia
2018 J jnl
Verifying data secure flow in AUTOSAR models.
J. Comput. Virol. Hacking Tech.
Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
2017 — conf
A Framework for the Co-simulation of Engine Controls and Task Scheduling.
SEFM Workshops
Paolo Pazzaglia, Marco Di Natale, Giorgio C. Buttazzo, Matteo Secchiari
2017 — conf
Generation of simulink monitors for control applications from formal requirements.
SIES
Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios A. Tsachouridis
2017 Misc conf
Modeling and generation of secure component communications in AUTOSAR.
SAC
Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano
2017 — conf
Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach.
SAFECOMP Workshops
Pasquale Antonante, Juan Valverde-Alcalá, Stylianos Basagiannis, Marco Di Natale
2017 — conf
Using MDA to Automate the Integration of Virtual Platforms for System-Level Simulation.
COMPSAC (1)
David Perillo, Marco Di Natale
2017 C conf
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis.
ICISSP
Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
2017 J jnl
Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks.
ACM Trans. Embed. Comput. Syst.
Youcheng Sun, Marco Di Natale
2016 J jnl
An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems.
IEEE Trans. Computers
Peng Deng, Qi Zhu, Abhijit Davare, Anastasios I. Mourikis, Xue Liu, Marco Di Natale
2016 J jnl
Mixed Criticality Systems - A History of Misconceptions?
IEEE Des. Test
Rolf Ernst, Marco Di Natale
2016 C conf
On the applicability of an MILP solution for signal packing in CAN-FD.
INDIN
Marco Di Natale, Celso Luiz Mendes da Silva, Max Mauro Dias Santos
2016 — conf
Performance-Driven Design of Engine Control Tasks.
ICCPS
Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo
2016 C conf
Step revision in hybrid Co-simulation with FMI.
MEMOCODE
Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis
2016 — conf
Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems.
MESAS
Cinzia Bernardeschi, Gabriele Del Vigna, Marco Di Natale, Gianluca Dini, Dario Varano
2015 — conf
A model-based synthesis flow for automotive CPS.
ICCPS
Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng
2015 J jnl
Computing periodic request functions to speed-up the analysis of non-cyclic task models.
Real Time Syst.
Haibo Zeng, Marco Di Natale
2015 — conf
Response-time analysis for real-time tasks in engine control applications.
ICCPS
Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo
2015 — conf
Simulation-Driven Optimization of Real-Time Control Tasks.
HPCC/CSS/ICESS
Matteo Morelli, Yasmina Seddik, Marco Di Natale, Chokri Mraidha, Sara Tucci Piergiovanni
2015 Misc conf
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink.
SAC
Fabio Cremona, Matteo Morelli, Marco Di Natale
2015 A conf
Task placement and selection of data consistency mechanisms for real-time multicore applications.
RTAS
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
2014 A conf
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink.
MoDELS
Marco Di Natale, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli
2014 C conf
An MDE approach for the design of platform-aware controls in performance-sensitive applications.
ETFA
Matteo Morelli, Marco Di Natale
2014 A* conf
Assigning time budgets to component functions in the design of time-critical automotive systems.
ASE
Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
2014 — conf
Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach.
SIMPAR
Matteo Morelli, Marco Di Natale
2014 J jnl
Editorial: Special issue on real-time and embedded technology and applications.
ACM Trans. Embed. Comput. Syst.
Marco Di Natale, Rich West, Jian-Jia Chen, Rahul Mangharam
2014 — book
Embedded Systems Development, From Functional Models to Implementations
Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
2014 B conf
Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling.
ECRTS
Alessandro Biondi, Alessandra Melani, Mauro Marinoni, Marco Di Natale, Giorgio C. Buttazzo
2014 J jnl
Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms.
IEEE Trans. Ind. Informatics
Gang Han, Haibo Zeng, Marco Di Natale, Xue Liu, Wenhua Dou
2014 J jnl
Introduction to special issue on embedded systems architecture and applications.
J. Syst. Archit.
Jia Hu, Jens Palsberg, Seetharami Seelam, Marco Di Natale, Lei (Chris) Liu
2014 — ch.
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems.
Embedded Systems Development, From Functional Models to Implementations
Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
2014 J jnl
Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications.
ACM Trans. Embed. Comput. Syst.
Haibo Zeng, Marco Di Natale, Qi Zhu
2014 J jnl
Optimized implementation of synchronous models on industrial LTTA systems.
J. Syst. Archit.
Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2014 — conf
Task synthesis for latency-sensitive synchronous block diagram.
SIES
Peng Deng, Qi Zhu, Marco Di Natale, Haibo Zeng
2014 — conf
WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems.
ICCPS
Peng Deng, Anastasios I. Mourikis, Qi Zhu, Xue Liu, Abhijit Davare, Marco Di Natale
2013 C conf
A robotic vehicle testbench for the application of MBD-MDE development technologies.
ETFA
Matteo Morelli, Federico Moro, Tizar Rizano, Daniele Fontanelli, Luigi Palopoli, Marco Di Natale
2013 B conf
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems.
LCTES
Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard
2013 J jnl
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization.
IEEE Trans. Computers
Haibo Zeng, Marco Di Natale
2013 C conf
An FPGA implementation of wait-free data synchronization protocols.
ETFA
Benjamin Nahill, Ari Ramdial, Haibo Zeng, Marco Di Natale, Zeljko Zilic
2013 — conf
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling.
SIES
Zaid Al-bayati, Haibo Zeng, Marco Di Natale, Zonghua Gu
2013 J jnl
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures.
J. Syst. Archit.
Gang Han, Marco Di Natale, Haibo Zeng, Xue Liu, Wenhua Dou
2013 B conf
Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models.
ECRTS
Haibo Zeng, Marco Di Natale
2013 C conf
Practical issues with the timing analysis of the Controller Area Network.
ETFA
Marco Di Natale, Haibo Zeng
2013 A conf
Robust and extensible task implementations of synchronous finite state machines.
DATE
Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng
2013 A conf
Timing analysis of process graphs with finite communication buffers.
IEEE Real-Time and Embedded Technology and Applications Symposium
Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli
2012 A ed.
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012
IEEE Real-Time and Embedded Technology and Applications Symposium
Marco Di Natale
2012 C conf
A code generation framework for distributed real-time embedded systems.
ETFA
Mario Bambagini, Marco Di Natale
2012 A conf
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design.
MoDELS
Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2012 — conf
Efficient implementation of AUTOSAR components with minimal memory usage.
SIES
Haibo Zeng, Marco Di Natale
2012 J jnl
Optimization of task allocation and priority assignment in hard real-time distributed systems.
ACM Trans. Embed. Comput. Syst.
Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2012 C conf
Optimizing stack memory requirements for real-time embedded applications.
ETFA
Haibo Zeng, Marco Di Natale, Qi Zhu
2012 B conf
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines.
ECRTS
Haibo Zeng, Marco Di Natale
2012 A conf
Task implementation of synchronous finite state machines.
DATE
Marco Di Natale, Haibo Zeng
2011 C conf
Integrating SysML with Simulink using Open-source Model Transformations.
SIMULTECH
Andrea Sindico, Marco Di Natale, Gianpiero Panci
2011 — conf
Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms.
SIES
Haibo Zeng, Marco Di Natale
2011 J jnl
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment.
IEEE Trans. Ind. Informatics
Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli
2011 Misc conf
Timing and schedulability analysis for distributed automotive control applications.
EMSOFT
Samarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka
2010 — conf
APESER 2010 Keynote Speech: Marco Di Natale.
GreenCom/CPSCom
Marco Di Natale
2010 A conf
Computing robustness of FlexRay schedules to uncertainties in design parameters.
DATE
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim
2010 B conf
Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods.
ECRTS
Haibo Zeng, Marco Di Natale
2010 J jnl
Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools.
Proc. IEEE
Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2010 J jnl
Optimal synthesis of communication procedures in real-time synchronous reactive models.
IEEE Trans. Ind. Informatics
Guoqiang Wang, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2010 J jnl
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems.
IEEE Trans. Ind. Informatics
Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli
2010 J jnl
Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays.
IEEE Trans. Ind. Informatics
Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli
2010 C conf
System identification and extraction of timing properties from controller area network (CAN) message traces.
ETFA
Marco Di Natale, Haibo Zeng
2010 C conf
Timing Analysis and Optimization of FlexRay Dynamic Segment.
CIT
Haibo Zeng, Arkadeb Ghosal, Marco Di Natale
2010 J jnl
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network.
IEEE Trans. Ind. Informatics
Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009 — conf
Automatic Code Generation for Synchronous Reactive Communication.
ICESS
Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli
2009 J jnl
Challenges and Solutions in the Development of Automotive Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2009 — ch.
Embedded Software Modeling and Design.
Embedded Systems Design and Verification
Marco Di Natale
2009 J jnl
Improving the size of communication buffers in synchronous models with time constraints.
IEEE Trans. Ind. Informatics
Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli
2009 A conf
Optimizations of an application-level protocol for enhanced dependability in FlexRay.
DATE
Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2009 A conf
Optimizing Extensibility in Hard Real-Time Distributed Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2009 A* conf
Scheduling the FlexRay bus using optimization techniques.
DAC
Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009 — conf
Statistical analysis of Controller Area Network message response times.
SIES
Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009 J jnl
Stochastic Analysis of Distributed Real-time Automotive Systems.
IEEE Trans. Ind. Informatics
Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009 A conf
Time and memory tradeoffs in the implementation of AUTOSAR components.
DATE
Alberto Ferrari, Marco Di Natale, Giacomo Gentile, Giovanni Reggiani, Paolo Gai
2009 — conf
preface.
ACES-MB@MoDELS
Marco Di Natale
2008 J jnl
Buffer optimization in multitask implementations of Simulink models.
ACM Trans. Embed. Comput. Syst.
Marco Di Natale, Valerio Pappalardo
2008 Misc conf
Design and Development of Component-Based Embedded Systems for Automotive Applications.
Ada-Europe
Marco Di Natale
2008 J jnl
Implementing Synchronous Models on Loosely Time Triggered Architectures.
IEEE Trans. Computers
Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale
2008 A conf
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures.
DATE
E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2008 A conf
Optimizing the Implementation of Communication in Synchronous Reactive Models.
IEEE Real-Time and Embedded Technology and Applications Symposium
Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli
2008 A conf
Panel Session - The Future Car: Technology, Methods and Tools.
DATE
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Scuola S. Anna, H. Hanselmann, Harald Heinecke, Amar Bouali, Hermann Kopetz, H. Fennel, Thomas Weber
2008 A conf
Physical Architectures of Automotive Systems.
DATE
T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2008 J jnl
Sensitivity analysis for fixed-priority real-time systems.
Real Time Syst.
Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo
2008 A conf
Software Components for Reliable Automotive Systems.
DATE
Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2007 A conf
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems.
RTSS
Wei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2007 J jnl
Embedded System Design for Automotive Applications.
Computer
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2007 A conf
Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures.
DATE
Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello
2007 Misc conf
Loosely time-triggered architectures based on communication-by-sampling.
EMSOFT
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2007 A conf
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2007 A conf
Optimizing the FPGA Implementation of HRT Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Marco Di Natale, Enrico Bini
2007 A* conf
Period Optimization for Hard Real-time Distributed Automotive Systems.
DAC
Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
2007 A conf
Synthesis of task and message activation models in real-time distributed automotive systems.
DATE
Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2007 A* conf
Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions.
DAC
Marco Di Natale
2006 — conf
Optimizing the Multitask Implementation of Multirate Simulink Models.
IEEE Real Time Technology and Applications Symposium
Marco Di Natale
2006 B conf
Sensitivity Analysis for Fixed-Priority Real-Time Systems.
ECRTS
Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo
2005 J jnl
An open middleware for smart cards.
Comput. Syst. Sci. Eng.
Tommaso Cucinotta, Marco Di Natale, David Corcoran
2005 A conf
From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications.
IEEE Real-Time and Embedded Technology and Applications Symposium
Cesare Bartolini, Giuseppe Lipari, Marco Di Natale
2005 A conf
Optimal Task Rate Selection in Fixed Priority Systems.
RTSS
Enrico Bini, Marco Di Natale
2005 — conf
Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores.
SoCC
Paolo Gai, Giuseppe Lipari, Marco Di Natale, Matteo Duranti, Alberto Ferrari
2004 B conf
Breaking Down Architectural Gaps in Smart-Card Middleware Design.
TrustBus
Tommaso Cucinotta, Marco Di Natale, David Corcoran
2004 — conf
Component-Based Real-Time Design: Mapping HRT-HOOD to UML.
EUROMICRO
Tullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro
2004 B conf
Hybrid Fingerprint Matching on Programmable Smart Cards.
TrustBus
Tommaso Cucinotta, Riccardo Brigo, Marco Di Natale
2004 — conf
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.
UML Satellite Activities
Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto
2004 A conf
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.
DATE
Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno
2003 — conf
A Modular Open-Source Architecture for ICT Services in the Public Administration.
EGOV
Marco Di Natale, Tommaso Cucinotta, Shiva Kolachalam
2003 — conf
A Protocol for Programmable Smart Cards.
DEXA Workshops
Tommaso Cucinotta, Marco Di Natale, David Corcoran
2003 — conf
A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform.
IEEE Real Time Technology and Applications Symposium
Paolo Gai, Marco Di Natale, Giuseppe Lipari, Alberto Ferrari, Claudio Gabellini, Paolo Marceca
2003 Misc conf
HRT-UML: Taking HRT-HOOD onto UML.
Ada-Europe
Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega
2003 B conf
Issues in Mapping HRT-HOOD to UML.
ECRTS
Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega
2003 — ch.
Schedulability Analysis with UML.
UML for Real
Marco Di Natale, Manas Saksena
2002 J jnl
Stack Size Minimization for Embedded Real-Time Systems-on-a-Chip.
Des. Autom. Embed. Syst.
Paolo Gai, Giuseppe Lipari, Marco Di Natale
2001 — conf
A Tool for Simulation and Fast Prototyping of Embedded Control Systems.
LCTES/OM
Luigi Palopoli, Giuseppe Lipari, Luca Abeni, Marco Di Natale, Paolo Ancilotti, Fabio Conticelli
2001 — conf
A tool for simulation and fast prototyping of embedded control systems.
OM@PLDI
Luigi Palopoli, Giuseppe Lipari, Luca Abeni, Marco Di Natale, Paolo Ancilotti, Fabio Conticelli
2001 A conf
Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-Chip.
RTSS
Paolo Gai, Giuseppe Lipari, Marco Di Natale
2001 J jnl
Scheduling Messages with Earliest Deadline Techniques.
Real Time Syst.
Marco Di Natale, Antonio Meschi
2001 — conf
Scheduling Reactive Task Graphs in Embedded Control Systems.
IEEE Real Time Technology and Applications Symposium
Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin
2000 A conf
Real-Time control system analysis: an integrated approach.
RTSS
Luigi Palopoli, Luca Abeni, Fabio Conticelli, Marco Di Natale, Giorgio C. Buttazzo
2000 J jnl
Scheduling Distributed Real-Time Tasks with Minimum Jitter.
IEEE Trans. Computers
Marco Di Natale, John A. Stankovic
2000 A conf
Scheduling The Can Bus With Earliest Deadline Techniques.
RTSS
Marco Di Natale
2000 A* conf
Task scheduling with RT constraints.
DAC
Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin
1998 J jnl
Design and Programming Tools for Time Critical Applications.
Real Time Syst.
Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Spuri
1998 B conf
Guaranteeing end-to-end deadlines in distributed client-server applications.
ECRTS
Marco Di Natale, Antonio Meschi
1998 — conf
The DASE Tool: An Environment for the Development of Real-Time Applications.
DIPES
Marco Di Natale, Andrea Domenici
1997 A conf
A cache-aware scheduling algorithm for embedded systems.
RTSS
Gabriele Luculli, Marco Di Natale
1996 J jnl
A Development Environment for Hard Real-Time Applications.
Int. J. Softw. Eng. Knowl. Eng.
Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Spuri
1996 — conf
A Flexible Tool Kit for Development of Real-Time Applications.
IEEE Real Time Technology and Applications Symposium
Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri
1996 — conf
Priority Inversion at the Network Adapter when Scheduling Messages with Earliest Deadline Techniques.
RTS
Antonio Meschi, Marco Di Natale, Marco Spuri
1996 — conf
The MORIS Control System.
RTS
Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri
1995 A conf
Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control.
RTSS
Marco Di Natale, John A. Stankovic
1995 J jnl
Implications of Classical Scheduling Results for Real-Time Systems.
Computer
John A. Stankovic, Marco Spuri, Marco Di Natale, Giorgio C. Buttazzo
1994 A conf
Dynamic End-to-End Guarantees in Distributed Real Time Systems.
RTSS
Marco Di Natale, John A. Stankovic
1993 — conf
HARTIK: A Hard Real-Time Kernel for Programming Robot Tasks with Explicit Time Constraints and Guaranteed Execution.
ICRA (2)
Giorgio C. Buttazzo, Marco Di Natale