Segui
Fabio Cremona
Fabio Cremona
Apple
Email verificata su apple.com
Titolo
Citata da
Citata da
Anno
Hybrid co-simulation: it’s about time
F Cremona, M Lohstroh, D Broman, EA Lee, M Masin, S Tripakis
Software & Systems Modeling 18, 1655-1679, 2019
1092019
FIDE – An FMI Integrated Development Environment
F Cremona, M Lohstroh, S Tipakis, C Brooks, EA Lee
SAC’16, April 4-8, 2016, Pisa, Italy 2, 2016
712016
Step Revision in Hybrid Co-simulation with FMI
F Cremona, M Lohstroh, D Broman, M Di Natale, ...
International Conference on Formal Methods and Models for System Design, 2016
412016
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink
F Cremona, M Morelli, M Di Natale
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1940-1947, 2015
412015
A model-based synthesis flow for automotive CPS
P Deng, F Cremona, Q Zhu, M Di Natale, H Zeng
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical …, 2015
282015
A noise-immune sub-threshold circuit design based on selective use of Schmitt-trigger logic
M Donato, F Cremona, W Jin, RI Bahar, W Patterson, A Zaslavsky, ...
Proceedings of the great lakes symposium on VLSI, 39-44, 2012
162012
A System-level Framework for the Evaluation of the Performance Cost of Scheduling and Communication Delays in Control Systems
M Morelli, F Cremona, M Di Natale
5th International Workshop on Analysis Tools and Methodologies for Embedded …, 2014
72014
Matching execution architecture models with functional models to analyze the time performance of CPS systems
M Di Natale, M Morelli, F Cremona
52015
Novel framework approach for model-based process integration from requirements to verification demonstrated on a complex, cyber-physical aircraft system
M Gottschall, B Binder, S Reglitz, H Saada, LD Couto, F Cremona, ...
SAE Technical Paper, 2018
32018
A Modular SystemC RTOS Model for Uncertainty Analysis
L Lazzara, GM Mancuso, F Cremona, A Ulisse
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2019
12019
A computational interface for steady-state models: an FMI extension
GM Mancuso, F Cremona, L Mangeruca, A Ulisse, A Mignogna, ...
2018 Modeling and Simulation Technologies Conference, 3893, 2018
12018
Towards a Programming and Analysis Framework for Timer Units
M Marazza, F Cremona, DC Spurio, C Nastasi, C Demuth, A Ferrari
JRWRTC 2013: Sophia Antipolis, France, October 16-18, 2013, 57, 2013
2013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–12