Folgen
Radu Grosu
Radu Grosu
Professor of Computer Science
Bestätigte E-Mail-Adresse bei tuwien.ac.at
Titel
Zitiert von
Zitiert von
Jahr
From MSCs to statecharts
I Krüger, R Grosu, P Scholz, M Broy
Distributed and Parallel Embedded Systems: IFIP WG10. 3/WG10. 5 …, 1999
3041999
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
2952000
Monte carlo model checking
R Grosu, SA Smolka
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
2462005
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
1522011
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
1382012
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
1372020
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
1222019
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
1192011
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
1122001
Compositional refinement for hierarchical hybrid systems
R Alur, R Grosu, I Lee, O Sokolsky
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001
1112001
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
1081998
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
1042012
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
932009
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
902018
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
882021
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
822011
Automatically generating a program
M Broy, R Grosu, I Krüger
US Patent 6,405,361, 2002
802002
Safety-liveness semantics for UML 2.0 sequence diagrams
R Grosu, SA Smolka
Fifth International Conference on Application of Concurrency to System …, 2005
792005
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
791998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20