Nicola Bombieri

149 papers A* 7A 21B 5C 19Misc 5Journal 47Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A markerless platform for automatic assessment of gait based on Human Pose Estimation: A proof of concept. Biomed. Signal Process. Control. Michele Boldo, Roberto Di Marco, Stefano Aldegheri, Enrico Martini, Michela Cosma, Alessio Baricich, Giulio Gasperini, Alessandro Picelli, Nicola Smania, Nicola Bombieri
2026	J	`jnl`	COMETH: Convex optimization for multiview estimation and tracking of humans. Expert Syst. Appl. Enrico Martini, Ho Jin Choi, Nadia Figueroa, Nicola Bombieri
2026	J	`jnl`	Collision prediction using plan learning in mixed human-robot work cells. Robotics Auton. Syst. Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa
2026	J	`jnl`	Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications. ACM Trans. Embed. Comput. Syst. Nicola Bombieri, Samuele Germiniani, Francesco Lumpp, Graziano Pravadelli
2025	B	`conf`	A Deep Learning-Based Emotion Recognition Pipeline for Public Speaking Anxiety Detection in Social Robotics. RO-MAN Michele Boldo, Delara Forghani, Nicola Bombieri, Kerstin Dautenhahn, Chrystopher L. Nehaniv
2025	J	`jnl`	An efficient solution for GPUs to the ST-connectivity problem on dynamic graphs. Pattern Recognit. Lett. Leonardo Fraccaroli, Federico Busato, Rosalba Giugno, Nicola Bombieri
2025	J	`jnl`	COMETH: Convex Optimization for Multiview Estimation and Tracking of Humans. CoRR Enrico Martini, Ho Jin Choi, Nadia Figueroa, Nicola Bombieri
2025	J	`jnl`	Denoising and completion filters for human motion software: A survey with code. Comput. Sci. Rev. Enrico Martini, Andrea Calanca, Nicola Bombieri
2025	A	`conf`	OLORAS: Online LOng Range Action Segmentation for Edge Devices. DATE Filippo Ziche, Nicola Bombieri
2024	J	`jnl`	A Design Flow Based on Docker and Kubernetes for ROS-based Robotic Software Applications. ACM Trans. Embed. Comput. Syst. Francesco Lumpp, Marco Panato, Nicola Bombieri, Franco Fummi
2024	A	`conf`	A Real-time Filter for Human Pose Estimation based on Denoising Diffusion Models for Edge Devices. IROS Chiara Bozzini, Michele Boldo, Enrico Martini, Nicola Bombieri
2024	B	`conf`	A Robust Filter for Marker-less Multi-person Tracking in Human-Robot Interaction Scenarios. RO-MAN Enrico Martini, Harshil Parekh, Shaoting Peng, Nicola Bombieri, Nadia Figueroa
2024	J	`jnl`	A Robust Filter for Marker-less Multi-person Tracking in Human-Robot Interaction Scenarios. CoRR Enrico Martini, Harshil Parekh, Shaoting Peng, Nicola Bombieri, Nadia Figueroa
2024	—	`conf`	A Verification Platform for Human Pose Estimation Models. LATS Stefano Aldegheri, Michele Boldo, Chiara Bozzini, Mirco De Marchi, Roberto Di Marco, Enrico Martini, Nicola Bombieri
2024	C	`conf`	Automating FinOps in Cloud Computing: An Integrated Solution for Efficient Data Collection with Dynamic Scraper Generation. CloudCom Francesco Lumpp, Diego Braga, Franco Fummi, Nicola Bombieri
2024	J	`jnl`	Domain-Adaptive Online Active Learning for Real-Time Intelligent Video Analytics on Edge Devices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Michele Boldo, Mirco De Marchi, Enrico Martini, Stefano Aldegheri, Nicola Bombieri
2024	J	`jnl`	Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots. IEEE Trans. Robotics Francesco Lumpp, Franco Fummi, Hiren D. Patel, Nicola Bombieri
2024	J	`jnl`	Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study. IEEE Access 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
2024	J	`jnl`	FLK: A filter with learned kinematics for real-time 3D human pose estimation. Signal Process. Enrico Martini, Michele Boldo, Nicola Bombieri
2024	—	`conf`	GPU-Accelerated BFS for Dynamic Networks. Euro-Par (3) Filippo Ziche, Nicola Bombieri, Federico Busato, Rosalba Giugno
2024	—	`ed.`	IEEE International Conference on Digital Health, ICDH 2024, Shenzhen, China, July 7-13, 2024 ICDH Rong N. Chang, Carl K. Chang, Jingwei Yang, Zhi Jin, Michael Sheng, Jing Fan, Kenneth Fletcher, Qiang He, Bo Wen, Sheikh Iqbal Ahamed, Graziano Pravadelli, Hossain Shahriar, Nicola Bombieri, Haihua Xie, Nimanthi Atukorala, Adnan Mahmood, William Chu, Jeff Rogers
2024	A*	`conf`	Late Breaking Results: A real-time diffusion-based filter for human pose estimation on edge devices. DAC Chiara Bozzini, Michele Boldo, Enrico Martini, Nicola Bombieri
2024	A*	`conf`	Late Breaking Results: Evaluation of Human Action Quality with Linear Recurrent Units and Graph Attention Networks on Embedded Systems. DAC Filippo Ziche, Nicola Bombieri
2024	J	`jnl`	On the reliability of single-camera markerless systems for overground gait monitoring. Comput. Biol. Medicine Michele Boldo, Roberto Di Marco, Enrico Martini, Mauro Nardon, Matteo Bertucco, Nicola Bombieri
2024	A	`conf`	Optimizing Kubernetes Deployment of Robotic Applications with HEFT-based Container Orchestration. IROS Francesco Lumpp, Franco Fummi, Nicola Bombieri
2024	A	`conf`	Orchestration-Aware Optimization of ROS2 Communication Protocols. DATE Mirco De Marchi, Nicola Bombieri
2024	A	`conf`	Real-Time Multi-Person Identification and Tracking via HPE and IMU Data Fusion. DATE Mirco De Marchi, Cristian Turetta, Graziano Pravadelli, Nicola Bombieri
2024	J	`jnl`	Real-time multi-camera 3D human pose estimation at the edge for industrial applications. Expert Syst. Appl. Michele Boldo, Mirco De Marchi, Enrico Martini, Stefano Aldegheri, Davide Quaglia, Franco Fummi, Nicola Bombieri
2023	—	`conf`	A Dynamic and Collaborative Deep Inference Framework for Human Motion Analysis in Telemedicine. EDGE Michele Boldo, Damiano Carra, Davide Quaglia, Nicola Bombieri
2023	J	`jnl`	Camera- and Viewpoint-Agnostic Evaluation of Axial Postural Abnormalities in People with Parkinson's Disease through Augmented Human Pose Estimation. Sensors Stefano Aldegheri, Carlo Alberto Artusi, Serena Camozzi, Roberto Di Marco, Christian Geroin, Gabriele Imbalzano, Leonardo Lopiano, Michele Tinazzi, Nicola Bombieri
2023	—	`conf`	FAST-CON: a Multi-source Approach for Efficient S- T Connectivity on Sparse Graphs. HPEC Leonardo Fraccaroli, Rosalba Giugno, Samuele Cancellieri, Federico Busato, Nicola Bombieri
2023	—	`conf`	On the Containerization and Orchestration of RISC-V architectures for Edge-Cloud computing. eSAAM Francesco Lumpp, Francesco Barchi, Andrea Acquaviva, Nicola Bombieri
2023	J	`jnl`	On the Query Strategies for Efficient Online Active Distillation. CoRR Michele Boldo, Enrico Martini, Mirco De Marchi, Stefano Aldegheri, Nicola Bombieri
2022	A	`conf`	Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms. IROS Francesco Lumpp, Franco Fummi, Hiren D. Patel, Nicola Bombieri
2022	J	`jnl`	Enabling Gait Analysis in the Telemedicine Practice through Portable and Accurate 3D Human Pose Estimation. Comput. Methods Programs Biomed. Enrico Martini, Michele Boldo, Stefano Aldegheri, Nicola Valè, Mirko Filippetti, Nicola Smania, Matteo Bertucco, Alessandro Picelli, Nicola Bombieri
2022	—	`conf`	Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era. ISoLA (4) Michele Boldo, Nicola Bombieri, Stefano Centomo, Mirco De Marchi, Florenc Demrozi, Graziano Pravadelli, Davide Quaglia, Cristian Turetta
2022	—	`conf`	On the Pose Estimation Software for Measuring Movement Features in the Finger-to-Nose Test. ICDH Enrico Martini, Nicola Valè, Michele Boldo, Anna Righetti, Nicola Smania, Nicola Bombieri
2022	—	`conf`	Preserving Data Privacy and Accuracy of Human Pose Estimation Software Based on CNN s for Remote Gait Analysis. EMBC Enrico Martini, Michele Boldo, Stefano Aldegheri, Nicola Valè, Mirko Filippetti, Nicola Smania, Matteo Bertucco, Alessandro Picelli, Nicola Bombieri
2022	C	`conf`	Process-driven Collision Prediction in Human-Robot Work Environments. ETFA Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa
2022	B	`conf`	Real-time Human Pose Estimation at the Edge for Gait Analysis at a Distance. DCOSS Enrico Martini, Michele Boldo, Stefano Aldegheri, Mirco De Marchi, Nicola Valè, Mirko Filippetti, Nicola Smania, Matteo Bertucco, Alessandro Picelli, Nicola Bombieri
2022	—	`conf`	Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation. LATS Michele Boldo, Nicola Bombieri, Mirco De Marchi, Luca Geretti, Samuele Germiniani, Graziano Pravadelli
2021	C	`conf`	A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. FDL Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri
2021	A*	`conf`	A Framework for Optimizing CPU-iGPU Communication on Embedded Platforms. DAC Francesco Lumpp, Hiren D. Patel, Nicola Bombieri
2021	A	`conf`	A containerized ROS-compliant verification environment for robotic systems. DATE Stefano Aldegheri, Nicola Bombieri, Samuele Germiniani, Federico Moschin, Graziano Pravadelli
2021	J	`jnl`	SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks. ACM Trans. Embed. Comput. Syst. Nicola Bombieri, Silvia Scaffeo, Antonio Mastrandrea, Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Rosalba Giugno
2021	J	`jnl`	Task Mapping and Scheduling for OpenVX Applications on Heterogeneous Multi/Many-Core Architectures. IEEE Trans. Computers Francesco Lumpp, Stefano Aldegheri, Hiren D. Patel, Nicola Bombieri
2020	J	`jnl`	CRISPRitz: rapid, high-throughput and variant-aware in silico off-target site identification for CRISPR genome editing. Bioinform. Samuele Cancellieri, Matthew C. Canver, Nicola Bombieri, Rosalba Giugno, Luca Pinello
2020	A*	`conf`	Late Breaking Results: Enabling Containerized Computing and Orchestration of ROS-based Robotic SW Applications on Cloud-Server-Edge Architectures. DAC Stefano Aldegheri, Nicola Bombieri, Franco Fummi, Simone Girardi, Riccardo Muradore, Nicola Piccinelli
2020	J	`jnl`	Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures. IEEE Trans. Computers Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
2020	A	`conf`	On the Task Mapping and Scheduling for DAG-based Embedded Vision Applications on Heterogeneous Multi/Many-core Architectures. DATE Stefano Aldegheri, Nicola Bombieri, Hiren D. Patel
2019	J	`jnl`	A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. ACM Trans. Design Autom. Electr. Syst. Sara Vinco, Nicola Bombieri, Daniele Jahier Pagliari, Franco Fummi, Enrico Macii, Massimo Poncino
2019	C	`conf`	Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation. CIBCB Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno
2019	—	`conf`	Configuring Graph Traversal Applications for GPUs: Analysis of Implementation Strategies and their Correlation with Graph Characteristics. HPCS Federico Busato, Nicola Bombieri
2019	A	`conf`	Data Flow ORB-SLAM for Real-time Performance on Embedded GPU Boards. IROS Stefano Aldegheri, Nicola Bombieri, Domenico Daniele Bloisi, Alessandro Farinelli
2019	C	`conf`	Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. FDL Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno
2019	—	`conf`	On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation. CIBB Nicola Bombieri, Antonio Mastrandrea, Silvia Scaffeo, Simone Caligola, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Rosalba Giugno
2019	C	`conf`	Parallel Searching on Biological Networks. PDP Nicola Bombieri, Vincenzo Bonnici, Rosalba Giugno
2019	C	`conf`	RTL Assertion Mining with Automated RTL-to-TLM Abstraction. FDL Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik
2019	—	`ed.`	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 VLSI-SoC (Selected Papers) Nicola Bombieri, Graziano Pravadelli, Masahiro Fujita, Todd M. Austin, Ricardo Reis
2018	C	`conf`	A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS. ISCAS Stefano Aldegheri, Nicola Bombieri, Nicola Dall'Ora, Franco Fummi, Simone Girardi, Marco Panato
2018	—	`conf`	An Efficient Implementation of a Subgraph Isomorphism Algorithm for GPUs. BIBM Vincenzo Bonnici, Rosalba Giugno, Nicola Bombieri
2018	J	`jnl`	Arena-Idb: a platform to build human non-coding RNA interaction networks. BMC Bioinform. Vincenzo Bonnici, Giorgio De Caro, Giorgio Constantino, Sabino Liuni, Domenica D'Elia, Nicola Bombieri, Flavio Licciulli, Rosalba Giugno
2018	J	`jnl`	Correction to: cuRnet: an R package for graph traversing on GPU. BMC Bioinform. Vincenzo Bonnici, Federico Busato, Stefano Aldegheri, Murodzhon Akhmedov, Luciano Cascione, Alberto Arribas Carmena, Francesco Bertoni, Nicola Bombieri, Ivo Kwee, Rosalba Giugno
2018	—	`conf`	Efficient Load Balancing Techniques for Graph Traversal Applications on GPUs. Euro-Par Federico Busato, Nicola Bombieri
2018	C	`conf`	Enhancing Performance of Computer Vision Applications on Low-Power Embedded Systems Through Heterogeneous Parallel Programming. VLSI-SoC Stefano Aldegheri, Silvia Manzato, Nicola Bombieri
2018	—	`conf`	Hornet: An Efficient Data Structure for Dynamic Sparse Graphs and Matrices on GPUs. HPEC Federico Busato, Oded Green, Nicola Bombieri, David A. Bader
2018	J	`jnl`	MIRATE: MIps RATional dEsign Science Gateway. J. Integr. Bioinform. Mirko Busato, Rosario Distefano, Ferdia Bates, Kal Karim, Alessandra Maria Bossi, José Manuel López Vilariño, Sergey Piletsky, Nicola Bombieri, Alejandro Giorgetti
2018	J	`jnl`	Pro++: A Profiling Framework for Primitive-Based GPU Programming. IEEE Trans. Emerg. Top. Comput. Nicola Bombieri, Federico Busato, Franco Fummi
2018	C	`conf`	Rapid Prototyping of Embedded Vision Systems: Embedding Computer Vision Applications into Low-Power Heterogeneous Architectures. RSP Stefano Aldegheri, Nicola Bombieri
2018	J	`jnl`	cuRnet: an R package for graph traversing on GPU. BMC Bioinform. Vincenzo Bonnici, Federico Busato, Stefano Aldegheri, Murodzhon Akhmedov, Luciano Cascione, Alberto Arribas Carmena, Francesco Bertoni, Nicola Bombieri, Ivo Kwee, Rosalba Giugno
2017	J	`jnl`	A Dynamic Approach for Workload Partitioning on GPU Architectures. IEEE Trans. Parallel Distributed Syst. Federico Busato, Nicola Bombieri
2017	—	`conf`	A performance, power, and energy efficiency analysis of load balancing techniques for GPUs. SIES Federico Busato, Nicola Bombieri
2017	J	`jnl`	An Efficient Approach for Accelerating Bucket Elimination on GPUs. IEEE Trans. Cybern. Filippo Bistaffa, Nicola Bombieri, Alessandro Farinelli
2017	C	`conf`	Extending OpenVX for model-based design of embedded vision applications. VLSI-SoC Stefano Aldegheri, Nicola Bombieri
2017	—	`conf`	Fast and Power-Efficient Embedded Software Implementation of Digital Image Stabilization for Low-Cost Autonomous Boats. FSR Stefano Aldegheri, Domenico Daniele Bloisi, Jason J. Blum, Nicola Bombieri, Alessandro Farinelli
2017	—	`conf`	Integrating Simulink, OpenVX, and ROS for Model-Based Design of Embedded Vision Applications. VLSI-SoC (Selected Papers) Stefano Aldegheri, Nicola Bombieri
2017	A*	`conf`	Power-aware Performance Tuning of GPU Applications Through Microbenchmarking. DAC Nicola Bombieri, Federico Busato, Franco Fummi
2017	—	`conf`	Quickly finding a truss in a haystack. HPEC 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
2016	—	`conf`	A SystemC-based platform for assertion-based verification and mutation analysis in systems biology. LATS Daniele Coati, Rosario Distefano, Nicola Bombieri, Franco Fummi, Michela Mirenda, Carlo Laudanna, Rosalba Giugno
2016	A	`conf`	A fine-grained performance model for GPU architectures. DATE Nicola Bombieri, Federico Busato, Franco Fummi
2016	J	`jnl`	APPAGATO: an APproximate PArallel and stochastic GrAph querying TOol for biological networks. Bioinform. Vincenzo Bonnici, Federico Busato, Giovanni Micale, Nicola Bombieri, Alfredo Pulvirenti, Rosalba Giugno
2016	J	`jnl`	An Efficient Implementation of the Bellman-Ford Algorithm for Kepler GPU Architectures. IEEE Trans. Parallel Distributed Syst. Federico Busato, Nicola Bombieri
2016	A	`conf`	CUBE: A CUDA Approach for Bucket Elimination on GPUs. ECAI Filippo Bistaffa, Nicola Bombieri, Alessandro Farinelli
2016	—	`conf`	MIPP: A microbenchmark suite for performance, power, and energy consumption characterization of GPU architectures. SIES Nicola Bombieri, Federico Busato, Franco Fummi, Michele Scala
2016	—	`conf`	Orienteering-based Path Selection for Mobile Sensors. AIRO@AI*IA Lorenzo Bottarelli, Manuele Bicego, Jason Blum, Nicola Bombieri, Alessandro Farinelli, Luca Veggian
2016	—	`conf`	Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components. Euro-Par Workshops Stefano Aldegheri, Jiri Barnat, Nicola Bombieri, Federico Busato, Milan Ceska
2016	—	`conf`	SyQUAL: a platform for qualitative modelling and simulation of biological systems. HLDVT Rosario Distefano, Nickolas Goncharenko, Franco Fummi, Rosalba Giugno, Gary D. Bader, Nicola Bombieri
2015	J	`jnl`	A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications. ACM Trans. Design Autom. Electr. Syst. Nicola Bombieri, Franco Fummi, Sara Vinco
2015	—	`conf`	A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology. ACM Great Lakes Symposium on VLSI Rosario Distefano, Franco Fummi, Carlo Laudanna, Nicola Bombieri, Rosalba Giugno
2015	J	`jnl`	Addressing the Smart Systems design challenge: The SMAC platform. Microprocess. Microsystems Nicola Bombieri, Dimitrios Drogoudis, Giuliana Gangemi, Renaud Gillon, Michelangelo Grosso, Enrico Macii, Massimo Poncino, Salvatore Rinaudo
2015	—	`conf`	An Enhanced Profiling Framework for the Analysis and Development of Parallel Primitives for GPUs. MCSoC Nicola Bombieri, Federico Busato, Franco Fummi
2015	J	`jnl`	BFS-4K: An Efficient Implementation of BFS for Kepler GPU Architectures. IEEE Trans. Parallel Distributed Syst. Federico Busato, Nicola Bombieri
2015	C	`conf`	Exploiting GPU architectures for dynamic invariant mining. ICCD Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
2015	—	`conf`	On the Load Balancing Techniques for GPU Applications Based on Prefix-Scan. MCSoC Federico Busato, Nicola Bombieri
2015	A	`conf`	RTL property abstraction for TLM assertion-based verification. DATE Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni
2015	J	`jnl`	Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
2014	A	`conf`	A cross-level verification methodology for digital IPs augmented with embedded timing monitors. DATE Valerio Guarnieri, Massimo Petricca, Alessandro Sassone, Sara Vinco, Nicola Bombieri, Franco Fummi, Enrico Macii, Massimo Poncino
2014	—	`conf`	Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework. CMSB Nicola Bombieri, Rosario Distefano, Giovanni Scardoni, Franco Fummi, Carlo Laudanna, Rosalba Giugno
2014	—	`conf`	On the reuse of RTL assertions in SystemC TLM verification. LATW Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
2014	B	`conf`	Optimising memory management for Belief Propagation in Junction Trees using GPGPUs. ICPADS Filippo Bistaffa, Alessandro Farinelli, Nicola Bombieri
2014	J	`jnl`	Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. IEEE Trans. Computers Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli
2013	A*	`conf`	A method to abstract RTL IP blocks into C++ code and enable high-level synthesis. DAC Nicola Bombieri, Hung-Yi Liu, Franco Fummi, Luca P. Carloni
2013	J	`jnl`	On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation. J. Electron. Test. Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora
2013	Misc	`conf`	On the automatic generation of GPU-oriented software applications from RTL IPs. CODES+ISSS Nicola Bombieri, Franco Fummi, Sara Vinco
2013	A	`conf`	On the use of GP-GPUs for accelerating compute-intensive EDA applications. DATE Valeria Bertacco, Debapriya Chatterjee, Nicola Bombieri, Franco Fummi, Sara Vinco, Anirudh M. Kaushik, Hiren D. Patel
2013	—	`conf`	RTL IP abstraction into optimized embedded software. EWDTS Nicola Bombieri, Diego Forrini, Franco Fummi, Matteo Laurenzi, Sara Vinco
2013	C	`conf`	SMAC: Smart Systems Co-design. DSD Nicola Bombieri, Giuliana Drogoudis, Giuliana Gangemi, Renaud Gillon, Enrico Macii, Massimo Poncino, Salvatore Rinaudo, Francesco Stefanni, Dimitrios Trachanis, Mark van Helvoort
2013	J	`jnl`	Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco
2012	—	`conf`	Energy aware TLM platform simulation via RTL abstraction. HLDVT Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Andrea Acquaviva
2012	A	`conf`	FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. DATE Nicola Bombieri, Franco Fummi, Valerio Guarnieri
2012	J	`jnl`	FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction. J. Electron. Test. Nicola Bombieri, Franco Fummi, Valerio Guarnieri
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	J	`jnl`	HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. Des. Autom. Embed. Syst. Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco
2012	—	`conf`	On the Reuse of RTL IPs for SysML Model Generation. MTV Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora
2012	J	`jnl`	On the Reuse of TLM Mutation Analysis at RTL. J. Electron. Test. Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
2012	—	`conf`	On the automatic synthesis of parallel SW from RTL models of hardware IPs. ACM Great Lakes Symposium on VLSI Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco
2012	—	`conf`	Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. MTV Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Sara Vinco
2012	Misc	`conf`	SystemC simulation on GP-GPUs: CUDA vs. OpenCL. CODES+ISSS Nicola Bombieri, Sara Vinco, Valeria Bertacco, Debapriya Chatterjee
2011	B	`conf`	Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. ETS Nicola Bombieri, Franco Fummi, Valerio Guarnieri
2011	J	`jnl`	Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. IEEE Trans. Computers Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2011	C	`conf`	Automatic Interface Generation for Component Reuse in HW-SW Partitioning. DSD Nicola Bombieri, Franco Fummi, Sara Vinco, Davide Quaglia
2011	C	`conf`	Efficient implementation and abstraction of systemc data types for fast simulation. FDL Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco
2011	—	`conf`	Mutation analysis for SystemC designs at TLM. LATW Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
2010	A*	`conf`	Abstraction of RTL IPs into embedded software. DAC Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2010	—	`conf`	Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs. HLDVT Nicola Bombieri, Franco Fummi, Valerio Guarnieri
2010	J	`jnl`	HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Embed. Syst. Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
2010	—	`conf`	HIFSuite: Tools for HDL code conversion and manipulation. HLDVT Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
2010	C	`conf`	Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis. VLSI-SoC Nicola Bombieri, Franco Fummi, Valerio Guarnieri
2010	J	`jnl`	System/network design-space exploration based on TLM for networked embedded systems. ACM Trans. Embed. Comput. Syst. Nicola Bombieri, Franco Fummi, Davide Quaglia
2009	Misc	`conf`	Automatic customization of device drivers for IP-cores used with assorted CPU organizations. CODES+ISSS Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco
2009	A	`conf`	Correct-by-construction generation of device drivers based on RTL testbenches. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco
2009	A	`conf`	Functional qualification of TLM verification. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe
2009	—	`conf`	On the Mutation Analysis of SystemC TLM-2.0 Standard. MTV Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2008	A	`conf`	A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2008	A	`conf`	Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation. DATE Nicola Bombieri, Nicola Deganello, Franco Fummi
2008	—	`conf`	RTL-TLM equivalence checking based on simulation. EWDTS Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2008	J	`jnl`	Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. ACM Trans. Design Autom. Electr. Syst. Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2007	J	`jnl`	Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. IEEE Des. Test Comput. Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli
2007	A	`conf`	Incremental ABV for functional validation of TL-to-RTL design refinement. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2007	C	`conf`	Towards Equivalence Checking Between TLM and RTL Models. MEMOCODE Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva
2006	C	`conf`	A methodology for abstracting RTL designs into TL descriptions. MEMOCODE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2006	—	`conf`	Hardware Design and Simulation for Verification. SFM Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2006	—	`conf`	On the Automatic Transactor Generation for TLM-based Design Flows. HLDVT Nicola Bombieri, Franco Fummi
2006	A	`conf`	On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2006	Misc	`conf`	TLM/network design space exploration for networked embedded systems. CODES+ISSS Nicola Bombieri, Franco Fummi, Davide Quaglia
2005	C	`conf`	Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. MEMOCODE Nicola Bombieri, Andrea Fedeli, Franco Fummi
2005	—	`conf`	Functional Verification of Networked Embedded Systems. ISQED Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2005	—	`conf`	On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. MTV Nicola Bombieri, Andrea Fedeli, Franco Fummi
2004	—	`conf`	At-Speed Functional Verification of Programmable Devices. DFT Nicola Bombieri, Franco Fummi, Graziano Pravadelli