Andreas Kuehlmann

67 papers A* 19A 18B 1C 7Misc 2Journal 8Unranked 12

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Panel: Building a Business around Secure Development. SecDev Nadia Carlsten, Reed Sturtevant, Chris Wysopal, Andreas Kuehlmann, Robert K. Cunningham
2014	—	`conf`	Property Directed Reachability for QF_BV with mixed type atomic reasoning units. ASP-DAC Tobias Welp, Andreas Kuehlmann
2014	A	`conf`	Property directed invariant refinement for program verification. DATE Tobias Welp, Andreas Kuehlmann
2013	A	`conf`	QF BV model checking with property directed reachability. DATE Tobias Welp, Andreas Kuehlmann
2012	A*	`conf`	Generalized SAT-sweeping for post-mapping optimization. DAC Tobias Welp, Smita Krishnaswamy, Andreas Kuehlmann
2012	J	`jnl`	Hardware Acceleration for Constraint Solving for Random Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Tobias Welp, Nathan Kitchen, Andreas Kuehlmann
2012	—	`conf`	The Technology and Psychology of Testing Your Code as You Develop It. TAP@TOOLS Andreas Kuehlmann
2011	A	`conf`	An approach for dynamic selection of synthesis transformations based on Markov Decision Processes. DATE Tobias Welp, Andreas Kuehlmann
2011	A*	`conf`	Are logic synthesis tools robust? DAC Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
2011	—	`conf`	Integrated logic synthesis using simulated annealing. ACM Great Lakes Symposium on VLSI Petra Färm, Elena Dubrova, Andreas Kuehlmann
2010	A*	`conf`	Does IC design have a future in the clouds? DAC Andreas Kuehlmann, Raul Camposano, James Colgan, John Chilton, Samuel George, Rean Griffith, Paul Leventis, Deepak Singh
2009	A*	`conf`	A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints. CAV Nathan Kitchen, Andreas Kuehlmann
2009	A*	`conf`	EDA in flux: should I stay or should I go? DAC Eshel Haritan, Andreas Kuehlmann, Tina Jones, John Epperheimer, Jan M. Rabaey, Rahul Razdan, Naveen Gupta
2009	A*	`conf`	Generalizing DPLL to Richer Logics. CAV Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv
2009	A*	`conf`	Guess, solder, measure, repeat: how do I get my mixed-signal chip right? DAC Geoffrey Ying, Andreas Kuehlmann, Kenneth S. Kundert, Georges G. E. Gielen, Eric Grimme, Martin O'Leary, Sandeep Tare, Warren Wong
2009	A	`conf`	SAT-based protein design. ICCAD Noah Ollikainen, Ellen Sentovich, Carlos Coelho, Andreas Kuehlmann, Tanja Kortemme
2008	A*	`conf`	Next generation wireless-multimedia devices: who is up for the challenge? DAC Juan C. Rey, Andreas Kuehlmann, Jan M. Rabaey, Cormac Conroy, Ted Vucurevich, Ikuya Kawasaki, Tuna B. Tarim
2008	A*	`conf`	Verifying really complex systems: on earth and beyond. DAC Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman
2007	A*	`conf`	On Resolution Proofs for Combinational Equivalence. DAC Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann
2007	A	`conf`	Stimulus generation for constrained random simulation. ICCAD Nathan Kitchen, Andreas Kuehlmann
2006	A	`conf`	Building a better Boolean matcher and symmetry detector. DATE Donald Chai, Andreas Kuehlmann
2006	—	`conf`	Fast Boolean Matching with Don't Cares. ISQED Zile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann
2006	Misc	`conf`	Integrated Design Flows - A Battered EDA Slogan or True Challenge for Tool Development and Algorithmic Research. VLSI Design Andreas Kuehlmann
2006	A*	`conf`	SAT sweeping with local observability don't-cares. DAC Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
2005	J	`jnl`	A fast pseudo-Boolean constraint solver. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Donald Chai, Andreas Kuehlmann
2005	—	`conf`	An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. CHARME Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan
2005	—	`conf`	Early research experience with OpenAccess gear: an open source development environment for physical design. ISPD Zhong Xiu, David A. Papa, Philip Chong, Christoph Albrecht, Andreas Kuehlmann, Rob A. Rutenbar, Igor L. Markov
2005	—	`conf`	Logic optimization using rule-based randomized search. ASP-DAC Petra Färm, Elena Dubrova, Andreas Kuehlmann
2005	C	`conf`	Temporal Decomposition for Logic Optimization. ICCD Nathan Kitchen, Andreas Kuehlmann
2004	C	`conf`	Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation. ICCD Donald Chai, Andreas Kuehlmann
2004	J	`jnl`	Design Automation TC Newsletter. IEEE Des. Test Comput. John Willis, Andreas Kuehlmann
2004	A	`conf`	Dynamic transition relation simplification for bounded property checking. ICCAD Andreas Kuehlmann
2004	A	`conf`	Enhanced Diameter Bounding via Structural. DATE Jason Baumgartner, Andreas Kuehlmann
2004	A	`conf`	Physical placement driven by sequential timing analysis. ICCAD Aaron P. Hurst, Philip Chong, Andreas Kuehlmann
2004	B	`conf`	Scalable Automated Verification via Expert-System Guided Transformations. FMCAD Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
2003	A*	`conf`	A fast pseudo-boolean constraint solver. DAC Donald Chai, Andreas Kuehlmann
2003	A	`conf`	CAMA: A Multi-Valued Satisfiability Solver. ICCAD Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz
2003	—	`conf`	Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation. ISMVL René Krenz, Elena Dubrova, Andreas Kuehlmann
2003	A	`conf`	Multi-Domain Clock Skew Scheduling. ICCAD Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich
2003	C	`conf`	Structural Detection of Symmetries in Boolean Functions. ICCD Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
2002	—	`conf`	Circuit-Based Evaluation of the Arithmetic Transform of Boolean Functions. IWLS René Krenz, Elena Dubrova, Andreas Kuehlmann
2002	A	`conf`	Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi
2002	—	`conf`	Minimum-power retiming for dual-supply CMOS circuits. Timing Issues in the Specification and Synthesis of Digital Systems Farhana Sheikh, Andreas Kuehlmann, Kurt Keutzer
2002	A	`ed.`	Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, ICCAD 2002, San Jose, California, USA, November 10-14, 2002 ICCAD Lawrence T. Pileggi, Andreas Kuehlmann
2002	A*	`conf`	Property Checking via Structural Analysis. CAV Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham
2002	J	`jnl`	Robust Boolean reasoning for equivalence checking and functional property verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai
2001	A*	`conf`	Circuit-based Boolean Reasoning. DAC Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi
2001	Misc	`conf`	Design Of Provably Correct Storage Arrays. VLSI Design Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann
2001	A	`conf`	Min-Area Retiming on Dynamic Circuit Structures. ICCAD Jason Baumgartner, Andreas Kuehlmann
2001	J	`jnl`	SIVA: A System for Coverage-Directed State Space Search. J. Electron. Test. Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal
2001	A	`conf`	Sequential SPFDs. ICCAD Subarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton
2001	A*	`conf`	Transformation-Based Verification Using Generalized Retiming. CAV Andreas Kuehlmann, Jason Baumgartner
2001	A	`conf`	Will Nanotechnology Change the Way We Design and Verify Systems? (Panel). ICCAD Andreas Kuehlmann, Robert W. Dutton, Paul D. Franzon, Seth Copen Goldstein, Philip Luekes, Eric Parker, Thomas N. Theis
2000	C	`conf`	Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. ICCD Viresh Paruthi, Andreas Kuehlmann
1999	A*	`conf`	Enhancing Simulation with BDDs and ATPG. DAC Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann
1999	—	`conf`	Model Checking Semi-Continuous Time Models Using BDDs. SMC@FLoC Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke
1999	A	`conf`	Probabilistic state space search. ICCAD Andreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton
1997	A*	`conf`	Equivalence Checking Using Cuts and Heaps. DAC Andreas Kuehlmann, Florian Krohm
1996	C	`conf`	The use of random simulation in formal verification. ICCD Florian Krohm, Andreas Kuehlmann, Arjen Mets
1995	J	`jnl`	High-level synthesis in an industrial environment. IBM J. Res. Dev. Reinaldo A. Bergamaschi, Richard A. O'Connor, Leon Stok, Michael Z. Moricz, Shiv Prakash, Andreas Kuehlmann, D. Sreenivasa Rao
1995	J	`jnl`	Verity - A formal verification program for custom CMOS circuits. IBM J. Res. Dev. Andreas Kuehlmann, Arvind Srinivasan, David P. LaPotin
1994	A*	`conf`	Error Diagnosis for Transistor-Level Verification. DAC Andreas Kuehlmann, David Ihsin Cheng, Arvind Srinivasan, David P. LaPotin
1994	C	`conf`	Grammar-Based Optimization of Synthesis Scenarios. ICCD Andreas Kuehlmann, Lukas P. P. P. van Ginneken
1993	J	`jnl`	A system for production use of high-level synthesis. IEEE Trans. Very Large Scale Integr. Syst. Reinaldo A. Bergamaschi, Andreas Kuehlmann
1992	A*	`conf`	Control Optimization in High-Level Synthesis Using Behavioral Don't Cares. DAC Reinaldo A. Bergamaschi, Donald A. Lobo, Andreas Kuehlmann
1992	C	`conf`	High-Level State Machine Specification and Synthesis. ICCD Andreas Kuehlmann, Reinaldo A. Bergamaschi
1992	A	`conf`	Timing analysis in high-level synthesis. ICCAD Andreas Kuehlmann, Reinaldo A. Bergamaschi