Scuola Superiore S. Anna

Research   Teaching   Personal   Contact

 

Quick links

 

Home

Courses

Research

Projects

Publications

Exams

Personal

Links

 

Publications

Indexed and listed (and found wanting)

Before jumping to my list, you can check external references, lists of publications, indexes and a rant against indexing Here (and hopefully have some fun)...

by Category

Journals

    2016

  1. R Ernst, M Di Natale
    Mixed Criticality Systems—A History of Misconceptions?
    IEEE Design and Test 33 (5), 65-74
  2. P Deng, Q Zhu, A Davare, A Mourikis, X Liu, M Di Natale
    An efficient control-driven period optimization algorithm for distributed real-time systems
    IEEE Transactions on Computers 65 (12), 3552-3566
  3. M. Di Natale, D Perillo, F Chirico, A Sindico, A Sangiovanni-Vincentelli
    A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components
    Software and Systems Modeling, 1-23

    4. 2015

    H Zeng, M Di Natale
    Computing periodic request functions to speed-up the analysis of non-cyclic task models
    Real-Time Systems 51 (4), 360-394

    2014

  4. M. Di Natale, Q Zhu, A Sangiovanni-Vincentelli, S Tripakis,
    "Optimized Implementation of Synchronous Models on Industrial LTTA Systems"
    Journal of Systems Architecture, 60 (4), 315-328, 2014
  5. H. Zeng, M. Di Natale,
    "Computing periodic request functions to speed-up the analysis of non-cyclic task models,"
    Real-Time Systems Journal, Sept. 2014
  6. Gang Han, Haibo Zeng, Marco Di Natale, M., Xue Liu, Wenhua Dou,
    "Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms,"
    IEEE Transactions on Industrial Informatics, vol 10 (2), 2014, pp 903-918
  7. Haibo Zeng, Marco Di Natale, Qi Zhu,
    "Minimizing Stack and Communication Memory Usage in Real-time Embedded Applications",
    ACM Transactions on Embedded Systems, (TECS), Volume 13, Issue 5, July 2014

    8. 2013

  8. Gang Han, Marco Di Natale, Haibo Zeng, Xue Liu, Wenhua Dou,
    "Optimizing the Implementation of Real-Time Simulink Models onto Distributed Automotive Architectures",
    Journal of System Architectures, Accepted, , 59 (10), 1115-1127, 2013
  9. Ekain Azketa, J Javier Gutiérrez, Marco Di Natale, Luís Almeida, Marga Marcos,
    "Algoritmo genético permutacional para el despliegue y la planificación de sistemas de tiempo real distribuidos,"
    Revista Iberoamericana de Automática e Informática Industrial RIAI, Elsevier, Sept. 2013
  10. Haibo Zeng, Marco Di Natale,
    “An Efficient Formulation of the Real-time Feasibility Region for Design Optimization,"
    IEEE Transactions on Computers, Volume 62, Number 4, Jan 2013, pp. 644-662.

    11. 2012

  11. Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale and Alberto Sangiovanni-Vincentelli, “Optimization of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems”, ACM Transactions on Embedded Systems, 11(4) – 85, 2012.

    12. 2011

  12. Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, and Alberto Sangiovanni-Vincentelli, “Schedule Optimization of Time-Triggered Systems Communicating over the FlexRay Static Segment”, ”, IEEE Transactions on Industrial Informatics, Volume 58, Number 1, Jan 2011.

    13. 2010

  13. Marco Di Natale, Liangpeng Guo, Haibo Zeng, and Alberto Sangiovanni-Vincentelli, “Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays”, IEEE Transactions on Industrial Informatics, vol 6 No 4, 2010.
  14. Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte and Alberto Sangiovanni-Vincentelli, "Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems", IEEE Transactions on Industrial Informatics, 2010, vol 6 issue 3..
  15. Wang, G., Di Natale, M., Sangiovanni-Vincentelli, A., “Optimal synthesis of communication procedures in real-time synchronous reactive models”, IEEE Transactions on Industrial Informatics vol 6 No 4, 2010.
  16. Haibo Zeng, Di Natale, Marco, Paolo Giusto, and Alberto Sangiovanni-Vincentelli “Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network”, IEEE Transactions on Industrial Informatics, vol 6 No 4, 2010.
  17. Di Natale, M., Sangiovanni-Vincentelli, A., “Moving from Federated to Integrated Architectures: the Role of Standards, Methods and Tools”, Proceedings of the IEEE, vol.98, no.4, pp.603-620, April 2010.

    18. 2009

  18. Haibo Zeng, Di Natale, Marco, Paolo, Giusto and Sangiovanni-Vincentelli, Alberto, “Stochastic Analysis of CAN-based Real-time Automotive Systems”, IEEE Transactions on Industrial Informatics, Special Section on Automotive Systems, vol. 5; p. 388-401, 2009.
  19. Di Natale, Marco, Wang, Guoqiang and Sangiovanni-Vincentelli, Alberto, “Improving the size of communication buffers in synchronous models with time constraints”, IEEE Transactions on Industrial Informatics, Special Section on Real-Time Networked Embedded Systems, Volume 5, Number 3, August 2009.
  20. Sangiovanni-Vicentelli, A.; Di Natale, M., “Challenges and Solutions in the Development of Automotive Systems”, IEEE Transactions on CAD, Special Issue on Automotive systems, July 2009.

    21. 2008

  21. S. Tripakis, C. Pinello, A. Benveniste, A. Sangiovanni-Vincentelli, P. Caspi and M. Di Natale “Implementing Synchronous models on Loosely Time-Triggered Architectures”, IEEE Transactions on Computer, October 2008, Volume 57 Issue 10
  22. Marco Di Natale, Valerio Pappalardo, “Buffer optimization in multitask implementations of Simulink models”, ACM Transactions on Embedded Computing Systems (TECS), Volume 7 Issue 3, April 2008.
  23. Enrico Bini, Marco Di Natale and Giorgio Buttazzo, “Sensitivity Analysis for Fixed-Priority Real-Time Systems”, Real-Time Systems journal, Vol. 39, No. 1-3, pp. 5-30, August 2008.

    24. 2007 and before

  24. Alberto Sangiovanni Vincentelli, Marco Di Natale “Embedded System Design for Automotive Applications”, IEEE Computer, October 2007, 40, (10), pp. 42-51.
  25. Tommaso Cucinotta, Marco Di Natale, David Corcoran, “An open middleware for smart cards”, Special Issue of the Computer Science, Systems & Engineering Journal (CSSE), November 2005.
  26. Tommaso Cucinotta, Marco Di Natale, Riccardo Brigo, “A Fingerprint Matching Algorithm For Programmable Smart Cards”, Information Security Bulletin, November 2005.
  27. Paolo Gai, Giuseppe Lipari and Marco Di Natale " Stack size minimization for embedded real-time systems-on-a-chip" Design Automation for Embedded Systems Journal, Special Issue on Design Methodologies and Tools for Real-Time Embedded Systems, Nov 2002.
  28. M. Di Natale, A: Meschi, “ Scheduling Messages with Earliest Deadline Techniques” The Real-Time Systems Journal, May 2001.
  29. M. Di Natale, J. Stankovic, “Scheduling Distributed Real-Time Tasks with Minimum Jitter” IEEE Transactions on Computers, vol 49, num 4, April 2000
  30. P. Ancilotti, G. Buttazzo, M. Di Natale, M. Spuri, "Design and Programming Tools for Time Critical Applications", Real-Time Systems journal, Vol. 14, No. 3, pp. 251-267, May 1998.
  31. P.Ancilotti, G. Buttazzo, M. Di Natale, M. Spuri "A Development Environment for Hard Real-Time Applications" International Journal on Software Engineering and Knowledge Engineering Vol. 6 n. 3, 1996
  32. J.A. Stankovic, M. Spuri, M. Di Natale, G. Buttazzo, “Implications of Classical Scheduling Results for Real-Time Systems “ IEEE Computer Magazine , 1995

