Radu Grosu

Cited by

	All	Since 2019
Citations	7504	3633
h-index	47	33
i10-index	149	82

760

380

190

570

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202422 50 85 64 64 98 146 153 138 150 163 109 123 148 150 136 139 140 198 246 199 339 277 412 484 473 574 760 710 620

Public access

View all

82 articles

9 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	302	2000
Monte carlo model checking R Grosu, SA Smolka Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005	246	2005
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	230	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	225	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	163	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	154	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	147	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	131	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
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
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	111	2019
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	97	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	84	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	81	2011

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