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: Ciardo:Gianfranco
Contributed to:
2007
2007
20072006200320032001Wrote 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.