BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Germany
4 × France
6 × USA
Collaborated with:
G.Cabodi S.Quer P.Prinetto L.Lavagno M.S.Reorda F.Corno C.Passerone M.Gilli C.Bayol B.Soulas L.Garcia M.Murciano S.Nocco S.Gai
Talks about:
symbol (7) model (5) travers (4) verif (3) check (3) techniqu (2) sequenti (2) circuit (2) profil (2) improv (2)

Person: Paolo Camurati

DBLP DBLP: Camurati:Paolo

Contributed to:

DATE 20092009
DAC 20022002
DATE 20022002
DATE 20012001
DAC 19991999
DATE 19991999
DAC 19971997
ED&TC 19971997
DAC 19941994
DAC 19921992
CAV 19901990

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.

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.