Nicola Bombieri
Orcid: 0000-0003-3256-5885
According to our database1,
Nicola Bombieri
authored at least 121 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots.
IEEE Trans. Robotics, 2024
2023
Camera- and Viewpoint-Agnostic Evaluation of Axial Postural Abnormalities in People with Parkinson's Disease through Augmented Human Pose Estimation.
Sensors, March, 2023
On the Containerization and Orchestration of RISC-V architectures for Edge-Cloud computing.
Proceedings of the 3rd Eclipse Security, 2023
Proceedings of the IEEE High Performance Extreme Computing Conference, 2023
A Dynamic and Collaborative Deep Inference Framework for Human Motion Analysis in Telemedicine.
Proceedings of the IEEE International Conference on Edge Computing and Communications, 2023
2022
Enabling Gait Analysis in the Telemedicine Practice through Portable and Accurate 3D Human Pose Estimation.
Comput. Methods Programs Biomed., 2022
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation.
Proceedings of the 23rd IEEE Latin American Test Symposium, 2022
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
On the Pose Estimation Software for Measuring Movement Features in the Finger-to-Nose Test.
Proceedings of the IEEE International Conference on Digital Health, 2022
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
Preserving Data Privacy and Accuracy of Human Pose Estimation Software Based on CNN s for Remote Gait Analysis.
Proceedings of the 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2022
Proceedings of the 18th International Conference on Distributed Computing in Sensor Systems, 2022
2021
SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks.
ACM Trans. Embed. Comput. Syst., 2021
Task Mapping and Scheduling for OpenVX Applications on Heterogeneous Multi/Many-Core Architectures.
IEEE Trans. Computers, 2021
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures.
Proceedings of the 24th Forum on specification & Design Languages, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
2020
IEEE Trans. Computers, 2020
CRISPRitz: rapid, high-throughput and variant-aware in silico off-target site identification for CRISPR genome editing.
Bioinform., 2020
On the Task Mapping and Scheduling for DAG-based Embedded Vision Applications on Heterogeneous Multi/Many-core Architectures.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Late Breaking Results: Enabling Containerized Computing and Orchestration of ROS-based Robotic SW Applications on Cloud-Server-Edge Architectures.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
2019
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors.
ACM Trans. Design Autom. Electr. Syst., 2019
Proceedings of the 27th Euromicro International Conference on Parallel, 2019
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019
Configuring Graph Traversal Applications for GPUs: Analysis of Implementation Strategies and their Correlation with Graph Characteristics.
Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019
Proceedings of the 2019 Forum for Specification and Design Languages, 2019
Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology.
Proceedings of the 2019 Forum for Specification and Design Languages, 2019
Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation.
Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2019
On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019
2018
IEEE Trans. Emerg. Top. Comput., 2018
BMC Bioinform., 2018
BMC Bioinform., 2018
Enhancing Performance of Computer Vision Applications on Low-Power Embedded Systems Through Heterogeneous Parallel Programming.
Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration, 2018
Rapid Prototyping of Embedded Vision Systems: Embedding Computer Vision Applications into Low-Power Heterogeneous Architectures.
Proceedings of the 2018 International Symposium on Rapid System Prototyping, 2018
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018
Proceedings of the Euro-Par 2018: Parallel Processing, 2018
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2018
2017
IEEE Trans. Parallel Distributed Syst., 2017
IEEE Trans. Cybern., 2017
Integrating Simulink, OpenVX, and ROS for Model-Based Design of Embedded Vision Applications.
Proceedings of the VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things, 2017
Proceedings of the 2017 IFIP/IEEE International Conference on Very Large Scale Integration, 2017
A performance, power, and energy efficiency analysis of load balancing techniques for GPUs.
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017
Proceedings of the 2017 IEEE High Performance Extreme Computing Conference, 2017
Fast and Power-Efficient Embedded Software Implementation of Digital Image Stabilization for Low-Cost Autonomous Boats.
Proceedings of the Field and Service Robotics, 2017
Proceedings of the 54th Annual Design Automation Conference, 2017
2016
An Efficient Implementation of the Bellman-Ford Algorithm for Kepler GPU Architectures.
IEEE Trans. Parallel Distributed Syst., 2016
APPAGATO: an APproximate PArallel and stochastic GrAph querying TOol for biological networks.
Bioinform., 2016
MIPP: A microbenchmark suite for performance, power, and energy consumption characterization of GPU architectures.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016
A SystemC-based platform for assertion-based verification and mutation analysis in systems biology.
Proceedings of the 17th Latin-American Test Symposium, 2016
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016
Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components.
Proceedings of the Euro-Par 2016: Parallel Processing Workshops, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016
2015
IEEE Trans. Parallel Distributed Syst., 2015
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications.
ACM Trans. Design Autom. Electr. Syst., 2015
Microprocess. Microsystems, 2015
J. Electron. Test., 2015
Proceedings of the IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2015
An Enhanced Profiling Framework for the Analysis and Development of Parallel Primitives for GPUs.
Proceedings of the IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2015
Proceedings of the 33rd IEEE International Conference on Computer Design, 2015
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology.
Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
2014
IEEE Trans. Computers, 2014
Proceedings of the 15th Latin American Test Workshop, 2014
Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014
A cross-level verification methodology for digital IPs augmented with embedded timing monitors.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework.
Proceedings of the Computational Methods in Systems Biology, 2014
2013
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
J. Electron. Test., 2013
Proceedings of the East-West Design & Test Symposium, 2013
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013
2012
J. Electron. Test., 2012
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels.
Des. Autom. Embed. Syst., 2012
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis.
Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012
Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012
Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012
Proceedings of the Great Lakes Symposium on VLSI 2012, 2012
FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012
2011
IEEE Trans. Computers, 2011
Proceedings of the 12th Latin American Test Workshop, 2011
Proceedings of the 2011 Forum on Specification & Design Languages, 2011
Proceedings of the 16th European Test Symposium, 2011
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011
2010
ACM Trans. Embed. Comput. Syst., 2010
EURASIP J. Embed. Syst., 2010
Proceedings of the 18th IEEE/IFIP VLSI-SoC 2010, 2010
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010
Proceedings of the 47th Design Automation Conference, 2010
2009
Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Automatic customization of device drivers for IP-cores used with assorted CPU organizations.
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009
2008
ACM Trans. Design Autom. Electr. Syst., 2008
Proceedings of the 2008 East-West Design & Test Symposium, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
2007
IEEE Des. Test Comput., 2007
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007
2006
Proceedings of the Formal Methods for Hardware Verification, 2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006
Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006
2005
Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005
Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005
Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005
2004
Proceedings of the 19th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2004), 2004