Nima Roohi
Nima Roohi
E-mail megerősítve itt: ucsd.edu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Realizability of Choreographies using Process Algebra Encodings
G Salaün, T Bultan, N Roohi
IEEE Transactions on Services Computing 5, 290--304, 2012
1232012
Neural lyapunov control
YC Chang, N Roohi, S Gao
Advances in Neural Information Processing Systems, 3245-3254, 2019
252019
Stability analysis of switched linear systems defined by regular languages
Y Wang, N Roohi, GE Dullerud, M Viswanathan
IEEE Transactions on Automatic Control 62 (5), 2568-2575, 2016
242016
Hybridization based CEGAR for hybrid automata with affine dynamics
N Roohi, P Prabhakar, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2016
182016
Stability of linear autonomous systems under regular switching sequences
Y Wang, N Roohi, GE Dullerud, M Viswanathan
53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA …, 2014
172014
Statistical verification of the Toyota powertrain control verification benchmark
N Roohi, Y Wang, M West, GE Dullerud, M Viswanathan
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
142017
Statistical verification of dynamical systems using set oriented methods
Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
142015
Realizability and Dynamic Reconfiguration of Chor Specifications
N Roohi, G Salaün
Informatica: An International Journal of Computing and Informatics 35 (1), 39-49, 2011
142011
HARE: A hybrid abstraction refinement engine for verifying non-linear hybrid automata
N Roohi, P Prabhakar, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2017
102017
Verifying continuous-time stochastic hybrid systems via Mori-Zwanzig model reduction
Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud
2016 IEEE 55th conference on decision and control (CDC), 3012-3017, 2016
102016
A Mori-Zwanzig and MITL based approach to statistical verification of continuous-time dynamical systems
Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud
IFAC-PapersOnLine 48 (27), 267-273, 2015
82015
On Realizability and Dynamic Reconfiguration of Choreographies
G Salaün, N Roohi
Proc. of WASELF 9, 2009
82009
Self-driving vehicle verification towards a benchmark
N Roohi, R Kaur, J Weimer, O Sokolsky, I Lee
arXiv preprint arXiv:1806.08810, 2018
72018
Statistical verification of PCTL using stratified samples
Y Wang, N Roohi, M West, M Viswanathan, GE Dullerud
IFAC-PapersOnLine 51 (16), 85-90, 2018
72018
Analyzing chor specifications by translation into FSP
N Roohi, G Salaün, SH Mirian
Electronic Notes in Theoretical Computer Science 255, 159-176, 2009
72009
An alternative algorithm for constraint automata product
B Pourvatan, N Rouhy
International Conference on Fundamentals of Software Engineering, 412-422, 2007
72007
Parameter invariant monitoring for signal temporal logic
N Roohi, R Kaur, J Weimer, O Sokolsky, I Lee
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
62018
Robust model checking of timed automata under clock drifts
N Roohi, P Prabhakar, M Viswanathan
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
52017
Revisiting MITL to fix decision procedures
N Roohi, M Viswanathan
International Conference on Verification, Model Checking, and Abstract …, 2018
42018
Statistical model checking for unbounded until formulas
N Roohi, M Viswanathan
International Journal on Software Tools for Technology Transfer 17 (4), 417-427, 2015
42015
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20