Concepedia

Luca Geretti

LG

Statistics

Publications

12

Citations

363

H-Index

11

Active since

2008

Affiliations

University of Verona(Current)

Maastricht University

University of Udine

University of Padua

University of Bologna

Luca Geretti is an author at University of Verona specializing in systems engineering, engineering, and formal verification.

Top concepts

EngineeringSystems EngineeringFormal VerificationVerificationFormal MethodsRoboticsAutomationComputer ScienceKinematicsRobot Control

Publications per year

2008–2020

12

Publications

12

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Davide Bresolin et al. · Proceedings of the IEEE · 2015 · 142 citations · Full text

Contract Operations, Engineering, Software Engineering +23

Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>

Luca Benvenuti, Davide Bresolin, Pieter Collins et al. · International Journal of Robust and Nonlinear Control · 2012 · 52 citations

Engineering, Reachability Problem, Verification +18

Robotic Surgery

Riccardo Muradore, Davide Bresolin, Luca Geretti et al. · IEEE Robotics & Automation Magazine · 2011 · 32 citations

Robot Kinematics, Robotic Systems, Engineering +16

Computing the Evolution of Hybrid Systems using Rigorous Function Calculus

Pieter Collins, Davide Bresolin, Luca Geretti et al. · IFAC Proceedings Volumes · 2012 · 22 citations

Systems Engineering, Complex Dynamic System, Evolution Equation +3

A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services

A. Abramo, Franco Blanchini, Luca Geretti et al. · IEEE Transactions on Mobile Computing · 2008 · 19 citations

Wireless Localization, Rf Localization, Engineering +10

1–5 of 12