According to our database1, Luca Geretti
Legend:Book In proceedings Article PhD thesis Other
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.
Proceedings of the Testing Software and Systems, 2017
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems.
Proceedings of the IEEE, 2015
Formal verification of robotic surgery tasks by reachability analysis.
Microprocessors and Microsystems - Embedded Hardware Design, 2015
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014
A service-oriented gateway for remote monitoring of building sensor networks.
Proceedings of the IEEE 18th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, 2013
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.
Proceedings of the Reachability Problems - 6th International Workshop, 2012
Open Problems in Verification and Refinement of Autonomous Robotic Systems.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012
Correct-by-construction code generation from hybrid automata specification.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks.
IEEE Trans. Mob. Comput., 2010
The Correspondence Between Deterministic and Stochastic Digital Neurons: Analysis and Methodology.
IEEE Trans. Neural Networks, 2008
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services.
IEEE Trans. Mob. Comput., 2008