| From MSCs to statecharts I Krüger, R Grosu, P Scholz, M Broy IFIP Working Conference on Distributed and Parallel Embedded Systems, 61-71, 1998 | 310 | 1998 |
| Modular specification of hybrid systems in CHARON R Alur, R Grosu, Y Hur, V Kumar, I Lee Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2000 | 303 | 2000 |
| Liquid time-constant networks R Hasani, M Lechner, A Amini, D Rus, R Grosu Proceedings of the AAAI Conference on Artificial Intelligence 35 (9), 7657-7666, 2021 | 249 | 2021 |
| Monte carlo model checking R Grosu, SA Smolka Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 247 | 2005 |
| Neural circuit policies enabling auditable autonomy M Lechner, R Hasani, A Amini, TA Henzinger, D Rus, R Grosu Nature Machine Intelligence 2 (10), 642-652, 2020 | 239 | 2020 |
| A roadmap toward the resilient internet of things for cyber-physical systems D Ratasich, F Khalid, F Geissler, R Grosu, M Shafique, E Bartocci IEEE Access 7, 13260-13283, 2019 | 168 | 2019 |
| Model repair for probabilistic systems E Bartocci, R Grosu, P Katsaros, CR Ramakrishnan, SA Smolka Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011 | 158 | 2011 |
| Runtime verification with state estimation SD Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, SA Smolka, ... Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 150 | 2012 |
| An end-to-end neural network framework for state-of-health estimation and remaining useful life prediction of electric vehicle lithium batteries P Li, Z Zhang, R Grosu, Z Deng, J Hou, Y Rong, R Wu Renewable and Sustainable Energy Reviews 156, 111843, 2022 | 144 | 2022 |
| From cardiac cells to genetic regulatory networks R Grosu, G Batt, FH Fenton, J Glimm, C Le Guernic, SA Smolka, ... Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 127 | 2011 |
| Statistical model checking A Legay, A Lukina, LM Traonouez, J Yang, SA Smolka, R Grosu Computing and software science: state of the art and perspectives, 478-504, 2019 | 119 | 2019 |
| The requirement and design specification language Spectrum, an informal introduction M Broy, C Facchi, R Grosu, R Hettler, H Hussmann, D Nazareth, ... Reports TUM I 9311, 1993 | 119* | 1993 |
| Compositional refinement for hierarchical hybrid systems R Alur, R Grosu, I Lee, O Sokolsky International Workshop on Hybrid Systems: Computation and Control, 33-48, 2001 | 118 | 2001 |
| On temporal logic and signal processing A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka Automated Technology for Verification and Analysis: 10th International …, 2012 | 116 | 2012 |
| jMocha: A model checking tool that exploits design structure R Alur, L De Alfaro, R Grosu, TA Henzinger, M Kang, CM Kirsch, ... Proceedings of the 23rd international conference on software engineering …, 2001 | 116 | 2001 |
| Systems, views and models of UML R Breu, R Grosu, E Huber, B Rumpe, W Schwerin The Unified Modeling Language: Technical Aspects and Applications, 93-108, 1998 | 110 | 1998 |
| Quantitative monitoring of STL with edit distance S Jakšić, E Bartocci, R Grosu, T Nguyen, D Ničković Formal methods in system design 53, 83-112, 2018 | 107 | 2018 |
| Learning and detecting emergent behavior in networks of cardiac myocytes R Grosu, SA Smolka, F Corradini, A Wasilewska, E Entcheva, E Bartocci Communications of the ACM 52 (3), 97-105, 2009 | 98 | 2009 |
| Adaptive runtime verification E Bartocci, R Grosu, A Karmarkar, SA Smolka, SD Stoller, E Zadok, ... Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013 | 85 | 2013 |
| Toward real-time simulation of cardiac dynamics E Bartocci, EM Cherry, J Glimm, R Grosu, SA Smolka, FH Fenton Proceedings of the 9th International Conference on Computational Methods in …, 2011 | 82 | 2011 |
Scott A. SmolkaProfessor of Computer Science, Stony Brook University確認したメール アドレス: cs.sunysb.edu
