Nima Roohi

About Me

I am a postdoctoral researcher in Department of Computer & Information Science at University of Pennsylvania working with Prof. Insup Lee, Prof. Oleg Sokolsky, and Prof. James Weimer on development of modeling and verification techniques for Cyber-Physical Systems. I received my PhD in Remedies for Building Reliable Cyber-Physical Systems from Department of Computer Science at University of Illinois Urbana-Champaign under supervision of Prof. Mahesh Viswanathan. I earned my MSc degree in Mathematics also from University of Illinois Urbana-Champaign. Before joining UIUC, 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.


Research Interests

Model checking cyber-physical systems in general, and robust monitoring and verification of cyber-physical systems, robust satisfiability of metric and signal temporal logics, and statistical analysis of hybrid systems in particular.


Publications

2018 Nima Roohi, Mahesh Viswanathan. Revisiting MITL to correct Decision Procedures. To Be Appeared in VMCAI.
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)
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)
2015 Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan. Deciding Concurrent Planar Monotonic Linear Hybrid Systems. LNCS 9268:256-269 (FORMATS)
2015 Nima Roohi, Mahesh Viswanathan. Statistical Model Checking for Unbounded Until Formulas. STTT 17(4):417-427
2015 Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir Dullerud. Statistical Verification of Dynamical Systems Using Set Oriented Methods. HSCC 169-178
2014 Yu Wang, Nima Roohi, Mahesh Viswanathan, Geir Dullerud. Stability of Linear Autonomous Systems Under Regular Switching Sequences. IEEE CDC, PP 5445-5450 (CDC)
2014 Nima Roohi, Mahesh Viswanathan. Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints. LNCS 8711:191-205 (FORMATS)
2012 Gwen Salaün, Tevfik Bultan, and Nima Roohi. Realizability of Choreographies using Process Algebra Encodings. IEEE TSC 5(3):290-304
2011 Nima Roohi, Gwen Salaün. Realizability and Dynamic Reconfiguration of Chor Specifications. Informatica, 35(1):39-49
2009 Gwen Salaün, Nima Roohi. On Realizability and Dynamic Reconfiguration of Choreographies. WASELF (Selected Paper to be Published in Informatica)
2009 Nima Roohi. Choreography and Orchestration of Coordinators in Component-Based Systems. M.Sc. Thesis, Sharif University of Technology, Tehran, Iran (In Persian)
2009 Nima Roohi, Gwen Salaün, and Seyed-Hassan Mirian-Hosseinabadi. Analyzing Chor Specifications by Translation into FSP. ENTCS 255:159-176 (FOCLASA)
2007 Bahman Pourvatan, Arash Afshar, and Nima Ruhy. Modeling Sequential and Concurrent Programs with Reo and Constraint Automata. (FOCLASA)
2007 Bahman Pourvatan and Nima Rouhy. An Alternative Algorithm for Constraint Automata Product. LNCS 4767:412-422 (FSEN)