Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarMarco Di Natale
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[d1]Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, Marco Di Natale:
Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses (Artifact). DARTS 4(2): 04:1-04:2 (2018)- [j35]Marco Di Natale, David Perillo, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli:
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components. Software and System Modeling 17(1): 11-33 (2018) - [j34]Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo:
Response-Time Analysis of Engine Control Applications Under Fixed-Priority Scheduling. IEEE Trans. Computers 67(5): 687-703 (2018) - [j33]Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo, Paolo Pazzaglia:
Selecting the Transition Speeds of Engine Control Tasks to Optimize the Performance. TCPS 2(1): 1:1-1:26 (2018) - [c98]Caroline Brandberg, Marco Di Natale:
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models. Principles of Modeling 2018: 206-222 - [c97]Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, Marco Di Natale:
Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses. ECRTS 2018: 10:1-10:22 - [c96]Youcheng Sun, Marco Di Natale:
Assessing the pessimism of current multicore global fixed-priority schedulability analysis. SAC 2018: 575-583 - 2017
- [j32]Youcheng Sun, Marco Di Natale:
Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks. ACM Trans. Embedded Comput. Syst. 16(5): 171:1-171:19 (2017) - [c95]David Perillo, Marco Di Natale:
Using MDA to Automate the Integration of Virtual Platforms for System-Level Simulation. COMPSAC (1) 2017: 268-277 - [c94]Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri:
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. ICISSP 2017: 704-713 - [c93]Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano:
Modeling and generation of secure component communications in AUTOSAR. SAC 2017: 1473-1480 - [c92]Pasquale Antonante, Juan Valverde-Alcalá, Stylianos Basagiannis, Marco Di Natale:
Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach. SAFECOMP Workshops 2017: 141-156 - [c91]Paolo Pazzaglia, Marco Di Natale, Giorgio C. Buttazzo, Matteo Secchiari:
A Framework for the Co-simulation of Engine Controls and Task Scheduling. SEFM Workshops 2017: 438-452 - [c90]Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios Tsachouridis:
Generation of simulink monitors for control applications from formal requirements. SIES 2017: 1-9 - 2016
- [j31]Rolf Ernst, Marco Di Natale:
Mixed Criticality Systems - A History of Misconceptions? IEEE Design & Test 33(5): 65-74 (2016) - [j30]Peng Deng, Qi Zhu, Abhijit Davare, Anastasios I. Mourikis, Xue Liu, Marco Di Natale:
An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems. IEEE Trans. Computers 65(12): 3552-3566 (2016) - [c89]Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo:
Performance-Driven Design of Engine Control Tasks. ICCPS 2016: 45:1-45:10 - [c88]Marco Di Natale, Celso Luiz Mendes da Silva, Max Mauro Dias Santos:
On the applicability of an MILP solution for signal packing in CAN-FD. INDIN 2016: 1202-1205 - [c87]Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis:
Step revision in hybrid Co-simulation with FMI. MEMOCODE 2016: 173-183 - [c86]Cinzia Bernardeschi, Gabriele Del Vigna, Marco Di Natale, Gianluca Dini, Dario Varano:
Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems. MESAS 2016: 101-117 - 2015
- [j29]Haibo Zeng, Marco Di Natale:
Computing periodic request functions to speed-up the analysis of non-cyclic task models. Real-Time Systems 51(4): 360-394 (2015) - [c85]Matteo Morelli, Yasmina Seddik, Marco Di Natale, Chokri Mraidha, Sara Tucci Piergiovanni:
Simulation-Driven Optimization of Real-Time Control Tasks. HPCC/CSS/ICESS 2015: 991-1000 - [c84]Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo:
Response-time analysis for real-time tasks in engine control applications. ICCPS 2015: 120-129 - [c83]Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng:
A model-based synthesis flow for automotive CPS. ICCPS 2015: 198-207 - [c82]Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer:
Task placement and selection of data consistency mechanisms for real-time multicore applications. RTAS 2015: 172-181 - [c81]Fabio Cremona, Matteo Morelli, Marco Di Natale:
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink. SAC 2015: 1940-1947 - 2014
- [j28]Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Optimized implementation of synchronous models on industrial LTTA systems. Journal of Systems Architecture - Embedded Systems Design 60(4): 315-328 (2014) - [j27]Jia Hu, Jens Palsberg, Seetharami Seelam, Marco Di Natale, Lei (Chris) Liu:
Introduction to special issue on embedded systems architecture and applications. Journal of Systems Architecture - Embedded Systems Design 60(5): 419 (2014) - [j26]Marco Di Natale, Rich West, Jian-Jia Chen, Rahul Mangharam:
Editorial: Special issue on real-time and embedded technology and applications. ACM Trans. Embedded Comput. Syst. 13(4s): 119:1-119:2 (2014) - [j25]Haibo Zeng, Marco Di Natale, Qi Zhu:
Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications. ACM Trans. Embedded Comput. Syst. 13(5s): 149:1-149:25 (2014) - [j24]Gang Han, Haibo Zeng, Marco Di Natale, Xue Liu, Wenhua Dou:
Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms. IEEE Trans. Industrial Informatics 10(2): 903-918 (2014) - [c80]Alessandro Biondi, Alessandra Melani, Mauro Marinoni, Marco Di Natale, Giorgio C. Buttazzo:
Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling. ECRTS 2014: 165-174 - [c79]Matteo Morelli, Marco Di Natale:
An MDE approach for the design of platform-aware controls in performance-sensitive applications. ETFA 2014: 1-8 - [c78]Peng Deng, Anastasios I. Mourikis, Qi Zhu, Xue Liu, Abhijit Davare, Marco Di Natale:
WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems. ICCPS 2014: 215 - [c77]Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard:
Assigning time budgets to component functions in the design of time-critical automotive systems. ASE 2014: 235-246 - [c76]Marco Di Natale, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli:
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink. MoDELS 2014: 353-369 - [c75]Peng Deng, Qi Zhu, Marco Di Natale, Haibo Zeng:
Task synthesis for latency-sensitive synchronous block diagram. SIES 2014: 112-121 - [c74]Matteo Morelli, Marco Di Natale:
Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach. SIMPAR 2014: 49-61 - [p2]Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel:
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems. Embedded Systems Development, From Functional Models to Implementations 2014: 1-16 - [e2]Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel:
Embedded Systems Development, From Functional Models to Implementations. Springer 2014, ISBN 978-1-4614-3878-6 [contents] - 2013
- [j23]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 Systems Architecture - Embedded Systems Design 59(10-D): 1115-1127 (2013) - [j22]Haibo Zeng, Marco Di Natale:
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization. IEEE Trans. Computers 62(4): 644-661 (2013) - [c73]Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng:
Robust and extensible task implementations of synchronous finite state machines. DATE 2013: 1319-1324 - [c72]Haibo Zeng, Marco Di Natale:
Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models. ECRTS 2013: 205-214 - [c71]Matteo Morelli, Federico Moro, Tizar Rizano, Daniele Fontanelli, Luigi Palopoli, Marco Di Natale:
A robotic vehicle testbench for the application of MBD-MDE development technologies. ETFA 2013: 1-4 - [c70]Benjamin Nahill, Ari Ramdial, Haibo Zeng, Marco Di Natale, Zeljko Zilic:
An FPGA implementation of wait-free data synchronization protocols. ETFA 2013: 1-8 - [c69]Marco Di Natale, Haibo Zeng:
Practical issues with the timing analysis of the Controller Area Network. ETFA 2013: 1-8 - [c68]Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard:
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. LCTES 2013: 121-132 - [c67]Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli:
Timing analysis of process graphs with finite communication buffers. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 227-236 - [c66]Zaid Al-bayati, Haibo Zeng, Marco Di Natale, Zonghua Gu:
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling. SIES 2013: 168-177 - 2012
- [j21]Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embedded Comput. Syst. 11(4): 85:1-85:30 (2012) - [c65]Marco Di Natale, Haibo Zeng:
Task implementation of synchronous finite state machines. DATE 2012: 206-211 - [c64]Haibo Zeng, Marco Di Natale:
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines. ECRTS 2012: 353-362 - [c63]Mario Bambagini, Marco Di Natale:
A code generation framework for distributed real-time embedded systems. ETFA 2012: 1-10 - [c62]Haibo Zeng, Marco Di Natale, Qi Zhu:
Optimizing stack memory requirements for real-time embedded applications. ETFA 2012: 1-8 - [c61]Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. MoDELS 2012: 810-826 - [c60]Haibo Zeng, Marco Di Natale:
Efficient implementation of AUTOSAR components with minimal memory usage. SIES 2012: 130-137 - [e1]Marco Di Natale:
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-0883-0 [contents] - 2011
- [j20]Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli:
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Trans. Industrial Informatics 7(1): 1-17 (2011) - [c59]Samarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka:
Timing and schedulability analysis for distributed automotive control applications. EMSOFT 2011: 349-350 - [c58]Haibo Zeng, Marco Di Natale:
Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms. SIES 2011: 140-149 - [c57]Andrea Sindico, Marco Di Natale, Gianpiero Panci:
Integrating SysML with Simulink using Open-source Model Transformations. SIMULTECH 2011: 45-56 - 2010
- [j19]Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools. Proceedings of the IEEE 98(4): 603-620 (2010) - [j18]Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli:
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. IEEE Trans. Industrial Informatics 6(4): 621-636 (2010) - [j17]Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli:
Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. IEEE Trans. Industrial Informatics 6(4): 637-651 (2010) - [j16]Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network. IEEE Trans. Industrial Informatics 6(4): 678-691 (2010) - [j15]Guoqiang Wang, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Optimal synthesis of communication procedures in real-time synchronous reactive models. IEEE Trans. Industrial Informatics 6(4): 729-743 (2010) - [c56]Haibo Zeng, Arkadeb Ghosal, Marco Di Natale:
Timing Analysis and Optimization of FlexRay Dynamic Segment. CIT 2010: 1932-1939 - [c55]Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim:
Computing robustness of FlexRay schedules to uncertainties in design parameters. DATE 2010: 550-555 - [c54]Haibo Zeng, Marco Di Natale:
Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods. ECRTS 2010: 279-290 - [c53]Marco Di Natale, Haibo Zeng:
System identification and extraction of timing properties from controller area network (CAN) message traces. ETFA 2010: 1-8 - [c52]
2000 – 2009
- 2009
- [j14]Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Challenges and Solutions in the Development of Automotive Systems. IEEE Trans. on CAD of Integrated Circuits and Systems 28(7): 937-940 (2009) - [j13]Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli:
Improving the size of communication buffers in synchronous models with time constraints. IEEE Trans. Industrial Informatics 5(3): 229-240 (2009) - [j12]Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Stochastic Analysis of Distributed Real-time Automotive Systems. IEEE Trans. Industrial Informatics 5(4): 388-401 (2009) - [c51]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 - [c50]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 - [c49]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 - [c48]Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli:
Automatic Code Generation for Synchronous Reactive Communication. ICESS 2009: 40-47 - [c47]
- [c46]Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Optimizing Extensibility in Hard Real-Time Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 275-284 - [c45]Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Statistical analysis of Controller Area Network message response times. SIES 2009: 1-10 - [p1]Marco Di Natale:
Embedded Software Modeling and Design. Embedded Systems Design and Verification 2009: 4 - 2008
- [j11]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) - [j10]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) - [j9]Marco Di Natale, Valerio Pappalardo:
Buffer optimization in multitask implementations of Simulink models. ACM Trans. Embedded Comput. Syst. 7(3): 23:1-23:32 (2008) - [c44]Marco Di Natale:
Design and Development of Component-Based Embedded Systems for Automotive Applications. Ada-Europe 2008: 15-29 - [c43]T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Physical Architectures of Automotive Systems. DATE 2008: 391-395 - [c42]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 - [c41]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 - [c40]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 - [c39]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 - 2007
- [j8]Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Embedded System Design for Automotive Applications. IEEE Computer 40(10): 42-51 (2007) - [c38]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 - [c37]Marco Di Natale:
Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions. DAC 2007: 551-555 - [c36]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 - [c35]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 - [c34]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 - [c33]Marco Di Natale, Enrico Bini:
Optimizing the FPGA Implementation of HRT Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 22-31 - [c32]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 - [c31]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 - 2006
- [c30]Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo:
Sensitivity Analysis for Fixed-Priority Real-Time Systems. ECRTS 2006: 13-22 - [c29]Marco Di Natale:
Optimizing the Multitask Implementation of Multirate Simulink Models. IEEE Real Time Technology and Applications Symposium 2006: 335-346 - 2005
- [j7]Tommaso Cucinotta, Marco Di Natale, David Corcoran:
An open middleware for smart cards. Comput. Syst. Sci. Eng. 20(6) (2005) - [c28]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 - [c27]Enrico Bini, Marco Di Natale:
Optimal Task Rate Selection in Fixed Priority Systems. RTSS 2005: 399-409 - [c26]Paolo Gai, Giuseppe Lipari, Marco Di Natale, Matteo Duranti, Alberto Ferrari:
Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores. SoCC 2005: 109-110 - 2004
- [c25]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 - [c24]Tullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro:
Component-Based Real-Time Design: Mapping HRT-HOOD to UML. EUROMICRO 2004: 6-13 - [c23]Tommaso Cucinotta, Riccardo Brigo, Marco Di Natale:
Hybrid Fingerprint Matching on Programmable Smart Cards. TrustBus 2004: 232-241 - [c22]Tommaso Cucinotta, Marco Di Natale, David Corcoran:
Breaking Down Architectural Gaps in Smart-Card Middleware Design. TrustBus 2004: 279-288 - [c21]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
- [c20]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 - [c19]Tommaso Cucinotta, Marco Di Natale, David Corcoran:
A Protocol for Programmable Smart Cards. DEXA Workshops 2003: 369-374 - [c18]Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega:
Issues in Mapping HRT-HOOD to UML. ECRTS 2003: 221-228 - [c17]Marco Di Natale, Tommaso Cucinotta, Shiva Kolachalam:
A Modular Open-Source Architecture for ICT Services in the Public Administration. EGOV 2003: 167-172 - [c16]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- - 2002
- [j6]Paolo Gai, Giuseppe Lipari, Marco Di Natale:
Stack Size Minimization for Embedded Real-Time Systems-on-a-Chip. Design Autom. for Emb. Sys. 7(1-2): 53-87 (2002) - 2001
- [j5]Marco Di Natale, Antonio Meschi:
Scheduling Messages with Earliest Deadline Techniques. Real-Time Systems 20(3): 255-285 (2001) - [c15]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 - [c14]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-201 - [c13]