Analyzing Chor Specifications by Translation into FSP. - Nima Roohi; Gwen Salaün; Seyed-Hassan Mirian-Hosseinabadi (FOCLASA, 2009)

Realizability and Dynamic Reconfiguration of Chor Specifications. - Nima Roohi; Gwen Salaün (Informatica (Slovenia), 2011)

Realizability of Choreographies Using Process Algebra Encodings. - Gwen Salaün; Tevfik Bultan; Nima Roohi (IEEE Trans. Serv. Comput., 2012)

Stability of linear autonomous systems under regular switching sequences. - Yu Wang 044; Nima Roohi; Geir E. Dullerud; Mahesh Viswanathan 001 (CDC, 2014)

Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints. - Nima Roohi; Mahesh Viswanathan 001 (FORMATS, 2014)

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (ADHS, 2015)

Deciding Concurrent Planar Monotonic Linear Hybrid Systems. - Pavithra Prabhakar; Nima Roohi; Mahesh Viswanathan 001 (FORMATS, 2015)

Statistical verification of dynamical systems using set oriented methods. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (HSCC, 2015)

Statistical model checking for unbounded until formulas. - Nima Roohi; Mahesh Viswanathan 001 (Int. J. Softw. Tools Technol. Transf., 2015)

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (CDC, 2016)

Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. - Nima Roohi; Pavithra Prabhakar; Mahesh Viswanathan 001 (TACAS, 2016)

Robust Model Checking of Timed Automata under Clock Drifts. - Nima Roohi; Pavithra Prabhakar; Mahesh Viswanathan 001 (HSCC, 2017)

Statistical Verification of the Toyota Powertrain Control Verification Benchmark. - Nima Roohi; Yu Wang 044; Matthew West 001; Geir E. Dullerud; Mahesh Viswanathan 001 (HSCC, 2017)

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. - Nima Roohi; Pavithra Prabhakar; Mahesh Viswanathan 001 (TACAS (1), 2017)

Stability Analysis of Switched Linear Systems Defined by Regular Languages. - Yu Wang 044; Nima Roohi; Geir E. Dullerud; Mahesh Viswanathan 001 (IEEE Trans. Autom. Control., 2017)

Remedies for building reliable cyber-physical systems - Nima Roohi (2017)

Statistical Verification of PCTL Using Stratified Samples. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (ADHS, 2018)

Relating Syntactic and Semantic Perturbations of Hybrid Automata. - Nima Roohi; Pavithra Prabhakar; Mahesh Viswanathan 001 (CONCUR, 2018)

Parameter Invariant Monitoring for Signal Temporal Logic. - Nima Roohi; Ramneet Kaur; James Weimer; Oleg Sokolsky; Insup Lee 001 (HSCC, 2018)

Revisiting MITL to Fix Decision Procedures. - Nima Roohi; Mahesh Viswanathan 001 (VMCAI, 2018)

Self-Driving Vehicle Verification Towards a Benchmark. - Nima Roohi; Ramneet Kaur; James Weimer; Oleg Sokolsky; Insup Lee 001 (CoRR, 2018)

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. - Sicun Gao; James Kapinski; Jyotirmoy V. Deshmukh; Nima Roohi; Armando Solar-Lezama; Nikos Aréchiga; Soonho Kong (CAV (2), 2019)

Neural Lyapunov Control. - Ya-Chien Chang; Nima Roohi; Sicun Gao (NeurIPS, 2019)

Statistical verification of PCTL using antithetic and stratified samples. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (Formal Methods Syst. Des., 2019)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling. - Nima Roohi; Yu Wang 044; Matthew West 001; Geir E. Dullerud; Mahesh Viswanathan 001 (CAV (2), 2020)

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (CDC, 2020)

Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (ACM Trans. Embed. Comput. Syst., 2021)