default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNicola Bombieri
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j37]Federico Cunico, Stefano Aldegheri, Andrea Avogaro, Michele Boldo, Nicola Bombieri, Luigi Capogrosso, Ariel Caputo, Damiano Carra, Stefano Centomo, Dong Seon Cheng, Ettore Cinquetti, Marco Cristani, Mirco De Marchi, Florenc Demrozi, Marco Emporio, Franco Fummi, Luca Geretti, Samuele Germiniani, Andrea Giachetti, Federico Girella, Enrico Martini, Gloria Menegaz, Niek Muijs, Federica Paci, Marco Panato, Graziano Pravadelli, Elisa Quintarelli, Ilaria Siviero, Silvia Francesca Storti, Carlo Tadiello, Cristian Turetta, Tiziano Villa, Nicola Zannone, Davide Quaglia:
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study. IEEE Access 12: 154570-154599 (2024)- [j36]Michele Boldo
, Roberto Di Marco, Enrico Martini, Mauro Nardon, Matteo Bertucco, Nicola Bombieri:
On the reliability of single-camera markerless systems for overground gait monitoring. Comput. Biol. Medicine 171: 108101 (2024) - [j35]Michele Boldo, Mirco De Marchi, Enrico Martini, Stefano Aldegheri, Davide Quaglia, Franco Fummi, Nicola Bombieri:
Real-time multi-camera 3D human pose estimation at the edge for industrial applications. Expert Syst. Appl. 252: 124089 (2024) - [j34]Enrico Martini, Michele Boldo, Nicola Bombieri:
FLK: A filter with learned kinematics for real-time 3D human pose estimation. Signal Process. 224: 109598 (2024) - [j33]Francesco Lumpp, Marco Panato, Nicola Bombieri, Franco Fummi:
A Design Flow Based on Docker and Kubernetes for ROS-based Robotic Software Applications. ACM Trans. Embed. Comput. Syst. 23(5): 74:1-74:24 (2024) - [j32]Francesco Lumpp, Franco Fummi, Hiren D. Patel, Nicola Bombieri:
Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots. IEEE Trans. Robotics 40: 540-553 (2024) - [c95]Chiara Bozzini, Michele Boldo, Enrico Martini, Nicola Bombieri:
Late Breaking Results: A real-time diffusion-based filter for human pose estimation on edge devices. DAC 2024: 338:1-338:2 - [c94]Filippo Ziche, Nicola Bombieri:
Late Breaking Results: Evaluation of Human Action Quality with Linear Recurrent Units and Graph Attention Networks on Embedded Systems. DAC 2024: 357:1-357:2 - [c93]Mirco De Marchi, Nicola Bombieri:
Orchestration-Aware Optimization of ROS2 Communication Protocols. DATE 2024: 1-6 - [c92]Mirco De Marchi, Cristian Turetta, Graziano Pravadelli, Nicola Bombieri:
Real-Time Multi-Person Identification and Tracking via HPE and IMU Data Fusion. DATE 2024: 1-6 - [c91]Filippo Ziche, Nicola Bombieri, Federico Busato, Rosalba Giugno:
GPU-Accelerated BFS for Dynamic Networks. Euro-Par (3) 2024: 74-87 - [c90]Stefano Aldegheri, Michele Boldo, Chiara Bozzini, Mirco De Marchi, Roberto Di Marco, Enrico Martini, Nicola Bombieri:
A Verification Platform for Human Pose Estimation Models. LATS 2024: 1-6 - [c89]Enrico Martini, Harshil Parekh, Shaoting Peng, Nicola Bombieri, Nadia Figueroa:
A Robust Filter for Marker-less Multi-person Tracking in Human-Robot Interaction Scenarios. RO-MAN 2024: 424-429 - [i2]Enrico Martini, Harshil Parekh, Shaoting Peng, Nicola Bombieri, Nadia Figueroa:
A Robust Filter for Marker-less Multi-person Tracking in Human-Robot Interaction Scenarios. CoRR abs/2406.01832 (2024) - 2023
- [j31]Stefano Aldegheri, Carlo Alberto Artusi, Serena Camozzi, Roberto Di Marco, Christian Geroin, Gabriele Imbalzano, Leonardo Lopiano, Michele Tinazzi, Nicola Bombieri:
Camera- and Viewpoint-Agnostic Evaluation of Axial Postural Abnormalities in People with Parkinson's Disease through Augmented Human Pose Estimation. Sensors 23(6): 3193 (2023) - [c88]Michele Boldo, Damiano Carra, Davide Quaglia, Nicola Bombieri:
A Dynamic and Collaborative Deep Inference Framework for Human Motion Analysis in Telemedicine. EDGE 2023: 221-226 - [c87]Leonardo Fraccaroli, Rosalba Giugno, Samuele Cancellieri, Federico Busato, Nicola Bombieri:
FAST-CON: a Multi-source Approach for Efficient S- T Connectivity on Sparse Graphs. HPEC 2023: 1-6 - [c86]Francesco Lumpp, Francesco Barchi, Andrea Acquaviva, Nicola Bombieri:
On the Containerization and Orchestration of RISC-V architectures for Edge-Cloud computing. eSAAM 2023: 21-28 - [i1]Michele Boldo, Enrico Martini, Mirco De Marchi, Stefano Aldegheri, Nicola Bombieri:
On the Query Strategies for Efficient Online Active Distillation. CoRR abs/2309.01612 (2023) - 2022
- [j30]Enrico Martini, Michele Boldo, Stefano Aldegheri, Nicola Valè, Mirko Filippetti, Nicola Smania, Matteo Bertucco, Alessandro Picelli, Nicola Bombieri:
Enabling Gait Analysis in the Telemedicine Practice through Portable and Accurate 3D Human Pose Estimation. Comput. Methods Programs Biomed. 225: 107016 (2022) - [c85]Enrico Martini, Michele Boldo, Stefano Aldegheri, Mirco De Marchi, Nicola Valè, Mirko Filippetti, Nicola Smania, Matteo Bertucco, Alessandro Picelli, Nicola Bombieri:
Real-time Human Pose Estimation at the Edge for Gait Analysis at a Distance. DCOSS 2022: 45-48 - [c84]Enrico Martini, Michele Boldo, Stefano Aldegheri, Nicola Valè, Mirko Filippetti, Nicola Smania, Matteo Bertucco, Alessandro Picelli, Nicola Bombieri:
Preserving Data Privacy and Accuracy of Human Pose Estimation Software Based on CNN s for Remote Gait Analysis. EMBC 2022: 3468-3471 - [c83]Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa:
Process-driven Collision Prediction in Human-Robot Work Environments. ETFA 2022: 1-8 - [c82]Enrico Martini, Nicola Valè, Michele Boldo, Anna Righetti, Nicola Smania, Nicola Bombieri:
On the Pose Estimation Software for Measuring Movement Features in the Finger-to-Nose Test. ICDH 2022: 77-86 - [c81]Francesco Lumpp, Franco Fummi, Hiren D. Patel, Nicola Bombieri:
Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms. IROS 2022: 9708-9713 - [c80]Michele Boldo, Nicola Bombieri, Stefano Centomo, Mirco De Marchi, Florenc Demrozi, Graziano Pravadelli, Davide Quaglia, Cristian Turetta:
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era. ISoLA (4) 2022: 184-194 - [c79]Michele Boldo, Nicola Bombieri, Mirco De Marchi, Luca Geretti, Samuele Germiniani, Graziano Pravadelli:
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation. LATS 2022: 1-5 - 2021
- [j29]Francesco Lumpp, Stefano Aldegheri, Hiren D. Patel, Nicola Bombieri:
Task Mapping and Scheduling for OpenVX Applications on Heterogeneous Multi/Many-Core Architectures. IEEE Trans. Computers 70(8): 1148-1159 (2021) - [j28]Nicola Bombieri, Silvia Scaffeo, Antonio Mastrandrea, Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Rosalba Giugno:
SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks. ACM Trans. Embed. Comput. Syst. 20(4): 31:1-31:20 (2021) - [c78]Francesco Lumpp, Hiren D. Patel, Nicola Bombieri:
A Framework for Optimizing CPU-iGPU Communication on Embedded Platforms. DAC 2021: 685-690 - [c77]Stefano Aldegheri, Nicola Bombieri, Samuele Germiniani, Federico Moschin, Graziano Pravadelli:
A containerized ROS-compliant verification environment for robotic systems. DATE 2021: 222-225 - [c76]Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri:
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. FDL 2021: 1-8 - 2020
- [j27]Samuele Cancellieri, Matthew C. Canver, Nicola Bombieri, Rosalba Giugno, Luca Pinello:
CRISPRitz: rapid, high-throughput and variant-aware in silico off-target site identification for CRISPR genome editing. Bioinform. 36(7): 2001-2008 (2020) - [j26]Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli:
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures. IEEE Trans. Computers 69(4): 606-620 (2020) - [c75]Stefano Aldegheri, Nicola Bombieri, Franco Fummi, Simone Girardi, Riccardo Muradore, Nicola Piccinelli:
Late Breaking Results: Enabling Containerized Computing and Orchestration of ROS-based Robotic SW Applications on Cloud-Server-Edge Architectures. DAC 2020: 1-2 - [c74]Stefano Aldegheri, Nicola Bombieri, Hiren D. Patel:
On the Task Mapping and Scheduling for DAG-based Embedded Vision Applications on Heterogeneous Multi/Many-core Architectures. DATE 2020: 1003-1006
2010 – 2019
- 2019
- [j25]Sara Vinco, Nicola Bombieri, Daniele Jahier Pagliari, Franco Fummi, Enrico Macii, Massimo Poncino:
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. ACM Trans. Design Autom. Electr. Syst. 24(3): 27:1-27:23 (2019) - [c73]Nicola Bombieri, Antonio Mastrandrea, Silvia Scaffeo, Simone Caligola, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Rosalba Giugno:
On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation. CIBB 2019: 323-334 - [c72]Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno:
Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation. CIBCB 2019: 1-4 - [c71]Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno:
Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. FDL 2019: 1-7 - [c70]Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik:
RTL Assertion Mining with Automated RTL-to-TLM Abstraction. FDL 2019: 1-8 - [c69]Federico Busato, Nicola Bombieri:
Configuring Graph Traversal Applications for GPUs: Analysis of Implementation Strategies and their Correlation with Graph Characteristics. HPCS 2019: 145-151 - [c68]Stefano Aldegheri, Nicola Bombieri, Domenico Daniele Bloisi, Alessandro Farinelli:
Data Flow ORB-SLAM for Real-time Performance on Embedded GPU Boards. IROS 2019: 5370-5375 - [c67]Nicola Bombieri, Vincenzo Bonnici, Rosalba Giugno:
Parallel Searching on Biological Networks. PDP 2019: 307-314 - [e1]Nicola Bombieri, Graziano Pravadelli, Masahiro Fujita, Todd M. Austin, Ricardo Reis:
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms - 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selected Papers. IFIP Advances in Information and Communication Technology 561, Springer 2019, ISBN 978-3-030-23424-9 [contents] - 2018
- [j24]Vincenzo Bonnici, Federico Busato, Stefano Aldegheri, Murodzhon Akhmedov, Luciano Cascione, Alberto Arribas Carmena, Francesco Bertoni, Nicola Bombieri, Ivo Kwee, Rosalba Giugno:
Correction to: cuRnet: an R package for graph traversing on GPU. BMC Bioinform. 19(1): 456:1 (2018) - [j23]Vincenzo Bonnici, Federico Busato, Stefano Aldegheri, Murodzhon Akhmedov, Luciano Cascione, Alberto Arribas Carmena, Francesco Bertoni, Nicola Bombieri, Ivo Kwee, Rosalba Giugno:
cuRnet: an R package for graph traversing on GPU. BMC Bioinform. 19-S(10): 221-230 (2018) - [j22]Vincenzo Bonnici, Giorgio De Caro, Giorgio Constantino, Sabino Liuni, Domenica D'Elia, Nicola Bombieri, Flavio Licciulli, Rosalba Giugno:
Arena-Idb: a platform to build human non-coding RNA interaction networks. BMC Bioinform. 19-S(10): 231-244 (2018) - [j21]Mirko Busato, Rosario Distefano, Ferdia Bates, Kal Karim, Alessandra Maria Bossi, José Manuel López Vilariño, Sergey Piletsky, Nicola Bombieri, Alejandro Giorgetti:
MIRATE: MIps RATional dEsign Science Gateway. J. Integr. Bioinform. 15(4) (2018) - [j20]Nicola Bombieri, Federico Busato, Franco Fummi:
Pro++: A Profiling Framework for Primitive-Based GPU Programming. IEEE Trans. Emerg. Top. Comput. 6(3): 382-394 (2018) - [c66]Vincenzo Bonnici, Rosalba Giugno, Nicola Bombieri:
An Efficient Implementation of a Subgraph Isomorphism Algorithm for GPUs. BIBM 2018: 2674-2681 - [c65]Federico Busato, Nicola Bombieri:
Efficient Load Balancing Techniques for Graph Traversal Applications on GPUs. Euro-Par 2018: 628-641 - [c64]Federico Busato, Oded Green, Nicola Bombieri, David A. Bader:
Hornet: An Efficient Data Structure for Dynamic Sparse Graphs and Matrices on GPUs. HPEC 2018: 1-7 - [c63]Stefano Aldegheri, Nicola Bombieri, Nicola Dall'Ora, Franco Fummi, Simone Girardi, Marco Panato:
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS. ISCAS 2018: 1-5 - [c62]Stefano Aldegheri, Nicola Bombieri:
Rapid Prototyping of Embedded Vision Systems: Embedding Computer Vision Applications into Low-Power Heterogeneous Architectures. RSP 2018: 63-69 - [c61]Stefano Aldegheri, Silvia Manzato, Nicola Bombieri:
Enhancing Performance of Computer Vision Applications on Low-Power Embedded Systems Through Heterogeneous Parallel Programming. VLSI-SoC 2018: 119-124 - 2017
- [j19]Filippo Bistaffa, Nicola Bombieri, Alessandro Farinelli:
An Efficient Approach for Accelerating Bucket Elimination on GPUs. IEEE Trans. Cybern. 47(11): 3967-3979 (2017) - [j18]Federico Busato, Nicola Bombieri:
A Dynamic Approach for Workload Partitioning on GPU Architectures. IEEE Trans. Parallel Distributed Syst. 28(6): 1535-1549 (2017) - [c60]Nicola Bombieri, Federico Busato, Franco Fummi:
Power-aware Performance Tuning of GPU Applications Through Microbenchmarking. DAC 2017: 66:1-66:6 - [c59]Stefano Aldegheri, Domenico Daniele Bloisi, Jason J. Blum, Nicola Bombieri, Alessandro Farinelli:
Fast and Power-Efficient Embedded Software Implementation of Digital Image Stabilization for Low-Cost Autonomous Boats. FSR 2017: 129-144 - [c58]Oded Green, James Fox, Euna Kim, Federico Busato, Nicola Bombieri, Kartik Lakhotia, Shijie Zhou, Shreyas G. Singapura, Hanqing Zeng, Rajgopal Kannan, Viktor K. Prasanna, David A. Bader:
Quickly finding a truss in a haystack. HPEC 2017: 1-7 - [c57]Federico Busato, Nicola Bombieri:
A performance, power, and energy efficiency analysis of load balancing techniques for GPUs. SIES 2017: 1-8 - [c56]Stefano Aldegheri, Nicola Bombieri:
Extending OpenVX for model-based design of embedded vision applications. VLSI-SoC 2017: 1-6 - [c55]Stefano Aldegheri, Nicola Bombieri:
Integrating Simulink, OpenVX, and ROS for Model-Based Design of Embedded Vision Applications. VLSI-SoC (Selected Papers) 2017: 178-197 - 2016
- [j17]Vincenzo Bonnici, Federico Busato, Giovanni Micale, Nicola Bombieri, Alfredo Pulvirenti, Rosalba Giugno:
APPAGATO: an APproximate PArallel and stochastic GrAph querying TOol for biological networks. Bioinform. 32(14): 2159-2166 (2016) - [j16]Federico Busato, Nicola Bombieri:
An Efficient Implementation of the Bellman-Ford Algorithm for Kepler GPU Architectures. IEEE Trans. Parallel Distributed Syst. 27(8): 2222-2233 (2016) - [c54]Lorenzo Bottarelli, Manuele Bicego, Jason Blum, Nicola Bombieri, Alessandro Farinelli, Luca Veggian:
Orienteering-based Path Selection for Mobile Sensors. AIRO@AI*IA 2016: 36-40 - [c53]Nicola Bombieri, Federico Busato, Franco Fummi:
A fine-grained performance model for GPU architectures. DATE 2016: 1267-1272 - [c52]Filippo Bistaffa, Nicola Bombieri, Alessandro Farinelli:
CUBE: A CUDA Approach for Bucket Elimination on GPUs. ECAI 2016: 125-132 - [c51]Stefano Aldegheri, Jiri Barnat, Nicola Bombieri, Federico Busato, Milan Ceska:
Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components. Euro-Par Workshops 2016: 519-531 - [c50]Rosario Distefano, Nickolas Goncharenko, Franco Fummi, Rosalba Giugno, Gary D. Bader, Nicola Bombieri:
SyQUAL: a platform for qualitative modelling and simulation of biological systems. HLDVT 2016: 155-161 - [c49]Daniele Coati, Rosario Distefano, Nicola Bombieri, Franco Fummi, Michela Mirenda, Carlo Laudanna, Rosalba Giugno:
A SystemC-based platform for assertion-based verification and mutation analysis in systems biology. LATS 2016: 159-164 - [c48]Nicola Bombieri, Federico Busato, Franco Fummi, Michele Scala:
MIPP: A microbenchmark suite for performance, power, and energy consumption characterization of GPU architectures. SIES 2016: 159-164 - 2015
- [j15]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia:
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. 31(2): 167-180 (2015) - [j14]Nicola Bombieri, Dimitrios Drogoudis, Giuliana Gangemi, Renaud Gillon, Michelangelo Grosso, Enrico Macii, Massimo Poncino, Salvatore Rinaudo:
Addressing the Smart Systems design challenge: The SMAC platform. Microprocess. Microsystems 39(8): 1158-1173 (2015) - [j13]Nicola Bombieri, Franco Fummi, Sara Vinco:
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications. ACM Trans. Design Autom. Electr. Syst. 20(3): 36:1-36:26 (2015) - [j12]Federico Busato, Nicola Bombieri:
BFS-4K: An Efficient Implementation of BFS for Kepler GPU Architectures. IEEE Trans. Parallel Distributed Syst. 26(7): 1826-1838 (2015) - [c47]Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni:
RTL property abstraction for TLM assertion-based verification. DATE 2015: 85-90 - [c46]Rosario Distefano, Franco Fummi, Carlo Laudanna, Nicola Bombieri, Rosalba Giugno:
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology. ACM Great Lakes Symposium on VLSI 2015: 233-236 - [c45]Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli:
Exploiting GPU architectures for dynamic invariant mining. ICCD 2015: 192-195 - [c44]Nicola Bombieri, Federico Busato, Franco Fummi:
An Enhanced Profiling Framework for the Analysis and Development of Parallel Primitives for GPUs. MCSoC 2015: 1-8 - [c43]Federico Busato, Nicola Bombieri:
On the Load Balancing Techniques for GPU Applications Based on Prefix-Scan. MCSoC 2015: 88-95 - 2014
- [j11]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli:
Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. IEEE Trans. Computers 63(5): 1248-1261 (2014) - [c42]Nicola Bombieri, Rosario Distefano, Giovanni Scardoni, Franco Fummi, Carlo Laudanna, Rosalba Giugno:
Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework. CMSB 2014: 143-154 - [c41]Valerio Guarnieri, Massimo Petricca, Alessandro Sassone, Sara Vinco, Nicola Bombieri, Franco Fummi, Enrico Macii, Massimo Poncino:
A cross-level verification methodology for digital IPs augmented with embedded timing monitors. DATE 2014: 1-6 - [c40]Filippo Bistaffa, Alessandro Farinelli, Nicola Bombieri:
Optimising memory management for Belief Propagation in Junction Trees using GPGPUs. ICPADS 2014: 526-533 - [c39]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia:
On the reuse of RTL assertions in SystemC TLM verification. LATW 2014: 1-6 - 2013
- [j10]Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora:
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation. J. Electron. Test. 29(5): 647-667 (2013) - [j9]Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco:
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(9): 1293-1306 (2013) - [c38]Nicola Bombieri, Franco Fummi, Sara Vinco:
On the automatic generation of GPU-oriented software applications from RTL IPs. CODES+ISSS 2013: 12:1-12:10 - [c37]Nicola Bombieri, Hung-Yi Liu, Franco Fummi, Luca P. Carloni:
A method to abstract RTL IP blocks into C++ code and enable high-level synthesis. DAC 2013: 156:1-156:9 - [c36]Valeria Bertacco, Debapriya Chatterjee, Nicola Bombieri, Franco Fummi, Sara Vinco, Anirudh M. Kaushik, Hiren D. Patel:
On the use of GP-GPUs for accelerating compute-intensive EDA applications. DATE 2013: 1357-1366 - [c35]Nicola Bombieri, Giuliana Drogoudis, Giuliana Gangemi, Renaud Gillon, Enrico Macii, Massimo Poncino, Salvatore Rinaudo, Francesco Stefanni, Dimitrios Trachanis, Mark van Helvoort:
SMAC: Smart Systems Co-design. DSD 2013: 253-259 - [c34]Nicola Bombieri, Diego Forrini, Franco Fummi, Matteo Laurenzi, Sara Vinco:
RTL IP abstraction into optimized embedded software. EWDTS 2013: 1-5 - 2012
- [j8]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco:
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. Des. Autom. Embed. Syst. 16(2): 115-135 (2012) - [j7]Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar:
On the Reuse of TLM Mutation Analysis at RTL. J. Electron. Test. 28(4): 435-448 (2012) - [j6]Nicola Bombieri, Franco Fummi, Valerio Guarnieri:
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction. J. Electron. Test. 28(4): 495-510 (2012) - [c33]Nicola Bombieri, Sara Vinco, Valeria Bertacco, Debapriya Chatterjee:
SystemC simulation on GP-GPUs: CUDA vs. OpenCL. CODES+ISSS 2012: 343-352 - [c32]Daniel Lorenz, Kim Grüttner, Nicola Bombieri, Valerio Guarnieri, Sara Bocchio:
From RTL IP to functional system-level models with extra-functional properties. CODES+ISSS 2012: 547-556 - [c31]Nicola Bombieri, Franco Fummi, Valerio Guarnieri:
FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. DATE 2012: 562-565 - [c30]Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco:
On the automatic synthesis of parallel SW from RTL models of hardware IPs. ACM Great Lakes Symposium on VLSI 2012: 71-74 - [c29]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Andrea Acquaviva:
Energy aware TLM platform simulation via RTL abstraction. HLDVT 2012: 156-163 - [c28]Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora:
On the Reuse of RTL IPs for SysML Model Generation. MTV 2012: 54-59 - [c27]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Sara Vinco:
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. MTV 2012: 76-81 - 2011
- [j5]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. IEEE Trans. Computers 60(12): 1730-1743 (2011) - [c26]Nicola Bombieri, Franco Fummi, Sara Vinco, Davide Quaglia:
Automatic Interface Generation for Component Reuse in HW-SW Partitioning. DSD 2011: 793-796 - [c25]Nicola Bombieri, Franco Fummi, Valerio Guarnieri:
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. ETS 2011: 117-122 - [c24]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco:
Efficient implementation and abstraction of systemc data types for fast simulation. FDL 2011: 1-7 - [c23]Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar:
Mutation analysis for SystemC designs at TLM. LATW 2011: 1-6 - 2010
- [j4]Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli:
HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Embed. Syst. 2010 (2010) - [j3]Nicola Bombieri, Franco Fummi, Davide Quaglia:
System/network design-space exploration based on TLM for networked embedded systems. ACM Trans. Embed. Comput. Syst. 9(4): 37:1-37:32 (2010) - [c22]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Abstraction of RTL IPs into embedded software. DAC 2010: 24-29 - [c21]Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli:
HIFSuite: Tools for HDL code conversion and manipulation. HLDVT 2010: 40-41 - [c20]Nicola Bombieri, Franco Fummi, Valerio Guarnieri:
Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs. HLDVT 2010: 105-112 - [c19]Nicola Bombieri, Franco Fummi, Valerio Guarnieri:
Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis. VLSI-SoC 2010: 61-66
2000 – 2009
- 2009
- [c18]Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco:
Automatic customization of device drivers for IP-cores used with assorted CPU organizations. CODES+ISSS 2009: 173-182 - [c17]Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe:
Functional qualification of TLM verification. DATE 2009: 190-195 - [c16]Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco:
Correct-by-construction generation of device drivers based on RTL testbenches. DATE 2009: 1500-1505 - [c15]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
On the Mutation Analysis of SystemC TLM-2.0 Standard. MTV 2009: 32-37 - 2008
- [j2]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. ACM Trans. Design Autom. Electr. Syst. 13(3): 47:1-47:22 (2008) - [c14]Nicola Bombieri, Nicola Deganello, Franco Fummi:
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation. DATE 2008: 15-20 - [c13]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. DATE 2008: 396-401 - [c12]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
RTL-TLM equivalence checking based on simulation. EWDTS 2008: 214-217 - 2007
- [j1]Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli:
Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. IEEE Des. Test Comput. 24(2): 140-152 (2007) - [c11]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Incremental ABV for functional validation of TL-to-RTL design refinement. DATE 2007: 882-887 - [c10]Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva:
Towards Equivalence Checking Between TLM and RTL Models. MEMOCODE 2007: 113-122 - 2006
- [c9]Nicola Bombieri, Franco Fummi, Davide Quaglia:
TLM/network design space exploration for networked embedded systems. CODES+ISSS 2006: 58-63 - [c8]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. DATE 2006: 1007-1012 - [c7]Nicola Bombieri, Franco Fummi:
On the Automatic Transactor Generation for TLM-based Design Flows. HLDVT 2006: 85-92 - [c6]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
A methodology for abstracting RTL designs into TL descriptions. MEMOCODE 2006: 103-112 - [c5]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Hardware Design and Simulation for Verification. SFM 2006: 1-29 - 2005
- [c4]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Functional Verification of Networked Embedded Systems. ISQED 2005: 321-326 - [c3]Nicola Bombieri, Andrea Fedeli, Franco Fummi:
Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. MEMOCODE 2005: 239-240 - [c2]Nicola Bombieri, Andrea Fedeli, Franco Fummi:
On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. MTV 2005: 127-132 - 2004
- [c1]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
At-Speed Functional Verification of Programmable Devices. DFT 2004: 386-394
Coauthor Index
[j37] [j35] [j33] [j32] [c81] [j28] [c76] [c75] [j25] [c73] [c72] [c71] [j20] [c63] [c60] [c53] [c50] [c49] [c48] [j15] [j13] [c46] [c44] [j11] [c42] [c41] [c39] [j10] [j9] [c38] [c37] [c36] [c34] [j8] [j7] [j6] [c31] [c30] [c29] [c28] [c27] [j5] [c26] [c25] [c24] [c23] [j4] [j3] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [j2] [c14] [c13] [c12] [j1] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
