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 × Czech Republic
1 × Denmark
13 × USA
2 × Germany
6 × France
Collaborated with:
T.Welp J.Baumgartner D.Chai N.Kitchen M.K.Ganai A.L.Sangiovanni-Vincentelli F.Krohm S.Krishnaswamy K.L.McMillan M.Sagiv J.A.Abraham H.Jin F.Somenzi V.Paruthi A.Aziz R.A.Bergamaschi D.A.Lobo J.M.Rabaey A.Puggelli S.Chatterjee A.Mishchenko R.K.Brayton Q.Zhu D.I.Cheng A.Srinivasan D.P.LaPotin A.Bose D.E.Corman R.A.Rutenbar R.M.Manning A.Newman E.Haritan T.Jones J.Epperheimer R.Razdan N.Gupta J.C.Rey C.Conroy T.Vucurevich I.Kawasaki T.B.Tarim R.Camposano J.Colgan J.Chilton S.George R.Griffith P.Leventis D.Singh G.Ying K.S.Kundert G.G.E.Gielen E.Grimme M.O'Leary S.Tare W.Wong
Talks about:
boolean (4) synthesi (3) properti (3) general (3) verif (3) check (3) base (3) use (3) constraint (2) transform (2)

Person: Andreas Kuehlmann

DBLP DBLP: Kuehlmann:Andreas

Contributed to:

DATE 20142014
DATE 20132013
DAC 20122012
TAP 20122012
DAC 20112011
DATE 20112011
DAC 20102010
CAV 20092009
DAC 20092009
DAC 20082008
DAC 20072007
DAC 20062006
DATE 20062006
DATE v1 20042004
DAC 20032003
CAV 20022002
TACAS 20022002
CAV 20012001
DAC 20012001
DAC 19991999
DAC 19971997
DAC 19941994
DAC 19921992

Wrote 26 papers:

DATE-2014-WelpK #invariant #refinement #verification
Property directed invariant refinement for program verification (TW, AK), pp. 1–6.
DATE-2013-WelpK #model checking #reachability
QF BV model checking with property directed reachability (TW, AK), pp. 791–796.
DAC-2012-WelpKK #optimisation
Generalized SAT-sweeping for post-mapping optimization (TW, SK, AK), pp. 814–819.
TAP-2012-Kuehlmann #testing
The Technology and Psychology of Testing Your Code as You Develop It (AK), p. 1.
DAC-2011-PuggelliWKS #logic #question #robust #synthesis #tool support
Are logic synthesis tools robust? (AP, TW, AK, ALSV), pp. 633–638.
DATE-2011-WelpK #approach #markov #process #synthesis
An approach for dynamic selection of synthesis transformations based on Markov Decision Processes (TW, AK), pp. 1533–1536.
DAC-2010-KuehlmannCCCGGLS #design #in the cloud #question
Does IC design have a future in the clouds? (AK, RC, JC, JC, SG, RG, PL, DS), pp. 412–414.
CAV-2009-KitchenK #constraints #integer #markov #monte carlo
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints (NK, AK), pp. 446–461.
CAV-2009-McMillanKS #logic
Generalizing DPLL to Richer Logics (KLM, AK, MS), pp. 462–476.
DAC-2009-HaritanKJERRG #question
EDA in flux: should I stay or should I go? (EH, AK, TJ, JE, JMR, RR, NG), pp. 91–92.
DAC-2009-YingKKGGOTW #how #question
Guess, solder, measure, repeat: how do I get my mixed-signal chip right? (GY, AK, KSK, GGEG, EG, MO, ST, WW), pp. 520–521.
DAC-2008-KuehlmannBCRMN #verification
Verifying really complex systems: on earth and beyond (AK, AB, DEC, RAR, RMM, AN), pp. 552–553.
DAC-2008-ReyKRCVKT #challenge #generative #multi #question
Next generation wireless-multimedia devices: who is up for the challenge? (JCR, AK, JMR, CC, TV, IK, TBT), pp. 353–354.
DAC-2007-ChatterjeeMBK #equivalence #on the #proving
On Resolution Proofs for Combinational Equivalence (SC, AM, RKB, AK), pp. 600–605.
DAC-2006-ZhuKKS #satisfiability
SAT sweeping with local observability don’t-cares (QZ, NK, AK, ALSV), pp. 229–234.
DATE-2006-ChaiK #detection #symmetry
Building a better Boolean matcher and symmetry detector (DC, AK), pp. 1079–1084.
DATE-v1-2004-BaumgartnerK #bound
Enhanced Diameter Bounding via Structural (JB, AK), pp. 36–41.
DAC-2003-ChaiK #constraints #performance #pseudo #theorem proving
A fast pseudo-boolean constraint solver (DC, AK), pp. 830–835.
CAV-2002-BaumgartnerKA #analysis
Property Checking via Structural Analysis (JB, AK, JAA), pp. 151–165.
TACAS-2002-JinKS #analysis #reachability #scheduling
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis (HJ, AK, FS), pp. 312–326.
CAV-2001-KuehlmannB #using #verification
Transformation-Based Verification Using Generalized Retiming (AK, JB), pp. 104–117.
DAC-2001-KuehlmannGP #reasoning
Circuit-based Boolean Reasoning (AK, MKG, VP), pp. 232–237.
DAC-1999-GanaiAK #simulation
Enhancing Simulation with BDDs and ATPG (MKG, AA, AK), pp. 385–390.
DAC-1997-KuehlmannK #equivalence #using
Equivalence Checking Using Cuts and Heaps (AK, FK), pp. 263–268.
DAC-1994-KuehlmannCSL #fault #verification
Error Diagnosis for Transistor-Level Verification (AK, DIC, AS, DPL), pp. 218–224.
DAC-1992-BergamaschiLK #behaviour #optimisation #synthesis #using
Control Optimization in High-Level Synthesis Using Behavioral Don’t Cares (RAB, DAL, AK), pp. 657–661.

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.