BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × Italy
2 × USA
5 × France
Collaborated with:
A.Kuehlmann H.Mony V.Paruthi A.Aziz V.Singhal A.Mishchenko R.K.Brayton T.Le T.Glökler J.A.Abraham R.Kanzelman C.Jacobi K.Weber T.Heyman A.Tripp F.Andersen N.Eén P.K.Nalla
Talks about:
verif (4) abstract (3) check (3) transform (2) algorithm (2) structur (2) properti (2) scalabl (2) perform (2) general (2)

Person: Jason Baumgartner

DBLP DBLP: Baumgartner:Jason

Contributed to:

DATE 20132013
DATE 20092009
DATE 20072007
DAC 20052005
DATE 20052005
DATE v1 20042004
CAV 20022002
CAV 20012001
CAV 20002000
CAV 19991999

Wrote 11 papers:

DATE-2013-MishchenkoEBBMN #abstraction #named #revisited
GLA: gate-level abstraction revisited (AM, NE, RKB, JB, HM, PKN), pp. 1399–1404.
DATE-2009-BaumgartnerM #liveness #scalability
Scalable liveness checking via property-preserving transformations (JB, HM), pp. 1680–1685.
DATE-2009-MonyBMB #identification #scalability
Speculative reduction-based scalable redundancy identification (HM, JB, AM, RKB), pp. 1674–1679.
DATE-2007-LeGB #pervasive #verification
Formal verification of a pervasive interconnect bus system in a high-performance microprocessor (TL, TG, JB), pp. 219–224.
DAC-2005-MonyBPK #proving
Exploiting suspected redundancy without proving it (HM, JB, VP, RK), pp. 463–466.
DATE-2005-JacobiWPB #automation #multi #verification
Automatic Formal Verification of Fused-Multiply-Add FPUs (CJ, KW, VP, JB), pp. 1298–1303.
DATE-v1-2004-BaumgartnerK #bound
Enhanced Diameter Bounding via Structural (JB, AK), pp. 36–41.
CAV-2002-BaumgartnerKA #analysis
Property Checking via Structural Analysis (JB, AK, JAA), pp. 151–165.
CAV-2001-KuehlmannB #using #verification
Transformation-Based Verification Using Generalized Retiming (AK, JB), pp. 104–117.
CAV-2000-BaumgartnerTASA #abstraction #algorithm #design #verification
An Abstraction Algorithm for the Verification of Generalized C-Slow Designs (JB, AT, AA, VS, FA), pp. 5–19.
CAV-1999-BaumgartnerHSA #abstraction #algorithm #model checking
Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists (JB, TH, VS, AA), pp. 72–83.

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.