Fabio Cremona
Ph.D. student from 2012 to 2016.
Publications
Search:
Year:
- YEAR: 2016
-
Cremona, Fabio; Lohstroh, Marten; Broman, David; DI NATALE, Marco; Lee, Edward A.; Tripakis, Stavros
Step revision in hybrid Co-simulation with FMI
173 - 183 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 - Institute of Electrical and Electronics Engineers Inc. (2016)
- YEAR: 2015
-
Cremona, Fabio; Morelli, Matteo; DI NATALE, Marco
TRES: A modular representation of schedulers, tasks, and messages to control simulations in simulink
1940 - 1947 Proceedings of the ACM Symposium on Applied Computing - Association for Computing Machinery (2015)
Volume nr. :13
-
Deng, Peng; Zhu, Qi; Cremona, Fabio; DI NATALE, Marco; Zeng, Haibo
A model-Based synthesis flow for automotive CPS
198 - 207 ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015 - Association for Computing Machinery, Inc (2015)
-
DI NATALE, Marco; Morelli, Matteo; Cremona, Fabio
Matching execution architecture models with functional models to analyze the time performance of CPS systems
1 - 6 Proceedings of the 2015 International Conference on Complex Systems Engineering, ICCSE 2015 - Institute of Electrical and Electronics Engineers Inc. (2015)
- YEAR: 2014
-
Morelli, Matteo; Cremona, Fabio; DI NATALE, Marco
A System-level Framework for the Evaluation of the Performance Cost of Scheduling and Communication Delays in Control Systems
Proceedings of the 5th WATERS Workshop - workshop organizers (2014)
- YEAR: 2016
-
Cremona, Fabio; Lohstroh, Marten; Broman, David; DI NATALE, Marco; Lee, Edward A.; Tripakis, Stavros
Step revision in hybrid Co-simulation with FMI
173 - 183 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 - Institute of Electrical and Electronics Engineers Inc. (2016)
- YEAR: 2015
-
Cremona, Fabio; Morelli, Matteo; DI NATALE, Marco
TRES: A modular representation of schedulers, tasks, and messages to control simulations in simulink
1940 - 1947 Proceedings of the ACM Symposium on Applied Computing - Association for Computing Machinery (2015)
Volume nr. :13
-
Deng, Peng; Zhu, Qi; Cremona, Fabio; DI NATALE, Marco; Zeng, Haibo
A model-Based synthesis flow for automotive CPS
198 - 207 ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015 - Association for Computing Machinery, Inc (2015)
-
DI NATALE, Marco; Morelli, Matteo; Cremona, Fabio
Matching execution architecture models with functional models to analyze the time performance of CPS systems
1 - 6 Proceedings of the 2015 International Conference on Complex Systems Engineering, ICCSE 2015 - Institute of Electrical and Electronics Engineers Inc. (2015)
- YEAR: 2014
-
Morelli, Matteo; Cremona, Fabio; DI NATALE, Marco
A System-level Framework for the Evaluation of the Performance Cost of Scheduling and Communication Delays in Control Systems
Proceedings of the 5th WATERS Workshop - workshop organizers (2014)