Travelled to:1 × Austria
1 × Poland
2 × Italy
2 × USA
Collaborated with:G.Ciardo G.Lüttgen R.M.Marmorstein C.Rocha H.Cadavid C.A.Muñoz A.Galloway J.T.Mühlberg
Talks about:system (2) symbol (2) satur (2) model (2) check (2) interchang (1) asynchron (1) structur (1) strategi (1) interact (1)
Person: Radu Siminiceanu
DBLP: Siminiceanu:Radu
Contributed to:
2012
2009
2006
200320032001Wrote 6 papers:
- IFM-2012-RochaCMS #execution #interactive #verification
- A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.
- VMCAI-2009-GallowayLMS #file system #linux #model checking
- Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.
- TACAS-2006-SiminiceanuC #diagrams #metric
- New Metrics for Static Variable Ordering in Decision Diagrams (RS, GC), pp. 90–104.
- CAV-2003-CiardoS #model checking
- Structural Symbolic CTL Model Checking of Asynchronous Systems (GC, RS), pp. 40–53.
- TACAS-2003-CiardoMS #bound
- Saturation Unbound (GC, RMM, RS), pp. 379–393.
- TACAS-2001-CiardoLS #generative #named #performance
- Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation (GC, GL, RS), pp. 328–342.