Marco Di Natale

	2009
53		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
52		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
51		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
50		Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli: Statistical analysis of Controller Area Network message response times. SIES 2009: 1-10
	2008
49		Marco Di Natale: Design and Development of Component-Based Embedded Systems for Automotive Applications. Ada-Europe 2008: 15-29
48		T. Forest, Alberto Ferrari, G. Audisio, M. Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Physical Architectures of Automotive Systems. DATE 2008: 391-395
47		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
46		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
45		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
44		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
43		Marco Di Natale, Valerio Pappalardo: Buffer optimization in multitask implementations of Simulink models. ACM Trans. Embedded Comput. Syst. 7(3): (2008)
42		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)
41		Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo: Sensitivity analysis for fixed-priority real-time systems. Real-Time Systems 39(1-3): 5-30 (2008)
	2007
40		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
39		Marco Di Natale: Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions. DAC 2007: 551-555
38		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
37		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
36		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
35		Marco Di Natale, Enrico Bini: Optimizing the FPGA Implementation of HRT Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 22-31
34		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
33		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
32		Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Embedded System Design for Automotive Applications. IEEE Computer 40(10): 42-51 (2007)
	2006
31		Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo: Sensitivity Analysis for Fixed-Priority Real-Time Systems. ECRTS 2006: 13-22
30		Marco Di Natale: Optimizing the Multitask Implementation of Multirate Simulink Models. IEEE Real Time Technology and Applications Symposium 2006: 335-346
	2005
29		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
28		Enrico Bini, Marco Di Natale: Optimal Task Rate Selection in Fixed Priority Systems. RTSS 2005: 399-409
27		Tommaso Cucinotta, Marco Di Natale, David Corcoran: An open middleware for smart cards. Comput. Syst. Sci. Eng. 20(6): (2005)
	2004
26		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
25		Tullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro: Component-Based Real-Time Design: Mapping HRT-HOOD to UML. EUROMICRO 2004: 6-13
24		Tommaso Cucinotta, Riccardo Brigo, Marco Di Natale: Hybrid Fingerprint Matching on Programmable Smart Cards. TrustBus 2004: 232-241
23		Tommaso Cucinotta, Marco Di Natale, David Corcoran: Breaking Down Architectural Gaps in Smart-Card Middleware Design. TrustBus 2004: 279-288
22		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
21		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
20		Tommaso Cucinotta, Marco Di Natale, David Corcoran: A Protocol for Programmable Smart Cards. DEXA Workshops 2003: 369-374
19		Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega: Issues in Mapping HRT-HOOD to UML. ECRTS 2003: 221-228
18		Marco Di Natale, Tommaso Cucinotta, Shiva Kolachalam: A Modular Open-Source Architecture for ICT Services in the Public Administration. EGOV 2003: 167-172
17		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-
	2001
16		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-
15		Paolo Gai, Giuseppe Lipari, Marco Di Natale: Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-Chip. IEEE Real-Time Systems Symposium 2001: 73-83
14		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
13		Marco Di Natale, Antonio Meschi: Scheduling Messages with Earliest Deadline Techniques. Real-Time Systems 20(3): 255-285 (2001)
	2000
12		Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin: Task scheduling with RT constraints. DAC 2000: 483-488
11		Marco Di Natale, John A. Stankovic: Scheduling Distributed Real-Time Tasks with Minimum Jitter. IEEE Trans. Computers 49(4): 303-316 (2000)
	1998
10		Marco Di Natale, Andrea Domenici: The DASE Tool: An Environment for the Development of Real-Time Applications. DIPES 1998: 169-180
9		Marco Di Natale, Antonio Meschi: Guaranteeing end-to-end deadlines in distributed client-server applications. ECRTS 1998: 163-171
8		Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Spuri: Design and Programming Tools for Time Critical Applications. Real-Time Systems 14(3): 251-267 (1998)
	1997
7		Gabriele Luculli, Marco Di Natale: A cache-aware scheduling algorithm for embedded systems. IEEE Real-Time Systems Symposium 1997: 199-209
	1996