Books and Book Chapters

    2016

  1. M Di Natale
    Models and Tools for Complex Embedded Software and Systems
    in Electronic Design Automation for IC System Design, Verification, and Testing
    L Lavagno, IL Markov, G Martin, LK Scheffer
    CRC Press 2016

    2. 2015

  2. A Sangiovanni-Vincentelli, H Zeng, M Di Natale, P Marwedel,
    Embedded Systems Development, Springer

    3. 2014-2010

  3. M. Di Natale, P. Giusto, H. Zeng, A. Ghosal
    “Understanding and Using the Controller Area Network Communication Protocol: Theory and Practice”,
    Springer Verlag, NY, 2012.
  4. M. Di Natale,
    “Specification and simulation of automotive functionality using AUTOSAR”,
    in Katalin Popovici and Pieter J. Mosterman (editors), “Real-time Simulation Technologies: Principles, Methodologies, and Applications”, CRC Press, Boca Raton, FL, ISBN 9781439846650, June, 2012.

    5. 2010 and before

  5. M. Di Natale, “Embedded Software Modeling and Design”, Handbook on Electronic Design Automation for Integrated Circuits, edited by Luciano Lavagno, Lou Scheffer and Grant Martin, CRC Press, 2006.
  6. M. Di Natale, M.Saksena “Schedulability Analysis with UML” in “UML for Real” edited by B. Selic, G. Martin and L. Lavagno editors, Kluwer Academic Publishers, 2003.
  7. M. Di Natale, T. Cucinotta and S. Kolachalam “A modular Open-source Architecture for ICT Services in the Public Administration” in “Electronic Government” edited by R. Traunmuller, Lecture Notes in Computer Science (LNCS) vol 2378 by Springer-Verlag, Proc. Of the Egov conference 2003, Prague Sept 1-5 2003.
  8. S. Mazzini, M. D’Alessandro, M. Di Natale, A. Domenici, G. Lipari and T. Vardanega, “HRT-UML: Taking HRT-HOOD onto UML”, Jean-Pierre Rosen, Alfred Strohmeier (Eds); Reliable Software Technologies - Ada-Europe 2003, Proceedings, Lecture Notes in Computer Science, vol. 2655, Springer-Verlag, 2002, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003.
  9. M. Di Natale, A. Domenici “The DASE tool, an Environment for the Development of Real-Time Applications” in “Distributed and Parallel Embedded Systems” edited by Franz Rammig, Kluwer Academic Publishers, 1999.
  10. G. Buttazzo, M. Di Natale “Linguaggio C/C++: Esercizi risolti” Editrice Esculapio Bologna, Luglio 1998.

