Radu Grosu

Cited by

	All	Since 2017
Citations	5675	2548
h-index	40	26
i10-index	134	82

580

290

145

435

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202231 47 81 61 72 97 141 144 131 152 151 111 121 151 137 125 135 150 205 243 194 344 291 417 461 461 577 333

Public access

View all

83 articles

6 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
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
Flavio H. FentonProfessor of Physics, Georgia TechVerified email at physics.gatech.edu
Md. Ariful IslamCiscoVerified email at csebuet.org
Ruth BREUProfessor of Computer Science, University of Innsbruck, AustriaVerified email at uibk.ac.at
Thomas HenzingerISTAustriaVerified email at ist.ac.at
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
James GlimmProfessor of Applied Mathematics Stony Brook UniveristyVerified email at stonybrook.edu
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
Abhishek MurthyData Science Technical Lead, WHOOPVerified email at whoop.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

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	299	1998
Modular specification of hybrid systems in CHARON R Alur, R Grosu, Y Hur, V Kumar, I Lee International Workshop on Hybrid Systems: Computation and Control, 6-19, 2000	286	2000
Monte carlo model checking R Grosu, SA Smolka International Conference on Tools and Algorithms for the Construction and …, 2005	236	2005
Model repair for probabilistic systems E Bartocci, R Grosu, P Katsaros, CR Ramakrishnan, SA Smolka International Conference on Tools and Algorithms for the Construction and …, 2011	143	2011
Runtime verification with state estimation SD Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, SA Smolka, ... International conference on runtime verification, 193-207, 2011	127	2011
From cardiac cells to genetic regulatory networks R Grosu, G Batt, FH Fenton, J Glimm, CL Guernic, SA Smolka, E Bartocci International Conference on Computer Aided Verification, 396-411, 2011	115	2011
The requirement and design specification language SPECTRUM--an informal introduction M Broy, C Facchi, R Grosu	110*	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	109	2001
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	108	2001
Systems, views and models of UML R Breu, R Grosu, E Huber, B Rumpe, W Schwerin The Unified Modeling Language, 93-108, 1998	105	1998
On temporal logic and signal processing A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka International Symposium on Automated Technology for Verification and …, 2012	100	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	98	2019
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	86	2009
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	84	2020
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	80	2011
Automatically generating a program M Broy, R Grosu, I Krüger US Patent 6,405,361, 2002	80	2002
A modular visual model for hybrid systems R Grosu, T Stauner, M Broy International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998	80	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 (1), 83-112, 2018	78	2018
Safety-liveness semantics for UML 2.0 sequence diagrams R Grosu, SA Smolka Fifth International Conference on Application of Concurrency to System …, 2005	78	2005
Concurrent timed port automata R Grosu, B Rumpe arXiv preprint arXiv:1411.6027, 2014	71	2014

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