publication venue for
- Compositional Modeling and Analysis of Automotive Feature Product Lines 2015
- Constraints in One-to-Many Concretization for Abstraction Refinement 2009
- Spectrum: A Hybrid Nanophotonic-Electric On-Chip Network 2009
- Alembic: An efficient algorithm for CNF preprocessing 2007
- Automatic invariant strengthening to prove properties in bounded model checking 2006
- Guiding simulation with increasingly refined abstract traces 2006
- A Green function-based parasitic extraction method for inhomogeneous substrate layers 2005
- Prime clauses for fast enumeration of satisfying assignments to boolean circuits 2005
- Refining the SAT decision ordering for bounded model checking 2004
- Dos and don'ts of CTL state coverage estimation 2003
- Optimizing sequential verification by retiming transformations 2000
- Symbolic guided search for CTL model checking 2000
- To split or to conjoin: The question in image computation 2000
- High-level power modeling, estimation, and optimization 1997
- Linear sifting of decision diagrams 1997
- Remembrance of things past: Locality and memory in BDDs 1997
- Computing the maximum power cycles of a sequential circuit 1995
- PROBABILISTIC ANALYSIS OF LARGE FINITE STATE MACHINES 1994
- ALGORITHMS FOR APPROXIMATE FSM TRAVERSAL 1993
- MINIMUM LENGTH SYNCHRONIZING SEQUENCES OF FINITE-STATE MACHINE 1993