Institution · EDALab (Italy)
Most cited papers from EDALab (Italy)
What are the most cited papers from EDALab (Italy)?
The most cited paper from EDALab (Italy) is "Automatic Extraction of Assertions from Execution Traces of Behavioural Models" (Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli, 2015), with 44 citations. Next come "The COMPLEX reference framework for HW/SW co-design and power management supporting platform-based design-space exploration" (34) and "Virtual Platform-Based Design Space Exploration of Power-Efficient Distributed Embedded Applications" (34).
Showing 50 of 57 papers. Every paper is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Automatic Extraction of Assertions from Execution Traces of Behavioural Models Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli | 2015 | 44 |
| 2 | The COMPLEX reference framework for HW/SW co-design and power management supporting platform-based design-space exploration Kim Grüttner, Philipp A. Hartmann, Kai Hylla et al. · Microprocessors and Microsystems | 21 Sep 2013 | 34 |
| 3 | Virtual Platform-Based Design Space Exploration of Power-Efficient Distributed Embedded Applications Parinaz Sayyah, Mihai Teodor Lazarescu, Sara Bocchio et al. · ACM Transactions on Embedded Computing Systems | 30 Apr 2015 | 34 |
| 4 | Phthalocyanine identification in paintings by reflectance spectroscopy. A laboratory and in situ study Gianluca Poldi, Simone Caglio · Optics and Spectroscopy | Jun 2013 | 29 |
| 5 | CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties Kim Grüttner et al. · Microprocessors and Microsystems | 13 Apr 2017 | 24 |
| 6 | Moving from Co-Simulation to Simulation for Effective Smart Systems Design Fummi, F., Lora, M., Trachanis, D. et al. · PORTO Publications Open Repository TOrino (Politecnico di Torino) | 2014 | 23 |
| 7 | HIFSuite: Tools for HDL code conversion and manipulation Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo et al. | Jun 2010 | 23 |
| 8 | A method to abstract RTL IP blocks into C++ code and enable high-level synthesis Nicola Bombieri, Hung‐Yi Liu, Franco Fummi et al. | 28 May 2013 | 21 |
| 9 | A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection Diwei He, Stephen P. Morgan, Dimitrios Trachanis et al. · Sensors | 14 Jul 2015 | 21 |
| 10 | Model-Driven Design of Network Aspects of Distributed Embedded Systems Emad Ebeid, Franco Fummi, Davide Quaglia · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 21 Jan 2015 | 20 |
| 11 | A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms Filippo Cucchetto, Alessandro Lonardi, Graziano Pravadelli | Oct 2014 | 16 |
| 12 | Moving from co-simulation to simulation for effective smart systems design Franco Fummi, Michele Lora, Francesco Stefanni et al. | 2014 | 14 |
| 13 | Network Synthesis for Distributed Embedded Systems Enrico Fraccaroli, Francesco Stefanni, Roméo Rizzi et al. · IEEE Transactions on Computers | 6 Mar 2018 | 12 |
| 14 | Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements Giovanni Liboni, Julien Deantoni, Antonio Portaluri et al. | 22 Jan 2018 | 11 |
| 15 | UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design Luigi Di Guglielm, Franco Fummi, Graziano Pravadelli et al. | Nov 2011 | 11 |
| 16 | COMPLEX: COdesign and Power Management in PLatform-Based Design Space EXploration Kim Grüttner, Philipp A. Hartmann, Kai Hylla et al. | Sep 2012 | 11 |
| 17 | Reusing RTL Assertion Checkers for Verification of SystemC TLM Models Nicola Bombieri, Franco Fummi, Valerio Guarnieri et al. · Journal of Electronic Testing | 18 Mar 2015 | 10 |
| 18 | Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform Franco Fummi, Giovanni Perbellini, Davide Quaglia et al. | Dec 2009 | 7 |
| 19 | On the reuse of RTL assertions in SystemC TLM verification Nicola Bombieri, Franco Fummi, Valerio Guarnieri et al. | Mar 2014 | 7 |
| 20 | Simulation alternatives for the verification of networked cyber-physical systems Michele Lora, Riccardo Muradore, Davide Quaglia et al. · Microprocessors and Microsystems | 23 Oct 2015 | 6 |
| 21 | A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications Nicola Bombieri, Franco Fummi, Sara Vinco · ACM Transactions on Design Automation of Electronic Systems | 24 Jun 2015 | 6 |
| 22 | A Physical-Aware Abstraction Flow for Efficient Design-Space Exploration of a Wireless Body Area Network Application Marco Crepaldi, Paolo Motto Ros, Danilo Demarchi et al. | Sep 2013 | 6 |
| 23 | Addressing the Smart Systems design challenge: The SMAC platform Nicola Bombieri, Dimitrios Drogoudis, Giuliana Gangemi et al. · Microprocessors and Microsystems | 4 Jun 2015 | 6 |
| 24 | Automatic generation of cycle-accurate Simulink blocks from hdl ips Stefano Centomo, Michele Lora, Antonio Portaluri et al. | Sep 2017 | 5 |
| 25 | On the Co-simulation of SystemC with QEMU and OVP Virtual Platforms Alessandro Lonardi, Graziano Pravadelli · IFIP advances in information and communication technology | 2015 | 5 |
| 26 | Hardware Synthesis from Software-Oriented UML Descriptions Michele Lora, F. Martinelli, Franco Fummi | Dec 2014 | 5 |
| 27 | Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures Nicola Bombieri, Federico Busato, Alessandro Danese et al. · IEEE Transactions on Computers | 25 Nov 2019 | 4 |
| 28 | A SystemC-based Simulator for design space exploration of smart wireless systems Gabriele Miorandi, Francesco Stefanni, Federico Fraccaroli et al. | Mar 2018 | 4 |
| 29 | On the use of assertions for embedded-software dynamic verification Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi et al. | Apr 2012 | 4 |
| 30 | SMAC: Smart Systems Co-design Nicola Bombieri, Dimitrios Drogoudis, Giuliana Gangemi et al. | Sep 2013 | 4 |
| 31 | Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity Franco Fummi, Michele Lora, Francesco Stefanni et al. · Lecture notes in electrical engineering | 21 Aug 2014 | 4 |
| 32 | Smart System Case Studies Ignazio Blanco, Fabio Cenni, Roberto Carminati et al. | 2016 | 3 |
| 33 | A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee Franco Fummi, Giovanni Perbellini, Davide Quaglia et al. | 2009 | 3 |
| 34 | Network-aware design-space exploration of a power-efficient embedded application Parinaz Sayyah, Mihai Teodor Lazarescu, Davide Quaglia et al. | 7 Oct 2012 | 3 |
| 35 | SystemC Model Generation for Realistic Simulation of Networked Embedded Systems Mihai Teodor Lazarescu, Parinaz Sayyah, Davide Quaglia et al. | Sep 2012 | 3 |
| 36 | Multi-domain simulation as a foundation for the engineering of smart systems: Challenges and the SMAC vision Renaud Gillon, Giuliana Gangemi, Michelangelo Grosso et al. | Dec 2014 | 3 |
| 37 | A virtual coaching platform to support therapy compliance in obesity Luisa Bissoli, Davide Bonacina, Nicolò Riva et al. · 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) | Jun 2022 | 2 |
| 38 | Fault analysis in analog circuits through language manipulation and abstraction Enrico Fraccaroli, Francesco Stefanni, Franco Fummi et al. | Sep 2017 | 2 |
| 39 | Automatic Interface Generation for Component Reuse in HW-SW Partitioning Nicola Bombieri, Franco Fummi, Sara Vinco et al. | Aug 2011 | 2 |
| 40 | Embedded Design Exploration of EPCglobal Architecture Franco Fummi, Giovanni Perbellini | 2007 | 2 |
| 41 | Simulation Alternatives for Modeling Networked Cyber-Physical Systems Michele Lora, Riccardo Muradore, Riccardo Reffato et al. | Aug 2014 | 2 |
| 42 | Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces Stefano Centomo, Michele Lora, Antonio Portaluri et al. · Lecture notes in electrical engineering | 19 Dec 2018 | 1 |
| 43 | Scalable open source smart grid simulator (SGSim) Emad Ebeid, Rune Hylsberg Jacobsen, Francesco Stefanni et al. | Apr 2017 | 1 |
| 44 | Design Domains and Abstraction Levels for Effective Smart System Simulation Sara Vinco, Michele Lora, Valerio Guarnieri et al. | 2016 | 1 |
| 45 | Exploiting GPU architectures for dynamic invariant mining Nicola Bombieri, Federico Busato, Alessandro Danese et al. | Oct 2015 | 1 |
| 46 | Heat Diffusion in Klinker Facade: The Study Case of a Gio Ponti Building Nicola Gherardo Ludwig, Elisabetta Rosina, Simone Caglio et al. · Advances in Optical Technologies | 30 Dec 2012 | 1 |
| 47 | A Cross-Level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors Valerio Guarnieri, Petricca, Massimo, Sassone, Alessandro et al. · PORTO Publications Open Repository TOrino (Politecnico di Torino) | 2014 | 1 |
| 48 | Design and simulation of an integrated optical CMOS heart rate sensor Dahai He, Chuan Liu, Dimitrios Trachanis et al. | Oct 2014 | 1 |
| 49 | Agentic AI for Digital Wellness: Challenges and Architectural Perspectives for Smart Home Care Luigi Capogrosso, Francesco Biondani, Francesca Bigardi et al. | 20 Apr 2026 | 0 |
| 50 | Human-Centric Co-housing for Ambient Assisted Living: Enhancing Resident Autonomy and Safety, and Caregiver Work Quality Patrik Pluchino, Gabriella F. A. Pernice, Alice Bettelli et al. · Lecture notes in bioengineering | 2026 | 0 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for an institution when any of its authors gave it as an affiliation; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.