dblp.uni-trier.dewww.uni-trier.de

Per Bjesse Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
15EEPer Bjesse: A Practical Approach to Word Level Model Checking of Industrial Netlists. CAV 2008: 446-458
14EEPer Bjesse: Word-Level Sequential Memory Abstraction for Model Checking. FMCAD 2008: 1-9
2007
13EEIn-Ho Moon, Per Bjesse, Carl Pixley: A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states. DATE 2007: 1170-1175
2005
12 Per Bjesse, James H. Kukula: Automatic generalized phase abstraction for formal verification. ICCAD 2005: 1076-1082
2004
11EEPer Bjesse, James H. Kukula: Using Counter Example Guided Abstraction Refinement to Find Complex Bugs. DATE 2004: 156-161
10EEPer Bjesse, Arne Borälv: DAG-aware circuit compression for formal verification. ICCAD 2004: 42-49
2003
9EEPer Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu: Guiding SAT Diagnosis with Tree Decompositions. SAT 2003: 315-329
8EEGunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna: Design automation with mixtures of proof strategies for propositional logic. IEEE Trans. on CAD of Integrated Circuits and Systems 22(8): 1042-1048 (2003)
2002
7EEGunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna: A proof engine approach to solving combinational design automation problems. DAC 2002: 725-730
6EEPer Bjesse: Industrial Model Checking Based on Satisfiability Solvers. SPIN 2002: 240
2001
5EEPer Bjesse, Tim Leonard, Abdel Mokkedem: Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers. CAV 2001: 454-464
2000
4EEPer Bjesse, Koen Claessen: SAT-Based Verification without State Space Traversal. FMCAD 2000: 372-389
3EEParosh Aziz Abdulla, Per Bjesse, Niklas Eén: Symbolic Reachability Analysis Based on SAT-Solvers. TACAS 2000: 411-425
1999
2EEPer Bjesse: Automatic Verification of Combinatorial and Pipelined FFT. CAV 1999: 380-393
1998
1EEPer Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184

Coauthor Index

1Parosh Aziz Abdulla [3]
2Gunnar Andersson [7] [8]
3Arne Borälv [10]
4Koen Claessen [1] [4]
5Byron Cook [7] [8]
6Robert F. Damiano [9]
7Niklas Eén [3]
8Ziyad Hanna [7] [8]
9James H. Kukula [9] [11] [12]
10Tim Leonard [5]
11Abdelillah Mokkedem (Abdel Mokkedem) [5]
12In-Ho Moon [13]
13Carl Pixley [13]
14Mary Sheeran [1]
15Satnam Singh [1]
16Ted Stanion [9]
17Yunshan Zhu [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)