Nima Roohi

About Me

I am a fifth year PhD student in Department of Computer Science at the University of Illinois Urbana-Champaign, working under supervision of Prof. Mahesh Viswanathan. During the PhD, I took my MSc in Mathematics from University of Illinois Urbana-Champaign as well. Before that, I took my MSc in Software Engineering from Sharif University of Technology under supervision of Prof. Seyed Hassan Mirian Hosseinabadi, and I took my BSc also in Software Engineering from Amirkabir University of Technology under supervision of Mr. Bahman Pourvatan.

*** I moved to University of Pennsylvania as postdoctoral researcher. This page will no longer be updated ***


Research Interests

Model checking cyber-physical systems in general, and (robust) reachability analysis, (robust) satisfiability of metric temporal logic, and statistical analysis of hybrid systems in particular.


Publications

2017 Nima Roohi. Remedies for Building Reliable Cyber-Physical Systems. PhD Thesis. Department of Computer Science, University of Illinois Urbana Champaign.
2017 Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan. HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-Linear Hybrid Automata. Proceeding of TACAS 573–588
2017 Nima Roohi, Yu Wang, Matthew West, Geir Dullerud, Mahesh Viswanathan. Statistical Verification of Toyota Powertrain Control Verification Benchmark. HSCC 65-70
2017 Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan. Robust Model Checking of Timed Automata under Clock Drifts. HSCC 153-162
2017 Yu Wang, Nima Roohi, Geir Dullerud, Mahesh Viswanathan. Stability Analysis of Switched Linear Systems defined by Regular Languages. IEEE TAC 62:2568–2575
2016 Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir Dullerud. Verifying Continuous-Time Stochastic Hybrid Systems Via Mori-Zwanzig Model Reduction. IEEE CDC 3012–3017
2016 Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan. Hybridization based CEGAR for Hybrid Automata with Affine Dynamics. LNCS 9636:752-769 (TACAS) (bibtex)
2015 Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir Dullerud. A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. IFAC-PapersOnLine 48(27):267-273 (ADHS) (bibtex)
2015 Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan. Deciding Concurrent Planar Monotonic Linear Hybrid Systems. LNCS 9268:256-269 (FORMATS) (bibtex)
2015 Nima Roohi, Mahesh Viswanathan. Statistical Model Checking for Unbounded Until Formulas. STTT 17(4):417-427 (bibtex)
2015 Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir Dullerud. Statistical Verification of Dynamical Systems Using Set Oriented Methods. HSCC 169-178 (bibtex)
2014 Yu Wang, Nima Roohi, Mahesh Viswanathan, Geir Dullerud. Stability of Linear Autonomous Systems Under Regular Switching Sequences. IEEE CDC, PP 5445-5450 (CDC) (bibtex)
2014 Nima Roohi, Mahesh Viswanathan. Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints. LNCS 8711:191-205 (FORMATS) (bibtex)
2012 Gwen Salaün, Tevfik Bultan, and Nima Roohi. Realizability of Choreographies using Process Algebra Encodings. IEEE TSC 5(3):290-304 (bibtex)
2011 Nima Roohi, Gwen Salaün. Realizability and Dynamic Reconfiguration of Chor Specifications. Informatica, 35(1):39-49 (bibtex)
2009 Gwen Salaün, Nima Roohi. On Realizability and Dynamic Reconfiguration of Choreographies. WASELF (Selected Paper to be Published in Informatica) (bibtex)
2009 Nima Roohi. Choreography and Orchestration of Coordinators in Component-Based Systems. M.Sc. Thesis, Sharif University of Technology, Tehran, Iran (In Persian) (bibtex)
2009 Nima Roohi, Gwen Salaün, and Seyed-Hassan Mirian-Hosseinabadi. Analyzing Chor Specifications by Translation into FSP. ENTCS 255:159-176 (FOCLASA) (bibtex)
2007 Bahman Pourvatan, Arash Afshar, and Nima Ruhy. Modeling Sequential and Concurrent Programs with Reo and Constraint Automata. (FOCLASA) (bibtex)
2007 Bahman Pourvatan and Nima Rouhy. An Alternative Algorithm for Constraint Automata Product. LNCS 4767:412-422 (FSEN) (bibtex)