STEFANNI, Francesco
STEFANNI, Francesco
DIPARTIMENTO DI INFORMATICA
A design and verification methodology for networked embedded systems
2011-01-01 Stefanni, Francesco
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 Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection
2015-01-01 He, Diwei; Morgan, Stephen P; Trachanis, Dimitrios; van Hese, Jan; Drogoudis, Dimitris; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; Hayes Gill, Barrie R.
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 Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces
2018-01-01 Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco
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
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
2014-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Sara, Vinco
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
Fault analysis in analog circuits through language manipulation and abstraction
2017-01-01 Fraccaroli, Enrico; Stefanni, Francesco; Fummi, Franco; Zwolinski, Mark
Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction
2019-01-01 Fraccaroli, Enrico; Stefanni, Francesco; Fummi, Franco; Zwolinski, Mark
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A design and verification methodology for networked embedded systems | 1-gen-2011 | Stefanni, Francesco | |
| 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 Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection | 1-gen-2015 | He, Diwei; Morgan, Stephen P; Trachanis, Dimitrios; van Hese, Jan; Drogoudis, Dimitris; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; Hayes Gill, Barrie R. | |
| 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 Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces | 1-gen-2018 | Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco | |
| 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 | |
| Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity | 1-gen-2014 | Fummi, Franco; Lora, Michele; Stefanni, Francesco; Sara, Vinco | |
| 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 | |
| Fault analysis in analog circuits through language manipulation and abstraction | 1-gen-2017 | Fraccaroli, Enrico; Stefanni, Francesco; Fummi, Franco; Zwolinski, Mark | |
| Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction | 1-gen-2019 | Fraccaroli, Enrico; Stefanni, Francesco; Fummi, Franco; Zwolinski, Mark | |
| HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara |