Travelled to:1 × Denmark
2 × Germany
3 × France
Collaborated with:G.Cabodi S.Quer M.Crivellari P.Camurati L.Garcia M.Murciano
Talks about:model (5) check (5) base (4) travers (2) verif (2) bdd (2) constraint (1) properti (1) interpol (1) explicit (1)
Person: Sergio Nocco
DBLP: Nocco:Sergio
Contributed to:
20112009200720052003
2002Wrote 7 papers:
- DATE-2011-CabodiN #model checking #multi
- Optimized model checking of multiple properties (GC, SN), pp. 543–546.
- DATE-2011-CabodiNQ #revisited #sequence
- Interpolation sequences revisited (GC, SN, SQ), pp. 316–322.
- DATE-2009-CabodiCGMNQ #constraints #model checking #verification
- Speeding up model checking by exploiting explicit and hidden verification constraints (GC, PC, LG, MM, SN, SQ), pp. 1686–1691.
- DATE-2007-CabodiNQ #induction #invariant #model checking
- Boosting the role of inductive invariants in model checking (GC, SN, SQ), pp. 1319–1324.
- DATE-2005-CabodiCNQ #bound #model checking #quantifier #set
- Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking (GC, MC, SN, SQ), pp. 688–689.
- DATE-2003-CabodiNQ #approximate #bound #model checking #satisfiability #traversal
- Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals (GC, SN, SQ), pp. 10898–10905.
- CAV-2002-CabodiNQ #traversal #verification
- Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification (GC, SN, SQ), pp. 471–484.