Marco Di Natale

2008
37	EE	Marco Di Natale, Valerio Pappalardo: Buffer optimization in multitask implementations of Simulink models. ACM Trans. Embedded Comput. Syst. 7(3): (2008)
2007
36	EE	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
35	EE	Marco Di Natale: Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions. DAC 2007: 551-555
34	EE	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
33	EE	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
32	EE	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
31	EE	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
30	EE	Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Embedded System Design for Automotive Applications. IEEE Computer 40(10): 42-51 (2007)
2006
29	EE	Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo: Sensitivity Analysis for Fixed-Priority Real-Time Systems. ECRTS 2006: 13-22
28	EE	Marco Di Natale: Optimizing the Multitask Implementation of Multirate Simulink Models. IEEE Real Time Technology and Applications Symposium 2006: 335-346
2005
27	EE	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
26	EE	Enrico Bini, Marco Di Natale: Optimal Task Rate Selection in Fixed Priority Systems. RTSS 2005: 399-409
25		Tommaso Cucinotta, Marco Di Natale, David Corcoran: An open middleware for smart cards. Comput. Syst. Sci. Eng. 20(6): (2005)
2004
24	EE	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
23	EE	Tullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro: Component-Based Real-Time Design: Mapping HRT-HOOD to UML. EUROMICRO 2004: 6-13
22	EE	Tommaso Cucinotta, Riccardo Brigo, Marco Di Natale: Hybrid Fingerprint Matching on Programmable Smart Cards. TrustBus 2004: 232-241
21	EE	Tommaso Cucinotta, Marco Di Natale, David Corcoran: Breaking Down Architectural Gaps in Smart-Card Middleware Design. TrustBus 2004: 279-288
20	EE	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
19	EE	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
18	EE	Tommaso Cucinotta, Marco Di Natale, David Corcoran: A Protocol for Programmable Smart Cards. DEXA Workshops 2003: 369-374
17	EE	Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega: Issues in Mapping HRT-HOOD to UML. ECRTS 2003: 221-228
16	EE	Marco Di Natale, Tommaso Cucinotta, Shiva Kolachalam: A Modular Open-Source Architecture for ICT Services in the Public Administration. EGOV 2003: 167-172
15	EE	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
14	EE	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-
13	EE	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
12		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
11		Marco Di Natale, Antonio Meschi: Scheduling Messages with Earliest Deadline Techniques. Real-Time Systems 20(3): 255-285 (2001)
2000
10	EE	Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin: Task scheduling with RT constraints. DAC 2000: 483-488
9	EE	Marco Di Natale, John A. Stankovic: Scheduling Distributed Real-Time Tasks with Minimum Jitter. IEEE Trans. Computers 49(4): 303-316 (2000)
1998
8		Marco Di Natale, Andrea Domenici: The DASE Tool: An Environment for the Development of Real-Time Applications. DIPES 1998: 169-180
7		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
6	EE	Gabriele Luculli, Marco Di Natale: A cache-aware scheduling algorithm for embedded systems. IEEE Real-Time Systems Symposium 1997: 199-209
1996
5	EE	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-
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	[12]
2	Paolo Ancilotti	[5] [7] [12]
3	Felice Balarin	[10] [14]
4	Cesare Bartolini	[27]
5	Albert Benveniste	[32]
6	Enrico Bini	[26] [29]
7	Marco Bizzarri	[5]
8	Riccardo Brigo	[22]
9	Jean-Yves Brunel	[24]
10	Giorgio C. Buttazzo	[1] [3] [5] [7] [29]
11	Paul Caspi	[32]
12	Fabio Conticelli	[12]
13	David Corcoran	[18] [21] [25]
14	Tommaso Cucinotta	[16] [18] [21] [22] [25]
15	Massimo D'Alessandro	[17] [19] [23]
16	Abhijit Davare	[36]
17	Andrea Domenici	[8] [19]
18	Alberto Ferrari	[15] [20] [24]
19	Claudio Gabellini	[15]
20	Paolo Gai	[13] [15]
21	Paolo Giusto	[20] [24] [33] [34]
22	Sri Kanajan	[34] [36]
23	Shiva Kolachalam	[16]
24	Luciano Lavagno	[20] [24]
25	Giuseppe Lipari	[12] [13] [15] [17] [19] [27]
26	Gabriele Luculli	[6]
27	Paolo Marceca	[15]
28	Silvia Mazzini	[17] [19] [23]
29	Antonio Meschi	[11]
30	Luigi Palopoli	[12]
31	Valerio Pappalardo	[37]
32	Claudio Pinello	[32] [33] [34] [36]
33	Patrick Popp	[34]
34	Alberto L. Sangiovanni-Vincentelli	[10] [14] [30] [31] [32] [33] [36]
35	Marco Spuri	[3] [7]
36	John A. Stankovic	[2] [3] [4] [9]
37	Stavros Tripakis	[32]
38	Tullio Vardanega	[17] [19] [23]
39	Wei Zheng	[31] [33]
40	Qi Zhu	[31] [36]

Colors in the list of coauthors