Refereed Conferences

    2017

  1. Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios Tsachouridis Generation of Simulink monitors for Control Applications from formal Requirements Proc. of the IEEE SIES Conference, Toulouse, Sept 2017.
  2. Modeling and Generation of Secure Component Communications in AUTOSAR
    Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano
    Proceedings of the ACM SAC Conference, April 2017, Marrakech.
  3. D Perillo, M. Di Natale,
    Using MDA to Automate the Integration of Virtual Platforms for System-Level Simulation
    Proc. of the IEEE COMPSAC Conference, Torino, July 2017

    4. 2016

  4. F Cremona, M Lohstroh, D Broman, M Di Natale, EA Lee, S Tripakis
    Step revision in hybrid Co-simulation with FMI
    Formal Methods and Models for System Design (MEMOCODE), 2016 ACM/IEEE
  5. M Di Natale, CLM da Silva, MMD Santos
    On the applicability of an MILP solution for signal packing in CAN-FD
    Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on
  6. A Biondi, M Di Natale, G Buttazzo
    Performance-driven design of engine control tasks
    Proceedings of the 7th International Conference on Cyber-Physical Systems, 45
  7. A Biondi, M Di Natale, Y Sun, S Botta
    Moving from single-core to multicore: initial findings on a fuel injection case study
    SAE Technical Paper
  8. M Di Natale, D Perillo, F Chirico, A Sindico, A Sangiovanni-Vincentelli
    A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components
    Software and Systems Modeling, 1-23

    9. 2015

  9. M Di Natale, M Morelli, F Cremona
    Matching execution architecture models with functional models to analyze the time performance of CPS systems
    Complex Systems Engineering (ICCSE), 2015 International Conference on, 1-6
  10. M Morelli, Y Seddik, M Di Natale, C Mraidha, S Tucci-Piergiovanni
    Simulation-driven optimization of real-time control tasks
    High Performance Computing and Communications (HPCC), 2015 IEEE 7th
  11. Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu and Brett Meyer
    "Task Placement and Selection of Data Consistency Mechanisms for Real-Time Multicore Applications",
    ACM/IEEE Real Time Applications Symposium, Seattle, 13-16 April 2015.
  12. Alessandro Biondi, Marco Di Natale and Giorgio Buttazzo
    "Response-Time Analysis for Real-Time Tasks in Engine Control Applications",
    IEEE International Conference on Cyber-Physical Systems ICCPS, Seattle, 13-16 April 2015.
  13. Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale and Haibo Zeng
    "A Model-based Synthesis Flow for Automotive CPS"
    IEEE International Conference on Cyber-Physical Systems ICCPS, Seattle, 13-16 April 2015.
  14. Fabio Cremona, Matteo Morelli, and Marco Di Natale
    "TRES: A Modular Representation of Schedulers, Tasks, and Messages to Control Simulations in Simulink"
    ACM Symposium on Applied Computing, Salamanca, April 15-17, 2015.

    15. 2014

  15. Matteo Morelli, Marco Di Natale,
    "An MDE Approach for the Design of Platform-Aware Controls in Performance-Sensitive Applications",
    ETFA 2014 - IEEE International Conference on Emerging Technology and Factory Automation, Barcelona, Sept. 2014
  16. Alessandro Biondi, Alessandra Melani, Mauro Marinoni, Marco Di Natale, Giorgio Buttazzo,
    "Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling",
    26th Euromicro Conference on Real-Time Systems (ECRTS14), Madrid, June 2014
  17. P Gai, F Esposito, R Schiavi, M Di Natale, C Diglio, M Pagano, C Camicia,
    "Towards an Open Source Framework for Small Engine Controls Development",
    SAE/JSAE 2014 Small Engine Technology Conference & Exhibition, Pisa, 2014
  18. E Wozniak, M Di Natale, H Zeng, C Mraidha, S Tucci-Piergiovanni, Sebastien Gerard,
    "Assigning time budgets to component functions in the design of time-critical automotive systems",
    Proceedings of the 29th ACM/IEEE international conference on Automated Software Engineering, Vasteras, Sept. 2014, pp 235-246
  19. P Deng, Q Zhu, M Di Natale, H Zeng,
    "Task synthesis for latency-sensitive synchronous block diagram"
    9th IEEE International Symposium on Industrial Embedded Systems (SIES), Pisa, June 2014
  20. M Di Natale, F Chirico, A Sindico, A Sangiovanni-Vincentelli,
    "An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink",
    ACM Model-Driven Engineering Languages and Systems Conference (MODELS), Valencia, Sept. 2014, pp. 353-369
    Winner of Best paper award - industrial track
  21. M Morelli, M Di Natale,
    "Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach",
    Simulation, Modeling, and Programming for Autonomous Robots Conference, Bergamo, Italy, 49-61, Sept 2014

    22. 2013

  22. Benjamin Nahill, Ari Ramdial, Haibo Zeng, Marco Di Natale, Zeljko Zilic,
    “An FPGA Implementation of Wait-Free Data Synchronization Protocols”,
    Proceedings of the ETFA Conference 2013, Cagliari, September 9-11 2013
  23. Marco Di Natale, Haibo Zeng,
    “Practical Issues with the Timing Analysis of the Controller Area Network”,
    Proceedings of the ETFA Conference 2013, Cagliari, September 9-11 2013
  24. Haibo Zeng, Marco Di Natale,
    “Using Max-Plus Algebra to Improve the Analysis of Non-Cyclic Task Models”,
    Proceedings of the Euromicro Conference 2013, Paris, June 2013
    Winner of Best paper award
  25. Zaid Al-Bayati, Haibo Zeng, Marco Di Natale, Zonghua Gu,
    “Multitask Implementation of Synchronous Reactive Models with Earliest Deadline First Scheduling”,
    Proceedings of the SIES Conference 2013, Porto, April 2013
  26. Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linh Thi Xuan Phan, and Alberto Sangiovanni-Vincentelli,
    “Timing Analysis of Process Graphs with Finite Communication Buffers”,
    Proceedings of the RTAS Conference 2013, Philadelphia, PA, April 2013
  27. Asma Mehiaoui, Ernest Wozniak, Sara Tucci-Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau Laurent Lemarchand,
    “A Two-step Optimization Technique for Functions Placement, Partitioning, and Priority Assignment in Distributed Systems”,
    Proceedings of the LCTES Conference 2013, Seattle, Washington, June 20-21 2013
  28. Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng,
    “Robust and Extensible Task Implementations of Synchronous Finite State Machines”,
    Proceedings of the DATE Conference 2013, Dresden Germany, April 2013

    29. 2012

  29. Marco Di Natale, Haibo Zeng,
    “Task Implementation of Synchronous Finite State Machines”,
    DATE Conference 2012, Dresden Germany, April 2012
  30. Haibo Zeng, Marco Di Natale,
    “Efficient Implementation of AUTOSAR Components with Minimal Memory Usage”,
    Proceedings of the SIES Conference 2012, Karlsruhe Germany
  31. Haibo Zeng, Marco Di Natale,
    “Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines”,
    Proceedings of the Euromicro Conference 2012, Pisa, Italy, July 2012
  32. A. Sindico, M. Di Natale, and A. Sangiovanni-Vincentelli,
    “An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design”,
    Proceedings of the Models Conference 2012, Salzburg, Austria, June 2012
  33. H. Zeng, M. Di Natale, Q. Zhu,
    “Optimizing Stack Memory Requirements for Real-time Embedded Applications”,
    Proceedings of the ETFA Conference 2012, Krakow, Poland, September 2012
  34. Mario Bambagini, Marco Di Natale,
    “A Code Generation Framework for Distributed Real-Time Embedded Systems”,
    Proceedings of the ETFA Conference 2012, Krakow, Poland, September 2012

    35. 2011

  35. Andrea Sindico, Marco Di Natale, Gianpiero Panci,
    Integrating SysML with Simulink using Open-source Model Transformations.
    SIMULTECH Conference 2011: pages 45-56
  36. Haibo Zeng and Marco Di Natale,
    "Mechanisms for Guaranteeing Data Consistency and Flow Preservation in AUTOSAR Software on Multi-Core Platforms",
    Proceedings of the SIES Conference 2011
    Winner of Best paper award

    37. 2010

  37. Marco Di Natale, Haibo Zeng, “System Identification and Extraction of Timing Properties from Controller Area Network (CAN) Message Traces”, ETFA10 - IEEE International Conference on Emerging Technology and Factory Automation, Bilbao, Spain, 13-16 September 2010.
  38. Haibo Zeng, Marco Di Natale, “Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods”, Euromicro Conference on Real-Time Systems (ECRTS), Bruxelles, July 6-9 2010
  39. Haibo Zeng, Arkadeb Ghosal, Marco Di Natale, “Timing Analysis and Optimization of FlexRay Dynamic Segment”, ICESS Conference, 2010, Bradford UK, June29-July1, 2010
  40. Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben Haim, “Computing Robustness of FlexRay Schedules to Uncertainties in Design Parameters” DATE Conference, Dresden, Germany March 2010.
  41. P. Gai, M. Di Natale, Huascar Espinoza, Francois Terrier, Sébastien Gérard, Reinhold Heckmann, Christian Ferdinand, Giacomo Gentile, Nicola Ariotti, “Time Predictability from System-level Design to Task Implementations in Automotive Applications”, SAE Conference, April 11-14, Detroit, 2010
  42. M. Di Natale, Haibo Zeng, “Time Determinism and Semantics Preservation in the Implementation of Distributed Functions over FlexRay”, SAE Conference, April 11-14, Detroit, 2010
  43. W. Li, M. Di Natale, W. Zheng, P. Giusto, A. Sangiovanni-Vincentelli and S.A. Seshia, “Optimizations of an Application-Level Protocol for Enhanced Dependability in FlexRay”, DATE Conference, April 20-24 2009, Acropolis, Nice, France
  44. A. Ferrari, M. Di Natale, G. Gentile and P. Gai, “Time and Memory Tradeoffs in the Implementation of AUTOSAR Components”, DATE Conference, April 20-24 2009, Acropolis, Nice, France
  45. M. Di Natale, “What Can go wrong in CAN (timing analysis)”, SAE Conference 2009, 20-24 April 2009, Detroit MI
  46. Haibo Zeng, Marco Di Natale, Paolo Giusto Alberto Sangiovanni-Vincentelli “Statistical Analysis of Controller Area Network Message Response Times”, SIES Conference, Lausanne July 8-10, 2009 (winner of best paper award).
  47. Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto Alberto Sangiovanni-Vincentelli “Scheduling the FlexRay Bus Using Optimization Techniques”, 46th DAC Conference, San Francisco, CA July 26-31, 2009.
  48. Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto Sangiovanni-Vincentelli, “Automatic Code Generation for Synchronous Reactive Communication, International Conference on Embedded Software and Systems (ICESS) 2009, Hangzhou, China, 25-27 May 2009
  49. Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale and Alberto Sangiovanni-Vincentelli, “Optimizing Extensibility in Hard Real-time Distributed Systems”, 15th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'09), Apr 13-16, 2009, San Francisco, USA
  50. M. Di Natale, “Design and Development of Component-Based Embedded Systems for Automotive Applications”, ADA Europe 2008 Conference, May 2008
  51. M. Di Natale, G. Wang, A. Sangiovanni-Vincentelli, “Optimizing the Implementation of Communication in Synchronous Reactive Models”, IEEE Real Time Applications Symposium, St Louis, April 2008
  52. W. Zheng, Q. Zhu, M. Di Natale, A. Sangiovanni-Vincentelli, “Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed System”, Real Time Systems Symposium, Tucson, AZ, December 3-6, 2007
  53. Albert Benveniste, Paul Caspi, Marco di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli and Stavros Tripakis “Loosely Time-Triggered Architectures and Middleware based on Communication-by-Sampling: MoCC and Properties”, EMSOFT Conference, Salzburg, September 2007.
  54. Marco Di Natale “Virtual platforms and Timing Analysis: Status, Challenges and Future Directions”, ACM Design Automation Conference. San Diego, June 2007.
  55. A. Davare, Q. Zhu, M. Di Natale, C. Pinello, S. Kanajan, A. Sangiovanni-Vincentelli “Period Optimization for Hard Real-Time Distributed Automotive Systems”, ACM Design Automation Conference. San Diego, June 2007 (winner of best paper award).
  56. P.Gai, G. Lipari, M. Di Natale, N. Serreli, L. Palopoli, A. Ferrari, ”Adding Timing Analysis to Functional Design to Predict Implementation Errors”, SAE International Conference, Detroit, USA, April 2007
  57. Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello, Patrick Popp, “Architecture Exploration for Time-Critical and Cost-Sensitive Distributed Systems”, SAE International Conference, Detroit, USA, April 2007
  58. Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto Sangiovanni Vincentelli, Synthesis of Task and Message Activation Models in Real-Time Distributed Automotive Systems, Proceedings of the IEEE/ACM Design Automation and Test in Europe conference, Nice, April 15-18 2007
  59. Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello, Towards a Methodology for the Quantitative Evaluation of Automotive Architectures, Proceedings of the IEEE/ACM Design Automation and Test in Europe conference, Nice, April 15-18 2007
  60. Marco Di Natale, Enrico Bini, Optimizing the FPGA implementation of HRT systems, Proceedings of the IEEE Real-Time Application Symposium, Bellevue, WA, April 3-5 2007.
  61. Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto Sangiovanni Vincentelli, Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems, Proceedings of the IEEE Real-Time Application Symposium, Bellevue, WA, April 3-5 2007 (winner of best paper award).
  62. Enrico Bini, Marco Di Natale, Giorgio Buttazzo “Sensitivity Analysis for Fixed-Priority Real-Time Systems”, Euromicro Conference on Real-Time Systems, Dresden, June 2006.
  63. Marco Di Natale “Optimizing the multitask implementation of multirate Simulink models”, IEEE Real-Time and Embedded Technology and Application Symposium, San Jose, June 2006.
  64. Enrico Bini, Marco Di Natale, “Optimal Task Rate Selection in Fixed Priority Systems”, proceedings of the IEEE Real-Time Systems Symposium 2005, December 5-8, 2005 Miami
  65. Paolo Gai, Giuseppe Lipari, Marco Di Natale, Alberto Ferrari, “Support for multiprocessor synchronization and resource sharing in System-On-Programmable Chips with SoftCores”, IEEE System On chip Conference 2005.
  66. C. Bartolini, G. Lipari, M. Di Natale, “From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications”, proceedings of the11th IEEE Real-Time and Embedded Technology and Application Symposium 2005, March 7 - 10, 2005 San Francisco, California
  67. T. Vardanega, M. Di Natale, S. Mazzini, M. D’Alessandro, "Component-Based Real-Time Design: Mapping HRT-HOOD to UML", 30th Euromicro Conference, Component-based software engineering track, Rennes - France, August 31st September 3rd, 2004
  68. Tommaso Cucinotta, Marco di Natale, David Corcoran, “Breaking down architectural gaps in smart card middleware design”, 1st International Conference on Trust and Privacy in Digital Business (TrustBus´04), Zaragoza, Spain, August 30 – September 3, 2004
  69. Tommaso Cucinotta, Riccardo Brigo, Marco Di Natale, “Hybrid fingerprint matching on programmable smart cards”, 1st International Conference on Trust and Privacy in Digital Business (TrustBus´04), Zaragoza, Spain, August 30 – September 3, 2004
  70. J.Y. Brunel, P. Giusto, M. Di Natale, L. Lavagno, and A. Ferrari, “SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract”, Proceedings of the Design, Automation and Test Conference (DATE) 2004, Paris, February 2004
  71. Gai, Paolo and Di Natale, Marco and Lipari, Giuseppe and Ferrari, Alberto and Gabellini, Claudio and Marceca, Paolo, “A Comparison of MPCP and MSRP when Sharing Resources in the Janus Multiple-Processor on a Chip Platform”, Proceedings of the 9th Real-Time and Embedded Technology and Applications Symposium, Washington DC, May 2003
  72. S. Mazzini, M. D’Alessandro, M. Di Natale, G. Lipari and T. Vardanega, “Issues in Mapping HRT-HOOD to UML”, Proceedings of the Euromicro Conference RTS 2003, Porto, July, 2003.
  73. T. Cucinotta, D. Corcoran, M. Di Natale, “A protocol for programmable smart cards“, Proceedings of the 2003 TrustBus Conference, Prague Sept 1-5 2003
  74. Paolo Gai, Giuseppe Lipari and Marco Di Natale “ Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-chip” proceedings of the IEEE Real-Time Systems Symposium, London, UK November 2001
  75. 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 Conference 2001, Snowbird Utah, June 2001
  76. M. Di Natale, A. Sangiovanni-Vincentelli, F. Balarin “Scheduling Reactive Task Graphs In Embedded Control Systems” proceedings of the Real-time Application Symposium RTAS 2001, Taipei, Taiwan June 2001
  77. M. Di Natale “Scheduling the CAN bus with Earliest Deadline Techniques” proceedings of the IEEE Real-Time Systems Symposium, Orlando, USA Novembre 2000
  78. Luigi Palopoli, Luca Abeni, Fabio Conticelli, Marco Di Natale, e Giorgio Buttazzo “Real-Time control system analysis: An integrated approach” proceedings of the IEEE Real-Time Systems Symposium, Orlando, USA Novembre 2000
  79. M. Di Natale, A. Sangiovanni-Vincentelli, F. Balarin “Task Scheduling with RT Constraints” proceedings of the Design Automation Conference DAC 2000, Los Angeles, USA, June 2000
  80. M. Di Natale, A. Domenici, P. Ancilotti “The DASE Design Environment for Distributed Real-Time Analysis” Proceedings of the SCI-ISAS Conference on informatics, Orlando, USA, Agosto 1999
  81. G. Luculli, M. Di Natale "A cache-aware scheduling algorithm for embedded systems" Proc. of the IEEE Real-Time Systems Symposium, S. Francisco, USA, Dec. 1997
  82. P. Ancilotti, G. Buttazzo, M. Di Natale, M. Bizzarri, "A Flexible Tool Kit for the Development of Real-Time Applications", Proc. of the 2nd IEEE Real-Time Technology and Applications Symposium, Boston, June 1996.
  83. M. DiNatale, J. A. Stankovic “Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control“ Proceedings of the IEEE RTSS Real Time System Symposium, Pisa, December 1995
  84. M. Di Natale, J.A. Stankovic, “Dynamic End-to-end Guarantees in Distributed Real-Time Systems” proceedings of the IEEE RTSS Real Time System Symposium , S. Juan - Porto Rico 1994
  85. G. Buttazzo M. Di Natale “HARTIK: A Hard Real-Time Kernel for Programming Robot Tasks with Explicit Time Contraints and Guaranteed Execution“ Proceedings 1993 IEEE Conf. on Robotics and Automation , 1993
  86. P. Dario, E. Guglielmelli, C. Mule, M. Di Natale, G. Buttazzo, B. Allotta URMAD: A Mobile Robotic Unit for the Assistance to the Disabled Proceedings ISMCR Intl. Symposium on Measurement and Control on Robotics 1993 , 1993
  87. P. Dario, E. Guglielmelli, C. Mule, M. Di Natale URMAD: an Autonomous Mobile Robot System for the Assistance to the Disabled Proceedings of ICAR International Conference on Robotics and Automation 93 , 1993
  88. M. Rucci, P. Dario, M. Di Natale Robot Tactile Perception: a Neural Network based Approach Incorporating Sensorimotor Strategies Proceedings of 3rd Intl. Symposium on Measurement and Control on Robotics , 1993
  89. P. Ancilotti, G.C. Buttazzo, M. Di Natale, M. Spuri “Real-Time Programming in TRACS“ Proc. of the Annual Conference AICA'93 , 1993
  90. T. Wang, M. Fadda, S. Martelli, M. Marcacci, B. Allotta, M. Di Natale, P. Dario “Force Signal Processing and Control For Surgical Robot System” Proceedings of the International Conference on Signal Processing Applications and Technology , 1993

