M. Natale
发表
Enrico Bini,
Marco Di Natale,
Enrico Bini,
2005,
26th IEEE International Real-Time Systems Symposium (RTSS'05).
Alberto L. Sangiovanni-Vincentelli,
Albert Benveniste,
Stavros Tripakis,
2008,
IEEE Transactions on Computers.
A. Benveniste,
S. Tripakis,
P. Caspi,
2008
.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Wei Zheng,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
M. Natale,
G. D. Pietro,
G. M. Pris,
.
Marco Di Natale,
Alessandro Biondi,
Paolo Pazzaglia,
2019,
2019 IEEE Real-Time Systems Symposium (RTSS).
M. Natale,
P. Pazzaglia,
Alessandro Biondi,
2017
.
G. Buttazzo,
M. Natale,
P. Pazzaglia,
2016
.
Giorgio C. Buttazzo,
Marco Di Natale,
Alessandro Biondi,
2015,
ICCPS.
Giorgio Buttazzo,
Marco Di Natale,
Alessandro Biondi,
2016
.
G. Lipari,
Enrico Bini,
M. Natale,
2004
.
M. Natale,
Marco,
Spuriy,
2007
.
M. Natale,
T. Cucinotta,
Riccardo Brigo,
2005
.
Task Placement and Selection of Data Consistency Mechanisms for Real-Time Applications on Multicores
Youcheng Sun,
M. Natale,
Haibo Zeng,
2014
.
Alberto Sangiovanni-Vincentelli,
Andrea Sindico,
M. Di Natale,
2012,
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems.
C. Pinello,
Marco Di Natale,
Paolo Giusto,
2007
.
Wei Zheng,
Marco Di Natale,
Paolo Giusto,
2007
.
M. Natale,
2018,
Embedded Systems Design and Verification.
Jens Palsberg,
Lei Liu,
Marco Di Natale,
2014,
J. Syst. Archit..
Haibo Zeng,
Arkadeb Ghosal,
Paolo Giusto,
2012
.
A. Cimatti,
A. Griggio,
L. Cristoforetti,
2022,
MoDELS.
G. Dini,
M. Natale,
C. Bernardeschi,
2018,
Journal of Computer Virology and Hacking Techniques.
G. Lipari,
M. Natale,
Cesare Bartolini,
2005
.
Giorgio Buttazzo,
Marco Di Natale,
Alessandro Biondi,
2018,
IEEE Transactions on Computers.
Giorgio C. Buttazzo,
Marco Di Natale,
Alessandro Biondi,
2018,
ACM Trans. Cyber Phys. Syst..
Giorgio C. Buttazzo,
Marco Di Natale,
Paolo Pazzaglia,
2017,
SEFM Workshops.
Giorgio C. Buttazzo,
Marco Di Natale,
Alessandro Biondi,
2016,
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale,
Francesco Chirico,
2018,
Software & Systems Modeling.
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale,
Francesco Chirico,
2014,
MoDELS.
Alberto L. Sangiovanni-Vincentelli,
Peter Marwedel,
Haibo Zeng,
2014,
Embedded Systems Development, From Functional Models to Implementations.
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures
Xue Liu,
Wenhua Dou,
Haibo Zeng,
2013,
J. Syst. Archit..
Haibo Zeng,
Marco Di Natale,
Zonghua Gu,
2013,
2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).
Peng Deng,
Qi Zhu,
Haibo Zeng,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale,
Andrea Sindico,
2012,
MODELS'12.
Haibo Zeng,
Marco Di Natale,
M. Natale,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Giorgio C. Buttazzo,
Marco Di Natale,
G. Buttazzo,
1993,
[1993] Proceedings IEEE International Conference on Robotics and Automation.
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale,
A. Sangiovanni-Vincentelli,
2010,
Proceedings of the IEEE.
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale,
A. Sangiovanni-Vincentelli,
2007,
Computer.
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink
Marco Di Natale,
Fabio Cremona,
Matteo Morelli,
2015,
SAC.
Haibo Zeng,
Marco Di Natale,
M. Natale,
2011,
2011 6th IEEE International Symposium on Industrial and Embedded Systems.
Paolo Gai,
Marco Di Natale,
Alberto Ferrari,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
Marco Di Natale,
Rolf Ernst,
R. Ernst,
2016,
IEEE Des. Test.
Alberto L. Sangiovanni-Vincentelli,
Qi Zhu,
Marco Di Natale,
2007,
2007 44th ACM/IEEE Design Automation Conference.
Marco Di Natale,
Youcheng Sun,
Paolo Pazzaglia,
2020,
ACM Trans. Embed. Comput. Syst..
Marco Di Natale,
Youcheng Sun,
Youcheng Sun,
2017,
ACM Trans. Embed. Comput. Syst..
Giuseppe Lipari,
Paolo Gai,
Marco Di Natale,
2003,
The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..
Giuseppe Lipari,
Paolo Gai,
Marco Di Natale,
2002,
Des. Autom. Embed. Syst..
Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip
Giuseppe Lipari,
Paolo Gai,
Marco Di Natale,
2001,
Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).
Marco Di Natale,
Antonio Meschi,
M. Natale,
2001,
Real-Time Systems.
M. Di Natale,
M. Natale,
2000,
RTSS.
Luigi Palopoli,
Giorgio C. Buttazzo,
Luca Abeni,
2000,
Proceedings 21st IEEE Real-Time Systems Symposium.
John A. Stankovic,
Marco Di Natale,
J. Stankovic,
2000,
IEEE Trans. Computers.
Marco Spuri,
Giorgio C. Buttazzo,
John A. Stankovic,
1995,
Computer.
Qi Zhu,
Haibo Zeng,
Marco Di Natale,
2015,
21st IEEE Real-Time and Embedded Technology and Applications Symposium.
John A. Stankovic,
Marco Di Natale,
J. Stankovic,
1994,
1994 Proceedings Real-Time Systems Symposium.
Marco Di Natale,
Youcheng Sun,
Youcheng Sun,
2019,
J. Syst. Archit..
Marco Di Natale,
Youcheng Sun,
Youcheng Sun,
2018,
SAC.
M. Natale,
P. Pazzaglia,
Alessandro Biondi,
2023,
IEEE Transactions on Computers.
Giorgio C. Buttazzo,
Marco Di Natale,
Alessandro Biondi,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Haibo Zeng,
Marco Di Natale,
Arkadeb Ghosal,
2012
.
Marco Di Natale,
David Perillo,
M. Natale,
2017,
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).
Sébastien Gérard,
Sara Tucci Piergiovanni,
Haibo Zeng,
2014,
ASE.
Laurent Lemarchand,
Jean-Philippe Babau,
Haibo Zeng,
2013,
LCTES '13.
Alberto L. Sangiovanni-Vincentelli,
Qi Zhu,
Haibo Zeng,
2012,
TECS.
Alberto L. Sangiovanni-Vincentelli,
Haibo Zeng,
Marco Di Natale,
2010,
IEEE Transactions on Industrial Informatics.
Wei Zheng,
Qi Zhu,
Marco Di Natale,
2007,
28th IEEE International Real-Time Systems Symposium (RTSS 2007).
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale,
Paolo Giusto,
2007,
13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).
Andrea Domenici,
Marco Di Natale,
M. Natale,
1998,
DIPES.
Marco Di Natale,
Antonio Meschi,
M. Natale,
1998,
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168).
Manas Saksena,
Marco Di Natale,
M. Natale,
2003,
UML for Real.
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale,
Marco Sabatini,
2008,
2008 Design, Automation and Test in Europe.
Alexandre M. Amory,
M. Natale,
T. Cucinotta,
2023,
ACM Transactions on Embedded Computing Systems.
David Broman,
Edward A. Lee,
Stavros Tripakis,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Marco Di Natale,
Vassilios A. Tsachouridis,
Alessio Balsini,
2017,
2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES).
Marco Di Natale,
Paolo Giusto,
Claudio Pinello,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Giorgio C. Buttazzo,
Enrico Bini,
Marco Di Natale,
2006,
11th IEEE Real Time and Embedded Technology and Applications Symposium.
Marco Di Natale,
Alessandro Biondi,
Paolo Pazzaglia,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Marco Di Natale,
Alessandro Biondi,
M. Natale,
2018,
2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
M. Natale,
P. Pazzaglia,
Alessandro Biondi,
2022,
J. Syst. Archit..
G. Buttazzo,
M. Natale,
P. Pazzaglia,
2019
.
Qi Zhu,
Haibo Zeng,
Marco Di Natale,
2012,
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).
Haibo Zeng,
Marco Di Natale,
Arkadeb Ghosal,
2012
.
John A. Stankovic,
Marco Di Natale,
J. Stankovic,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.
Haibo Zeng,
Marco Di Natale,
M. Natale,
2013,
2013 25th Euromicro Conference on Real-Time Systems.
Marco Di Natale,
Valerio Pappalardo,
M. Natale,
2008,
TECS.
Giuseppe Lipari,
Luca Abeni,
Paolo Gai,
2000
.
Luigi Palopoli,
Giuseppe Lipari,
Luca Abeni,
2001,
OM '01.
Alberto L. Sangiovanni-Vincentelli,
Haibo Zeng,
Marco Di Natale,
2011,
IEEE Transactions on Industrial Informatics.
Tullio Vardanega,
Giuseppe Lipari,
Marco Di Natale,
2003,
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale,
Felice Balarin,
2001,
Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.
A. Sangiovanni-Vincentelli,
F. Balarin,
M. Natale,
2000,
Proceedings 37th Design Automation Conference.
P. Giusto,
M. Natale,
C. Pinello,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
A. Sangiovanni-Vincentelli,
P. Marwedel,
M. Natale,
2015
.
J Hayhurst Kelly,
Dan S. Veerhusen,
S Veerhusen Dan,
2001
.
Haibo Zeng,
Marco Di Natale,
M. Natale,
2010
.
Enrico Bini,
Marco Di Natale,
Enrico Bini,
2007,
13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).
Alberto L. Sangiovanni-Vincentelli,
Haibo Zeng,
Marco Di Natale,
2010,
IEEE Transactions on Industrial Informatics.
Haibo Zeng,
Marco Di Natale,
M. Natale,
2010,
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).
Giorgio C. Buttazzo,
Marco Di Natale,
Paolo Ancilotti,
1996,
Proceedings Real-Time Technology and Applications.
Marco Di Natale,
M. Natale,
2008
.
Giorgio C. Buttazzo,
Marco Di Natale,
Mauro Marinoni,
2014,
2014 26th Euromicro Conference on Real-Time Systems.
Alberto L. Sangiovanni-Vincentelli,
Albert Benveniste,
Stavros Tripakis,
2007,
EMSOFT '07.