Person: Paolo Camurati

DBLP: Camurati:Paolo

Contributed to:

2009

2002

2002

2001

1999

1999

1997

1997

1994

1994

1992

1990

Wrote 12 papers:

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.

DAC-2002-CabodiCQ #bound #model checking #question #satisfiability

Can BDDs compete with SAT solvers on bounded model checking? (GC, PC, SQ), pp. 117–122.

DATE-2002-CabodiCQ #clustering #image #scheduling

Dynamic Scheduling and Clustering in Symbolic Image Computation (GC, PC, SQ), pp. 150–156.

DATE-2001-CabodiCQ #process

Biasing symbolic search by means of dynamic activity profiles (GC, PC, SQ), pp. 9–15.

DAC-1999-CabodiCQ #process #traversal

Improving Symbolic Traversals by Means of Activity Profiles (GC, PC, SQ), pp. 306–311.

DATE-1999-CabodiCPQ #simulation

Computing Timed Transition Relations for Sequential Cycle-Based Simulation (GC, PC, CP, SQ), pp. 8–12.

DAC-1997-CabodiCLQ #approach #clustering #effectiveness #scalability #traversal

Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits (GC, PC, LL, SQ), pp. 728–733.

EDTC-1997-CabodiCLQ #synthesis #verification

Verification and synthesis of counters based on symbolic techniques (GC, PC, LL, SQ), pp. 176–181.

DAC-1994-CabodiCQ #traversal

Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths (GC, PC, SQ), pp. 289–293.

EDAC-1994-CamuratiCPBS #design #modelling #verification

System-Level Modeling and Verification: a Comprehensive Design Methodology (PC, FC, PP, CB, BS), pp. 636–640.

DAC-1992-CabodiCCGPR #traversal

A New Model for Improving symbolic Product Machine Traversal (GC, PC, FC, SG, PP, MSR), pp. 614–619.

CAV-1990-CamuratiGPR #model checking #using

The Use of Model Checking in ATPG for Sequential Circuits (PC, MG, PP, MSR), pp. 86–95.