Radu Grosu

Cited by

	All	Since 2018
Citations	6365	2943
h-index	43	29
i10-index	140	81

740

370

185

555

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202324 46 70 63 72 92 148 149 129 158 169 112 122 146 143 130 137 139 206 242 209 336 278 411 471 469 575 727 280

Public access

View all

82 articles

3 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
Ruth BREUProfessor of Computer Science, University of Innsbruck, AustriaVerified email at uibk.ac.at
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
Ketil StølenChief Scientist, SINTEF & Professor, University of OsloVerified email at sintef.no
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 ML/AI Architect, Schneider ElectricVerified email at se.com
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
Stefan JakšićScientist, Austrian Institute of TechnologyVerified email at ait.ac.at
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu

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 Distributed and Parallel Embedded Systems: IFIP WG10. 3/WG10. 5 …, 1999	304	1999
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	295	2000
Monte carlo model checking R Grosu, SA Smolka Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005	246	2005
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	152	2011
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	138	2020
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	138	2012
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	122	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	119	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	114*	1993
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	112	2001
Compositional refinement for hierarchical hybrid systems R Alur, R Grosu, I Lee, O Sokolsky Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001	111	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	108	1998
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	104	2012
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	93	2009
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	90	2018
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	89	2021
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
Automatically generating a program M Broy, R Grosu, I Krüger US Patent 6,405,361, 2002	80	2002
Safety-liveness semantics for UML 2.0 sequence diagrams R Grosu, SA Smolka Fifth International Conference on Application of Concurrency to System …, 2005	79	2005
A modular visual model for hybrid systems R Grosu, T Stauner, M Broy Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998	79	1998

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