Search results for "Bernd Becker"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Amit Kumar, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker	TSV and DFT cost aware circuit partitioning for 3D-SOCs.	ISQED	2012	DBLP DOI BibTeX RDF
1	Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen	Minimal Critical Subsystems for Discrete-Time Markov Models.	TACAS	2012	DBLP DOI BibTeX RDF
1	Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker	Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation.	VLSI Design	2012	DBLP DOI BibTeX RDF
1	Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian	On the optimality of K longest path generation algorithm under memory constraints.	DATE	2012	DBLP BibTeX RDF
1	Paolo Marin, Christian Miller, Matthew D. T. Lewis, Bernd Becker	Verification of partial designs using incremental QBF solving.	DATE	2012	DBLP BibTeX RDF
1	Ilia Polian, John P. Hayes, Sudhakar M. Reddy, Bernd Becker	Modeling and Mitigating Transient Errors in Logic Circuits.	IEEE Trans. Dependable Sec. Comput.	2011	DBLP DOI BibTeX RDF
1	Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich	Variation-aware fault modeling.	SCIENCE CHINA Information Sciences	2011	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde	Parallel SAT Solving in Bounded Model Checking.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
1	Matthew D. T. Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia	Parallel QBF Solving with Advanced Knowledge Sharing.	Fundam. Inform.	2011	DBLP DOI BibTeX RDF
1	Stefan Kupferschmid, Matthew D. T. Lewis, Tobias Schubert, Bernd Becker	Incremental preprocessing methods for use in BMC.	Formal Methods in System Design	2011	DBLP DOI BibTeX RDF
1	Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám	Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
1	Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker	Reachability analysis for incomplete networks of Markov decision processes.	MEMOCODE	2011	DBLP DOI BibTeX RDF
1	Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker	Bounded Fairness for Probabilistic Distributed Algorithms.	ACSD	2011	DBLP DOI BibTeX RDF
1	Matthias Sauer, Jie Jiang, Alejandro Czutro, Ilia Polian, Bernd Becker	Efficient SAT-Based Search for Longest Sensitisable Paths.	Asian Test Symposium	2011	DBLP DOI BibTeX RDF
1	Stefan Kupferschmid, Bernd Becker	Craig Interpolation in the Presence of Non-linear Constraints.	FORMATS	2011	DBLP DOI BibTeX RDF
1	Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker	Hierarchical Counterexamples for Discrete-Time Markov Chains.	ATVA	2011	DBLP DOI BibTeX RDF
1	Ilia Polian, Bernd Becker, Sybille Hellebrand, Hans-Joachim Wunderlich, Peter C. Maxwell	Towards Variation-Aware Test Methods.	European Test Symposium	2011	DBLP DOI BibTeX RDF	Delay test, Adaptive test, Parameter variations
1	J. M. Howard, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker	Fault diagnosis aware ATE assisted test response compaction.	ASP-DAC	2011	DBLP DOI BibTeX RDF
1	Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid	Integration of an LP Solver into Interval Constraint Propagation.	COCOA	2011	DBLP DOI BibTeX RDF
1	Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker	Integration of orthogonal QBF solving techniques.	DATE	2011	DBLP DOI BibTeX RDF
1	Amit Kumar, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker	Hyper-graph based partitioning to reduce DFT cost for pre-bond 3D-IC testing.	DATE	2011	DBLP BibTeX RDF
1	Christian Miller, Karina Gitina, Bernd Becker	Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas.	MTV	2011	DBLP DOI BibTeX RDF
1	Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle	Proof certificates and non-linear arithmetic constraints.	DDECS	2011	DBLP DOI BibTeX RDF
1	Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker	SAT-based analysis of sensitisable paths.	DDECS	2011	DBLP DOI BibTeX RDF
1	Matthias Sauer, V. Tomashevich, J. Muller, Matthew D. T. Lewis, A. Spilla, Ilia Polian, Bernd Becker, W. Burgard	An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors.	IOLTS	2011	DBLP DOI BibTeX RDF
1	Matthias Sauer, Alejandro Czutro, Ilia Polian, Bernd Becker	Estimation of component criticality in early design steps.	IOLTS	2011	DBLP DOI BibTeX RDF
1	Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker	Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis.	International Journal of Parallel Programming	2010	DBLP DOI BibTeX RDF
1	Ilia Polian, Bernd Becker	Fault Models and Test Algorithms for Nanoscale Technologies (Fehlermodelle und Testalgorithmen für Nanoscale-Technologien).	it - Information Technology	2010	DBLP DOI BibTeX RDF
1	Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich	Variation-Aware Fault Modeling.	Asian Test Symposium	2010	DBLP DOI BibTeX RDF
1	Christian Miller, Stefan Kupferschmid, Matthew D. T. Lewis, Bernd Becker	Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.	SAT	2010	DBLP DOI BibTeX RDF
1	Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel	Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.	QEST	2010	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker	DTMC Model Checking by SCC Reduction.	QEST	2010	DBLP DOI BibTeX RDF
1	Ralf Wimmer, Bernd Becker	Correctness Issues of Symbolic Bisimulation Computation for Markov Chains.	MMB/DFT	2010	DBLP DOI BibTeX RDF
1	Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker	Bounded Model Checking of Incomplete Networks of Timed Automata.	MTV	2010	DBLP DOI BibTeX RDF
1	Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker	Compositional Dependability Evaluation for STATEMATE.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	Tobias Schubert, Matthew D. T. Lewis, Bernd Becker	PaMiraXT: Parallel SAT Solving with Threads and Message Passing.	JSAT	2009	DBLP BibTeX RDF
1	Piet Engelke, Bernd Becker, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian	SUPERB: Simulator utilizing parallel evaluation of resistive bridges.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	PPSFP, SPPFP, fault mapping, Resistive bridging faults, bridging fault simulation
1	Alejandro Czutro, Ilia Polian, Piet Engelke, Sudhakar M. Reddy, Bernd Becker	Dynamic Compaction in SAT-Based ATPG.	Asian Test Symposium	2009	DBLP DOI BibTeX RDF
1	Kunal P. Ganeshpure, Ilia Polian, Sandip Kundu, Bernd Becker	Reducing temperature variability by routing heat pipes.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	reliability, physical design, thermal modeling, thermal simulation
1	Matthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia	PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.	SAT	2009	DBLP DOI BibTeX RDF	Parallel QBF Solving, Master/Slave Architecture, MPI, Message Passing
1	Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker	Picoso - A Parallel Interval Constraint Solver.	PDPTA	2009	DBLP BibTeX RDF
1	Nicolas Houarche, Mariane Comte, Michel Renovell, Alejandro Czutro, Piet Engelke, Ilia Polian, Bernd Becker	An Electrical Model for the Fault Simulation of Small Delay Faults Caused by Crosstalk Aggravated Resistive Short Defects.	VTS	2009	DBLP DOI BibTeX RDF
1	Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker	TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis.	VLSI Design	2009	DBLP DOI BibTeX RDF
1	Marc Hunger, Sybille Hellebrand, Alejandro Czutro, Ilia Polian, Bernd Becker	ATPG-based grading of strong fault-secureness.	IOLTS	2009	DBLP DOI BibTeX RDF
1	Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker	Dependability Engineering of Silent Self-stabilizing Systems.	SSS	2009	DBLP DOI BibTeX RDF
1	Ralf Wimmer, Bettina Braitling, Bernd Becker	Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Piet Engelke, Ilia Polian, Michel Renovell, Sandip Kundu, Bharath Seshadri, Bernd Becker	On Detection of Resistive Bridging Defects by Low-Temperature and Low-Voltage Testing.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Bernd Becker, Paul Molitor	Technische Informatik - eine einführende Darstellung.		2008	RDF
1	Stefan Hillebrecht, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng	Extraction, Simulation and Test Generation for Interconnect Open Defects Based on Enhanced Aggressor-Victim Model.	ITC	2008	DBLP DOI BibTeX RDF
1	Ilia Polian, Sudhakar M. Reddy, Bernd Becker	Scalable Calculation of Logical Masking Effects for Selective Hardening Against Soft Errors.	ISVLSI	2008	DBLP DOI BibTeX RDF
1	Damian Nowroth, Ilia Polian, Bernd Becker	A study of cognitive resilience in a JPEG compressor.	DSN	2008	DBLP DOI BibTeX RDF
1	Christian G. Zoellin, Hans-Joachim Wunderlich, Ilia Polian, Bernd Becker	Selective Hardening in Early Design Steps.	European Test Symposium	2008	DBLP DOI BibTeX RDF	Soft error mitigation, reliability
1	Alejandro Czutro, Nicolas Houarche, Piet Engelke, Ilia Polian, Mariane Comte, Michel Renovell, Bernd Becker	A Simulator of Small-Delay Faults Caused by Resistive-Open Defects.	European Test Symposium	2008	DBLP DOI BibTeX RDF	Small-delay defects, resistive opens, probabilistic fault coverage, bridging fault simulation
1	Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng	Automatic Test Pattern Generation for Interconnect Open Defects.	VTS	2008	DBLP DOI BibTeX RDF	Interconnect opens, Open-via defects, ATPG
1	Piet Engelke, Ilia Polian, Jürgen Schlöffel, Bernd Becker	Resistive Bridging Fault Simulation of Industrial Circuits.	DATE	2008	DBLP DOI BibTeX RDF
1	Ilia Polian, Sudhakar M. Reddy, Irith Pomeranz, Xun Tang, Bernd Becker	On Reducing Circuit Malfunctions Caused by Soft Errors.	DFT	2008	DBLP DOI BibTeX RDF
1	Ilia Polian, Kohei Miyase, Yusuke Nakamura, Seiji Kajihara, Piet Engelke, Bernd Becker, Stefan Spinner, Xiaoqing Wen	Diagnosis of Realistic Defects Based on the X-Fault Model.	DDECS	2008	DBLP DOI BibTeX RDF
1	Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker	Probabilistic Model Checking and Reliability of Results.	DDECS	2008	DBLP DOI BibTeX RDF
1	Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer	Propositional approximations for bounded model checking of partial circuit designs.	ICCD	2008	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen	Bounded Model Checking with Parametric Data Structures.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Stefan Spinner, J. Bartholomeyczik, Bernd Becker, M. Doelle, O. Paul, Ilia Polian, R. Roth, K. Seitz, P. Ruther	Electromechanical Reliability Testing of Three-Axial Silicon Force Sensors	CoRR	2007	DBLP BibTeX RDF
1	Ilia Polian, Alejandro Czutro, Bernd Becker	Evolutionary Optimization in Code-Based Test Compression	CoRR	2007	DBLP BibTeX RDF
1	Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm	SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).	it - Information Technology	2007	DBLP DOI BibTeX RDF
1	Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker	Power Droop Testing.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	power droop, signal integrity errors, high-frequency effects, low-frequency effects, ATPG, heuristic method, D-algorithm
1	Ralf Wimmer, Marc Herbstritt, Bernd Becker	Optimization techniques for BDD-based bisimulation computation.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	binary decision diagrams, bisimulation, state space reduction, state space explosion, symbolic methods
1	Matthew D. T. Lewis, Tobias Schubert, Bernd Becker	Multithreaded SAT Solving.	ASP-DAC	2007	DBLP DOI BibTeX RDF
1	John P. Hayes, Ilia Polian, Bernd Becker	An Analysis Framework for Transient-Error Tolerance.	VTS	2007	DBLP DOI BibTeX RDF
1	Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke	LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals.	CAV	2007	DBLP DOI BibTeX RDF
1	Marc Herbstritt, Bernd Becker	On Combining 01X-Logic and QBF.	EUROCAST	2007	DBLP DOI BibTeX RDF	01X, Blackbox Designs, Bounded Model Checking, QBF
1	Marc Herbstritt, Vanessa Struve, Bernd Becker	Application of Lifting in Partial Design Analysis.	MTV	2007	DBLP DOI BibTeX RDF
1	Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde	On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata.	DDECS	2007	DBLP BibTeX RDF
1	Ilia Polian, Damian Nowroth, Bernd Becker	Identification of Critical Errors in Imaging Applications.	IOLTS	2007	DBLP DOI BibTeX RDF	Low-cost on-line test, Selective hardening, Imaging applications, Error tolerance
1	Tobias Nopper, Christoph Scholl, Bernd Becker	Computation of minimal counterexamples by using black box techniques and symbolic methods.	ICCAD	2007	DBLP DOI BibTeX RDF
1	Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker	Simulating Resistive-Bridging and Stuck-At Faults.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
1	Yuyi Tang, Hans-Joachim Wunderlich, Piet Engelke, Ilia Polian, Bernd Becker, Jürgen Schlöffel, Friedrich Hapke, Michael Wittke	X-masking during logic BIST and its impact on defect coverage.	IEEE Trans. VLSI Syst.	2006	DBLP DOI BibTeX RDF
1	Bernd Becker, Ilia Polian, Sybille Hellebrand, Bernd Straube, Hans-Joachim Wunderlich	DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems).	it - Information Technology	2006	DBLP DOI BibTeX RDF
1	Thomas Eschbach, Wolfgang Günther, Bernd Becker	Orthogonal Hypergraph Drawing for Improved Visibility.	J. Graph Algorithms Appl.	2006	DBLP BibTeX RDF
1	Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker	Automatic Test Pattern Generation for Resistive Bridging Faults.	J. Electronic Testing	2006	DBLP DOI BibTeX RDF	resistive short defects, ATPG, SAT, bridging faults
1	Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde	Parallel SAT Solving in Bounded Model Checking.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker	Sigref- A Symbolic Bisimulation Tool Box.	ATVA	2006	DBLP DOI BibTeX RDF
1	Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker	Compositional Performability Evaluation for STATEMATE.	QEST	2006	DBLP DOI BibTeX RDF
1	Ilia Polian, Bernd Becker, Masato Nakasato, Satoshi Ohtake, Hideo Fujiwara	Low-Cost Hardening of Image Processing Applications Against Soft Errors.	DFT	2006	DBLP DOI BibTeX RDF
1	Marc Herbstritt, Bernd Becker, Christoph Scholl	Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs.	MTV	2006	DBLP DOI BibTeX RDF
1	Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm	Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.	DDECS	2006	DBLP BibTeX RDF
1	Ralf Wimmer, Marc Herbstritt, Bernd Becker	Minimization of Large State Spaces using Symbolic Branching Bisimulation.	DDECS	2006	DBLP BibTeX RDF
1	Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker	A Definition and Classification of Timing Anomalies.	WCET	2006	DBLP BibTeX RDF
1	Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker	Power Droop Testing.	ICCD	2006	DBLP BibTeX RDF
1	Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker	Modeling Feedback Bridging Faults with Non-Zero Resistance.	J. Electronic Testing	2005	DBLP DOI BibTeX RDF	feedback bridging faults, resistive bridging faults, bridging fault simulation
1	Ilia Polian, John P. Hayes, Sandip Kundu, Bernd Becker	Transient fault characterization in dynamic noisy environments.	ITC	2005	DBLP DOI BibTeX RDF
1	Tobias Schubert, Bernd Becker	Lemma Exchange in a Microcontroller Based Parallel SAT Solver.	ISVLSI	2005	DBLP DOI BibTeX RDF
1	Sandip Kundu, Piet Engelke, Ilia Polian, Bernd Becker	On Detection of Resistive Bridging Defects by Low-Temperature and Low-Voltage Testing.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF	Temperature testing, Resistive defects, Early-life failures, Low-voltage testing
1	Ilia Polian, Thomas Fiehn, Bernd Becker, John P. Hayes	A Family of Logical Fault Models for Reversible Circuits.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF	ATPG, fault models, quantum circuits, reversible circuits
1	Matthew D. T. Lewis, Tobias Schubert, Bernd Becker	Speedup Techniques Utilized in Modern SAT Solvers.	SAT	2005	DBLP DOI BibTeX RDF
1	Jochen Eisinger, Peter Winterer, Bernd Becker	Securing Wireless Networks in a University Environment.	PerCom Workshops	2005	DBLP DOI BibTeX RDF
1	Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer	BDDs in a Branch and Cut Framework.	WEA	2005	DBLP DOI BibTeX RDF
1	Tobias Schubert, Bernd Becker	Knowledge Sharing in a Microcontroller based Parallel SAT Solver.	PDPTA	2005	DBLP BibTeX RDF
1	Ilia Polian, Sandip Kundu, Jean Marc Gallière, Piet Engelke, Michel Renovell, Bernd Becker	Resistive Bridge Fault Model Evolution from Conventional to Ultra Deep Submicron Technologies.	VTS	2005	DBLP DOI BibTeX RDF	Deep submicron technology modeling, Resistive bridging faults
1	Thomas Eschbach, Wolfgang Günther, Bernd Becker	Orthogonal Circuit Visualization Improved by Merging the Placement and Routing Phases.	VLSI Design	2005	DBLP DOI BibTeX RDF
1	Ilia Polian, Alejandro Czutro, Bernd Becker	Evolutionary Optimization in Code-Based Test Compression.	DATE	2005	DBLP DOI BibTeX RDF
1	Marc Herbstritt, Bernd Becker	On SAT-based Bounded Invariant Checking of Blackbox Designs.	MTV	2005	DBLP DOI BibTeX RDF

Publications of "Bernd Becker" ( http://dblp.L3S.de/Authors/Bernd_Becker )