| Publication | Date of Publication | Type |
|---|
The hexatope and octatope abstract domains for neural network verification
Formal Methods in System Design | 2025-01-13 | Paper |
Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
Nonlinear Analysis. Hybrid Systems | 2024-07-30 | Paper |
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets
IEEE Transactions on Automatic Control | 2024-02-29 | Paper |
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
The octatope abstract domain for verification of neural networks
Formal Methods | 2023-08-17 | Paper |
| Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement | 2022-12-07 | Paper |
| Simulation-equivalent reachability of large linear systems with inputs | 2022-07-01 | Paper |
| Robustness verification of semantic segmentation neural networks using relaxed reachability | 2022-03-25 | Paper |
Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
(available as arXiv preprint) | 2022-03-24 | Paper |
| Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability | 2022-01-17 | Paper |
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
Formal Aspects of Computing | 2021-09-14 | Paper |
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems
(available as arXiv preprint) | 2021-05-25 | Paper |
| Reachability analysis of nonlinear systems using hybridization and dynamics scaling | 2021-03-02 | Paper |
Verification of deep convolutional neural networks using ImageStars
(available as arXiv preprint) | 2021-02-04 | Paper |
| Improved geometric path enumeration for verifying ReLU neural networks | 2021-02-04 | Paper |
Rigorous simulation-based analysis of linear hybrid systems
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Numerical verification of affine systems with up to a billion dimensions
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Time-triggered conversion of guards for reachability analysis of hybrid automata | 2017-12-01 | Paper |
Real-Time I/O Management System with COTS Peripherals
IEEE Transactions on Computers | 2017-07-12 | Paper |
HYST: a source transformation and translation tool for hybrid automaton models
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Scalable static hybridization methods for analysis of nonlinear systems
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Global Real-Time Memory-Centric Scheduling for Multicore Systems
IEEE Transactions on Computers | 2017-05-16 | Paper |
A comparison of approaches for finding minimum identifying codes on graphs
Quantum Information Processing | 2016-06-14 | Paper |
Memory-centric scheduling for multicore hard real-time systems
Real-Time Systems | 2014-07-14 | Paper |
A third order accurate fast marching method for the eikonal equation in two dimensions
SIAM Journal on Scientific Computing | 2012-02-23 | Paper |
Some improvements for the fast sweeping method
SIAM Journal on Scientific Computing | 2011-06-10 | Paper |
