Travelled to:1 × Austria
1 × United Kingdom
2 × Canada
2 × Germany
5 × USA
Collaborated with:S.A.Smolka R.Alur ∅ E.Bartocci M.McDougall M.Broy C.Klein P.Katsaros C.R.Ramakrishnan Y.A.Liu S.D.Stoller J.Yan R.Breu F.Huber B.Rumpe W.Schwerin S.Bogomolov G.Frehse H.Ladan A.Podelski M.Wehrle Z.Yang B.Al-Rawi K.A.Sakallah X.Huang S.Callanan A.Rai M.R.True E.Zadok J.Cyranka M.A.Islam G.Byrne P.L.Jones G.Batt F.H.Fenton J.Glimm C.L.Guernic K.Selyunin S.Jaksic T.Nguyen C.Reidl U.Hafner D.Nickovic L.d.Alfaro T.A.Henzinger M.Kang C.M.Kirsch R.Majumdar F.Y.C.Mang B.Wang
Talks about:model (5) system (3) machin (3) check (3) reachabl (2) hierarch (2) softwar (2) reactiv (2) analysi (2) runtim (2)
Person: Radu Grosu
DBLP: Grosu:Radu
Contributed to:
20122011
2011
2010
2009
20062005
2001
20012000
2000
1997
19972017Wrote 16 papers:
- CAV-2012-BogomolovFGLPW #analysis #distance #reachability
- A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx (SB, GF, RG, HL, AP, MW), pp. 479–494.
- CAV-2011-GrosuBFGGSB #network #search-based
- From Cardiac Cells to Genetic Regulatory Networks (RG, GB, FHF, JG, CLG, SAS, EB), pp. 396–411.
- TACAS-2011-BartocciGKRS #probability
- Model Repair for Probabilistic Systems (EB, RG, PK, CRR, SAS), pp. 326–340.
- CIAA-2010-Grosu #commutative #theorem
- The Cayley-Hamilton Theorem for Noncommutative Semirings (RG), pp. 143–153.
- IFM-2009-YangASHSG #model checking #reduction
- Dynamic Path Reduction for Software Model Checking (ZY, BAR, KAS, XH, SAS, RG), pp. 322–336.
- MBT-2006-CallananGRSTZ #approach #monte carlo #runtime #verification
- Runtime Verification for High-Confidence Systems: A Monte Carlo Approach (SC, RG, AR, SAS, MRT, EZ), pp. 41–52.
- TACAS-2005-GrosuS #model checking #monte carlo
- Monte Carlo Model Checking (RG, SAS), pp. 271–286.
- ASE-2001-AlurG #diagrams #interactive
- Shared Variables Interaction Diagrams (RA, RG), pp. 281–288.
- ASE-2001-GrosuLSSY #automation #concurrent #re-engineering #using
- Automated Software Engineering Using Concurrent Class Machines (RG, YAL, SAS, SDS, JY), p. 297–?.
- ICSE-2001-AlurAGHKKMMW #design #model checking #named
- JMOCHA: A Model Checking Tool that Exploits Design Structure (RA, LdA, RG, TAH, MK, CMK, RM, FYCM, BYW), pp. 835–836.
- CAV-2000-AlurGM #analysis #performance #reachability
- Efficient Reachability Analysis of Hierarchical Reactive Machines (RA, RG, MM), pp. 280–295.
- POPL-2000-AlurG #composition #refinement
- Modular Refinement of Hierarchic Reactive Machines (RA, RG), pp. 390–402.
- FME-1997-BroyGK #message passing #realtime
- Reconciling Real-Time with Asynchronous Message Passing (MB, RG, CK), pp. 182–200.
- UML-1997-BreuGHRS #modelling #uml
- Systems, Views and Models of UML (RB, RG, FH, BR, WS), pp. 93–108.
- CAV-2017-CyrankaIBJSG
- Lagrangian Reachabililty (JC, MAI, GB, PLJ, SAS, RG), pp. 379–400.
- CAV-2017-SelyuninJNRHBNG #communication #monitoring #protocol #runtime
- Runtime Monitoring with Recovery of the SENT Communication Protocol (KS, SJ, TN, CR, UH, EB, DN, RG), pp. 336–355.