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