Luca Geretti

Inf. Comput., 2024

Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study.

[BibT_eX]

[DOI]

IEEE Access, 2024

Recent Results on Computable and Compositional Semantics for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024

2023

Rigorous Function Calculi in Ariadne.

[BibT_eX]

[DOI]

CoRR, 2023

Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods.

[BibT_eX]

[DOI]

Omar Radwan

Yilin Zhang

CoRR, 2023

HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Special issue: Formal verification of cyber-physical systems.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Automating Numerical Parameters Along the Evolution of a Nonlinear System.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Latin American Test Symposium, 2022

Process-driven Collision Prediction in Human-Robot Work Environments.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Matthias Althoff

Luis Benet

Parasara Sridhar Duggirala

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Parasara Sridhar Duggirala

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Higher Order Method for Differential Inclusions.

[BibT_eX]

[DOI]

CoRR, 2020

A computable and compositional semantics for hybrid automata.

[BibT_eX]

[DOI]

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Rigorous Continuous Evolution of Uncertain Systems.

[BibT_eX]

[DOI]

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

Formal Verification of Medical CPS: A Laser Incision Case Study.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2018

2017

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

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.

[BibT_eX]

[DOI]

Pierluigi Nuzzo

Proc. IEEE, 2015

Formal verification of robotic surgery tasks by reachability analysis.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2015

2014

Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

A service-oriented gateway for remote monitoring of building sensor networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 6th International Workshop, 2012

Open Problems in Verification and Refinement of Autonomous Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Computing the Evolution of Hybrid Systems using Rigorous Function Calculus.

[BibT_eX]

[DOI]

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Robotic Surgery.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2011

Correct-by-construction code generation from hybrid automata specification.

[BibT_eX]

[DOI]

Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

2010

Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks.

[BibT_eX]

[DOI]

Antonio Abramo

IEEE Trans. Mob. Comput., 2010

2008

The Correspondence Between Deterministic and Stochastic Digital Neurons: Analysis and Methodology.

[BibT_eX]

[DOI]