dblp.uni-trier.dewww.uni-trier.de

Marco Di Natale Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
53EEHaibo 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
52EEWenchao 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
51EEAlberto Ferrari, Marco Di Natale, Giacomo Gentile, Giovanni Reggiani, Paolo Gai: Time and memory tradeoffs in the implementation of AUTOSAR components. DATE 2009: 864-869
50EEHaibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli: Statistical analysis of Controller Area Network message response times. SIES 2009: 1-10
2008
49EEMarco Di Natale: Design and Development of Component-Based Embedded Systems for Automotive Applications. Ada-Europe 2008: 15-29
48EET. Forest, Alberto Ferrari, G. Audisio, M. Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Physical Architectures of Automotive Systems. DATE 2008: 391-395
47EEHarald 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
46EEE. 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
45EEAlberto 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
44EEMarco 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
43EEMarco Di Natale, Valerio Pappalardo: Buffer optimization in multitask implementations of Simulink models. ACM Trans. Embedded Comput. Syst. 7(3): (2008)
42EEStavros 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)
41EEEnrico 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
40EEAbhijit 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
39EEMarco Di Natale: Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions. DAC 2007: 551-555
38EEPatrick 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
37EEWei 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
36EEAlbert 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
35EEMarco Di Natale, Enrico Bini: Optimizing the FPGA Implementation of HRT Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 22-31
34EEMarco 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
33EEWei 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
32EEAlberto L. Sangiovanni-Vincentelli, Marco Di Natale: Embedded System Design for Automotive Applications. IEEE Computer 40(10): 42-51 (2007)
2006
31EEEnrico Bini, Marco Di Natale, Giorgio C. Buttazzo: Sensitivity Analysis for Fixed-Priority Real-Time Systems. ECRTS 2006: 13-22
30EEMarco Di Natale: Optimizing the Multitask Implementation of Multirate Simulink Models. IEEE Real Time Technology and Applications Symposium 2006: 335-346
2005
29EECesare 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
28EEEnrico 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
26EEJean-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
25EETullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro: Component-Based Real-Time Design: Mapping HRT-HOOD to UML. EUROMICRO 2004: 6-13
24EETommaso Cucinotta, Riccardo Brigo, Marco Di Natale: Hybrid Fingerprint Matching on Programmable Smart Cards. TrustBus 2004: 232-241
23EETommaso Cucinotta, Marco Di Natale, David Corcoran: Breaking Down Architectural Gaps in Smart-Card Middleware Design. TrustBus 2004: 279-288
22EELuciano 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
21EESilvia 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
20EETommaso Cucinotta, Marco Di Natale, David Corcoran: A Protocol for Programmable Smart Cards. DEXA Workshops 2003: 369-374
19EESilvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega: Issues in Mapping HRT-HOOD to UML. ECRTS 2003: 221-228
18EEMarco Di Natale, Tommaso Cucinotta, Shiva Kolachalam: A Modular Open-Source Architecture for ICT Services in the Public Administration. EGOV 2003: 167-172
17EEPaolo 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
16EEMarco 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-
15EEPaolo 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
12EEMarco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin: Task scheduling with RT constraints. DAC 2000: 483-488
11EEMarco 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
9EEMarco 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
7EEGabriele Luculli, Marco Di Natale: A cache-aware scheduling algorithm for embedded systems. IEEE Real-Time Systems Symposium 1997: 199-209
1996
6EEPaolo 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-
5EEPaolo 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)