Sara Bocchio

23 papers A* 1A 2B 1C 4Misc 3Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
Integration of the Open-Source RISC-V Formal Verification Framework into the STMicroelectronics Toolchain and Its Application to the STRiVe2.4 CPU.
ApplePies
Lorenzo Bordonaro, Emilio Rapuano, Sara Bocchio, Luca Fanucci
2017 J jnl
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties.
Microprocess. Microsystems
Kim Grüttner, Ralph Görgen, Sören Schreiner, Fernando Herrera, Pablo Peñil, Julio L. Medina, Eugenio Villar, Gianluca Palermo, William Fornaciari, Carlo Brandolese, Davide Gadioli, Emanuele Vitali, Davide Zoni, Sara Bocchio, Luca Ceva, Paolo Azzoni, Massimo Poncino, Sara Vinco, Enrico Macii, Salvatore Cusenza, John M. Favaro, Raúl Valencia, Ingo Sander, Kathrin Rosvall, Nima Khalilzad, Davide Quaglia
2016 C conf
CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties.
DSD
Ralph Görgen, Kim Grüttner, Fernando Herrera, Pablo Peñil, Julio L. Medina, Eugenio Villar, Gianluca Palermo, William Fornaciari, Carlo Brandolese, Davide Gadioli, Sara Bocchio, Luca Ceva, Paolo Azzoni, Massimo Poncino, Sara Vinco, Enrico Macii, Salvatore Cusenza, John M. Favaro, Raúl Valencia, Ingo Sander, Kathrin Rosvall, Davide Quaglia
2015 J jnl
Virtual Platform-Based Design Space Exploration of Power-Efficient Distributed Embedded Applications.
ACM Trans. Embed. Comput. Syst.
Parinaz Sayyah, Mihai T. Lazarescu, Sara Bocchio, Emad Samuel Malki Ebeid, Gianluca Palermo, Davide Quaglia, Alberto Rosti, Luciano Lavagno
2012 Misc conf
From RTL IP to functional system-level models with extra-functional properties.
CODES+ISSS
Daniel Lorenz, Kim Grüttner, Nicola Bombieri, Valerio Guarnieri, Sara Bocchio
2012 Misc conf
Network-aware design-space exploration of a power-efficient embedded application.
CODES+ISSS
Parinaz Sayyah, Mihai T. Lazarescu, Davide Quaglia, Emad Samuel Malki Ebeid, Sara Bocchio, Alberto Rosti
2011 — ch.
Design Space Exploration of Parallel Architectures.
Multi-objective Design Space Exploration of Multiprocessor SoC Architectures
Carlos Kavka, Luka Onesti, Enrico Rigoni, Alessandro Turco, Sara Bocchio, Fabrizio Castro, Gianluca Palermo, Cristina Silvano, Vittorio Zaccaria, Giovanni Mariani, Dongrui Fan, Hao Zhang, Shibin Tang
2011 — ch.
The MULTICUBE Design Flow.
Multi-objective Design Space Exploration of Multiprocessor SoC Architectures
Cristina Silvano, William Fornaciari, Gianluca Palermo, Vittorio Zaccaria, Fabrizio Castro, Marcos Martínez, Sara Bocchio, Roberto Zafalon, Prabhat Avasare, Geert Vanmeerbeeck, Chantal Ykman-Couvreur, Maryse Wouters, Carlos Kavka, Luka Onesti, Alessandro Turco, Umberto Bondi, Giovanni Mariani, Hector Posadas, Eugenio Villar, Chris Wu, Fan Dongrui, Hao Zhang
2010 — conf
MULTICUBE: Multi-Objective Design Space Exploration of Multi-Core Architectures.
ISVLSI (Selected papers)
Cristina Silvano, William Fornaciari, Gianluca Palermo, Vittorio Zaccaria, Fabrizio Castro, Marcos Martínez, Sara Bocchio, Roberto Zafalon, Prabhat Avasare, Geert Vanmeerbeeck, Chantal Ykman-Couvreur, Maryse Wouters, Carlos Kavka, Luka Onesti, Alessandro Turco, Umberto Bondi, Giovanni Mariani, Hector Posadas, Eugenio Villar, Chris Wu, Dongrui Fan, Hao Zhang, Shibin Tang
2010 — conf
MULTICUBE: Multi-objective Design Space Exploration of Multi-core Architectures.
ISVLSI
Cristina Silvano, William Fornaciari, Gianluca Palermo, Vittorio Zaccaria, Fabrizio Castro, Marcos Martínez, Sara Bocchio, Roberto Zafalon, Prabhat Avasare, Geert Vanmeerbeeck, Chantal Ykman-Couvreur, Maryse Wouters, Carlos Kavka, Luka Onesti, Alessandro Turco, Umberto Bondi, Giovanni Mariani, Hector Posadas, Eugenio Villar, Chris Wu, Dongrui Fan, Hao Zhang, Shibin Tang
2009 J jnl
SystemC/C-based model-driven design for embedded systems.
ACM Trans. Embed. Comput. Syst.
Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
2007 C conf
A complete SystemC UML profile with dynamic features for behavioral descriptions.
FDL
Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
2007 B conf
An Automatic Compilation Framework for Configurable Architectures.
FPL
Alberto Gallini, Lorenzo Pavesi, Claudio Ferretti, Alberto Rosti, Sara Bocchio
2007 — conf
Designing a Unified Process for Embedded Systems.
MOMPES
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2007 — conf
Process State Machines for Behavioral Modeling of Embedded Systems.
SIES
Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
2006 C conf
A Model-driven Co-design Flow for Embedded Systems.
FDL
Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti
2006 A* conf
A model-driven design environment for embedded systems.
DAC
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2006 — conf
Compilation Techniques for Configurable Architectures.
ReCoSoC
Alberto Gallini, Alberto Rosti, Sara Bocchio
2006 A conf
UML for ESL design: basic principles, tools, and applications.
ICCAD
Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren
2005 A conf
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC.
DATE
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2005 Misc conf
A UML 2.0 profile for SystemC: toward high-level SoC design.
EMSOFT
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2005 C conf
An HW/SW Co-design Environment based on UML and SystemC.
FDL
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2004 — conf
CMOS CFA database under varying illumination for benchmarking of face detection algorithms.
Color Imaging: Processing, Hardcopy, and Applications
Sara Bocchio, Fabrizio Beverina, Alberto Rosti, L. Castelli, S. Dominelli