6		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-
5		Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Spuri: A Development Environment for Hard Real-Time Applications. International Journal of Software Engineering and Knowledge Engineering 6(3): 331-354 (1996)
	1995
4		Marco Di Natale, John A. Stankovic: Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control. IEEE Real-Time Systems Symposium 1995: 190-199
3		John A. Stankovic, Marco Spuri, Marco Di Natale, Giorgio C. Buttazzo: Implications of Classical Scheduling Results for Real-Time Systems. IEEE Computer 28(6): 16-25 (1995)
	1994
2		Marco Di Natale, John A. Stankovic: Dynamic End-to-End Guarantees in Distributed Real Time Systems. IEEE Real-Time Systems Symposium 1994: 215-227
	1993
1		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

1	Luca Abeni	[14]
2	Paolo Ancilotti	[5] [6] [8] [14]
3	Scuola S. Anna	[45]
4	G. Audisio	[48]
5	Felice Balarin	[12] [16]
6	Cesare Bartolini	[29]
7	Albert Benveniste	[36] [42]
8	Enrico Bini	[28] [31] [35] [41]
9	Marco Bizzarri	[6]
10	Amar Bouali	[45]
11	Riccardo Brigo	[24]
12	Jean-Yves Brunel	[26]
13	Giorgio C. Buttazzo	[1] [3] [5] [6] [8] [31] [41]
14	Paul Caspi	[36] [42]
15	Fabio Conticelli	[14]
16	David Corcoran	[20] [23] [27]
17	Tommaso Cucinotta	[18] [20] [23] [24] [27]
18	Massimo D'Alessandro	[19] [21] [25]
19	Werner Damm	[47]
20	Abhijit Davare	[40]
21	Andrea Domenici	[10] [21]
22	Rolf Ernst	[46]
23	H. Fennel	[45]
24	Alberto Ferrari	[17] [22] [26] [48] [51]
25	T. Forest	[48]
26	E. Frank	[46]
27	Claudio Gabellini	[17]
28	Paolo Gai	[15] [17] [51]
29	Giacomo Gentile	[51]
30	Arkadeb Ghosal	[53]
31	Paolo Giusto	[22] [26] [34] [37] [38] [50] [52] [53]
32	H. Hanselmann	[45]
33	Harald Heinecke	[45] [47]
34	Bernhard Josko	[47]
35	Sri Kanajan	[38] [40]
36	Shiva Kolachalam	[18]
37	Hermann Kopetz	[45] [47]
38	Luciano Lavagno	[22] [26]
39	Wenchao Li	[52]
40	Giuseppe Lipari	[14] [15] [17] [19] [21] [29]
41	Gabriele Luculli	[7]
42	Paolo Marceca	[17]
43	Silvia Mazzini	[19] [21] [25]
44	Antonio Meschi	[9] [13]
45	Alexander Metzner	[47]
46	Luigi Palopoli	[14]
47	Valerio Pappalardo	[43]
48	Claudio Pinello	[34] [36] [37] [38] [40] [42]
49	Patrick Popp	[38]
50	Giovanni Reggiani	[51]
51	M. Sabatini	[48]
52	Alberto L. Sangiovanni-Vincentelli	[12] [16] [32] [33] [34] [36] [37] [40] [42] [44] [45] [46] [47] [48] [50] [52] [53]
53	Sanjit A. Seshia	[52]
54	Marco Spuri	[3] [5] [8]
55	John A. Stankovic	[2] [3] [4] [11]
56	Stavros Tripakis	[36] [42]
57	Tullio Vardanega	[19] [21] [25]
58	Guoqiang Wang	[44]
59	Thomas Weber	[45]
60	Reinhard Wilhelm	[46]
61	Haibo Zeng	[50] [53]
62	Wei Zheng	[33] [34] [37] [52] [53]
63	Qi Zhu	[33] [40]

Colors in the list of coauthors