The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (Homepage):  http://www.informatik.uni-freiburg.de/~becker/  Author page on DBLP  Author page in RDF  Community of Bernd Becker 0001 in ASPL-2

Publication years (Num. hits)
1982-1988 (15) 1989-1993 (16) 1994-1995 (25) 1996-1997 (23) 1998-1999 (17) 2000-2001 (26) 2002-2003 (21) 2004-2005 (32) 2006 (15) 2007 (16) 2008-2009 (32) 2010-2011 (38) 2012 (23) 2013 (21) 2014 (21) 2015 (19) 2016 (26) 2017 (19) 2018-2019 (17)
Publication types (Num. hits)
article(82) book(4) incollection(2) inproceedings(331) phdthesis(1) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 141 occurrences of 91 keywords

Results
Found 423 publication records. Showing 422 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker 0001, Ufuk Topcu Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Leonie Feldbusch, Felix Winterer, Johannes Gramsch, Linus Feiten, Bernd Becker 0001 SMILE Goes Gaming: Gamification in a Classroom Response System for Academic Teaching. Search on Bibsonomy CSEDU (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marc Pfeifer, Philipp M. Scholl, Rainer Voigt, Bernd Becker 0001 Active Stereo Vision with High Resolution on an FPGA. Search on Bibsonomy FCCM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Lylina, Hans-Joachim Wunderlich, Bernd Becker 0001, Matthias Sauer 0002 On Secure Data Flow in Reconfigurable Scan Networks. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benjamin Völker, Philipp M. Scholl, Bernd Becker 0001 Semi-Automatic Generation and Labeling of Training Data for Non-intrusive Load Monitoring. Search on Bibsonomy e-Energy The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker 0001 On the Generation of Waveform-Accurate Hazard and Charge-Sharing Aware Tests for Transistor Stuck-Off Faults in CMOS Logic Circuits. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker 0001 Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas. Search on Bibsonomy Advanced Logic Synthesis The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Dominik Erb, Bernd Becker 0001 Characterization of possibly detected faults by accurately computing their detection probability. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker 0001, Matthias Sauer 0002 Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. Search on Bibsonomy VTS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker 0001, Matthias Sauer 0002 Detecting and Resolving Security Violations in Reconfigurable Scan Networks. Search on Bibsonomy IOLTS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001 From DQBF to QBF by Dependency Elimination. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Johanna Sepúlveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker 0001, Matthias Sauer 0002 Towards the formal verification of security properties of a Network-on-Chip router. Search on Bibsonomy ETS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ahmed Atteya, Michael A. Kochte, Matthias Sauer 0002, Pascal Raiola, Bernd Becker 0001, Hans-Joachim Wunderlich Online prevention of security violations in reconfigurable scan networks. Search on Bibsonomy ETS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Paxian, Sven Reimer, Bernd Becker 0001 Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001 Finite-State Controllers of POMDPs using Parameter Synthesis. Search on Bibsonomy UAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Benjamin Völker, Philipp M. Scholl, Tobias Schubert 0001, Bernd Becker 0001 Towards the Fusion of Intrusive and Non-intrusive Load Monitoring: A Hybrid Approach. Search on Bibsonomy e-Energy The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Motion Planning under Partial Observability using Game-Based Abstraction. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001 Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker 0001 Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG. Search on Bibsonomy J. Electronic Testing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker 0001, Holger Hermanns Cost vs. time in stochastic games and Markov automata. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pascal Raiola, Dominik Erb, Sudhakar M. Reddy, Bernd Becker 0001 Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model. Search on Bibsonomy VLSI Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker 0001 Evaluating the effectiveness of D-chains in SAT-based ATPG. Search on Bibsonomy LATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Horácek, Jan Burchard, Bernd Becker 0001, Martin Kreuzer Integrating Algebraic and SAT Solvers. Search on Bibsonomy MACIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Mael Gay, Ange Salome Messeng Ekossono, Jan Horácek, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. Search on Bibsonomy FDTC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker 0001 HQSpre - An Effective Preprocessor for QBF and DQBF. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Pascal Raiola, Linus Feiten, Bernd Becker 0001, Ulrich Rührmair, Ilia Polian Sensitized path PUF: A lightweight embedded physical unclonable function. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker 0001 Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Ange Salome Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian Towards mixed structural-functional models for algebraic fault attacks on ciphers. Search on Bibsonomy IVSW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker 0001 Efficient SAT-based generation of hazard-activated TSOF tests. Search on Bibsonomy VTS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Motion planning under partial observability using game-based abstraction. Search on Bibsonomy CDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Adit D. Singh Best paper. Search on Bibsonomy ETS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael A. Kochte, Matthias Sauer 0002, Laura Rodríguez Gómez, Pascal Raiola, Bernd Becker 0001, Hans-Joachim Wunderlich Specification and verification of security in reconfigurable scan networks. Search on Bibsonomy ETS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler SC-square: when Satisfiability Checking and Symbolic Computation join forces. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001 From DQBF to QBF by Dependency Elimination. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Jonathan Oesterle, Tobias Martin, Matthias Sauer 0002, Bernd Becker 0001 Systemic Frequency Biases in Ring Oscillator PUFs on FPGAs. Search on Bibsonomy IEEE Trans. Multi-Scale Computing Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Riefert, Riccardo Cantoro, Matthias Sauer 0002, Matteo Sonza Reorda, Bernd Becker 0001 A Flexible Framework for the Automatic Generation of SBST Programs. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Bernd Becker 0001, Ilia Polian PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Matthias Sauer 0002, Bernd Becker 0001 On Metrics to Quantify the Inter-Device Uniqueness of PUFs. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bernd Becker 0001 Known unknowns - Knowledge in the presence of unknowns. Search on Bibsonomy LATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Tobias Schubert 0001, Bernd Becker 0001 Distributed Parallel #SAT Solving. Search on Bibsonomy CLUSTER The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Skolem Functions for DQBF. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Sebastian Sester, Christian Zimmermann, Sebastian Volkmann, Laura Wehle, Bernd Becker 0001 Revocable Anonymisation in Video Surveillance: A "Digital Cloak of Invisibility". Search on Bibsonomy HCC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker 0001 Accurate ICP-based floating-point reasoning. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. Search on Bibsonomy ASP-DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Dominik Erb, Bernd Becker 0001 Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker 0001 Advancing Software Model Checking Beyond Linear Arithmetic Theories. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker 0001, Giovanni De Micheli, Matthias Sauer 0002 SAT-Based Combinational and Sequential Dependency Computation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Volkmann, Linus Feiten, Christian Zimmermann, Sebastian Sester, Laura Wehle, Bernd Becker 0001 Digitale Tarnkappe: Anonymisierung in Videoaufnahmen. Search on Bibsonomy GI-Jahrestagung The full citation details ... 2016 DBLP  BibTeX  RDF
1Andreas Riefert, Riccardo Cantoro, Matthias Sauer 0002, Matteo Sonza Reorda, Bernd Becker 0001 Effective generation and evaluation of diagnostic SBST programs. Search on Bibsonomy VTS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Dominik Erb, Bernd Becker 0001 Applying Tailored Formal Methods to X-ATPG. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker 0001, Ilia Polian On Optimal Power-Aware Path Sensitization. Search on Bibsonomy ATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Völker, Tobias Schubert 0001, Bernd Becker 0001 iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home. Search on Bibsonomy S-CUBE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marc Pfeifer, Tobias Schubert 0001, Bernd Becker 0001 PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform. Search on Bibsonomy S-CUBE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael A. Kochte, Rafal Baranowski, Matthias Sauer 0002, Bernd Becker 0001, Hans-Joachim Wunderlich Formal verification of secure reconfigurable scan network infrastructure. Search on Bibsonomy ETS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker 0001 Dependency Schemes for DQBF. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Christian Miller, Paolo Marin, Bernd Becker 0001 Verification of partial designs using incremental QBF. Search on Bibsonomy AI Commun. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 High-level Counterexamples for Probabilistic Automata Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker 0001 Transient Reward Approximation for Continuous-Time Markov Chains. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Michael A. Kochte, Sven Reimer, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Matthias Sauer 0002, Tobias Schubert 0001, Victor Tomashevich, Ilia Polian, Bernd Becker 0001 Formal Vulnerability Analysis of Security Components. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns Abstraction-Based Computation of Reward Measures for Markov Automata. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker 0001 Cost vs. Time in Stochastic Games and Markov Automata. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Matthias Sauer 0002, Christoph Scholl, Ralf Wimmer Modeling Unknown Values in Test and Verification. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer 0002, Christoph Scholl, Bernd Becker 0001 Solving DQBF through quantifier elimination. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Andreas Riefert, Riccardo Cantoro, Matthias Sauer 0002, Matteo Sonza Reorda, Bernd Becker 0001 On the automatic generation of SBST test programs for in-field test. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Andreas Riefert, Matthias Sauer 0002, Sudhakar M. Reddy, Bernd Becker 0001 Improving diagnosis resolution of a fault detection test set. Search on Bibsonomy VTS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Matthias Sauer 0002, Sudhakar M. Reddy, Bernd Becker 0001 Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects. Search on Bibsonomy VTS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Nils Jansen 0001, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Counterexamples for Expected Rewards. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker 0001 Towards Verification of Artificial Neural Networks. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Karsten Scheibler, Dominik Erb, Bernd Becker 0001 Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. Search on Bibsonomy ETS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Tobias Martin, Matthias Sauer 0002, Bernd Becker 0001 Improving RO-PUF quality on FPGAs by incorporating design-dependent frequency biases. Search on Bibsonomy ETS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kohei Miyase, Matthias Sauer 0002, Bernd Becker 0001, Xiaoqing Wen, Seiji Kajihara Identification of high power consuming areas with gate type and logic level information. Search on Bibsonomy ETS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker 0001 Preprocessing for DQBF. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Tobias Schubert 0001, Bernd Becker 0001 Laissez-Faire Caching for Parallel #SAT Solving. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker 0001, Johann Schuster Symbolic counterexample generation for large discrete-time Markov chains. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Paolo Marin, Bernd Becker 0001 QBF with Soft Variables. Search on Bibsonomy ECEASST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Minimal counterexamples for linear-time probabilistic verification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Michael A. Kochte, Matthias Sauer 0002, Stefan Hillebrecht, Tobias Schubert 0001, Hans-Joachim Wunderlich, Bernd Becker 0001 Exact Logic and Fault Simulation in Presence of Unknowns. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Sven Reimer, Sudhakar M. Reddy, Bernd Becker 0001 Efficient SAT-Based Circuit Initialization for Larger Designs. Search on Bibsonomy VLSI Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Czutro, Sudhakar M. Reddy, Ilia Polian, Bernd Becker 0001 SAT-Based Test Pattern Generation with Improved Dynamic Compaction. Search on Bibsonomy VLSI Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 Incremental Encoding and Solving of Cardinality Constraints. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Bernd Becker 0001 Using interval constraint propagation for pseudo-Boolean constraint solving. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 Using MaxBMC for Pareto-optimal circuit initialization. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Matthias Sauer 0002, Bernd Becker 0001 Efficient SMT-based ATPG for interconnect open defects. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andreas Riefert, Lyl M. Ciganda, Matthias Sauer 0002, Paolo Bernardi, Matteo Sonza Reorda, Bernd Becker 0001 An effective approach to automatic functional processor test generation for small-delay faults. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker 0001 Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Bernd Becker 0001 Implication Graph Compression inside the SMT Solver iSAT3. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Matthias Sauer 0002, Sudhakar M. Reddy, Bernd Becker 0001 Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects. Search on Bibsonomy ATS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Urs Sonderegger, Martin Zimmermann 0001, Katrin Weber, Bernd Becker 0001 Mobile Learning mit kontextbezogenen mobilen Diensten in der "KMU Smart Factory": Szenarien und Lösungsansätze für Fertigungsprozesse. Search on Bibsonomy DeLFI Workshops The full citation details ... 2014 DBLP  BibTeX  RDF
1Erika Ábrahám, Bernd Becker 0001, Christian Dehnert, Nils Jansen 0001, Joost-Pieter Katoen, Ralf Wimmer Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Ilia Polian, Michael E. Imhof, Abdullah Mumtaz, Eric Schneider, Alexander Czutro, Hans-Joachim Wunderlich, Bernd Becker 0001 Variation-aware deterministic ATPG. Search on Bibsonomy ETS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 Test pattern generation in presence of unknown values based on restricted symbolic logic. Search on Bibsonomy ITC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 422 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license