Nima Roohi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Numerically-robust inductive proof rules for continuous dynamical systems Computer Aided Verification	2024-02-16	Paper
Relating syntactic and semantic perturbations of hybrid automata	2021-08-04	Paper
Revisiting MITL to fix decision procedures Lecture Notes in Computer Science	2020-07-07	Paper
Statistical verification of PCTL using antithetic and stratified samples Formal Methods in System Design	2019-11-18	Paper
Hybridization based CEGAR for hybrid automata with affine dynamics	2019-09-17	Paper
Parameter invariant monitoring for signal temporal logic Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)	2018-12-06	Paper
Stability Analysis of Switched Linear Systems Defined by Regular Languages IEEE Transactions on Automatic Control	2017-07-27	Paper
Robust model checking of timed automata under clock drifts Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control	2017-07-11	Paper
Analyzing Chor specifications by translation into FSP	2017-05-19	Paper
Statistical verification of dynamical systems using set oriented methods Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Deciding concurrent planar monotonic linear hybrid systems Lecture Notes in Computer Science	2015-09-14	Paper
Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints Lecture Notes in Computer Science	2015-08-06	Paper
Realizability and dynamic reconfiguration of chor specifications Informatica (Ljubljana)	2012-05-30	Paper

Research outcomes over time

This page was built for person: Nima Roohi