# Nima Roohi

According to our database

Collaborative distances:

^{1}, Nima Roohi authored at least 20 papers between 2009 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Self-Driving Vehicle Verification Towards a Benchmark.

CoRR, 2018

Revisiting MITL to Fix Decision Procedures.

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Parameter Invariant Monitoring for Signal Temporal Logic.

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Relating Syntactic and Semantic Perturbations of Hybrid Automata.

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Statistical Verification of PCTL Using Stratified Samples.

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Stability Analysis of Switched Linear Systems Defined by Regular Languages.

IEEE Trans. Automat. Contr., 2017

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Statistical Verification of the Toyota Powertrain Control Verification Benchmark.

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Robust Model Checking of Timed Automata under Clock Drifts.

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Statistical model checking for unbounded until formulas.

STTT, 2015

Statistical verification of dynamical systems using set oriented methods.

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Deciding Concurrent Planar Monotonic Linear Hybrid Systems.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems.

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Stability of linear autonomous systems under regular switching sequences.

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2012

Realizability of Choreographies Using Process Algebra Encodings.

IEEE Trans. Services Computing, 2012

2011

Realizability and Dynamic Reconfiguration of Chor Specifications.

Informatica (Slovenia), 2011

2009

Analyzing Chor Specifications by Translation into FSP.

Electr. Notes Theor. Comput. Sci., 2009