Invited Conference Papers

  1. T. Forest, A. Ferrari, G. Audisio, M. Sabatini, A. Sangiovanni-Vincentelli, M. Di Natale “Physical Architectures of Automotive Systems” DATE Conference 2008, Munich, Germany, March 10-14, 2008
  2. H. Heinecke, W. Damm, B. Josko, A. Metzner, H. Kopetz, A. Sangiovanni-Vincentelli, M. Di Natale “Software Components for Reliable Automotive Systems” DATE Conference 2008, Munich, Germany, March 10-14, 2008
  3. E. Frank, R Wilhelm, R Ernst, A. Sangiovanni-Vincentelli, M. Di Natale “Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures” DATE Conference 2008, Munich, Germany, March 10-14, 2008

Workshops and WiP Proceedings

    2017

  1. Alessandro Biondi, Paolo Pazzaglia, Alessio Balsini, Marco Di Natale
    Logical Execution Time Implementation and Memory Optimization Issues in AUTOSAR Applications for Multicores 8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Dubrovnik, Croatia, June 2017.

    2. 2016

  2. Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale and Giorgio Buttazzo
    A Simulation Framework to Analyze the Scheduling of AVR Tasks with Respect to Engine Performance
    7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Toulouse, France, June 2016.
  3. Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems
    C Bernardeschi, G Del Vigna, M Di Natale, G Dini, D Varano
    International Workshop on Modelling and Simulation for Autonomous Systems

    4. 2015

    2014

  4. Matteo Morelli, Fabio Cremona, Marco Di Natale
    A system-level framework for the evaluation of the performance cost of scheduling and communication delays in control systems
    5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems

    5. 2013

  5. M. Morelli, Federico Moro, Tizar Rizano, Daniele Fontanelli, Luigi Palopoli, M. Di Natale,
    “Robotic Vehicle Testbench for the Application of MBD-MDE Development Technologies”,
    WiP of the ETFA Conference 2013, Cagliari, September 9-11 2013
  6. M. Di Natale, Chuansheng Dong, Haibo Zeng
    “Reality Check: the Need for Benchmarking in RTS and CPS”,
    RTSOPS workshop at Euromicro 2013, Paris, April 2013
  7. M. Morelli, M. Di Natale,
    “Generation of Flow-Preserving Orocos Implementations of Simulink/Scicos Models”,
    Eight Workshop on Software Development and integration in Robotics at ICRA 2013, Kerlsruhe, Germany, May 6, 2013

    8. 2012

  8. M. Di Natale, Haibo Zeng
    “Undoing the Task: Moving Timing Analysis back to Functional Models”,
    RTSOPS workshop at Euromicro 2012, Pisa, July 2012
  9. M. Di Natale, M. Bambagini, M. Morelli, A. Passaro, D. Di Stefano, G. Arturi
    “Enabling Model-Based Development of Distributed Embedded Systems on Open Source and Free Tools”,
    WATERS workshop at Euromicro 2012, Pisa, Italy, July 2012

    10. 2011

  10. Haibo Zeng, Marco Di Natale,
    "Efficient Implementation of AUTOSAR Components with Minimal Memory Usage",
    SOMRES 2011.
  11. Chung-Wei Lin, Marco Di Natale, Haibo Zeng and Alberto Sangiovanni-Vincentelli,
    "Performance Analysis of Synchronous Models Implementations on Loosely Time-Triggered Architectures",
    WiP RTAS 2011.
  12. Marco Di Natale and Haibo Zeng,
    "Task Implementation and Schedulability Analysis of Synchronous of Finite State Machines",
    WiP RTAS 2011.

    13. 2010

    2009

    2008

  13. M. Di Natale, A. Benveniste, P Caspi, C. Pinello. A. Sangiovanni-Vincentelli, S. Tripakis, ”Applying LTTA to guarantee flow of data requirements in distributed systems using Controller Area Networks”, DATE Workshop on Dependable Software Systems, Munich, March 14 2008
  14. Marco Di Natale, “Latency driven architecture selection and optimization in automotive systems”, HYCON Workshop, L’Aquila, September 27th, 2007.
  15. G. Wang, M. Di Natale, A. Sangiovanni-Vincentelli, “An OSEK-VDX Implementation of Synchronous Reactive Semantics-Preserving Communication”, OSPERT 2007, June 2007, Pisa, Italy.
  16. Marco Di Natale, Wei Zheng, and Paolo Giusto, ”Using system-level timing analysis for the evaluation and synthesis of automotive architectures”, Workshop on formal methods in Automotive systems, Bangalore, India, Jan. 2007
  17. Marco Di Natale “Evaluating message transmission times in Controller Area Networks without buffer preemption”, Brazilian Workshop on Real-Time Systems, Cutiriba, Brasil, May 2006.
  18. 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
  19. F. Bertozzi, M. Di Natale, L. Almeida, “Admission Control and Overload Handling in FTT-CAN” Workshop on Factory Control Automation, Vienna, September 2004.
  20. E. Bini, M. Di Natale, L. Palopoli, “Optimizing Application Performance by Rate Selection in Fixed-Priority RT Systems”, WIP Session, IEEE Real-Time and Embedded Technology and Application Symposium 2004, Toronto, May 2004
  21. Paolo Gai, Enrico Bini, Giuseppe Lipari, Marco Di Natale, Luca Abeni Architecture for a Portable Open-Source Real-Time Kernel Environment Second Real-Time Linux Workshop, Orlando, USA Novembre 2000
  22. M. Di Natale , G. Di Pietro, G. Prisco, M. Bergamasco, P. Ancilotti, "The Design and Analysis of the MORIS Simulator", Proc. of the WIP session at the 5th IEEE Real-Time Technology and Applications Symposium, Vancouver, June 1999.
  23. M. Di Natale, A. Meschi "Guaranteeing End-to-end Deadlines in Distributed Client-Server Applications" Euromicro Workshop on Real-Time Systems, Berlin, May 1998
  24. M. Di Natale, A. Domenici "The DASE tool: an environment for the development of real-time applications" IFIP Workshop on Distributed and Parallel Embedded Systems, Schloss Eringerfeld, October 1998
  25. Meschi, M. Di Natale, M. Spuri "Priority Inversion at the Network Adapter when Scheduling Messages with Earliest Deadline Techniques" Euromicro Workshop on Real-Time Systems, L'Aquila, June 1996
  26. P. Ancilotti, G. Buttazzo, M. Di Natale, M. Bizzarri, "The MORIS Control System", Proc. of the Euromicro Workshop on Real-Time Systems, L'Aquila, June 1996
  27. Meschi, M. Di Natale, M. Spuri “Earliest Deadline Message Scheduling with Limited Priority Inversion” Proceedings of the Workshop on Parallel and Distributed Real-Time Systems , Honolulu, Hawaii, April 1996
  28. G. Buttazzo, M. Di Natale HARTIK: A Hard Real-Time Kernel for Robot Control Proc. of the International Workshop on Mechatronical Computer Systems for Perception and Action , 1993
  29. P. Ancilotti, G. Buttazzo, M. Di Natale, M. Spuri “TRACS: A Flexible Real-Time Environment for Traffic Control Systems” Proceedings 1st IEEE Workshop on Real-Time Applications, New York , 1993
  30. M. Di Natale, M. Spuri, M. Beatini “Programming and Evaluating Predictable Real-Time Tasks” Proc. of the International Workshop on Mechatronical Computer Systems for Perception and Action , 1993
  31. P. Ancilotti, G.C. Buttazzo, M. Di Natale, M. Spuri “A Real-Time Vessel traffic System“ Proc. of the International Workshop on Mechatronical Computer Systems for Perception and Action , 1993