Radu Grosu

Cited by

	All	Since 2020
Citations	7827	3458
h-index	47	31
i10-index	153	77

840

420

210

630

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202522 50 85 64 65 98 144 155 136 150 163 108 123 150 150 137 139 146 192 249 199 340 278 416 484 475 580 763 727 825 82

Public access

View all

84 articles

10 articles

available

not available

Based on funding mandates

Co-authors

Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Scott D. StollerProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
Md. Ariful IslamCiscoVerified email at csebuet.org
Flavio H. FentonProfessor of Physics, Georgia TechVerified email at physics.gatech.edu
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Ketil StølenProfessor, University of OsloVerified email at ifi.uio.no
Ruth BREUProfessor of Computer Science, University of Innsbruck, AustriaVerified email at uibk.ac.at
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
James GlimmProfessor of Applied Mathematics Stony Brook UniveristyVerified email at stonybrook.edu
Abhishek MurthySenior Principal ML/AI Architect, Schneider ElectricVerified email at se.com
Stefan JakšićScientist, Austrian Institute of TechnologyVerified email at ait.ac.at
Flavio CorradiniProfessore di Informatica, Università di CamerinoVerified email at unicam.it
Goran FrehseProfessor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
Lukas EsterleAssociate Professor, Aarhus UniversityVerified email at ece.au.dk
Christian FacchiProfessor für SW-Engineering, Distributed Systems, Technische Hochschule IngolstadtVerified email at thi.de
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov

Radu Grosu

Professor of Computer Science

Verified email at tuwien.ac.at

Hybrid Systems Cyber-Physical Systems Modeling Analysis and Control Computational Systems Biology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	274	2021
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	250	2020
Monte carlo model checking R Grosu, SA Smolka Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005	248	2005
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	173	2019
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	162	2022
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
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	127	2019
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
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
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	118	2012
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
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	117	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	99	2009
Adaptive runtime verification E Bartocci, R Grosu, A Karmarkar, SA Smolka, SD Stoller, E Zadok, ... International Conference on Runtime Verification, 168-182, 2012	87	2012
Neural simplex architecture DT Phan, R Grosu, N Jansen, N Paoletti, SA Smolka, SD Stoller NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020	84	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors