Luca Geretti

According to our database1, Luca Geretti
  • authored at least 11 papers between 2008 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.
Proceedings of the Testing Software and Systems, 2017

2015
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

2014
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013
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

2012
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

2011
Correct-by-construction code generation from hybrid automata specification.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

2010
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks.
IEEE Trans. Mob. Comput., 2010

2008
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


  Loading...