Giovanni Beltrame

According to our database1, Giovanni Beltrame authored at least 88 papers between 2001 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Long-term pattern formation and maintenance for battery-powered robots.
Swarm Intelligence, 2019

Modeling Perceptual Aliasing in SLAM via Discrete-Continuous Graphical Models.
IEEE Robotics and Automation Letters, 2019

Probabilistic timing analysis of time-randomised caches with fault detection mechanisms.
IET Computers & Digital Techniques, 2019

CAPRICORN: Communication Aware Place Recognition using Interpretable Constellations of Objects in Robot Networks.
CoRR, 2019

DOOR-SLAM: Distributed, Online, and Outlier Resilient SLAM for Robotic Teams.
CoRR, 2019

Self-Healing Ground-and-Air Connectivity Chains.
CoRR, 2019

An Adversarial Approach to Private Flocking in Mobile Robot Teams.
CoRR, 2019

Decentralized Connectivity Control in Quadcopters: a Field Study of Communication Performance.
CoRR, 2019

Failure-Tolerant Connectivity Maintenance for Robot Swarms.
CoRR, 2019

Collaborative Localization and Tracking with Minimal Infrastructure.
CoRR, 2019

Robust connectivity maintenance for fallible robots.
Auton. Robots, 2019

Decentralized progressive shape formation with robot swarms.
Auton. Robots, 2019

Collision-aware Task Assignment for Multi-Robot Systems.
Proceedings of the 2019 International Symposium on Multi-Robot and Multi-Agent Systems, 2019

Data-Efficient Decentralized Place Recognition with 3D Constellations of Objects: Extended Abstract.
Proceedings of the 2019 International Symposium on Multi-Robot and Multi-Agent Systems, 2019

Robust Area Coverage with Connectivity Maintenance.
Proceedings of the International Conference on Robotics and Automation, 2019

Decentralized collaborative transport of fabrics using micro-UAVs.
Proceedings of the International Conference on Robotics and Automation, 2019

The Unbroken Telephone Game: Keeping Swarms Connected.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Tangible Robotic Fleet Control.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
Over-the-Air Updates for Robotic Swarms.
IEEE Software, 2018

ImGA: an improved genetic algorithm for partitioned scheduling on heterogeneous multi-core systems.
Design Autom. for Emb. Sys., 2018

Dynamic Range-Only Localization for Multi-Robot Systems.
IEEE Access, 2018

More Than the Sum of its Parts: Assessing the Coherence and Expressivity of a Robotic Swarm.
Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication, 2018

Circle Formation with Computation-Free Robots Shows Emergent Behavioural Structure.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Lightweight Collision Avoidance for Resource-Constrained Robots.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Decentralized Connectivity-Preserving Deployment of Large-Scale Robot Swarms.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Engineering safety in swarm robotics.
Proceedings of the 1st International Workshop on Robotics Software Engineering, 2018

From Swarms to Stars: Task Coverage in Robot Swarms with Connectivity Constraints.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Behaviours and States for Human-Swarm Interaction Studies.
Proceedings of the Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, 2018

Stop, Think, and Roll: Online Gain Optimization for Resilient Multi-robot Topologies.
Proceedings of the Distributed Autonomous Robotic Systems, 2018

2017
Optimization Strategies in Design Space Exploration.
Proceedings of the Handbook of Hardware/Software Codesign., 2017

An Adaptive Markov Model for the Timing Analysis of Probabilistic Caches.
ACM Trans. Design Autom. Electr. Syst., 2017

HypAp: A Hypervolume-Based Approach for Refining the Design of Embedded Systems.
Embedded Systems Letters, 2017

Scheduling real-time systems with cyclic dependence using data criticality.
Design Autom. for Emb. Sys., 2017

ROS and Buzz: consensus-based behaviors for heterogeneous teams.
CoRR, 2017

Static probabilistic timing analysis with a permanent fault detection mechanism.
Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

An analysis of random cache effects on real-time multi-core scheduling algorithms.
Proceedings of the International Symposium on Rapid System Prototyping, 2017

ACCUSE: Helping Users to Minimize Android App Privacy Concerns.
Proceedings of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2017

Self-adaptive pattern formation with battery-powered robot swarms.
Proceedings of the 2017 NASA/ESA Conference on Adaptive Hardware and Systems, 2017

2016
Buzz: A Programming Language for Robot Swarms.
IEEE Software, 2016

A Tuple Space for Data Sharing in Robot Swarms.
EAI Endorsed Trans. Collaborative Computing, 2016

Swarm-Oriented Programming of Distributed Robot Networks.
IEEE Computer, 2016

Optimizing User Experience in Choosing Android Applications.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Static probabilistic timing analysis in presence of faults.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

A simulation-based model generator for software performance estimation.
Proceedings of the Summer Computer Simulation Conference, 2016

Simulation-based schedulability assessment for real-time systems.
Proceedings of the Summer Computer Simulation Conference, 2016

