Marco Di Natale

According to our database1, Marco Di Natale authored at least 143 papers between 1993 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems.
ACM Trans. Embedded Comput. Syst., 2019

A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs.
Real-Time Systems, 2019

Pessimism in multicore global schedulability analysis.
Journal of Systems Architecture - Embedded Systems Design, 2019

Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018
Verifying data secure flow in AUTOSAR models.
J. Computer Virology and Hacking Techniques, 2018

Selecting the Transition Speeds of Engine Control Tasks to Optimize the Performance.
TCPS, 2018

Response-Time Analysis of Engine Control Applications Under Fixed-Priority Scheduling.
IEEE Trans. Computers, 2018

A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components.
Software and Systems Modeling, 2018

Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses (Artifact).
DARTS, 2018

A SimEvents Model for the Analysis of Scheduling and Memory Access Delays in Multicores.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

Assessing the pessimism of current multicore global fixed-priority schedulability analysis.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models.
Proceedings of the Principles of Modeling, 2018

2017
Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks.
ACM Trans. Embedded Comput. Syst., 2017

Generation of simulink monitors for control applications from formal requirements.
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

A Framework for the Co-simulation of Engine Controls and Task Scheduling.
Proceedings of the Software Engineering and Formal Methods, 2017

Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Modeling and generation of secure component communications in AUTOSAR.
Proceedings of the Symposium on Applied Computing, 2017

Verifying Data Secure Flow in AUTOSAR Models by Static Analysis.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Using MDA to Automate the Integration of Virtual Platforms for System-Level Simulation.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems.
IEEE Trans. Computers, 2016

Mixed Criticality Systems - A History of Misconceptions?
IEEE Design & Test, 2016

Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems.
Proceedings of the Modelling and Simulation for Autonomous Systems, 2016

Step revision in hybrid Co-simulation with FMI.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

On the applicability of an MILP solution for signal packing in CAN-FD.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Performance-Driven Design of Engine Control Tasks.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

2015
Computing periodic request functions to speed-up the analysis of non-cyclic task models.
Real-Time Systems, 2015

TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Task placement and selection of data consistency mechanisms for real-time multicore applications.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

A model-based synthesis flow for automotive CPS.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Response-time analysis for real-time tasks in engine control applications.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Simulation-Driven Optimization of Real-Time Control Tasks.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014
Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms.
IEEE Trans. Industrial Informatics, 2014

Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications.
ACM Trans. Embedded Comput. Syst., 2014

Editorial: Special issue on real-time and embedded technology and applications.
ACM Trans. Embedded Comput. Syst., 2014

Optimized implementation of synchronous models on industrial LTTA systems.
Journal of Systems Architecture - Embedded Systems Design, 2014

Introduction to special issue on embedded systems architecture and applications.
Journal of Systems Architecture - Embedded Systems Design, 2014

Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

Task synthesis for latency-sensitive synchronous block diagram.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Assigning time budgets to component functions in the design of time-critical automotive systems.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

An MDE approach for the design of platform-aware controls in performance-sensitive applications.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization.
IEEE Trans. Computers, 2013

Optimizing the implementation of real-time Simulink models onto distributed automotive architectures.
Journal of Systems Architecture - Embedded Systems Design, 2013

Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Timing analysis of process graphs with finite communication buffers.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Practical issues with the timing analysis of the Controller Area Network.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

An FPGA implementation of wait-free data synchronization protocols.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

A robotic vehicle testbench for the application of MBD-MDE development technologies.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

Robust and extensible task implementations of synchronous finite state machines.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Optimization of task allocation and priority assignment in hard real-time distributed systems.
ACM Trans. Embedded Comput. Syst., 2012

Efficient implementation of AUTOSAR components with minimal memory usage.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Optimizing stack memory requirements for real-time embedded applications.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

A code generation framework for distributed real-time embedded systems.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Task implementation of synchronous finite state machines.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment.
IEEE Trans. Industrial Informatics, 2011

Integrating SysML with Simulink using Open-source Model Transformations.
Proceedings of the SIMULTECH 2011 - Proceedings of 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Noordwijkerhout, The Netherlands, 29, 2011

Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Timing and schedulability analysis for distributed automotive control applications.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems.
IEEE Trans. Industrial Informatics, 2010

Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network.
IEEE Trans. Industrial Informatics, 2010

Optimal synthesis of communication procedures in real-time synchronous reactive models.
IEEE Trans. Industrial Informatics, 2010

Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays.
IEEE Trans. Industrial Informatics, 2010

Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools.
Proceedings of the IEEE, 2010

APESER 2010 Keynote Speech: Marco Di Natale.
Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

System identification and extraction of timing properties from controller area network (CAN) message traces.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods.
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

Computing robustness of FlexRay schedules to uncertainties in design parameters.
Proceedings of the Design, Automation and Test in Europe, 2010

Timing Analysis and Optimization of FlexRay Dynamic Segment.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009
Stochastic Analysis of Distributed Real-time Automotive Systems.
IEEE Trans. Industrial Informatics, 2009

Improving the size of communication buffers in synchronous models with time constraints.
IEEE Trans. Industrial Informatics, 2009

