Marco Di Natale
Orcid: 0000-0002-4480-8808
According to our database1,
Marco Di Natale
authored at least 155 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDF.
ACM Trans. Embed. Comput. Syst., January, 2024
2023
IEEE Trans. Computers, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023
Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023
2022
Optimized partitioning and priority assignment of real-time applications on heterogeneous platforms with hardware acceleration.
J. Syst. Archit., 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
2021
ACM Trans. Embed. Comput. Syst., 2021
Optimal Memory Allocation and Scheduling for DMA Data Transfers under the LET Paradigm.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
2020
J. Syst. Archit., 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
2019
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems.
ACM Trans. Embed. Comput. Syst., 2019
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs.
Real Time Syst., 2019
Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time.
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
ACM Trans. Cyber Phys. Syst., 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.
Softw. Syst. Model., 2018
Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses (Artifact).
Dagstuhl Artifacts Ser., 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
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. Embed. Comput. Syst., 2017
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017
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
Proceedings of the Symposium on Applied Computing, 2017
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
Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems.
Proceedings of the Modelling and Simulation for Autonomous Systems, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
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 Syst., 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
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015
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. Ind. Informatics, 2014
ACM Trans. Embed. Comput. Syst., 2014
ACM Trans. Embed. Comput. Syst., 2014
J. Syst. Archit., 2014
J. Syst. Archit., 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
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
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014
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.
J. Syst. Archit., 2013
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013
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
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
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
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. Embed. Comput. Syst., 2012
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
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
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
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. Ind. 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
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. Ind. Informatics, 2010
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network.
IEEE Trans. Ind. Informatics, 2010
Optimal synthesis of communication procedures in real-time synchronous reactive models.
IEEE Trans. Ind. Informatics, 2010
IEEE Trans. Ind. Informatics, 2010
Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools.
Proc. IEEE, 2010
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
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
2009
IEEE Trans. Ind. Informatics, 2009
Improving the size of communication buffers in synchronous models with time constraints.
IEEE Trans. Ind. Informatics, 2009
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009
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
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the 46th Design Automation Conference, 2009
Proceedings of the Embedded Systems Design and Verification, 2009
2008
ACM Trans. Embed. Comput. Syst., 2008
IEEE Trans. Computers, 2008
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
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
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
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
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007
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
Proceedings of the 44th Design Automation Conference, 2007
Proceedings of the 44th Design Automation Conference, 2007
2006
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 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
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
Proceedings of the UML Modeling Languages and Applications, 2004
Proceedings of the Trust and Privacy in Digital Business, First International Conference, 2004
Proceedings of the Trust and Privacy in Digital Business, First International Conference, 2004
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
Proceedings of the Electronic Government, Second International Conference, 2003
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003
Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003
Proceedings of the Reliable Software Technologies, 2003
Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003
2002
Des. Autom. Embed. Syst., 2002
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
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001
Proceedings of The Workshop on Languages, 2001
2000
IEEE Trans. Computers, 2000
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000
Proceedings of the 37th Conference on Design Automation, 2000
1998
The DASE Tool: An Environment for the Development of Real-Time Applications.
Proceedings of the Distributed and Parallel Embedded Systems, 1998
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998
1997
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997
1996
Int. J. Softw. Eng. Knowl. Eng., 1996
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
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996
1995
Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995
1994
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