Fabio Cremona

According to our database, Fabio Cremona authored at least 7 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A Modular SystemC RTOS Model for Uncertainty Analysis.

Lorenzo Lazzara, Giulio Mosé Mancuso, Fabio Cremona, Alessandro Ulisse

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

Hybrid Co-simulation: It's About Time.

Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

2016

FIDE: an FMI integrated development environment.

Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Step revision in hybrid Co-simulation with FMI.

Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2015

TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink.

Fabio Cremona, Matteo Morelli, Marco Di Natale

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A model-based synthesis flow for automotive CPS.

Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

2012

A noise-immune sub-threshold circuit design based on selective use of Schmitt-trigger logic.

Marco Donato, Fabio Cremona, Warren Jin, R. Iris Bahar, William R. Patterson, Alexander Zaslavsky, Joseph L. Mundy

Proceedings of the Great Lakes Symposium on VLSI 2012, 2012