Seguir
Radu Grosu
Radu Grosu
Professor of Computer Science
Dirección de correo verificada de tuwien.ac.at
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
3101998
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
3022000
Monte carlo model checking
R Grosu, SA Smolka
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
2432005
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
2062020
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
1952021
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
1572019
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
1532011
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
1452012
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
1252011
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
1182001
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
1162001
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
1152012
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
1132022
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
1101998
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
1042018
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
1022019
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
972009
Adaptive runtime verification
E Bartocci, R Grosu, A Karmarkar, SA Smolka, SD Stoller, E Zadok, ...
Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013
822013
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
812011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20