BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Siminiceanu:Radu

Contributed to:

IFM 20122012
VMCAI 20092009
TACAS 20062006
CAV 20032003
TACAS 20032003
TACAS 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.