BibSLEIGH — Andreas

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: Kuehlmann:Andreas

Contributed to:

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2002

2001

1999

1997

1994

1992

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.