Schedulability-guided exploration of multi-core systems.
Proceedings of the 2016 International Symposium on Rapid System Prototyping, 2016

Buzz: An extensible programming language for heterogeneous swarm robotics.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Effects of online fault detection mechanisms on Probabilistic Timing Analysis.
Proceedings of the 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2016

Decentralized Progressive Shape Formation with Robot Swarms.
Proceedings of the Distributed Autonomous Robotic Systems, 2016

2015
On the impact of sampling frequency on software energy measurements.
PeerJ PrePrints, 2015

Triple Modular Redundancy verification via heuristic netlist analysis.
PeerJ Computer Science, 2015

Buzz: An Extensible Programming Language for Self-Organizing Heterogeneous Robot Swarms.
CoRR, 2015

Monitoring glaciers from space using a cubesat.
IEEE Communications Magazine, 2015

A low-cost validation setup for the thermal modelling of electronic devices.
Proceedings of the IEEE 13th International New Circuits and Systems Conference, 2015

A probabilistically analysable cache implementation on FPGA.
Proceedings of the IEEE 13th International New Circuits and Systems Conference, 2015

Trading off power and fault-tolerance in real-time embedded systems.
Proceedings of the 2015 NASA/ESA Conference on Adaptive Hardware and Systems, 2015

2014
A comparative evaluation of multi-objective exploration algorithms for high-level design.
ACM Trans. Design Autom. Electr. Syst., 2014

Exploring Spiking Neural Network on Coarse-Grain Reconfigurable Architectures.
Proceedings of the 2nd International Workshop on Many-core Embedded Systems, 2014

Parameterized AES-Based Crypto Processor for FPGAs.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Efficient transient thermal simulation of 3D ICs with liquid-cooling and through silicon vias.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Balancing system availability and lifetime with dynamic hidden Markov models.
Proceedings of the 2014 NASA/ESA Conference on Adaptive Hardware and Systems, 2014

2013
Explicit transient thermal simulation of liquid-cooled 3D ICs.
Proceedings of the Design, Automation and Test in Europe, 2013

On self-adaptive resource allocation through reinforcement learning.
Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems, 2013

2012
Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Parallelization strategies of the canny edge detector for multi-core CPUs and many-core GPUs.
Proceedings of the 10th IEEE International NEWCAS Conference, 2012

Embedded system verification through constraint-based scheduling.
Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

2011
Multi-granularity thermal evaluation of 3D MPSoC architectures.
Proceedings of the Design, Automation and Test in Europe, 2011

A multi-objective decision-theoretic exploration algorithm for platform-based design.
Proceedings of the Design, Automation and Test in Europe, 2011

A linear-time approach for the transient thermal simulation of liquid-cooled 3d ics.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010
Decision-Theoretic Design Space Exploration of Multiprocessor Platforms.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2010

2009
ReSP: A Nonintrusive Transaction-Level Reflective MPSoC Simulation Platform for Design Space Exploration.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2009

Multi-level fault modeling for transaction-level specifications.
Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, 2009

A real-time application design methodology for MPSoCs.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design.
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

ReSP: A non-intrusive Transaction-Level Reflective MPSoC Simulation Platform for design space exploration.
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

High-Level Modeling and Exploration of Reconfigurable MPSoCs.
Proceedings of the NASA/ESA Conference on Adaptive Hardware and Systems, 2008

2007
Multi-Accuracy Power and Performance Transaction-Level Modeling.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2007

A Framework for Reliability Assessment and Enhancement in Multi-Processor Systems-On-Chip.
Proceedings of the 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2007), 2007

2006
Parallel programming models for a multiprocessor SoC platform applied to networking and multimedia.
IEEE Trans. VLSI Syst., 2006

An Application Mapping Methodology and Case Study for Multi-Processor On-Chip Architectures.
Proceedings of the IFIP VLSI-SoC 2006, 2006

A Power-Efficient Methodology for Mapping Applications on Multi-Processor, System-on-Chip Architectures.
Proceedings of the VLSI-SoC: Research Trends in VLSI and Systems on Chip, 2006

Exploiting TLM and object introspection for system-level simulation.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Decision-theoretic exploration of multiProcessor platforms.
Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

2004
Plug-in of power models in the StepNP exploration platform: analysis of power/performance trade-offs.
Proceedings of the 2004 International Conference on Compilers, 2004

2002
Modeling Assembly Instruction Timing in Superscalar Architectures.
Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002

2001
Dynamic modeling of inter-instruction effects for execution time estimation.
Proceedings of the 14th International Symposium on Systems Synthesis, 2001

From Dust to Stardust: A Collaborative 3D Virtual Museum of Computer Science.
Proceedings of the International Cultural Heritage Informatics Meeting: Proceedings from ICHIM 2001. Politechnico di Milano, Milan, Italy, September 3-7, 2001, 2001

An Assembly-Level Execution-Time Model for Pipelined Architectures.
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001


  Loading...