default search action
Marco Di Natale
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j45]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): 3:1-3:35 (2024) - 2023
- [j44]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): 127-139 (2023) - [c109]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: 9:1-9:26 - [c108]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: 166-176 - [c107]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: 3-10 - 2022
- [j43]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: 102416 (2022) - [c106]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: 379-389 - [i1]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 abs/2205.06773 (2022) - 2021
- [j42]Paolo Pazzaglia, Youcheng Sun, Marco Di Natale:
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks. ACM Trans. Embed. Comput. Syst. 20(1): 3:1-3:26 (2021) - [c105]Paolo Pazzaglia, Daniel Casini, Alessandro Biondi, Marco Di Natale:
Optimal Memory Allocation and Scheduling for DMA Data Transfers under the LET Paradigm. DAC 2021: 1171-1176 - 2020
- [j41]Marco Di Natale, Li-Pin Chang, Ya-Shu Chen:
Introduction to the special issues on embedded systems in applied computing. J. Syst. Archit. 109: 101763 (2020) - [c104]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: 1-6
2010 – 2019
- 2019
- [j40]Youcheng Sun, Marco Di Natale:
Pessimism in multicore global schedulability analysis. J. Syst. Archit. 97: 142-152 (2019) - [j39]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): 598-638 (2019) - [j38]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): 35:1-35:28 (2019) - [c103]Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale:
Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems. DATE 2019: 1543-1548 - [c102]Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale:
Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time. RTSS 2019: 207-219 - 2018
- [j37]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): 04:1-04:2 (2018) - [j36]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): 11-33 (2018) - [j35]Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo:
Response-Time Analysis of Engine Control Applications Under Fixed-Priority Scheduling. IEEE Trans. Computers 67(5): 687-703 (2018) - [j34]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): 1:1-1:26 (2018) - [j33]Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri:
Verifying data secure flow in AUTOSAR models. J. Comput. Virol. Hacking Tech. 14(4): 269-289 (2018) - [c101]Caroline Brandberg, Marco Di Natale:
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models. Principles of Modeling 2018: 206-222 - [c100]Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, Marco Di Natale:
Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses. ECRTS 2018: 10:1-10:22 - [c99]Alessandro Biondi, Marco Di Natale:
Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm. RTAS 2018: 240-250 - [c98]Youcheng Sun, Marco Di Natale:
Assessing the pessimism of current multicore global fixed-priority schedulability analysis. SAC 2018: 575-583 - [c97]Caroline Brandberg, Marco Di Natale:
A SimEvents Model for the Analysis of Scheduling and Memory Access Delays in Multicores. SIES 2018: 1-10 - 2017
- [j32]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): 171:1-171:19 (2017) - [c96]David Perillo, Marco Di Natale:
Using MDA to Automate the Integration of Virtual Platforms for System-Level Simulation. COMPSAC (1) 2017: 268-277 - [c95]Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri:
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. ICISSP 2017: 704-713 - [c94]Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano:
Modeling and generation of secure component communications in AUTOSAR. SAC 2017: 1473-1480 - [c93]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: 141-156 - [c92]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: 438-452 - [c91]Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios A. Tsachouridis:
Generation of simulink monitors for control applications from formal requirements. SIES 2017: 1-9 - 2016
- [j31]Rolf Ernst, Marco Di Natale:
Mixed Criticality Systems - A History of Misconceptions? IEEE Des. Test 33(5): 65-74 (2016) - [j30]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): 3552-3566 (2016) - [c90]Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo:
Performance-Driven Design of Engine Control Tasks. ICCPS 2016: 45:1-45:10 - [c89]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: 1202-1205 - [c88]Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis:
Step revision in hybrid Co-simulation with FMI. MEMOCODE 2016: 173-183 - [c87]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: 101-117 - 2015
- [j29]Haibo Zeng, Marco Di Natale:
Computing periodic request functions to speed-up the analysis of non-cyclic task models. Real Time Syst. 51(4): 360-394 (2015) - [c86]Matteo Morelli, Yasmina Seddik, Marco Di Natale, Chokri Mraidha, Sara Tucci Piergiovanni:
Simulation-Driven Optimization of Real-Time Control Tasks. HPCC/CSS/ICESS 2015: 991-1000 - [c85]Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo:
Response-time analysis for real-time tasks in engine control applications. ICCPS 2015: 120-129 - [c84]Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng:
A model-based synthesis flow for automotive CPS. ICCPS 2015: 198-207 - [c83]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: 172-181 - [c82]Fabio Cremona, Matteo Morelli, Marco Di Natale:
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink. SAC 2015: 1940-1947 - 2014
- [j28]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): 315-328 (2014) - [j27]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): 419 (2014) - [j26]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): 119:1-119:2 (2014) - [j25]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): 149:1-149:25 (2014) - [j24]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): 903-918 (2014) - [c81]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: 165-174 - [c80]Matteo Morelli, Marco Di Natale:
An MDE approach for the design of platform-aware controls in performance-sensitive applications. ETFA 2014: 1-8 - [c79]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: 215 - [c78]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: 235-246 - [c77]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: 353-369 - [c76]Peng Deng, Qi Zhu, Marco Di Natale, Haibo Zeng:
Task synthesis for latency-sensitive synchronous block diagram. SIES 2014: 112-121 - [c75]Matteo Morelli, Marco Di Natale:
Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach. SIMPAR 2014: 49-61 - [p3]Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel:
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems. Embedded Systems Development, From Functional Models to Implementations 2014: 1-16 - [e2]Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel:
Embedded Systems Development, From Functional Models to Implementations. Springer 2014, ISBN 978-1-4614-3878-6 [contents] - 2013
- [j23]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): 1115-1127 (2013) - [j22]Haibo Zeng, Marco Di Natale:
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization. IEEE Trans. Computers 62(4): 644-661 (2013) - [c74]Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng:
Robust and extensible task implementations of synchronous finite state machines. DATE 2013: 1319-1324 - [c73]Haibo Zeng, Marco Di Natale:
Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models. ECRTS 2013: 205-214 - [c72]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: 1-4 - [c71]Benjamin Nahill, Ari Ramdial, Haibo Zeng, Marco Di Natale, Zeljko Zilic:
An FPGA implementation of wait-free data synchronization protocols. ETFA 2013: 1-8 - [c70]Marco Di Natale, Haibo Zeng:
Practical issues with the timing analysis of the Controller Area Network. ETFA 2013: 1-8 - [c69]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: 121-132 - [c68]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: 227-236 - [c67]Zaid Al-bayati, Haibo Zeng, Marco Di Natale, Zonghua Gu:
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling. SIES 2013: 168-177 - 2012
- [j21]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): 85:1-85:30 (2012) - [c66]Marco Di Natale, Haibo Zeng:
Task implementation of synchronous finite state machines. DATE 2012: 206-211 - [c65]Haibo Zeng, Marco Di Natale:
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines. ECRTS 2012: 353-362 - [c64]Mario Bambagini, Marco Di Natale:
A code generation framework for distributed real-time embedded systems. ETFA 2012: 1-10 - [c63]Haibo Zeng, Marco Di Natale, Qi Zhu:
Optimizing stack memory requirements for real-time embedded applications. ETFA 2012: 1-8 - [c62]Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. MoDELS 2012: 810-826 - [c61]Haibo Zeng, Marco Di Natale:
Efficient implementation of AUTOSAR components with minimal memory usage. SIES 2012: 130-137 - [e1]Marco Di Natale:
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-0883-0 [contents] - 2011
- [j20]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): 1-17 (2011) - [c60]Samarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka:
Timing and schedulability analysis for distributed automotive control applications. EMSOFT 2011: 349-350 - [c59]Haibo Zeng, Marco Di Natale:
Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms. SIES 2011: 140-149 - [c58]Andrea Sindico, Marco Di Natale, Gianpiero Panci:
Integrating SysML with Simulink using Open-source Model Transformations. SIMULTECH 2011: 45-56 - 2010
- [j19]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): 603-620 (2010) - [j18]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): 621-636 (2010) - [j17]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): 637-651 (2010) - [j16]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): 678-691 (2010) - [j15]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): 729-743 (2010) - [c57]Haibo Zeng, Arkadeb Ghosal, Marco Di Natale:
Timing Analysis and Optimization of FlexRay Dynamic Segment. CIT 2010: 1932-1939 - [c56]Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim:
Computing robustness of FlexRay schedules to uncertainties in design parameters. DATE 2010: 550-555 - [c55]Haibo Zeng, Marco Di Natale:
Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods. ECRTS 2010: 279-290 - [c54]Marco Di Natale, Haibo Zeng:
System identification and extraction of timing properties from controller area network (CAN) message traces. ETFA 2010: 1-8 - [c53]Marco Di Natale:
APESER 2010 Keynote Speech: Marco Di Natale. GreenCom/CPSCom 2010
2000 – 2009
- 2009
- [j14]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): 937-940 (2009) - [j13]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): 229-240 (2009) - [j12]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): 388-401 (2009) - [c52]Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Scheduling the FlexRay bus using optimization techniques. DAC 2009: 874-877 - [c51]Alberto Ferrari, Marco Di Natale, Giacomo Gentile, Giovanni Reggiani, Paolo Gai:
Time and memory tradeoffs in the implementation of AUTOSAR components. DATE 2009: 864-869 - [c50]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: 1076-1081 - [c49]Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli:
Automatic Code Generation for Synchronous Reactive Communication. ICESS 2009: 40-47 - [c48]Marco Di Natale:
preface. ACES-MB@MoDELS 2009 - [c47]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: 275-284 - [c46]Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Statistical analysis of Controller Area Network message response times. SIES 2009: 1-10 - [p2]Marco Di Natale:
Embedded Software Modeling and Design. Embedded Systems Design and Verification 2009: 4 - 2008
- [j11]Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo:
Sensitivity analysis for fixed-priority real-time systems. Real Time Syst. 39(1-3): 5-30 (2008) - [j10]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): 1300-1314 (2008) - [j9]Marco Di Natale, Valerio Pappalardo:
Buffer optimization in multitask implementations of Simulink models. ACM Trans. Embed. Comput. Syst. 7(3): 23:1-23:32 (2008) - [c45]Marco Di Natale:
Design and Development of Component-Based Embedded Systems for Automotive Applications. Ada-Europe 2008: 15-29 - [c44]T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Physical Architectures of Automotive Systems. DATE 2008: 391-395 - [c43]Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Software Components for Reliable Automotive Systems. DATE 2008: 549-554 - [c42]E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. DATE 2008: 659-663 - [c41]Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Scuola S. Anna, H. Hanselmann, Harald Heinecke, Amar Bouali, Hermann Kopetz, H. Fennel, Thomas Weber:
Panel Session - The Future Car: Technology, Methods and Tools. DATE 2008: 812 - [c40]Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli:
Optimizing the Implementation of Communication in Synchronous Reactive Models. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 169-179 - 2007
- [j8]Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Embedded System Design for Automotive Applications. Computer 40(10): 42-51 (2007) - [c39]Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli:
Period Optimization for Hard Real-time Distributed Automotive Systems. DAC 2007: 278-283 - [c38]Marco Di Natale:
Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions. DAC 2007: 551-555 - [c37]Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Synthesis of task and message activation models in real-time distributed automotive systems. DATE 2007: 93-98 - [c36]Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello:
Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures. DATE 2007: 504-509 - [c35]Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Loosely time-triggered architectures based on communication-by-sampling. EMSOFT 2007: 231-239 - [c34]Marco Di Natale, Enrico Bini:
Optimizing the FPGA Implementation of HRT Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 22-31 - [c33]Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 293-302 - [c32]Wei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. RTSS 2007: 161-170 - 2006
- [c31]Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo:
Sensitivity Analysis for Fixed-Priority Real-Time Systems. ECRTS 2006: 13-22 - [c30]Marco Di Natale:
Optimizing the Multitask Implementation of Multirate Simulink Models. IEEE Real Time Technology and Applications Symposium 2006: 335-346 - 2005
- [j7]Tommaso Cucinotta, Marco Di Natale, David Corcoran:
An open middleware for smart cards. Comput. Syst. Sci. Eng. 20(6) (2005) - [c29]Cesare Bartolini, Giuseppe Lipari, Marco Di Natale:
From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 458-467 - [c28]Enrico Bini, Marco Di Natale:
Optimal Task Rate Selection in Fixed Priority Systems. RTSS 2005: 399-409 - [c27]Paolo Gai, Giuseppe Lipari, Marco Di Natale, Matteo Duranti, Alberto Ferrari:
Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores. SoCC 2005: 109-110 - 2004
- [c26]Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno:
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. DATE 2004: 358-363 - [c25]Tullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro:
Component-Based Real-Time Design: Mapping HRT-HOOD to UML. EUROMICRO 2004: 6-13 - [c24]Tommaso Cucinotta, Riccardo Brigo, Marco Di Natale:
Hybrid Fingerprint Matching on Programmable Smart Cards. TrustBus 2004: 232-241 - [c23]Tommaso Cucinotta, Marco Di Natale, David Corcoran:
Breaking Down Architectural Gaps in Smart-Card Middleware Design. TrustBus 2004: 279-288 - [c22]Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto:
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. UML Satellite Activities 2004: 150-162 - 2003
- [c21]Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega:
HRT-UML: Taking HRT-HOOD onto UML. Ada-Europe 2003: 405-416 - [c20]Tommaso Cucinotta, Marco Di Natale, David Corcoran:
A Protocol for Programmable Smart Cards. DEXA Workshops 2003: 369-374 - [c19]Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega:
Issues in Mapping HRT-HOOD to UML. ECRTS 2003: 221-228 - [c18]Marco Di Natale, Tommaso Cucinotta, Shiva Kolachalam:
A Modular Open-Source Architecture for ICT Services in the Public Administration. EGOV 2003: 167-172 - [c17]Paolo Gai, Marco Di Natale, Giuseppe Lipari, Alberto Ferrari, Claudio Gabellini, Paolo Marceca:
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 2003: 189- - [p1]Marco Di Natale, Manas Saksena:
Schedulability Analysis with UML. UML for Real 2003: 241-269 - 2002
- [j6]Paolo Gai, Giuseppe Lipari, Marco Di Natale:
Stack Size Minimization for Embedded Real-Time Systems-on-a-Chip. Des. Autom. Embed. Syst. 7(1-2): 53-87 (2002) - 2001
- [j5]Marco Di Natale, Antonio Meschi:
Scheduling Messages with Earliest Deadline Techniques. Real Time Syst. 20(3): 255-285 (2001) - [c16]Luigi Palopoli, Giuseppe Lipari, Luca Abeni, Marco Di Natale, Paolo Ancilotti, Fabio Conticelli:
A Tool for Simulation and Fast Prototyping of Embedded Control Systems. LCTES/OM 2001: 73-81 - [c15]Luigi Palopoli, Giuseppe Lipari, Luca Abeni, Marco Di Natale, Paolo Ancilotti, Fabio Conticelli:
A tool for simulation and fast prototyping of embedded control systems. OM@PLDI 2001: 73-81 - [c14]Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin:
Scheduling Reactive Task Graphs in Embedded Control Systems. IEEE Real Time Technology and Applications Symposium 2001: 191-201 - [c13]Paolo Gai, Giuseppe Lipari, Marco Di Natale:
Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-Chip. RTSS 2001: 73-83 - 2000
- [j4]Marco Di Natale, John A. Stankovic:
Scheduling Distributed Real-Time Tasks with Minimum Jitter. IEEE Trans. Computers 49(4): 303-316 (2000) - [c12]Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin:
Task scheduling with RT constraints. DAC 2000: 483-488 - [c11]Luigi Palopoli, Luca Abeni, Fabio Conticelli, Marco Di Natale, Giorgio C. Buttazzo:
Real-Time control system analysis: an integrated approach. RTSS 2000: 131-140 - [c10]Marco Di Natale:
Scheduling The Can Bus With Earliest Deadline Techniques. RTSS 2000: 259-268
1990 – 1999
- 1998
- [j3]Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Spuri:
Design and Programming Tools for Time Critical Applications. Real Time Syst. 14(3): 251-267 (1998) - [c9]Marco Di Natale, Antonio Meschi:
Guaranteeing end-to-end deadlines in distributed client-server applications. ECRTS 1998: 163-171 - [c8]Marco Di Natale, Andrea Domenici:
The DASE Tool: An Environment for the Development of Real-Time Applications. DIPES 1998: 169-180 - 1997
- [c7]Gabriele Luculli, Marco Di Natale:
A cache-aware scheduling algorithm for embedded systems. RTSS 1997: 199-209 - 1996
- [j2]Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Spuri:
A Development Environment for Hard Real-Time Applications. Int. J. Softw. Eng. Knowl. Eng. 6(3): 331-354 (1996) - [c6]Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri:
The MORIS Control System. RTS 1996: 77-82 - [c5]Antonio Meschi, Marco Di Natale, Marco Spuri:
Priority Inversion at the Network Adapter when Scheduling Messages with Earliest Deadline Techniques. RTS 1996: 243-248 - [c4]Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri:
A Flexible Tool Kit for Development of Real-Time Applications. IEEE Real Time Technology and Applications Symposium 1996: 260-262 - 1995
- [j1]John A. Stankovic, Marco Spuri, Marco Di Natale, Giorgio C. Buttazzo:
Implications of Classical Scheduling Results for Real-Time Systems. Computer 28(6): 16-25 (1995) - [c3]Marco Di Natale, John A. Stankovic:
Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control. RTSS 1995: 190-199 - 1994
- [c2]Marco Di Natale, John A. Stankovic:
Dynamic End-to-End Guarantees in Distributed Real Time Systems. RTSS 1994: 216-227 - 1993
- [c1]Giorgio C. Buttazzo, Marco Di Natale:
HARTIK: A Hard Real-Time Kernel for Programming Robot Tasks with Explicit Time Constraints and Guaranteed Execution. ICRA (2) 1993: 404-409
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-14 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint