UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration
Di Guglielmo, L., Fummi, F., Pravadelli, G., Stefanni, F., Vinco, S.
Published in IEEE transactions on computers (01.02.2013)
Published in IEEE transactions on computers (01.02.2013)
Get full text
Journal Article
Modeling of communication infrastructure for design-space exploration
Fummi, F, Lovato, G, Quaglia, D, Stefanni, F
Published in 2010 Forum on Specification & Design Languages (FDL 2010) (2010)
Published in 2010 Forum on Specification & Design Languages (FDL 2010) (2010)
Get full text
Conference Proceeding
Refinement of UML/MARTE models for the design of networked embedded systems
Ebeid, E., Fummi, F., Quaglia, D., Stefanni, F.
Published in 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2012)
Published in 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2012)
Get full text
Conference Proceeding
Communication-aware design flow for dependable networked embedded systems
Fummi, F., Quaglia, D., Stefanni, F.
Published in 2011 IEEE International Symposium of Circuits and Systems (ISCAS) (01.05.2011)
Published in 2011 IEEE International Symposium of Circuits and Systems (ISCAS) (01.05.2011)
Get full text
Conference Proceeding
Refinement of UML/MARTE models for the design of networked embedded systems
Ebeid, E., Fummi, F., Quaglia, D., Stefanni, F.
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Get full text
Conference Proceeding
Network Fault Model for Dependability Assessment of Networked Embedded Systems
Fummi, F., Quaglia, D., Stefanni, F.
Published in 2008 IEEE International Symposium on Defect and Fault Tolerance of VLSI Systems (01.10.2008)
Published in 2008 IEEE International Symposium on Defect and Fault Tolerance of VLSI Systems (01.10.2008)
Get full text
Conference Proceeding
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design
Di Guglielm, L., Fummi, F., Pravadelli, G., Stefanni, F., Vinco, S.
Published in 2011 IEEE International High Level Design Validation and Test Workshop (01.11.2011)
Published in 2011 IEEE International High Level Design Validation and Test Workshop (01.11.2011)
Get full text
Conference Proceeding
A SystemC-based framework for modeling and simulation of networked embedded systems
Fummi, F., Quaglia, D., Stefanni, F.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Automatic Network Protocol Synthesis from UML Sequence Diagrams
Ebeid, E., Fummi, F., Quaglia, D., Stefanni, F.
Published in 2013 14th International Workshop on Microprocessor Test and Verification (01.12.2013)
Published in 2013 14th International Workshop on Microprocessor Test and Verification (01.12.2013)
Get full text
Conference Proceeding
Communication-aware middleware-based design-space exploration for Networked Embedded Systems
Fummi, F., Quaglia, D., Stefanni, F.
Published in 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip (01.10.2011)
Published in 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip (01.10.2011)
Get full text
Conference Proceeding
Efficient implementation and abstraction of systemc data types for fast simulation
Bombieri, N., Fummi, F., Guarnieri, V., Stefanni, F., Vinco, S.
Published in FDL 2011 Proceedings (01.09.2011)
Get full text
Published in FDL 2011 Proceedings (01.09.2011)
Conference Proceeding
SystemC Model Generation for Realistic Simulation of Networked Embedded Systems
Lazarescu, M., Sayyah, P., Quaglia, D., Stefanni, F.
Published in 2012 15th Euromicro Conference on Digital System Design (01.09.2012)
Published in 2012 15th Euromicro Conference on Digital System Design (01.09.2012)
Get full text
Conference Proceeding
Design and simulation of an integrated optical CMOS heart rate sensor
He, D., Liu, C., Trachanis, D., Hese, J. V., Drogoudis, D., Fummi, F., Stefanni, F., Guamieri, V., Morgan, S. P., Hayes-Gill, B. R.
Published in The Tenth International Conference on Advanced Semiconductor Devices and Microsystems (01.10.2014)
Published in The Tenth International Conference on Advanced Semiconductor Devices and Microsystems (01.10.2014)
Get full text
Conference Proceeding
SMAC: Smart Systems Co-design
Bombieri, N., Drogoudis, D., Gangemi, G., Gillon, R., Macii, E., Poncino, M., Rinaudo, S., Stefanni, F., Trachanis, D., van Helvoort, M.
Published in 2013 Euromicro Conference on Digital System Design (01.09.2013)
Published in 2013 Euromicro Conference on Digital System Design (01.09.2013)
Get full text
Conference Proceeding
A formal support for homogeneous simulation of heterogeneous embedded systems
Di Guglielmo, L., Fummi, F., Pravadelli, G., Stefanni, F., Vinco, S.
Published in 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12) (01.06.2012)
Published in 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12) (01.06.2012)
Get full text
Conference Proceeding