`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:

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