Radu Grosu

Citado por

	Total	Desde 2019
Citas	7271	3406
Índice h	47	31
Índice i10	146	79

760

380

190

570

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202422 50 85 64 64 98 146 153 137 151 163 109 123 148 150 136 139 140 198 248 197 338 277 412 483 474 572 757 711 397

Acceso público

Ver todo

80 artículos

8 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

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

Seguir

Radu Grosu

Professor of Computer Science

Dirección de correo verificada de tuwien.ac.at

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	243	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	207	2020
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	197	2021
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	157	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	153	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	145	2012
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	125	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
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
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	115	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	113	2022
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	104	2018
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	102	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	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	82	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores