Radu Grosu
Radu Grosu
Professor of Computer Science
Verifierad e-postadress på tuwien.ac.at
Titel
Citeras av
Citeras av
År
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
3001998
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
2832000
Monte carlo model checking
R Grosu, SA Smolka
International Conference on Tools and Algorithms for the Construction and …, 2005
2192005
GFS: evolution on fast-forward
K McKusick, S Quinlan
Communications of the ACM 53 (3), 42-49, 2010
122*2010
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
1202011
From cardiac cells to genetic regulatory networks
R Grosu, G Batt, FH Fenton, J Glimm, C Le Guernic, SA Smolka, ...
International Conference on Computer Aided Verification, 396-411, 2011
1132011
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
1102011
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
1072001
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
992001
Systems, views and models of UML
R Breu, R Grosu, E Huber, B Rumpe, W Schwerin
The Unified Modeling Language, 93-108, 1998
981998
The requirement and design specification language SPECTRUM--an informal introduction
M Broy, C Facchi, R Grosu
98*1993
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
852012
Automatically generating a program
M Broy, R Grosu, I Krüger
US Patent 6,405,361, 2002
792002
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
791998
Safety-liveness semantics for UML 2.0 sequence diagrams
R Grosu, SA Smolka
Fifth International Conference on Application of Concurrency to System …, 2005
782005
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
732011
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
712009
Concurrent timed port automata
R Grosu, B Rumpe
arXiv preprint arXiv:1411.6027, 2014
672014
Towards a precise semantics for object-oriented modeling techniques
R Breu, R Grosu, F Huber, B Rumpe, W Schwerin
European Conference on Object-Oriented Programming, 205-210, 1997
671997
Modular refinement of hierarchic reactive machines
R Alur, R Grosu
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
652000
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20