You are here: Home / CPS / People / Radu Grosu

Radu Grosu



Model-based design, analysis and control of complex dynamic systems; Model checking, abstract interpretation, logic and automata theory, control theory; Computational models in systems biology; Applied formal methods, software and systems engineering, UML.



See our CPS Group's Projects

Past Projects

CMACS, AF: Computational Modeling and Analysis for Complex Systems NSF CNS-Expeditions-09-26190
SSW: Survivable Software AFOSR FA-0550-09-1-0481
VeroModo: A Framework for Modeling and Analyzing Complex Distributed Systems AFOSR STTR AF-2004-023
EHAc: Model-Based Learning, Analysis and Control of Excitable Cells CEWIT seed Proposal
EHA: Efficient Modeling and Analysis of Excitable Cell Networks Using Hybrid Automata NSF CCF05-23863
HYCON: Runtime Monitoring and Model Checking for High-Confidence Systems Software NSF CSR-AES05-09230
MODES: Model Based Design and Verification of Embedded Systems NSF CAREER CCR01-33583
GMC: Stony Brook GCC OpenSource Software Model Checking Toolkit NSF CAREER CCR01-33583
MOCHA: Exploiting modularity in model checking NSF CAREER CCR01-33583
CHARON: Hierarchical Design and Analysis of Hybrid Systems NSF CAREER CCR01-33583
HERMES: Model Checking of Hierarchical State Machines NSF CAREER CCR01-33583
INTIME: Methodologically Founded Development of Real-Time Systems BMR Br887/12-1
DYDAN: Dynamic Dataflow Networks NATO HTECH.CRG97-2948

Teaching at TU Vienna


Teaching in Stony Brook



Research Group


Current Professional Activities