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 × Germany
1 × Poland
1 × Portugal
1 × USA
2 × Italy
Collaborated with:
R.Siminiceanu G.Lüttgen J.Ezekiel A.J.Yu R.M.Marmorstein
Talks about:
diagram (3) symbol (3) decis (3) asynchron (2) generat (2) system (2) effici (2) state (2) space (2) satur (2)

Person: Gianfranco Ciardo

DBLP DBLP: Ciardo:Gianfranco

Contributed to:

CAV 20072007
SFM 20072007
TACAS 20072007
TACAS 20062006
CAV 20032003
TACAS 20032003
TACAS 20012001

Wrote 7 papers:

CAV-2007-EzekielLC #generative
Parallelising Symbolic State-Space Generators (JE, GL, GC), pp. 268–280.
SFM-2007-Ciardo #approach #data transformation #diagrams #performance #representation
Data Representation and Efficient Solution: A Decision Diagram Approach (GC), pp. 371–394.
TACAS-2007-YuCL #bound #diagrams #reachability #using
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams (AJY, GC, GL), pp. 648–663.
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.