Marco Di Natale
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
- [j39]Youcheng Sun
, Marco Di Natale:
Pessimism in multicore global schedulability analysis. Journal of Systems Architecture - Embedded Systems Design 97: 142-152 (2019) - [j38]Chao Peng, Haibo Zeng
, Marco Di Natale:
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs. Real-Time Systems 55(3): 598-638 (2019) - [j37]Zaid Al-bayati, Youcheng Sun
, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer:
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. ACM Trans. Embedded Comput. Syst. 18(4): 35:1-35:28 (2019) - [c101]Paolo Pazzaglia
, Alessandro Biondi, Marco Di Natale:
Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems. DATE 2019: 1543-1548 - 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) - [j36]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 Systems Modeling 17(1): 11-33 (2018) - [j35]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) - [j34]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) - [j33]Cinzia Bernardeschi
, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
:
Verifying data secure flow in AUTOSAR models. J. Computer Virology and Hacking Techniques 14(4): 269-289 (2018) - [c100]Caroline Brandberg, Marco Di Natale:
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models. Principles of Modeling 2018: 206-222 - [c99]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 - [c98]Alessandro Biondi, Marco Di Natale:
Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm. RTAS 2018: 240-250 - [c97]Youcheng Sun, Marco Di Natale:
Assessing the pessimism of current multicore global fixed-priority schedulability analysis. SAC 2018: 575-583 - [c96]Caroline Brandberg, Marco Di Natale:
A SimEvents Model for the Analysis of Scheduling and Memory Access Delays in Multicores. SIES 2018: 1-10 - 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(5s): 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 A. 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 - [p3]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]Marco Di Natale:
APESER 2010 Keynote Speech: Marco Di Natale. GreenCom/CPSCom 2010
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]Marco Di Natale:
preface. ACES-MB@MoDELS 2009 - [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 - [p2]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]