Challenges and Solutions in the Development of Automotive Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2009

Statistical analysis of Controller Area Network message response times.
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Optimizing Extensibility in Hard Real-Time Distributed Systems.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

preface.
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Automatic Code Generation for Synchronous Reactive Communication.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Optimizations of an application-level protocol for enhanced dependability in FlexRay.
Proceedings of the Design, Automation and Test in Europe, 2009

Time and memory tradeoffs in the implementation of AUTOSAR components.
Proceedings of the Design, Automation and Test in Europe, 2009

Scheduling the FlexRay bus using optimization techniques.
Proceedings of the 46th Design Automation Conference, 2009

Embedded Software Modeling and Design.
Proceedings of the Embedded Systems Design and Verification, 2009

2008
Buffer optimization in multitask implementations of Simulink models.
ACM Trans. Embedded Comput. Syst., 2008

Implementing Synchronous Models on Loosely Time Triggered Architectures.
IEEE Trans. Computers, 2008

Optimizing the Implementation of Communication in Synchronous Reactive Models.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Panel Session - The Future Car: Technology, Methods and Tools.
Proceedings of the Design, Automation and Test in Europe, 2008

Software Components for Reliable Automotive Systems.
Proceedings of the Design, Automation and Test in Europe, 2008

Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures.
Proceedings of the Design, Automation and Test in Europe, 2008

Physical Architectures of Automotive Systems.
Proceedings of the Design, Automation and Test in Europe, 2008

Design and Development of Component-Based Embedded Systems for Automotive Applications.
Proceedings of the Reliable Software Technologies, 2008

2007
Embedded System Design for Automotive Applications.
IEEE Computer, 2007

Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

Optimizing the FPGA Implementation of HRT Systems.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

Loosely time-triggered architectures based on communication-by-sampling.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Synthesis of task and message activation models in real-time distributed automotive systems.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions.
Proceedings of the 44th Design Automation Conference, 2007

Period Optimization for Hard Real-time Distributed Automotive Systems.
Proceedings of the 44th Design Automation Conference, 2007

2006
Optimizing the Multitask Implementation of Multirate Simulink Models.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Sensitivity Analysis for Fixed-Priority Real-Time Systems.
Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

2005
An open middleware for smart cards.
Comput. Syst. Sci. Eng., 2005

Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores.
Proceedings of the Proceedings 2005 IEEE International SOC Conference, 2005

Optimal Task Rate Selection in Fixed Priority Systems.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

2004
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.
Proceedings of the UML Modeling Languages and Applications, 2004

Breaking Down Architectural Gaps in Smart-Card Middleware Design.
Proceedings of the Trust and Privacy in Digital Business, First International Conference, 2004

Hybrid Fingerprint Matching on Programmable Smart Cards.
Proceedings of the Trust and Privacy in Digital Business, First International Conference, 2004

Component-Based Real-Time Design: Mapping HRT-HOOD to UML.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.
Proceedings of the 2004 Design, 2004

2003
A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

A Modular Open-Source Architecture for ICT Services in the Public Administration.
Proceedings of the Electronic Government, Second International Conference, 2003

Issues in Mapping HRT-HOOD to UML.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

A Protocol for Programmable Smart Cards.
Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

HRT-UML: Taking HRT-HOOD onto UML.
Proceedings of the Reliable Software Technologies, 2003

Schedulability Analysis with UML.
Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002
Stack Size Minimization for Embedded Real-Time Systems-on-a-Chip.
Design Autom. for Emb. Sys., 2002

2001
Scheduling Messages with Earliest Deadline Techniques.
Real-Time Systems, 2001

Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-Chip.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

Scheduling Reactive Task Graphs in Embedded Control Systems.
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

A Tool for Simulation and Fast Prototyping of Embedded Control Systems.
Proceedings of The Workshop on Languages, 2001

2000
Scheduling Distributed Real-Time Tasks with Minimum Jitter.
IEEE Trans. Computers, 2000

Real-Time control system analysis: an integrated approach.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Scheduling The Can Bus With Earliest Deadline Techniques.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Task scheduling with RT constraints.
Proceedings of the 37th Conference on Design Automation, 2000

1998
Design and Programming Tools for Time Critical Applications.
Real-Time Systems, 1998

The DASE Tool: An Environment for the Development of Real-Time Applications.
Proceedings of the Distributed and Parallel Embedded Systems, 1998

Guaranteeing end-to-end deadlines in distributed client-server applications.
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997
A cache-aware scheduling algorithm for embedded systems.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

1996
A Development Environment for Hard Real-Time Applications.
International Journal of Software Engineering and Knowledge Engineering, 1996

A Flexible Tool Kit for Development of Real-Time Applications.
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

Priority Inversion at the Network Adapter when Scheduling Messages with Earliest Deadline Techniques.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

The MORIS Control System.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995
Implications of Classical Scheduling Results for Real-Time Systems.
IEEE Computer, 1995

Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

1994
Dynamic End-to-End Guarantees in Distributed Real Time Systems.
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1993
HARTIK: A Hard Real-Time Kernel for Programming Robot Tasks with Explicit Time Constraints and Guaranteed Execution.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993


  Loading...