publication venue for
- Compositional Modeling and Analysis of Automotive Feature Product Lines 2015
- Device Modeling and System Simulation of Nanophotonic on-Chip Networks for Reliability, Power and Performance 2011
- 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
- Symbolic guided search for CTL model checking 2000
- To split or to conjoin: The question in image computation 2000
- 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