STEFANNI, Francesco
STEFANNI, Francesco
DIPARTIMENTO DI INFORMATICA
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems
2012-01-01 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
A SystemC-based framework for modeling and simulation of networked embedded systems
2008-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
A SystemC-based Simulator for Design Space Exploration of Smart Wireless Systems
2018-01-01 Miorandi, Gabriele; Stefanni, Francesco; Federico, Fraccaroli; Quaglia, Davide
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs
2017-01-01 Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco
Automatic generation of self-adaptive transactors from PSL assertions
2016-01-01 Stefanni, Francesco; Demrozi, Florenc; Pravadelli, Graziano
Automatic HDL Conversion and Abstraction Methodologies
2013-01-01 Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter
Automatic Network Protocol Synthesis from UML Sequence Diagrams
2013-01-01 Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
2013-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Vinco, Sara
Communication-aware design flow for dependable networked embedded systems
2011-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Communication-aware middleware-based design-space exploration for networked embedded systems
2011-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Design and simulation of an integrated optical CMOS heart rate sensor
2014-01-01 D., He; C., Liu; D., Trachanis; J. V., Hese; D., Drogoudis; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; S. P., Morgan; B. R., Hayes Gill
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation
2011-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
Enabling tools for virtual platforms
2012-01-01 Quaglia, Davide; Fummi, Franco; Stefanni, Francesco; Bombieri, Nicola
HIFSuite: Tools for HDL Code Conversion and Manipulation
2010-01-01 Bombieri, Nicola; DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; M., Ferrari; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; A., Venturelli
Modeling of communication infrastructure for design-space exploration
2010-01-01 Fummi, Franco; Lovato, G.; Quaglia, Davide; Stefanni, Francesco
Moving from co-simulation to simulation for effective smart systems design
2014-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Dimitrios, Trachanis; Jahn, Vanhese; Sara, Vinco
Network fault model for dependability assessment of networked embedded systems
2008-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
On the Reuse of RTL assertions in Systemc TLM Verification
2014-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia
Refinement of UML/MARTE models for the design of networked embedded systems
2012-01-01 Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
RTL property abstraction for TLM assertion-based verification
2015-01-01 Bombieri, Nicola; Riccardo, Filippozzi; Pravadelli, Graziano; Stefanni, Francesco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems | 1-gen-2012 | Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara | |
| A SystemC-based framework for modeling and simulation of networked embedded systems | 1-gen-2008 | Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
| A SystemC-based Simulator for Design Space Exploration of Smart Wireless Systems | 1-gen-2018 | Miorandi, Gabriele; Stefanni, Francesco; Federico, Fraccaroli; Quaglia, Davide | |
| Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs | 1-gen-2017 | Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco | |
| Automatic generation of self-adaptive transactors from PSL assertions | 1-gen-2016 | Stefanni, Francesco; Demrozi, Florenc; Pravadelli, Graziano | |
| Automatic HDL Conversion and Abstraction Methodologies | 1-gen-2013 | Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter | |
| Automatic Network Protocol Synthesis from UML Sequence Diagrams | 1-gen-2013 | Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
| Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity | 1-gen-2013 | Fummi, Franco; Lora, Michele; Stefanni, Francesco; Vinco, Sara | |
| Communication-aware design flow for dependable networked embedded systems | 1-gen-2011 | Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
| Communication-aware middleware-based design-space exploration for networked embedded systems | 1-gen-2011 | Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
| Design and simulation of an integrated optical CMOS heart rate sensor | 1-gen-2014 | D., He; C., Liu; D., Trachanis; J. V., Hese; D., Drogoudis; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; S. P., Morgan; B. R., Hayes Gill | |
| Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara | |
| Enabling tools for virtual platforms | 1-gen-2012 | Quaglia, Davide; Fummi, Franco; Stefanni, Francesco; Bombieri, Nicola | |
| HIFSuite: Tools for HDL Code Conversion and Manipulation | 1-gen-2010 | Bombieri, Nicola; DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; M., Ferrari; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; A., Venturelli | |
| Modeling of communication infrastructure for design-space exploration | 1-gen-2010 | Fummi, Franco; Lovato, G.; Quaglia, Davide; Stefanni, Francesco | |
| Moving from co-simulation to simulation for effective smart systems design | 1-gen-2014 | Fummi, Franco; Lora, Michele; Stefanni, Francesco; Dimitrios, Trachanis; Jahn, Vanhese; Sara, Vinco | |
| Network fault model for dependability assessment of networked embedded systems | 1-gen-2008 | Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
| On the Reuse of RTL assertions in Systemc TLM Verification | 1-gen-2014 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia | |
| Refinement of UML/MARTE models for the design of networked embedded systems | 1-gen-2012 | Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
| RTL property abstraction for TLM assertion-based verification | 1-gen-2015 | Bombieri, Nicola; Riccardo, Filippozzi; Pravadelli, Graziano; Stefanni, Francesco |