## Publikationen

- Alle Publikationen
- Originalarbeiten in wissenschaftlichen Fachzeitschriften
- Buchbeiträge
- Konferenzbeiträge
- Sonstige Publikationen

Jahre: 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1988 | 1987 | 1983

## 2019

nach oben zur Jahresübersicht- Benjamin Völker, Phillip M Scholl, Bernd Becker
**Semi-Automatic Generation and Labeling of Training Data for Non-intrusive Load Monitoring**

2019 e-Energy '19 Proceedings of the Tenth ACM International Conference on Future Energy Systems ACM New York, NY, USA ©2019, Band: 10, Seiten: 17 - 23 - Leonie Feldbusch, Felix Winterer, Johannes Gramsch, Linus Feiten, Bernd Becker
**SMILE goes Gaming: Gamification in a Classroom Response System for Academic Teaching**

2019 11th International Conference on Computer Supported Education (CSEDU) - Marc Pfeifer, Philipp M. Scholl, Rainer Voigt, Bernd Becker
**Active Stereo Vision with High Resolution on an FPGA**

2019 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines*Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines*, Seiten: 118 - 126 - Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
**A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving**

2019 Honolulu, HI, USA*Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI)*, AAAI Press - Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
**Counterexample-Guided Strategy Improvement for POMDPs using Recurrent Neural Networks**

2019 Macao, China*Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI)* - Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker, Matthias Sauer
**On Integrating Lightweight Encryption in Reconfigurable Scan Networks**

2019*To appear in IEEE European Test Symposium* - Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Kapstova, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
**On Secure Data Flow in Reconfigurable Scan Networks**

2019*To appear in Conf. on Design, Automation and Test in Europe*

## 2018

nach oben zur Jahresübersicht- Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
**Detecting and Resolving Security Violations in Reconfigurable Scan Networks**

2018*IEEE International Symposium on On-Line Testing and Robust System Design* - Benjamin Völker, Philipp Scholl, Bernd Becker
**Towards the Fusion of Intrusive and Non-intrusive Load Monitoring - A Hybrid Approach**

2018 e-Energy '18 Proceedings of the Ninth International Conference on Future Energy Systems/Karlsruhe, Germany , Seiten: 436 - 438 - Ahmed Atteya, Michael Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
**Online Prevention of Security Violations in Reconfigurable Scan Networks**

2018*IEEE European Test Symposium* - Johanna Sepulveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker, Matthias Sauer
**Towards the Formal Verification of Security Properties of a Network-on-Chip Router**

2018*IEEE European Test Symposium* - Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
**Efficient Generation of Parametric Test Conditions for AMS Chips with an Interval Constraint Solver**

2018*IEEE VLSI Test Symposium (VTS'18)* - Linus Feiten, Karsten Scheibler, Bernd Becker, Matthias Sauer
**Using different LUT paths to increase area efficiency of RO-PUFs on Altera FPGAs**

2018 TRUDEVICE Workshop, Dresden - Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
**High-Coverage AMS Test Space Optimization by Efficient Parametric Test Condition Generation**

2018 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” - Uwe Wagschal, Thomas Metz, Thomas Waldvogel, Bernd Becker, Linus Feiten, Samuel Weishaupt
**Online real-time-response measurement in real life settings: the Debat-O-Meter**

2018 Cologne*20th General Online Research Conference (GOR)* - Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Kaoten, Becker B
**Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext**

2018*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”* - Christoph Scholl, Ralf Wimmer
**Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications**

2018 Oxford, UK*Proceedings of the 21st Int'l Conf. on Theory and Applications of Satisfiability Testing (SAT)*, Olaf Beyersdorff, Christoph M. Wintersteiger, Band: 10929, Seiten: 3 - 16 - Tobias Paxian, Sven Reimer, Bernd Becker
**Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT**

2018*International Conference on Theory and Applications of Satisfiability Testing*, Springer, Band: 10929, Seiten: 37 - 53 - Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
**Finite-State Controllers of POMDPs via Parameter Synthesis**

2018*Proceedings of the 34th Conference on Uncertainty in Artificial Intelligence (UAI)*, AUAI Press, Seiten: 519 - 529 - Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
**Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes**

2018*Proceedings of the 2018 Annual American Control Conference (ACC)*, Seiten: 762 - 69 - Yuliya Butkova, Ralf Wimmer, Holger Hermanns
**Markov Automata on Discount!**

2018*19. International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems (MMB)*, Reinhard German et al., Band: 10740

## 2017

nach oben zur Jahresübersicht- Jan Horáček, Jan Burchard, Bernd Becker, Martin Kreuzer
**Integrating Algebraic and SAT Solvers**

2017*International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) 2017* - Jan Horáček, Maël Gay, Bernd Becker, Martin Kreuzer
**Integrating Algebraic and SAT Solvers**

2017*International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) 2017* - Jan Burchard, Maël Gay, Ange-Salomé Messeng Ekossono, Jan Horáček, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
**AutoFault: Towards Automatic Construction of Algebraic Fault Attacks**

2017*Fault Diagnosis and Tolerance in Cryptography (FDTC) 2017* - Michael A. Kochte, Matthias Sauer, Laura Rodríguez Gómez, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
**Specification and verification of security in reconfigurable scan networks**

2017 IEEE European Test Symposium - Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker
**Efficient SAT-Based Generation of Hazard-Activated TSO Tests**

2017*IEEE VLSI Test Symposium (VTS'17)* - Uwe Wagschal, Bernd Becker, Thomas Metz, Thomas Waldvogel, Linus Feiten
**Real-time evaluation of political debates at home and abroad with the Debat-O-Meter**

2017 Berlin*19th General Online Research Conference (GOR)* - Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker
**Evaluating the Effectiveness of D-Chains in SAT based ATPG**

2017*IEEE Latin American Test Symposium (LATS'17)* - Matthias Sauer, Pascal Raiola, Linus Feiten, Bernd Becker, Ulrich Rührmair, Ilia Polian
**Sensitized Path PUF: A Lightweight Embedded Physical Unclonable Function**

2017*Conf. on Design, Automation and Test in Europe* - Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
**Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving**

2017*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”* - Wolling F, Scholl P, Reindl L, Van Laerhoven K
**Combining capacitive coupling with conductive clothes: Towards resource-efficient wearable communication**

2017*Proceedings - International Symposium on Wearable Computers, ISWC*, Band: Part F1305 - Wolling F, Scholl P, Reindl L, Van Laerhoven K
**Combining capacitive coupling with conductive clothes: Towards resource-efficient wearable communication**

2017*Proceedings - International Symposium on Wearable Computers, ISWC*, Band: Part F1305 - Böttcher S, Scholl P, Van Laerhoven K
**Detecting process transitions from wearable sensors: An unsupervised labeling approach**

2017*ACM International Conference Proceeding Series*, Band: Part F1319 - Böttcher S, Scholl P, Van Laerhoven K
**Detecting process transitions from wearable sensors: An unsupervised labeling approach**

2017*ACM International Conference Proceeding Series*, Band: Part F1319 - Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker
**Fast and Waveform-Accurate Hazard-Aware SAT-Based TSOF ATPG**

2017*Conference on Design, Automation and Test in Europe* - Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
**From DQBF to QBF by Dependency Elimination**

2017 Melbourne, VIC, Australia*Int'l Conf. on Theory and Applications of Satisfiability Checking*, Serge Gaspers and Toby Walsh, Band: 10491, Seiten: 326 - 343 - Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker
**HQSpre - An Effective Preprocessor for QBF and DQBF**

2017 Uppsala, Sweden*International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part I*, Axel Legay and Tiziana Margaria, Band: 10205, Seiten: 373 - 390 - Scholl P, Van Laerhoven K
**Lessons learned from designing an instrumented lighter for assessing smoking status**

2017*UbiComp/ISWC 2017 - Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers* - Scholl P, Van Laerhoven K
**Lessons learned from designing an instrumented lighter for assessing smoking status**

2017*UbiComp/ISWC 2017 - Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers* - Yuliya Butkova, Ralf Wimmer, Holger Hermanns
**Long-run Rewards for Markov Automata**

2017 Uppsala, Sweden*International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part II*, Axel Legay and Tiziana Margaria, Band: 10206, Seiten: 188 - 203 - Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Kaoten, Becker B
**Motion Planning under Partial Observability using Game-Based Abstraction**

2017 Melbourne, VIC, Australia*56th IEEE Conf. on Decision and Control (CDC)*, Seiten: 2201 - 2208 - Scholl P, Van Laerhoven K
**On the statistical properties of body-worn inertial motion sensor data for identifying sensor modality**

2017*Proceedings - International Symposium on Wearable Computers, ISWC*, Band: Part F1305 - Scholl P, Van Laerhoven K
**On the statistical properties of body-worn inertial motion sensor data for identifying sensor modality**

2017*Proceedings - International Symposium on Wearable Computers, ISWC*, Band: Part F1305 - Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
**Permissive Finite-State Controllers of POMDPs using Parameter Synthesis**

2017 - Mummadi C, Kasireddy S, Peter Leo F, Scholl P, Verma K, Van Laerhoven K
**Real-time embedded recognition of sign language alphabet fingerspelling in an IMU-based glove**

2017*ACM International Conference Proceeding Series*, Band: Part F1319 - Mummadi C, Kasireddy S, Peter Leo F, Scholl P, Verma K, Van Laerhoven K
**Real-time embedded recognition of sign language alphabet fingerspelling in an IMU-based glove**

2017*ACM International Conference Proceeding Series*, Band: Part F1319 - Meurisch C, Naeem U, Scholl P, Azam M, Günther S, Baumann P, Réhman S, Mühlhäuser M
**Smartguidance’17:2nd workshop on intelligent personal support of human behavior**

2017*UbiComp/ISWC 2017 - Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers* - Meurisch C, Naeem U, Scholl P, Azam M, Günther S, Baumann P, Réhman S, Mühlhäuser M
**Smartguidance’17:2nd workshop on intelligent personal support of human behavior**

2017 - Michael Kochte, Sauer M, Laura Rodriguez Gomez, Raiola P, Becker B, Hans-Joachim Wunderlich
**Specification and verification of security in reconfigurable scan networks**

2017 IEEE European Test Symposium - Tobias Schubert, Benjamin Völker, Marc Pfeifer, Bernd Becker
**The Smart MiniFab: An Industrial IoT Demonstrator Anywhere at Any Time**

2017 Smart Education and e-Learning 2017, Vilamoura/Portugal, KES International Springer International Publishing, Seiten: 253 - 262 - Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horáček, Maël Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
**Towards Mixed Structural-Functional Models for Algebraic Fault Attacks on Ciphers**

2017*RESCUE Workshop on Reliability, Security and Quality at ETS 2017* - Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horáček, Maël Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
**Towards Mixed Structural-Functional Models for Algebraic Fault Attacks on Ciphers**

2017*International Verification and Security Workshop (IVSW) 2017*

## 2016

nach oben zur Jahresübersicht- Marc Pfeifer, Tobias Schubert, Bernd Becker
**PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform**

2016 7th EAI International Conference on Sensor Systems and Software*Proceedings of the 7th EAI International Conference on Sensor Systems and Software*, Seiten: 81 - 92 - Benjamin Völker, Tobias Schubert, Bernd Becker
**iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home**

2016 7th EAI International Conference on Sensor Systems and Software - Matthias Sauer, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker, Ilia Polian
**On Optimal Power-aware Path Sensitization**

2016*2016 25nd IEEE Asian Test Symposium (ATS)* - Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer
**SAT-based Combinational and Sequential Dependency Computation**

2016*Haifa Verification Conference (HVC)* - Sebastian Volkmann, Linus Feiten, Christian Zimmermann, Sebastian Sester, Laura Wehle, Bernd Becker
**Digitale Tarnkappe: Anonymisierung in Videoaufnahmen**

2016 INFORMATIK 2016*Gesellschaft für Informatik (GI)*, Heinrich C. Mayr, Martin Pinzger, Band: P-252, Seiten: 413 - 426 - Tobias Schubert, Isabel Dahlhausen
**Pilotkurs Schlüsseltechnologien der vernetzten Produktion – Wissenschaftliche Weiterbildung für Ingenieure und Ingenieurinnen, Fach‐ & Führungskräfte im Bereich Industrie 4.0**

2016*DGWF-Jahrestagung 2016*, Seiten: 142 - 143 - Jan Burchard, Tobias Schubert, Bernd Becker
**Distributed Parallel #SAT Solving**

2016*IEEE Cluster 2016* - Mathias Soeken, Pascal Raiola, Baruch Sterin, Matthias Sauer
**SAT-based Functional Dependency Computation**

2016 International Workshop on Logic & Synthesis - Michael Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich
**Formal Verification of Secure Reconfigurable Scan Network Infrastructure**

2016 IEEE European Test Symposium - Michael Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
**SHIVA: Sichere Hardware in der Informationsverarbeitung Formaler Nachweis komplexer Sicherheitseigenschaften in rekonfigurierbarer Infrastruktur**

2016 eda Workshop - Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
**Effective Generation and Evaluation of Diagnostic SBST Programs**

2016 IEEE VLSI Test Symposium - Linus Feiten, Matthias Sauer, Bernd Becker
**On Metrics to Quantify the Inter-Device Uniqueness of PUFs**

2016 TRUDEVICE Workshop, Dresden - Matthias Sauer, Sven Reimer, Daniel Tille, Karsten Scheibler, Dominik Erb, Ulrike Pfannkuchen, Bernd Becker
**Clock Cycle Aware Encoding for SAT-based Circuit Initialization**

2016 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” - Scholl Philipp, Van Laerhoven Kristof
**A Multi-Media Exchange Format for Time-Series Dataset Curation**

2016*UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing* - Scholl Philipp, Van Laerhoven Kristof
**A Multi-Media Exchange Format for Time-Series Dataset Curation**

2016*UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing* - Scholl P, Van Laerhoven K
**A multi-media exchange format for time-series dataset curation**

2016*UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing* - Scholl P, Van Laerhoven K
**A multi-media exchange format for time-series dataset curation**

2016 - Karsten Scheibler, Dominik Erb, Bernd Becker
**Accurate CEGAR-based ATPG in Presence of Unknown Values for Large Industrial Designs**

2016*Conf. on Design, Automation and Test in Europe* - Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
**Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving**

2016*First International Workshop on Satisfiability Checking and Symbolic Computation - FETOPEN-CSA SC2 Workshop - Affiliated with SYNASC 2016* - Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
**Accurate ICP-based Floating-Point Reasoning**

2016*Formal Methods in Computer-Aided Design*, Seiten: 177 - 184 - Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
**Advancing software model checking beyond linear arithmetic theories**

2016 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016*Twelfth Haifa Verification Conference 2016*, Bloem, Roderick, Arbel, Eli (Eds.), Band: 10028, Seiten: 186 - 201 - Karsten Scheibler, Dominik Erb, Bernd Becker
**Applying Tailored Formal Methods to X-ATPG**

2016*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”* - Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
**Dependency Schemes for DQBF**

2016*Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT)*, Springer, Band: 9710, Seiten: 473 - 489 - Scholl Philipp, Van Laerhoven Kristof
**Remind - Towards a Personal Remembrance Search Engine for Motion Augmented Multi-Media Recordings**

2016*MUM 2016 - Proceedings of the international 2016 Conference on Multimedia and Ubiquitous Systems* - Scholl Philipp, Van Laerhoven Kristof
**Remind - Towards a Personal Remembrance Search Engine for Motion Augmented Multi-Media Recordings**

2016*MUM 2016 - Proceedings of the international 2016 Conference on Multimedia and Ubiquitous Systems* - Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
**Skolem Functions for DQBF**

2016 Int'l Symposium on Automated Technology for Verification and Analysis (ATVA)*Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA)*, Springer, Band: 9938, Seiten: 395 - 411 - Maël Gay, Jan Burchard, Jan Horáček, Ange-Salomé Messeng Ekossono, Tobias Schubert, Bernd Becker, Ilia Polian, Martin Kreuzer
**Small Scale AES Toolbox: Algebraic and Propositional Formulas, Circuit-Implementations and Fault Equations**

2016*FCTRU'16* - Matthias Sauer, Linus Feiten, Bernd Becker, Ulrich Rührmair, Ilia Polian
**Utilizing Intrinsic Delay Variability in Complex Digital Circuits for Defining PUF Behavior**

2016 TRUDEVICE Workshop, Dresden

## 2015

nach oben zur Jahresübersicht- Jan Burchard, Tobias Schubert, Bernd Becker
**Laissez-Faire Caching for Parallel #SAT Solving**

2015*International Conference on Theory and Applications of Satisfiability Testing*, Band: 9340, Seiten: 46 - 61 - Katrin Weber, Corinna Bertuzzi, Tobias Schubert
**Kooperation in der virtuellen Projektarbeit – Vom Pilotkurs zum erfolgreichen Weiterbildungsangebot in den Technikwissenschaften**

2015*DGWF-Jahrestagung 2015*, Seiten: 144 - 145 - Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
**An Empirical Perspective on Ten Years of QBF Solving**

2015 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015)*Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2015)*, CEUR-WS.org, Band: 1451, Seiten: 62 - 75 - Linus Feiten, Tobias Martin, Matthias Sauer, Bernd Becker
**Improving RO-PUF Quality on FPGAs by Incorporating Design-Dependent Frequency Biases**

2015*IEEE European Test Symposium* - Kohei Miyase, Matthias Sauer, Bernd Becker, Xiaoqing Wen, Seiji Kajihara
**Identification of High Power Consuming Areas with Gate Type and Logic Level Information**

2015*IEEE European Test Symposium* - Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
**On the Automatic Generation of SBST Test Programs for In-Field Test**

2015*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
**Abstraction-based Computation of Reward Measures for Markov Automata**

2015 Mumbai, India*Int'l Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI)*, Band: 8931, Seiten: 172 - 189 - Hartwig Matthias, Scholl Philipp, Budde Vanessa, Windel Armin
**Adaptive Reminders for Safe Work**

2015 Cham*Persuasive Technology: 10th International Conference, PERSUASIVE 2015*, Springer International Publishing - Hartwig Matthias, Scholl Philipp, Budde Vanessa, Windel Armin
**Adaptive Reminders for Safe Work**

2015 Cham*Persuasive Technology: 10th International Conference, PERSUASIVE 2015*, Springer International Publishing - Linus Feiten, Tobias Martin, Matthias Sauer, Bernd Becker
**Analysis and utilisation of deviations in RO-PUFs under altered FPGA designs**

2015 TRUDEVICE Workshop, Grenoble - Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Maria Ferrer Fioriti, Holger Hermanns, Bernd Becker
**Cost vs. Time in Stochastic Games and Markov Automata**

2015 International Symposium on Dependable Software Engineering: Theory, Tools and Applications (SETTA)*Proc. of SETTA*, Springer-Verlag, Band: 9409, Seiten: 19 - 34 - Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
**Counterexamples for Expected Rewards**

2015*Proceedings of the 20th International Symposium on Formal Methods (FM)*, Springer, Band: 9109, Seiten: 435 - 452 - Linus Feiten, Matthias Sauer
**Extracting the RC4 secret key of the Open Smart Grid Protocol (OSGP)**

2015 Industrial Control System Security (ICSS) Workshop - Andreas Riefert, Matthias Sauer, Sudhakar Reddy, Bernd Becker
**Improving Diagnosis Resolution of a Fault Detection Test Set**

2015*VLSI Test Symposium* - Karsten Scheibler, Dominik Erb, Bernd Becker
**Improving Test Pattern Generation in Presence of Unknown Values beyond Restricted Symbolic Logic**

2015*to be published at European Test Symposium (ETS)* - Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
**Multi-Cycle Circuit Parameter Independent ATPG for Interconnect Open Defects**

2015*33rd VLSI Test Symposium (VTS)* - Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
**On the Automatic Generation of SBST Test Programs for In-Field Test**

2015*Conf. on Design, Automation and Test in Europe* - Sachidananda V, Noack D, Khelil A, Van Laerhoven K, Scholl P
**Optimized multi-attribute co-design for maximizing efficiency in Wireless Sensor Networks**

2015*2015 IEEE 10th International Conference on Intelligent Sensors, Sensor Networks and Information Processing, ISSNIP 2015* - Sachidananda V, Noack D, Khelil A, Van Laerhoven K, Scholl P
**Optimized multi-attribute co-design for maximizing efficiency in Wireless Sensor Networks**

2015*2015 IEEE 10th International Conference on Intelligent Sensors, Sensor Networks and Information Processing, ISSNIP 2015* - Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
**Preprocessing for DQBF**

2015*Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT)*, Springer, Band: 9340, Seiten: 173 - 190 - Scholl P, Schultes T, Van Laerhoven K
**RFID-based compound identification in wet laboratories with google glass**

2015*ACM International Conference Proceeding Series*, Band: 25-26-June - Scholl P, Schultes T, Van Laerhoven K
**RFID-based compound identification in wet laboratories with google glass**

2015*ACM International Conference Proceeding Series*, Band: 25-26-June - Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
**Solving DQBF Through Quantifier Elimination**

2015*Conf. on Design, Automation and Test in Europe* - Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
**Towards Verification of Artificial Neural Networks**

2015 - Scholl Philipp, Wille Matthias, Laerhoven Kristof
**Wearables in the Wet Lab: A Laboratory System for Capturing and Guiding Experiments**

2015*Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing* - Scholl Philipp, Wille Matthias, Laerhoven Kristof
**Wearables in the Wet Lab: A Laboratory System for Capturing and Guiding Experiments**

2015*Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing*

## 2014

nach oben zur Jahresübersicht- Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
**Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects**

2014*23nd IEEE Asian Test Symposium (ATS)* - Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
**Incremental Encoding and Solving of Cardinality Constraints**

2014*International Symposium on Automated Technology for Verification and Analysis*, Springer International Publishing, Band: 8837, Seiten: 297 - 313 - Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker
**QBF with Soft Variables**

2014*International Workshop on Automated Verification of Critical Systems (AVOCS)* - Bernd Becker, Rolf Drechsler, Stephan Eggersglüß, Matthias Sauer
**Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization**

2014*International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS)* - Matthias Sauer, Ilia Polian, Michael E. Imhof, Abdullah Mumtaz, Eric Schneider, Alexander Czutro, Hans-Joachim Wunderlich, Bernd Becker
**Variation-Aware Deterministic ATPG**

2014 IEEE European Test Symposium , Seiten: 1 - 6 - Matthias Sauer, Sven Reimer, Sudhakar M. Reddy, Bernd Becker
**Efficient SAT-based Circuit Initialization for Large Designs**

2014*Int'l Conf. on VLSI Design* - Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
**Accelerating Parametric Probabilistic Verification**

2014*Int'l Conf. on Quantitative Evaluation of Systems (QEST)*, Springer-Verlag, Band: 8657, Seite: 404-420 - Tobias Schubert, Marc Pfeifer, Bernd Becker
**Accurate Controlling of Velocity on a Mobile Robot**

2014 29th International Conference on Computers and Their Applications - Andreas Riefert, Lyl Ciganda, Matthias Sauer, Paolo Bernadi, Matteo Sonza Reorda, Bernd Becker
**An Effective Approach to Automatic Functional Processor Test Generation for Small-Delay Faults**

2014*Conf. on Design, Automation and Test in Europe* - Sreedhar Saseendran Kumar, Jan Wülfing, Joschka Boedecker, Ralf Wimmer, Martin Riedmiller, Bernd Becker, Ulrich Egert
**Autonomous Control of Network Activity**

2014*9th International Meeting on Substrate-Integrated Microelectrode Arrays (MEA)* - Scholl Philipp, Borazio Marko, Martin J
**Diary-Like Long-Term Activity Recognition : Touch or Voice Interaction ?**

2014*Glass & Eyewear Computers (GEC), IEEE Press* - Scholl Philipp, Borazio Marko, Martin J
**Diary-Like Long-Term Activity Recognition : Touch or Voice Interaction ?**

2014*Glass & Eyewear Computers (GEC), IEEE Press* - Scholl P, Borazio M, Jansch M, Van Laerhoven K
**Diary-like long-term activity recognition: Touch or voice interaction?**

2014*Proceedings - 11th International Conference on Wearable and Implantable Body Sensor Networks Workshops, BSN Workshops 2014* - Scholl P, Borazio M, Jansch M, Van Laerhoven K
**Diary-like long-term activity recognition: Touch or voice interaction?**

2014*Proceedings - 11th International Conference on Wearable and Implantable Body Sensor Networks Workshops, BSN Workshops 2014* - Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker
**Efficient SMT-based ATPG for Interconnect Open Defects**

2014*Conf. on Design, Automation and Test in Europe* - Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
**Fast Debugging of PRISM Models**

2014*Int'l Symp. on Automated Technology for Verfication and Analysis*, Springer-Verlag - Karsten Scheibler, Bernd Becker
**Implication Graph Compression inside the SMT Solver iSAT3**

2014 - Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
**MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata**

2014 International Workshop on Quantitative Aspects of Programming Languages and Systems , Band: EPTCS - Dominik Erb, Karsten Scheibler, Michael Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
**Test Pattern Generation in Presence of Unknown Values Based on Restricted Symbolic Logic**

2014*Int'l Test Conf.* - Borazio Marko, Berlin Eugen, Kücükyildiz Nagihan, Scholl Philipp, Van Laerhoven Kristof
**Towards Benchmarked Sleep Detection with Inertial Wrist-worn Sensing Units**

2014*Healthcare Informatics (ICHI)* - Borazio Marko, Berlin Eugen, Kücükyildiz Nagihan, Scholl Philipp, Van Laerhoven Kristof
**Towards Benchmarked Sleep Detection with Inertial Wrist-worn Sensing Units**

2014*Healthcare Informatics (ICHI)* - Borazio M, Berlin E, Kucukyildiz N, Scholl P, Van Laerhoven K
**Towards benchmarked sleep detection with wrist-worn sensing units**

2014*Proceedings - 2014 IEEE International Conference on Healthcare Informatics, ICHI 2014* - Borazio M, Berlin E, Kucukyildiz N, Scholl P, Van Laerhoven K
**Towards benchmarked sleep detection with wrist-worn sensing units**

2014*Proceedings - 2014 IEEE International Conference on Healthcare Informatics, ICHI 2014* - Karsten Scheibler, Bernd Becker
**Using Interval Constraint Propagation for Pseudo-Boolean Constraint Solving**

2014*Formal Methods in Computer-Aided Design* - Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
**Using MaxBMC for Pareto-Optimal Circuit Initialization**

2014*Conf. on Design, Automation and Test in Europe*

## 2013

nach oben zur Jahresübersicht- Linus Feiten, Katrin Weber, Bernd Becker
**SMILE: Smartphones in der Lehre – ein Rück- und Überblick**

2013 INFORMATIK 2013*Gesellschaft für Informatik (GI)*, Matthias Horbach, Band: P-220, Seiten: 255 - 269 - Tobias Schubert, Jan Burchard, Matthias Sauer, Bernd Becker
**S-Trike: A Mobile Robot Platform for Higher Education**

2013*International Conference on Computer Applications in Industry and Engineering*, Seiten: 243 - 248 - Linus Feiten, Andreas Spilla, Matthias Sauer, Tobias Schubert, Bernd Becker
**Analysis of Ring Oscillator PUFs on 60nm FPGAs**

2013 TRUDEVICE Workshop, Avignon - Linus Feiten, Matthias Sauer, Tobias Schubert, Alexander Czutro, Victor Tomashevich, Eberhard Böhl, Ilia Polian, Bernd Becker
**#SAT for Vulnerability Analysis of Security Components**

2013 (Workshop-Paper, Informal Proceedings)*IEEE European Test Symposium* - Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
**A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition**

2013*CADE*, Springer, Band: 7898, Seiten: 193 - 207 - Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
**Accurate Computation of Sensitizable Paths using Answer Set Programming**

2013*Int. Conf. on Logic Programming and Nonmonotonic Reasoning*, Seiten: 92 - 101 - Dominik Erb, Michael A Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
**Accurate Multi-Cycle ATPG in Presence of X-Values**

2013*22nd IEEE Asian Test Symposium (ATS)* - Stefan Hillebrecht, Michael A. Kochte, Dominik Erb, Hans-Joachim Wunderlich, Bernd Becker
**Accurate QBF-based test pattern generation in presence of unknown values**

2013*Conf. on Design, Automation and Test in Europe* - Matthias Sauer, Sven Reimer, Stefan Kupferschmid, Tobias Schubert, Paolo Marin, Bernd Becker
**Applying BMC, Craig Interpolation and MAX-SAT to Functional Justification in Sequential Circuits**

2013*RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion* - Scholl P, Kücükyildiz N, Van Laerhoven K
**Bridging the last gap: Ledtx - optical data transmission of sensor data for web-services**

2013*UbiComp 2013 Adjunct - Adjunct Publication of the 2013 ACM Conference on Ubiquitous Computing* - Scholl P, Kücükyildiz N, Van Laerhoven K
**Bridging the last gap: Ledtx - optical data transmission of sensor data for web-services**

2013*UbiComp 2013 Adjunct - Adjunct Publication of the 2013 ACM Conference on Ubiquitous Computing* - Scholl P, El Majoub B, Santini S, Van Laerhoven K
**Connecting wireless sensor networks to the robot operating system**

2013*Procedia Computer Science*, Band: 19 - Scholl P, El Majoub B, Santini S, Van Laerhoven K
**Connecting wireless sensor networks to the robot operating system**

2013*Procedia Computer Science*, Band: 19 - Karsten Scheibler, Matthias Sauer, Kohei Miyase, Bernd Becker
**Controlling Small-Delay Test Power Consumption using Satisfibility Modulo Theory Solving**

2013*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Matthias Sauer, Bernd Becker, Subhasish Mitra
**Detection of early-life failures in high-K metal-gate transistors and ultra low-K inter-metal dielectrics**

2013*Custom Integrated Circuits Conference*, Seiten: 1 - 4 - Matthias Sauer, Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung-Tae Do, Jung Yun Choi, Kee Sup Kim, Subhasish Mitra, Bernd Becker
**Early-Life-Failure Detection using SAT-based ATPG**

2013*Int'l Test Conf.*, Seiten: 1 - 10 - Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker
**Efficient SAT-Based Dynamic Compaction and Relaxation for Longest Sensitizable Paths**

2013*Conf. on Design, Automation and Test in Europe*, Seiten: 448 - 453 - Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
**Equivalence Checking for Partial Implementations Revisited**

2013 - Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
**Equivalence Checking of Partial Designs using Dependency Quantified Boolean Formulae**

2013*Int'l Conf. on Computer Design*, IEEE Computer Society, Seiten: 396 - 403 - Katrin Weber, Bernd Becker
**Formative Evaluation des mobilen Classroom-Response-Systems SMILE**

2013*GMW 2013 eLearing*, Seiten: 277 - 289 - Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
**High-Level Counterexamples for Probabilistic Automata**

2013 Springer-Verlag, Band: 8054, Seiten: 18 - 33 - Andreas Riefert, Joerg Mueller, Matthias Sauer, Wolfram Burgard, Bernd Becker
**Identification of Critical Variables using an FPGA-based Fault Injection Framework**

2013*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Andreas Riefert, Joerg Mueller, Matthias Sauer, Wolfram Burgard, Bernd Becker
**Identification of Critical Variables using an FPGA-based Fault Injection Framework**

2013*VLSI Test Symp.*, Seiten: 1 - 6 - Nikitaki Sofia, Scholl Philipp, Laerhoven Kristof, Tsakalides Panagiotis
**Localization in Wireless Networks via Laser Scanning and Bayesian Compressed Sensing**

2013*Signal Processing Advances in Wireless Communications (SPAWC), 2013 IEEE 14th Workshop on* - Nikitaki Sofia, Scholl Philipp, Laerhoven Kristof, Tsakalides Panagiotis
**Localization in Wireless Networks via Laser Scanning and Bayesian Compressed Sensing**

2013*Signal Processing Advances in Wireless Communications (SPAWC), 2013 IEEE 14th Workshop on* - Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker
**Provably Optimal Test Cube Generation Using Quantified Boolean Formula Solving**

2013*ASP Design Automation Conf.* - Karsten Scheibler, Stefan Kupferschmid, Bernd Becker
**Recent Improvements in the SMT Solver iSAT**

2013 - Kohei Miyase, Matthias Sauer, Bernd Becker, Xiaoqing Wen, Seiji Kajihara
**Search Space Reduction for Low-Power Test Generation**

2013*22nd IEEE Asian Test Symposium (ATS)* - Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám
**Stochastic Bounded Model Checking: Bounded Rewards and Compositionality**

2013 - Matthias Sauer, Jan Burchard, Tobias Schubert, Ilia Polian, Bernd Becker
**Waveform-Guided Fault Injection by Clock Manipulation**

2013*TRUDEVICE Workshop* - Scholl Philipp, Kücükyildiz Nagihan, Van Laerhoven Kristof, Laerhoven Kristof
**When Do You Light a Fire? Capturing Tobacco Use with Situated, Wearable Sensors**

2013*Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication* - Scholl Philipp, Kücükyildiz Nagihan, Van Laerhoven Kristof, Laerhoven Kristof
**When Do You Light a Fire? Capturing Tobacco Use with Situated, Wearable Sensors**

2013*Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication* - Scholl P, Kücükyildiz N, Van Laerhoven K
**When do you light a fire? capturing tobacco use with situated, wearable sensors**

2013*UbiComp 2013 Adjunct - Adjunct Publication of the 2013 ACM Conference on Ubiquitous Computing* - Scholl P, Kücükyildiz N, Van Laerhoven K
**When do you light a fire? capturing tobacco use with situated, wearable sensors**

2013*UbiComp 2013 Adjunct - Adjunct Publication of the 2013 ACM Conference on Ubiquitous Computing*

## 2012

nach oben zur Jahresübersicht- Alexander Czutro, Michael Imhof, Jie Jiang, Abdullah Mumtaz, Matthias Sauer, Bernd Becker, Ilia Polian, Hans-Joachim Wunderlich
**Variation-Aware Fault Grading**

2012*IEEE Asian Test Symp.*, Seiten: 344 - 349 - Christian Miller, Paolo Marin, Bernd Becker
**A Dynamic QBF Preprocessing Approach for the Verification of Incomplete Designs**

2012*Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion*, Band: 19 - Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
**Enhanced Integration of QBF Solving Techniques**

2012 - Linus Feiten, Matthias Sauer, Tobias Schubert, Alexander Czutro, Eberhard Böhl, Ilia Polian, Bernd Becker
**#SAT-Based Vulnerability Analysis of Security Components -- A Case Study**

2012*IEEE International Symposium on Defect and Fault Tolerance (DFT)*, Seiten: 49 - 54 - Scholl Philipp, Laerhoven Kristof
**A Feasibility Study of Wrist-Worn Accelerometer Based Detection of Smoking Habits**

2012*International Workshop on Extending Seamlessly to the Internet of Things* - Scholl Philipp, Laerhoven Kristof
**A Feasibility Study of Wrist-Worn Accelerometer Based Detection of Smoking Habits**

2012*International Workshop on Extending Seamlessly to the Internet of Things* - Scholl P, Van Laerhoven K
**A feasibility study of wrist-worn accelerometer based detection of smoking habits**

2012*Proceedings - 6th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2012* - Scholl P, Van Laerhoven K
**A feasibility study of wrist-worn accelerometer based detection of smoking habits**

2012*Proceedings - 6th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2012* - Bernd Becker, Ruediger Ehlers, Matthew Lewis, Paolo Marin
**ALLQBF Solving by Computational Learning**

2012*Automated Technology for Verification and Analysis*, Springer, Band: 7561, Seiten: 370 - 384 - Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
**Accurate Computation of Longest Sensitizable Paths using Answer Set Programming**

2012*GMM/ITG-Fachtagung “Zuverlässigkeit und Entwurf”* - Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Sudhakar M. Reddy, Bernd Becker
**Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation**

2012*Int'l Conf. on VLSI Design* - Stefan Hillebrecht, Michael Kochte, Hans-Joachim Wunderlich, Bernd Becker
**Exact Stuck-at Fault Classification in Presence of Unknowns**

2012*IEEE European Test Symp.* - Scholl P, Kohlbrecher S, Sachidananda V, Van Laerhoven K
**Fast indoor radio-map building for RSSI-based localization systems**

2012*9th International Conference on Networked Sensing Systems, INSS 2012 - Conference Proceedings* - Scholl P, Kohlbrecher S, Sachidananda V, Van Laerhoven K
**Fast indoor radio-map building for RSSI-based localization systems**

2012*9th International Conference on Networked Sensing Systems, INSS 2012 - Conference Proceedings* - Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker
**Functional Justification in Sequential Circuits using SAT and Craig Interpolation**

2012*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker
**Functional Test of Small-Delay Faults using SAT and Craig Interpolation**

2012*Int'l Test Conf.*, Seiten: 1 - 8 - Paolo Marin, Christian Miller, Bernd Becker
**Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation)**

2012*Int'l Conf. on Theory and Applications of Satisfiability Testing*, Springer, Band: 7317, Seiten: 473 - 474 - Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
**Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties**

2012 - Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
**Minimal Critical Subsystems for Discrete-Time Markov Models**

2012*Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems*, Springer-Verlag, Band: 7214, Seiten: 299 - 314 - Alexander Czutro, Matthias Sauer, Ilia Polian, Bernd Becker
**Multi-Conditional ATPG using SAT with Preferences**

2012*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Alexander Czutro, Matthias Sauer, Ilia Polian, Bernd Becker
**Multi-Conditional SAT-ATPG for Power-Droop Testing**

2012*IEEE European Test Symp.* - Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian
**On the Optimality of K Longest Path Generation Algorithm Under Memory Constraints**

2012*Conf. on Design, Automation and Test in Europe*, Seiten: 418 - 423 - Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian
**On the Quality of Test Vectors for Post-Silicon Characterization**

2012*IEEE European Test Symp.* - Alexander Czutro, Matthias Sauer, Tobias Schubert, Ilia Polian, Bernd Becker
**SAT-ATPG Using Preferences for Improved Detection of Complex Defect Mechanisms**

2012*VLSI Test Symp.* - Linus Feiten, Manuel Bührer, Sebastian Sester, Bernd Becker
**SMILE - SMARTPHONES IN LECTURES - Initiating a Smartphone-based Audience Response System as a Student Project**

2012*4th International Conference on Computer Supported Education (CSEDU)*, Seiten: 288 - 293 - Celia Kändler, Linus Feiten, Katrin Weber, Michael Wiedmann, Manuel Bührer, Sebastian Sester, Bernd Becker
**SMILE - smartphones in a university learning environment: a classroom response system**

2012*International Conference of the Learning Sciences (ICLS)*, International Society of the Learning Sciences, Band: 2, Seiten: 515 - 516 - Matthias Sauer, Alexander Czutro, Ilia Polian, Bernd Becker
**Small-Delay-Fault ATPG with Waveform Accuracy**

2012*Int'l Conf. on CAD*, Seiten: 30 - 36 - Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
**Symbolic Counterexample Generation for Discrete-time Markov Chains**

2012*Int'l Symp. on Formal Aspects of Component Software*, Springer-Verlag, Band: 7684, Seiten: 134 - 151 - Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
**The COMICS Tool - Computing Minimal Counterexamples for DTMCs**

2012*Automated Technology for Verification and Analysis*, Springer-Verlag, Band: 7561, Seiten: 349 - 353 - Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker
**Verification of Partial Designs Using Incremental QBF Solving**

2012*Conf. on Design, Automation and Test in Europe*, Seiten: 623 - 628 - Scholl P, Van Laerhoven K, Gordon D, Scholz M, Berning M
**jNode: A sensor network platform that supports distributed inertial kinematic monitoring**

2012*9th International Conference on Networked Sensing Systems, INSS 2012 - Conference Proceedings* - Scholl P, Van Laerhoven K, Gordon D, Scholz M, Berning M
**jNode: A sensor network platform that supports distributed inertial kinematic monitoring**

2012*9th International Conference on Networked Sensing Systems, INSS 2012 - Conference Proceedings*

## 2011

nach oben zur Jahresübersicht- Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian
**On the Optimality of K Longest Path Generation**

2011*Workshop on RTL and High Level Testing* - Matthias Sauer, Alexander Czutro, Ilia Polian, Bernd Becker
**Estimation of Component Criticality in Early Design Steps**

2011*IEEE Int'l Online Testing Symp.*, Seiten: 104 - 110 - Christian Miller, Christoph Scholl, Bernd Becker
**Verifying Incomplete Networks of Timed Automata**

2011 - Matthias Sauer, Victor Tomashevich, Jörg Müller, Matthew Lewis, Ilia Polian, Bernd Becker, Wolfram Burgard
**An FPGA-Based Framework for Run-time Injection and Analysis of Soft Errors in Microprocessors**

2011*IEEE Int'l Online Testing Symp.*, Seiten: 182 - 185 - Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
**Bounded Fairness for Probabilistic Distributed Algorithms**

2011*Int'l Conf. on Application of Concurrency to System Design*, IEEE Computer Society, Seiten: 89 - 97 - Christian Miller, Karina Gitina, Bernd Becker
**Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas**

2011*Int'l Workshop on Microprocessor Test and Verification*, Seiten: 22 - 27 - Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
**Counterexample Generation for Markov Chains using SMT-based Bounded Model Checking**

2011*IFIP Int'l Conf. on Formal Methods for Open Object-based Distributed Systems*, Springer-Verlag, Band: 6722, Seiten: 75 - 89 - Stefan Kupferschmid, Bernd Becker
**Craig interpolation in the presence of non-linear constraints**

2011*Formal Modeling and Analysis of Timed Systems*, Springer, Seiten: 240 - 255 - Stefan Kupferschmid, Bernd Becker
**Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen**

2011 OFFIS-Institut für Informatik, Seiten: 279 - 288 - Matthias Sauer, Jie Jiang, Alexander Czutro, Ilia Polian, Bernd Becker
**Efficient SAT-Based Search for Longest Sensitisable Paths**

2011*Test Symposium (ATS), 2011 20th Asian*, Seiten: 108 - 113 - Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
**Hierarchical Counterexamples for Discrete-Time Markov Chains**

2011*Int'l Symp. on Automated Technology for Verification and Analysis*, Springer-Verlag, Band: 6996, Seiten: 443 - 452 - Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
**Integration of Orthogonal QBF Solving Techniques**

2011*Conf. on Design, Automation and Test in Europe*, Seiten: 149 - 154 - Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid
**Integration of an LP solver into interval constraint propagation**

2011*Int'l Conf. on Combinatorial optimization and applications*, Springer, Seiten: 343 - 356 - Kortuem Gerd, Kawsar Fahim, Scholl Philipp, Beigl Michael, Simeone Adalberto, Smith Kevin
**Miniaturized Display Network for Situated Glyphs**

2011*Demo Paper at The Ninth International Conference on Pervasive Computing* - Kortuem Gerd, Kawsar Fahim, Scholl Philipp, Beigl Michael, Simeone Adalberto, Smith Kevin
**Miniaturized Display Network for Situated Glyphs**

2011*Demo Paper at The Ninth International Conference on Pervasive Computing* - Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle
**Proof Certificates and Non-linear Arithmetic Constraints**

2011*IEEE Design and Diagnostics of Electronic Circuits and Systems*, Seiten: 429 - 434 - Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker
**Reachability Analysis for Incomplete Networks of Markov Decision Processes**

2011*Int'l Conf. on Formal Methods and Models for Co-Design*, IEEE Computer Society Press, Seiten: 151 - 160 - Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
**SAT-Based Analysis of Sensitisable Paths**

2011*IEEE Design and Diagnostics of Electronic Circuits and Systems*, Seiten: 93 - 98 - Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
**SMT-based Counterexample Generation for Markov Chains**

2011 - Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
**Superposition modulo non-linear arithmetic**

2011*Int'l Symp. on Frontiers of Combining Systems*, Springer, Seiten: 119 - 134

## 2010

nach oben zur Jahresübersicht- Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker
**Bounded Model Checking of Incomplete Networks of Timed Automata**

2010*Int'l Workshop on Microprocessor Test and Verification*, IEEE Computer Society, Band: 11, Seiten: 61 - 66 - Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
**Incremental Preprocessing Methods for use in BMC**

2010*Int'l Workshop on Hardware Verification* - Christian Miller, Stefan Kupferschmid, Bernd Becker
**Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs**

2010 - Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
**SAT modulo BDD - A Combined Verification Approach for Incomplete Designs**

2010 - Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
**A Model Checker for AADL**

2010*Int'l Conf. on CAV*, Springer-Verlag, Band: 6174, Seiten: 562 - 565 - Paolo Marin, Enrico Giunchiglia, Massimo Narizzano
**Conflict and Solution Driven Constraint Learning in QBF**

2010*Doctoral Programme CP 2010* - Ralf Wimmer, Bernd Becker
**Correctness Issues of Symbolic Bisimulation Computation for Markov Chains**

2010*Int'l GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”*, Springer-Verlag, Band: 5987, Seiten: 287 - 301 - Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
**DTMC Model Checking by SCC Reduction**

2010*Int'l Conf. on Quantitative Evaluation of Systems*, IEEE Computer Society, Seiten: 37 - 46 - Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
**Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs**

2010*Theory and Applications of Satisfiability Testing*, Springer, Seiten: 194 - 208 - Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker
**Exploiting Different Strategies for the Parallelization of an SMT Solver**

2010 - Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver Theel
**Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems**

2010*Int'l Conf. on Quantitative Evaluation of Systems*, IEEE Computer Society, Seiten: 27 - 36 - Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich
**Variation-Aware Fault Modeling**

2010*IEEE Asian Test Symp.*, Seiten: 87 - 93 - Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
**sQueezeBF: An effective preprocessor for QBFs**

2010*Theory and Applications of Satisfiability Testing*, Springer Verlag, Band: 6175, Seiten: 85 - 98

## 2009

nach oben zur Jahresübersicht- Alexander Czutro, Ilia Polian, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
**Dynamic Compaction in SAT-Based ATPG**

2009*IEEE Asian Test Symp.* - Alexander Czutro, Bernd Becker, Ilia Polian
**Performance Evaluation of SAT-Based ATPG on Multi-Core Architectures**

2009*IEEE East-West Design & Test Symposium* - Marc Hunger, Sybille Hellebrand, Alexander Czutro, Ilia Polian, Bernd Becker
**Robustheitsanalyse stark fehlersicherer Schaltungen mit SAT-basierter Testmustererzeugung**

2009*GMM/ITG-Fachtagung “Zuverlässigkeit und Entwurf”* - Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker
**Picoso - A Parallel Interval Constraint Solver**

2009*Int'l Conf. on Parallel and Distributed Processing Techniques and Applications*, CSREA Press, Seiten: 473 - 479 - Marc Hunger, Sybille Hellebrand, Alejandro Czutro, Ilia Polian, Bernd Becker
**ATPG-Based Grading of Strong Fault-Secureness**

2009*IEEE Int'l Online Testing Symp.* - Nicolas Houarche, Alejandro Czutro, Mariane Comte, Piet Engelke, Ilia Polian, Bernd Becker, Michel Renovell
**An Electrical Model for the Fault Simulation of Small-Delay Faults Caused by Crosstalk Aggravated Resistive Short Defects**

2009*VLSI Test Symp.* - Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
**Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints**

2009*Tools and Algorithms for the Construction and Analysis of Systems*, Springer, Band: 5505, Seiten: 383 - 397 - Nicolas Houarche, Alejandro Czutro, Mariane Comte, Piet Engelke, Ilia Polian, Bernd Becker, Michel Renovell
**Deriving an Electrical Model for Delay Faults Caused by Crosstalk Aggravated Resistive Short Defects**

2009*Latin-American Test Workshop* - Alejandro Czutro, Bernd Becker, Ilia Polian
**Performance Evaluation of SAT-Based Automatic Test Pattern Generation on Multi-Core Architectures**

2009*GI/ITG Int'l Conf. on Architecture of Computing Systems, Many-Cores Workshop* - Christian Miller, Tobias Nopper, Christoph Scholl
**Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions**

2009 - Alejandro Czutro, Bernd Becker, Ilia Polian
**Performance Evaluation of SAT-Based ATPG on Multi-Core Architectures**

2009*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
**TIGUAN: Thread-parallel Integrated test pattern Generator Utilizing satisfiability ANalysis**

2009*Int'l Conf. on VLSI Design*, Seiten: 227 - 232 - V. Izosimov, Ilia Polian, P. Pop, P. Eles, Z. Peng
**Analysis and optimization of fault-tolerant embedded systems with hardened processors**

2009*Conf. on Design, Automation and Test in Europe* - Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
**Challenges in Constraint-Based Analysis of Hybrid Systems**

2009*Recent Advances in Constraints*, Springer, Band: 5655, Seiten: 51 - 65 - Paolo Marin, Matthew Lewis, Massimo Narizzano, Tobias Schubert, Enrico Giunchiglia, Bernd Becker
**Comparison of Knowledge Sharing Strategies in a Parallel QBF Solver**

2009*High-Performance Computing and Simulation Conference*, Seiten: 161 - 167 - Ralf Wimmer, Bettina Braitling, Bernd Becker
**Counterexample Generation for Discrete-time Markov Chains using Bounded Model Checking**

2009*Int'l Conf. on Verification, Model Checking and Abstract Interpretation*, Springer-Verlag, Band: 5403, Seiten: 366 - 380 - Matthew Lewis, Tobias Schubert, Bernd Becker
**DPLL-based Reasoning in a Multi-Core Environment**

2009*Int'l Workshop on Microprocessor Test and Verification* - Abhishek Dhama, Oliver Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
**Dependability Engineering of Silent Self-Stabilizing Systems**

2009*Int'l Symp. on Stabilization, Safety, and Security of Distributed Systems*, Springer-Verlag, Band: 5873, Seiten: 238 - 253 - Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
**Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver**

2009*RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion* - Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
**PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing**

2009*Int'l Conf. on Theory and Applications of Satisfiability Testing*, Band: 5584, Seiten: 509 - 523 - Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle
**Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae**

2009 - Matthew Lewis, Tobias Schubert, Bernd Becker
**QMiraXT - A Multithreaded QBF Solver**

2009 - Stefan Hillebrecht, Ilia Polian, P. Ruther, S. Herwik, Bernd Becker, Oliver Paul
**Reliability Characterization of Interconnects in CMOS Integrated Circuits Under Mechanical Stress**

2009*Int'l Reliability Physics Symp.*

## 2008

nach oben zur Jahresübersicht- Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
**Using an SMT Solver and Craig Interpolation to Detect and Remove Redundant Linear Constraints in Representations of Non-Convex Polyhedra**

2008*Int'l Workshop on Satisfiability Modulo Theories*, Seiten: 18 - 26 - Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
**Challenges in Constraint-based Analysis of Hybrid Systems**

2008*ERCIM Workshop on Constraint Solving and Constraint Logic Programming* - 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**

2008*IEEE European Test Symp.*, Seiten: 113 - 118 - Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
**TIGUAN: Thread-parallel Integrated test pattern Generator Utilizing satisfiability ANalysis**

2008*edaWorkshop* - Damian Nowroth, Ilia Polian, Bernd Becker
**A Study of Cognitive Resilience in a JPEG Compressor**

2008*Int'l Conf. on Dependable Systems and Networks*, Seiten: 32 - 41 - Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
**An Effective Preprocessor for QBF pre-reasoning**

2008*Int'l Workshop on Quantification in Constraint Programming* - Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng
**Automatic Test Pattern Generation for Interconnect Open Defects**

2008*VLSI Test Symp.*, Seiten: 181 - 186 - Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng
**Automatic Test Pattern Generation for Interconnect Open Defects**

2008*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Ilia Polian, Yusuke Nakamura, Piet Engelke, Stefan Hillebrecht, Kohei Miyase, Seiji Kajihara, Bernd Becker, Xiaoqing Wen
**Diagnose realistischer Defekte mit Hilfe des X-Fehlermodells**

2008*GMM/GI/ITG Reliability and Design Conf.*, Seiten: 155 - 156 - Ilia Polian, Yusuke Nakamura, Piet Engelke, Stefan Spinner, Kohei Miyase, Seiji Kajihara, Bernd Becker, Xiaoqing Wen
**Diagnosis of Realistic Defects Based on the X-Fault Model**

2008*IEEE Design and Diagnostics of Electronic Circuits and Systems*, Seiten: 263 - 268 - 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**

2008*Int'l Test Conf.*, Seiten: 1 - 10 - Thomas Eschbach, Bernd Becker
**Interactive Circuit Diagram Visualization**

2008*Computer Graphics and Imaging*, ACTA Press, Seiten: 218 - 223 - Ilia Polian, Sudhakar M. Reddy, Irith Pomeranz, X. Tang, Bernd Becker
**No Free Lunch in Error Protection?**

2008*Workshop on Dependable and Secure Nanocomputing* - Ilia Polian, Sudhakar M. Reddy, Irith Pomeranz, X. Tang, Bernd Becker
**On Reducing Circuit Malfunctions Caused by Soft Errors**

2008*Int'l Symp. on Defect and Fault Tolerance*, Seiten: 245 - 253 - Riedel T, Scholl P, Decker C, Berehtold M, Beigl M
**Pluggable real world interfaces physically enabled code deployment for networked sensors**

2008*Proceedings of INSS 2008 - 5th International Conference on Networked Sensing Systems* - Riedel T, Scholl P, Decker C, Berehtold M, Beigl M
**Pluggable real world interfaces physically enabled code deployment for networked sensors**

2008*Proceedings of INSS 2008 - 5th International Conference on Networked Sensing Systems* - Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
**Probabilistic Model Checking and Reliability of Results**

2008*IEEE Design and Diagnostics of Electronic Circuits and Systems*, IEEE Computer Science Press, Seiten: 207 - 212 - Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
**Propositional Approximations for Bounded Model Checking of Partial Circuit Designs**

2008*IEEE Int'l Conf. on Computer Design*, IEEE Computer Society Press, Seiten: 52 - 59 - Piet Engelke, Ilia Polian, Jürgen Schlöffel, Bernd Becker
**Resistive Bridging Fault Simulation of Industrial Circuits**

2008*Conf. on Design, Automation and Test in Europe*, Seiten: 628 - 633 - Piet Engelke, Ilia Polian, Jürgen Schlöffel, Bernd Becker
**Resistive Bridging Fault Simulation of Industrial Circuits**

2008*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Ilia Polian, Sudhakar M. Reddy, Bernd Becker
**Scalable Calculation of Logical Masking Effects for Selective Hardening Against Soft Errors**

2008*IEEE Int'l Symp. on VLSI*, Seiten: 257 - 262 - Christian G. Zoellin, Hans-Joachim Wunderlich, Ilia Polian, Bernd Becker
**Selective Hardening in Early Design Steps**

2008*IEEE European Test Symp.*, Seiten: 185 - 190 - Ilia Polian, W. Rao
**Selective Hardening of NanoPLA Circuits**

2008*Int'l Symp. on Defect and Fault Tolerance*, Seiten: 263 - 271 - Ralf Wimmer, Salem Derisavi, Holger Hermanns
**Symbolic Partition Refinement with Dynamic Balancing of Time and Space**

2008*Int'l Conf. on Quantitative Evaluation of Systems*, IEEE Computer Science Press, Seiten: 65 - 74 - Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
**The Demand for Reliability in Probabilistic Verification**

2008 - Jochen Eisinger
**Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic**

2008*EACSL Annual Conf. on Computer Science Logic*, Springer-Verlag, Seiten: 430 - 444

## 2007

nach oben zur Jahresübersicht- Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde
**On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata**

2007*IEEE Design and Diagnostics of Electronic Circuits and Systems*, IEEE Computer Society, Seiten: 391 - 396 - Matthew Lewis, Tobias Schubert, Bernd Becker
**Multithreaded SAT Solving**

2007*ASP Design Automation Conf.*, Seiten: 926 - 921 - Stefan Spinner, Ilia Polian, Bernd Becker, P. Ruther, Oliver Paul
**A System for the Calibration and Reliability Testing of MEMS Devices Under Mechanical Stress**

2007*VDE Microsystem Technology Congress*, Seiten: 861 - 864 - John P. Hayes, Ilia Polian, Bernd Becker
**An Analysis Framework for Transient-Error Tolerance**

2007*VLSI Test Symp.*, Seiten: 249 - 255 - Marc Herbstritt, Vanessa Struve, Bernd Becker
**Application of Lifting in Partial Design Analysis**

2007*Int'l Workshop on Microprocessor Test and Verification*, IEEE Computer Society, Seiten: 33 - 38 - Tobias Nopper, Christoph Scholl, Bernd Becker
**Computation of Minimal Counterexamples by Using Black Box Techniques and Symbolic Methods**

2007*IEEE Int'l Conf. on Computer-Aided Design*, IEEE Computer Society Press, Seiten: 273 - 280 - Ilia Polian, John P. Hayes, Bernd Becker
**Cost-Efficient Circuit Hardening Based on Critical Soft Error Rate**

2007*IEEE Workshop on RTL ATPG and DfT* - Ilia Polian, John P. Hayes, Damian Nowroth, Bernd Becker
**Ein kostenbegrenzter Ansatz zur Reduktion der transienten Fehlerrate**

2007*GMM/GI/ITG Reliability and Design Conf.*, Seiten: 183 - 184 - Ralf Wimmer, Marc Herbstritt, Bernd Becker
**Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation**

2007 - Ilia Polian, Hideo Fujiwara
**Functional Constraints vs. Test Compression in Scan-Based Delay Testing**

2007*Conf. on Design, Automation and Test in Europe*, Band: 23, Nummer: 5, Seiten: 445 - 455 - Decker C, Riedel T, Berchtold M, Scholl P, Isomura M, Beigl M, Röhr D, Beuster M
**Geocoding sensor networks**

2007*4th International Conference on Networked Sensing Systems, INSS* - Decker C, Riedel T, Berchtold M, Scholl P, Isomura M, Beigl M, Röhr D, Beuster M
**Geocoding sensor networks**

2007*4th International Conference on Networked Sensing Systems, INSS* - Decker C, Riedel T, Scholl P, Krohn A, Beigl M
**Graphically geo-coding of sensor system information**

2007*4th International Conference on Networked Sensing Systems, INSS* - Decker C, Riedel T, Scholl P, Krohn A, Beigl M
**Graphically geo-coding of sensor system information**

2007*4th International Conference on Networked Sensing Systems, INSS* - Ilia Polian, Damian Nowroth, Bernd Becker
**Identification of Critical Errors in Imaging Applications**

2007*Int'l On-Line Test Symp.*, Seiten: 201 - 202 - Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
**LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals**

2007*Int'l Conf. on CAV*, Springer-Verlag, Seiten: 312 - 315 - Christian Dax, Jochen Eisinger, Felix Klaedtke
**Mechanizing the Powerset Construction for Restricted Classes of omega-Automata**

2007*Int'l Symp. on Automated Technology for Verification and Analysis*, Springer-Verlag, Band: 4762, Seiten: 223 - 236 - Marc Herbstritt, Bernd Becker
**On Combining 01X-Logic and QBF**

2007*Int'l Conf. on Computer Aided Systems Theory*, Springer Verlag, Seiten: 531 - 538 - Ralf Wimmer, Marc Herbstritt, Bernd Becker
**Optimization Techniques for BDD-based Bisimulation Minimization**

2007*Great Lakes Symp. on VLSI*, ACM Press, Seiten: 405 - 410 - Bernd Becker, Jochen Eisinger, Felix Klaedtke
**Parallelization of Decision Procedures for Automatic Structures**

2007*Workshop on Omega-Automata* - Piet Engelke, Bettina Braitling, Ilia Polian, Michel Renovell, Bernd Becker
**SUPERB: Simulator Utilizing Parallel Evaluation of Resistive Bridges**

2007*IEEE Asian Test Symp.*, Seiten: 433 - 438 - Stefan Spinner, Jie Jiang, Ilia Polian, Piet Engelke, Bernd Becker
**Simulating Open-Via Defects**

2007*IEEE Asian Test Symp.*, Seiten: 265 - 270 - Bernd Becker, Ilia Polian, Sybille Hellebrand, Bernd Straube, Hans-Joachim Wunderlich
**Test und Zuverlässigkeit Nanoelektronischer Systeme**

2007*GMM/GI/ITG Reliability and Design Conf.*, Seiten: 139 - 140

## 2006

nach oben zur Jahresübersicht- Ralf Wimmer, Tobias Nopper, Marc Herbstritt, Christoph Löffler, Bernd Becker
**Collaborative Exercise Management**

2006*World Conf. on E-Learning in Corporate, Government, Healthcare, and Higher Education*, Association for the Advancement of Computing in Education (AACE), Seiten: 3127 - 3134 - Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker
**Power Droop Testing**

2006*Int'l Conf. on Computer Design*, Seiten: 243 - 250 - Michel Renovell, Mariane Comte, Ilia Polian, Piet Engelke, Bernd Becker
**Analyzing the memory effect of resistive open in CMOS random logic**

2006*Int'l Conf. on Design and Test of Integrated Systems in Nanoscale Technology*, Seiten: 251 - 256 - Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
**Memory-aware Bounded Model Checking for Linear Hybrid Systems**

2006 - Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Jochen Eisinger, Ilia Polian, Bernd Becker
**A Definition and Classification of Timing Anomalies**

2006*Int'l Workshop on Worst-Case Execution Time* - John P. Hayes, Ilia Polian, Bernd Becker
**A Model for Transient Faults in Logic Circuits**

2006*Int'l Design and Test Workshop* - Michel Renovell, Mariane Comte, Ilia Polian, Piet Engelke, Bernd Becker
**A Specific ATPG technique for Resistive Open with Sequence Recursive Dependency**

2006*IEEE Asian Test Symp.*, Seiten: 273 - 278 - Stefan Spinner, M. Doelle, P. Ruther, Ilia Polian, Oliver Paul, Bernd Becker
**A System for Electro-Mechanical Reliability Testing of MEMS Devices**

2006*Int'l Symp. for Testing and Failure Analysis*, Seiten: 147 - 152 - Erika Ábrahám, Andreas Grüner, Martin Steffen
**Abstract Interface Behavior of Object-Oriented Languages with Monitors**

2006*IFIP Int'l Conf. on Formal Methods for Open Object-based Distributed Systems*, Springer-Verlag, Band: 4036, Seiten: 218 - 232 - Marc Herbstritt, Bernd Becker, Christoph Scholl
**Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs**

2006*Int'l Workshop on Microprocessor Test and Verification*, IEEE Computer Society, Seiten: 37 - 44 - Sandip Kundu, Ilia Polian
**An Improved Technique for Reducing False Alarms Due to Soft Errors**

2006*Int'l On-Line Test Symp.*, Seiten: 105 - 110 - 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**

2006*IEEE Design and Diagnostics of Electronic Circuits and Systems*, IEEE Computer Society, Seiten: 15 - 20 - Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
**Bounded Model Checking with Parametric Data Structures**

2006*BMC*, Band: 174, Nummer: 3, Seiten: 3 - 16 - Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
**Compositional Performability Evaluation for STATEMATE**

2006*Int'l Conf. on Quantitative Evaluation of Systems*, IEEE Computer Society, Seiten: 167 - 178 - Piet Engelke, Ilia Polian, Hans Manhaeve, Michel Renovell, Bernd Becker
**Delta-IddQ Testing of Resistive Short Defects**

2006*IEEE Asian Test Symp.*, Seiten: 63 - 68 - Jochen Eisinger, Felix Klaedtke
**Don't Care Words with an Application to the Automata-based Approach for Real Addition**

2006*Conf. on Computer Aided Verification*, Band: 4144, Seiten: 67 - 80 - Stefan Spinner, J. Bartholomeyczik, Bernd Becker, M. Doelle, Oliver Paul, Ilia Polian, P. Roth, K. Seitz, P. Ruther
**Electromechanical Reliability Testing of Three-Axial Force Sensors**

2006*Design, Test, Integration and Packaging of MEMS/MOEMS*, Seiten: 77 - 82 - Piet Engelke, Ilia Polian, Hans Manhaeve, Bernd Becker
**IddQ Testing of Resistive Bridging Defects**

2006*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”*, Seiten: 123 - 124 - Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
**Inductive Proof Outlines for Exceptions in Multithreaded Java**

2006*IPM Int'l Workshop on Foundations of Software Engineering*, Band: 159, Seiten: 281 - 279 - Martin Fränzle, Christian Herde, S. Ratschan, Tobias Schubert, Tino Teige
**Interval Constraint Solving Using Propositional SAT Solving Techniques**

2006*Int'l Workshop on the Integration of SAT and CP Techniques*, Seiten: 81 - 95 - Ilia Polian, Bernd Becker, M. Nakasato, S. Ohtake, Hideo Fujiwara
**Low-Cost Hardening of Image Processing Applications Against Soft Errors**

2006*Int'l Symp. on Defect and Fault Tolerance*, Seiten: 274 - 279 - Ralf Wimmer, Marc Herbstritt, Bernd Becker
**Minimization of Large State Spaces using Symbolic Branching Bisimulation**

2006*IEEE Design and Diagnostics of Electronic Circuits and Systems*, IEEE Computer Society Press, Seiten: 9 - 14 - Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
**Parallel SAT-Solving in Bounded Model Checking**

2006*Int'l Workshop on Parallel and Distributed Methods in Verification*, Springer-Verlag, Band: 4346, Seiten: 301 - 315 - Ilia Polian, Bernd Becker, M. Nakasato, S. Ohtake, Hideo Fujiwara
**Period of Grace: A New Paradigm for Efficient Soft Error Hardening**

2006*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Stefan Spinner, J. Bartholomeyczik, Bernd Becker, M. Doelle, Oliver Paul, Ilia Polian, R. Roth, K. Seitz, P. Ruther
**Reliability Testing of Three-Dimensional Silicon Force Sensors**

2006*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
**Sigref - A Symbolic Bisimulation Tool Box**

2006*Int'l Symp. on Automated Technology for Verification and Analysis*, Springer-Verlag, Band: 4218, Seiten: 477 - 492

## 2005

nach oben zur Jahresübersicht- Marc Herbstritt, Bernd Becker
**On SAT-based Bounded Invariant Checking of Blackbox Designs**

2005*Int'l Workshop on Microprocessor Test and Verification*, IEEE Computer Society, Seiten: 23 - 28 - Martina Welte, Thomas Eschbach, Bernd Becker
**Automated Text Extraction And Indexing Of Video Presentation Recordings For Keyword Search Via A Web Interface**

2005*Workshop eLectures - Einsatzmöglichkeiten, Herausforderungen und Forschungsperspektiven*, Logos Verlag Berlin - Matthew Lewis, Tobias Schubert, Bernd Becker
**Speedup Techniques Utilized in Modern SAT Solvers - An Analysis in the MIRA Environment**

2005*Theory and Applications of Satisfiability Testing*, Springer, Band: 3569, Seiten: 437 - 443 - Ilia Polian, Alejandro Czutro, Bernd Becker
**Evolutionary Optimization in Code-Based Test Compression**

2005*Conf. on Design, Automation and Test in Europe*, Seiten: 1124 - 1129 - John P. Hayes, Ilia Polian, Thomas Fiehn, Bernd Becker
**A Family of Logical Fault Models for Reversible Circuits**

2005*IEEE European Test Symp.*, Seiten: 65 - 70 - Ilia Polian, John P. Hayes, Thomas Fiehn, Bernd Becker
**A Family of Logical Fault Models for Reversible Circuits**

2005*IEEE Asian Test Symp.*, Seiten: 422 - 427 - Sandip Kundu, Matthew Lewis, Ilia Polian, Bernd Becker
**A Soft Error Emulation System for Logic Circuits**

2005*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”*, Seiten: 10 - 14 - Sandip Kundu, Matthew Lewis, Ilia Polian, Bernd Becker
**A Soft Error Emulation System for Logic Circuits**

2005*Conf. on Design of Circuits and Integrated Systems*, Seite: 137 - M. Doelle, Stefan Spinner, P. Ruther, Ilia Polian, Oliver Paul, Bernd Becker
**A System for Determining the Impact of Mechanical Stress on the Reliability of MEMS**

2005*IEEE European Test Symp.*, Seiten: 57 - 61 - M. Doelle, Stefan Spinner, P. Ruther, Ilia Polian, Oliver Paul, Bernd Becker
**A System for Determining the Impact of Mechanical Stress on the Reliability of MEMS**

2005*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”*, Seiten: 88 - 89 - Tobias Schubert, Bernd Becker
**Accelerating Boolean SAT Engines Using Hyper-Threading Technology**

2005*Asian Applied Computing Conf.* - Gang Chen, Sudhakar M. Reddy, Irith Pomeranz, Janusz Rajski, Piet Engelke, Bernd Becker
**An Unified Fault Model and Test Generation Procedure for Interconnect Opens and Bridges**

2005*IEEE European Test Symp.*, Seiten: 22 - 27 - Martina Welte, Thomas Eschbach, Bernd Becker
**Automated Text Extraction And Indexing Of Video Presentation Recordings For Keyword Search Via A Web Interface**

2005*AACE World Conf. on E-Learning in Corporate, Government, Healthcare, and Higher Education*, AACE Press, Seiten: 3200 - 3205 - Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer
**BDDs in a Branch & Cut Framework**

2005*Int'l Workshop on Efficient and Experimental Algorithms*, Springer Verlag, Band: 3503, Seiten: 452 - 463 - Ilia Polian, Hideo Fujiwara
**Functional Constraints vs. Test Compression in Scan-Based Delay Testing**

2005*IEEE Int'l GHz/Gbps Test Workshop*, Seiten: 91 - 100 - Tobias Schubert, Bernd Becker
**Knowledge Sharing in a Microcontroller based Parallel SAT Solver**

2005*Int'l Conf. on Parallel and Distributed Processing Techniques and Applications* - Tobias Schubert, Bernd Becker
**Lemma Exchange in a Microcontroller based Parallel SAT Solver**

2005*IEEE Int'l Symp. on VLSI* - Sandip Kundu, Piet Engelke, Ilia Polian, Bernd Becker
**On Detection of Resistive Bridging Defects by Low-Temperature and Low-Voltage Testing**

2005*IEEE Asian Test Symp.*, Seiten: 266 - 269 - Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
**Optimizing bounded model checking for linear hybrid systems**

2005*Int'l Conf. on Verification, Model Checking and Abstract Interpretation*, Springer-Verlag, Band: 3385, Seiten: 396 - 412 - Thomas Eschbach, Wolfgang Günther, Bernd Becker
**Orthogonal Circuit Visualization Improved by Merging the Placement and Routing Phases**

2005*Int'l Conf. on VLSI Design*, Seiten: 433 - 438 - Tobias Schubert, Bernd Becker, Matthew Lewis
**PaMira - A Parallel SAT Solver with Knowledge Sharing**

2005*Int'l Workshop on Microprocessor Test and Verification*, IEEE Computer Society, Band: 00, Seiten: 29 - 36 - Ilia Polian, Sandip Kundu, Jean-Marc Galliere, Piet Engelke, Michel Renovell, Bernd Becker
**Resistive Bridge Fault Model Evolution From Conventional to Ultra Deep Submicron Technologies**

2005*VLSI Test Symp.*, Seiten: 343 - 348 - Jochen Eisinger, Peter Winterer, Bernd Becker
**Securing Wireless Networks in a University Environment**

2005*IEEE Int'l Conf. on Pervasive Computing and Communications Workshops*, IEEE Computer Society, Seiten: 312 - 316 - Piet Engelke, Valentin Gherman, Ilia Polian, Yuyi Tang, Hans-Joachim Wunderlich, Bernd Becker
**Sequence Length, Area Cost and Non-Target Defect Coverage Tradeoffs in Deterministic Logic BIST**

2005*IEEE Design and Diagnostics of Electronic Circuits and Systems*, Seiten: 43 - 48 - Piet Engelke, Valentin Gherman, Ilia Polian, Yuyi Tang, Hans-Joachim Wunderlich, Bernd Becker
**Sequence Length, Area Cost and Non-Target Defect Coverage Tradeoffs in Deterministic Logic BIST**

2005*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”*, Seiten: 16 - 20 - Piet Engelke, Valentin Gherman, Ilia Polian, Yuyi Tang, Hans-Joachim Wunderlich, Bernd Becker
**Sequence Length, Area Cost and Non-Target Defect Coverage Tradeoffs in Deterministic Logic BIST**

2005*IEEE Int'l Workshop on Current and Defect-Based Testing*, Seiten: 43 - 48 - Ilia Polian, John P. Hayes, Sandip Kundu, Bernd Becker
**Transient Fault Characterization in Dynamic Noisy Environments**

2005*Int'l Test Conf.*, Seiten: 10 pp. - 1048

## 2004

nach oben zur Jahresübersicht- Marc Herbstritt, Thomas Kmieciak, Bernd Becker
**On the Impact of Structural Circuit Partitioning on SAT-based Combinational Circuit Verification**

2004*Int'l Workshop on Microprocessor Test and Verification*, IEEE Computer Society, Seiten: 50 - 55 - Ilia Polian, Bernd Becker, Alejandro Czutro
**Compression Methods for Path Delay Fault Test Pair Sets: A Comparative Study**

2004*IEEE European Test Symp.*, Seiten: 263 - 264 - Matthew Lewis, Tobias Schubert, Bernd Becker
**Early Conflict Detection Based BCP for SAT Solving**

2004*Int'l Conf. on Theory and Applications of Satisfiability Testing*, Seiten: 29 - 36 - Yuyi Tang, Hans-Joachim Wunderlich, Harald Vranken, Friedrich Hapke, Michael Wittke, Piet Engelke, Ilia Polian, Bernd Becker
**X-masking during logic BIST and its impact on defect coverage**

2004*IEEE Int'l Workshop on Test Resource Partitioning*, Seiten: 442 - 451 - Tobias Schubert, Bernd Becker
**A Distributed SAT Solver for Microchip Microcontroller**

2004*Workshop on Parallel Systems and Algorithms* - Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
**Automatic test pattern generation for resistive bridging faults**

2004*IEEE European Test Symp.*, Seiten: 160 - 165 - Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
**Automatic test pattern generation for resistive bridging faults**

2004*IEEE Int'l Workshop on Current and Defect-Based Testing*, Seiten: 89 - 94 - Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
**Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems**

2004 - Matthew Lewis, Tobias Schubert, Bernd Becker
**Early Conflict Detection Based SAT Solving**

2004 - Thomas Eschbach, Wolfgang Günther, Bernd Becker
**Orthogonal Hypergraph Routing for Improved Visibility**

2004*Great Lakes Symp. on VLSI*, Seiten: 385 - 388 - Tobias Schubert, Bernd Becker
**PICHAFF2 - A Hierarchical Parallel SAT Solver**

2004*Int'l Workshop on Microprocessor Test and Verification* - Tobias Schubert, Bernd Becker
**Parallel SAT Solving with Microcontrollers**

2004*Asian Applied Computing Conf.* - Thomas Eschbach, Rolf Drechsler, Bernd Becker
**Placement and Routing Optimization for Circuits Derived from BDDs**

2004*IEEE Int'l Symp. on Circuits and Systems*, Seiten: V229 - V232 - John P. Hayes, Ilia Polian, Bernd Becker
**Testing for Missing-Gate Faults in Reversible Circuits**

2004*IEEE Asian Test Symp.*, Seiten: 100 - 105 - Piet Engelke, Ilia Polian, Michel Renovell, Bharath Seshadri, Bernd Becker
**The Pros and Cons of Very-Low-Voltage Testing: An Analysis Based on Resistive Short Defects**

2004*VLSI Test Symp.*, Seiten: 171 - 178 - Piet Engelke, Ilia Polian, Michel Renovell, Bharath Seshadri, Bernd Becker
**The Pros and Cons of Very-Low-Voltage Testing: An Analytical View**

2004*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”*, Seiten: 149 - 153 - Yuyi Tang, Hans-Joachim Wunderlich, Harald Vranken, Friedrich Hapke, Michael Wittke, Piet Engelke, Ilia Polian, Bernd Becker
**X-masking during logic BIST and its impact on defect coverage**

2004*Int'l Test Conf.*, Seiten: 442 - 451

## 2003

nach oben zur Jahresübersicht- Tobias Schubert, Bernd Becker
**PICHAFF: A Distributed SAT Solver for Microcontrollers**

2003*Euromicro Conf.* - Thomas Eschbach, Wolfgang Günther, Bernd Becker
**Crossing Reduction for Orthogonal Circuit Visualization**

2003*Int'l Conf. on VLSI*, CSREA Press, Seiten: 107 - 113 - Matthew Lewis, S. Simmons
**A VLSI Implementation of a Cryptographic Processor**

2003*CCECE*, Band: 2, Seiten: 821 - 826 - Marc Herbstritt, Bernd Becker
**Conflict-based Selection of Branching Rules**

2003*Int'l Conf. on Theory and Applications of Satisfiability Testing*, Springer, Band: 2919, Seiten: 441 - 451 - Marc Herbstritt, Bernd Becker
**Conflict-based Selection of Branching Rules in SAT-Algorithms**

2003 - Tobias Schubert, Bernd Becker
**A Hardware Lab Anywhere At Anytime**

2003*Int'l Conf. on Education and Information Systems: Technologies and Applications*, Seiten: 130 - 135 - Andreas Hett, Tobias Schubert
**A Hardware Lab in a Pocket**

2003*World Conf. on E-Learning in Corporate, Government, Healthcare, and Higher Education* - Tobias Schubert, Andreas Hett
**A Hardware Lab in a Pocket**

2003*Int'l Conf. on Multimedia and Information and Communication Technologies in Education* - Ilia Polian, Bernd Becker
**Configuring MISR-Based Two-Pattern BIST Using Boolean Satisfiability**

2003*IEEE Design and Diagnostics of Electronic Circuits and Systems*, Seiten: 73 - 80 - Tobias Schubert, Bernd Becker
**Das Mobile Hardware-Praktikum**

2003*European Conf. on Media in Higher Education* - Ilia Polian, Bernd Becker, Sudhakar M. Reddy
**Evolutionary Optimization of Markov Sources for Pseudo Random Scan BIST**

2003*Conf. on Design, Automation and Test in Europe*, Seiten: 1184 - 1185 - Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker
**Modelling Feedback Bridging Faults With Non-Zero Resistance**

2003*European Test Workshop*, Seiten: 91 - 96 - Ilia Polian, Bernd Becker
**Reducing ATE Cost in System-on-Chip**

2003*IFIP VLSI-SoC*, Seiten: 337 - 342 - Ilia Polian, Bernd Becker
**Reducing ATE Cost in System-on-Chip Test**

2003*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”*, Seiten: 34 - 37 - Ilia Polian, Bernd Becker
**Reducing ATE Cost in System-on-Chip Test**

2003*IEEE Int'l Workshop on Test Resource Partitioning* - Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
**Simulating Resistive Bridging Faults**

2003*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”*, Seiten: 92 - 97 - Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
**Simulating Resistive Bridging and Stuck-At Faults**

2003*Int'l Test Conf.*, Seiten: 1051 - 1059 - Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
**Simulating Resistive Bridging and Stuck-at Faults**

2003*IEEE Int'l Workshop on Current and Defect-Based Testing*, Seiten: 49 - 56 - Ilia Polian, Wolfgang Günther, Bernd Becker
**The Case For 2-POF**

2003 - Ilia Polian, Wolfgang Günther, Bernd Becker
**The Case For 2-POF**

2003*IEEE Design and Diagnostics of Electronic Circuits and Systems*, Seiten: 291 - 292

## 2002

nach oben zur Jahresübersicht- Christoph Scholl, Bernd Becker
**Checking Equivalence for Circuits Containing Incompletely Specified Boxes**

2002*Int'l Conf. on Computer Design*, Seite: 56 - Thomas Eschbach, Wolfgang Günther, Rolf Drechsler, Bernd Becker
**Crossing Reduction by Windows Optimization**

2002*Int'l Symp. on Graph Drawing*, Band: 2528, Seiten: 285 - 294 - Ilia Polian, Piet Engelke, Bernd Becker
**Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics**

2002*Int'l Symp. on Multi-Valued Logic*, Seiten: 216 - 222 - Christoph Scholl, Bernd Becker
**Equivalence Checking in the Presence of Incompletely Specified Boxes**

2002 - Ilia Polian, Irith Pomeranz, Bernd Becker
**Exact Computation of Maximally Dominating Faults and Its Application to n-Detection Tests**

2002*IEEE Asian Test Symp.*, Seiten: 9 - 14 - Ilia Polian, Irith Pomeranz, Bernd Becker
**Exact Computation of Maximally Dominating Faults and Its Application to n-Detection Tests**

2002*European Test Workshop* - Ilia Polian, Bernd Becker
**Optimal Bandwidth Allocation in Concurrent SoC Test Under Pin Number Constraints**

2002*Workshop on RTL and High Level Testing*, Seiten: 12 - 17 - J. Bradford, H. Delong, Ilia Polian, Bernd Becker
**Realistic Fault Simulation in an Industrial Setting**

2002*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Rolf Drechsler, Wolfgang Günther, Thomas Eschbach, L. Linhard, G. Angst
**Recursive Bi-Partitioning of Netlists for Large Number of Partitions**

2002*Euromicro Conf.*, Seiten: 38 - 44 - Ilia Polian, Martin Keim, Nicolai Mallig, Bernd Becker
**Sequential n-Detection Criteria: Keep It Simple!**

2002*IEEE Int'l Online Testing Workshop*, Seiten: 189 - 190 - J. Bradford, H. Delong, Ilia Polian, Bernd Becker
**Simulating Realistic Bridging and Crosstalk Faults in an Industrial Setting**

2002*European Test Workshop*, Seiten: 75 - 80 - Ilia Polian, Bernd Becker
**Stop & Go BIST**

2002*IEEE Int'l Online Testing Workshop*, Seiten: 147 - 151 - Klaus-Jürgen Englert, Rolf Drechsler, Bernd Becker
**Verification of HDLs using Symbolic Set Representation**

2002

## 2001

nach oben zur Jahresübersicht- Wolfgang Günther, Andreas Hett, Bernd Becker
**Application of Linearly Transformed BDDs in Sequential Verification**

2001*ASP Design Automation Conf.*, Seiten: 91 - 96 - Christoph Scholl, Bernd Becker
**Checking Equivalence for Partial Implementations**

2001 - Christoph Scholl, Bernd Becker
**Checking Equivalence for Partial Implementations**

2001*IEEE Design Automation Conference*, IEEE Computer Society, Seiten: 238 - 243 - Christoph Scholl, Marc Herbstritt, Bernd Becker
**Don't Care Minimization of *BMDs: Complexity and Algorithms**

2001 - Rolf Drechsler
**Educational Software for Computer Engineering: A Case Study of an Interactive BDD Tool**

2001*IEEE Computer Society Learning Technology Task Force*, Band: 3, Nummer: 3 - Ilia Polian, Wolfgang Günther, Bernd Becker
**Efficient Pattern-Based Verification of Connections to Intellectual Property Cores**

2001*IEEE Asian Test Symp.*, Seiten: 443 - 448 - Ilia Polian, Wolfgang Günther, Bernd Becker
**Efficient Pattern-Based Verification of Connections to Intellectual Property Cores**

2001 - Christoph Scholl, Marc Herbstritt, Bernd Becker
**Exploiting Don't Cares to Minimize *BMDs**

2001*IEEE Int'l Symp. on Circuits and Systems*, Band: 5, Seiten: 191 - 194 - Bernd Becker, Rolf Drechsler, Thomas Eschbach, Wolfgang Günther
**GREEDY IIP: Partitioning Large Graphs by Greedy Iterative Improvement**

2001*Euromicro Conf.*, Seiten: 54 - 60 - Nicole Drechsler, Frank Schmiedle, Daniel Große, Rolf Drechsler
**Heuristic Learning based on Genetic Programming**

2001*EuroGP*, Springer Verlag, Band: 2038, Seiten: 1 - 10 - Wolfgang Günther, Rolf Drechsler
**Implementation of Read-k-times BDDs on top of standard BDD packages**

2001*Int'l Conf. on VLSI Design*, Seiten: 173 - 178 - Rolf Drechsler, Wolfgang Günther, L. Linhard, G. Angst
**Level Assignment for Displaying Combinational Logic**

2001*Euromicro Conf.*, Seite: 148 - Ilia Polian, Bernd Becker
**Multiple Scan Chain Design for Two-Pattern Testing**

2001*VLSI Test Symp.*, Seiten: 88 - 93 - Ilia Polian, Bernd Becker
**Multiple Scan Chain Design for Two-Pattern Testing**

2001*Latin-American Test Workshop*, Seiten: 156 - 161 - Ilia Polian, Bernd Becker
**Multiple Scan Chain Design for Two-Pattern Testing**

2001*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Wolfgang Günther, Rolf Drechsler
**Performance Driven Optimization for MUX based FPGAs**

2001*Int'l Conf. on VLSI Design*, Seiten: 311 - 316 - Frank Schmiedle, Nicole Drechsler, Daniel Große, Rolf Drechsler
**Priorities in Multi-Objective Optimization for Genetic Programming**

2001*Conf. on Genetic and Evolutionary Computation*, Seiten: 129 - 136 - Frank Schmiedle, Wolfgang Günther, Rolf Drechsler
**Selection of Efficient Re-Ordering Heuristics for MDD Construction**

2001*Int'l Symp. on Multi-Valued Logic*, Seiten: 299 - 304 - Andreas Hett, Bernd Becker
**Supervised Dynamic Reordering in Model Checking**

2001 - Christoph Scholl, Bernd Becker, A. Brogle
**The Multiple Variable Order Problem for Binary Decision Diagrams: Theory and Practical Application**

2001*ASP Design Automation Conf.*, Seiten: 85 - 90 - Frank Schmiedle, Daniel Große, Rolf Drechsler, Bernd Becker
**Too Much Knowledge Hurts: Acceleration of Genetic Programs for Learning Heuristics**

2001*Int'l Conf. on Computational Intelligence*, Band: 2206, Seiten: 479 - 491 - P. Johannsen, Rolf Drechsler
**Utilizing High-Level Information for Formal Hardware Verification (Invited Talk)**

2001*Advanced Computer Systems*, Seiten: 419 - 431 - Frank Schmiedle, A. Markert, Bernd Becker
**XMaDRE: A Routing Environment with Visualization based on Ray-Tracing**

2001*Conf. on Design, Automation and Test in Europe*

## 2000

nach oben zur Jahresübersicht- M. A. Thornton, Rolf Drechsler, Wolfgang Günther
**A Method for Approximate Equivalence Checking**

2000*Int'l Symp. on Multi-Valued Logic*, Seiten: 447 - 452 - Piet Engelke, Bernd Becker, Martin Keim
**A Parameterizable Fault Simulator for Bridging Faults**

2000*European Test Workshop*, Seiten: 63 - 68 - Martin Keim, Piet Engelke, Bernd Becker
**A Parameterizable Fault Simulator for Bridging Faults**

2000*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Wolfgang Günther, Rolf Drechsler
**ACTion: Combining Logic Synthesis and Technology Mapping for MUX based FPGAs**

2000*Int'l Workshop on Logic Synth.* - Wolfgang Günther, Rolf Drechsler
**ACTion: Combining Technology Mapping and Logic Synthesis for MUX based FPGAs**

2000*Euromicro Conf.*, Seiten: 130 - 137 - Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker
**Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System**

2000*Euromicro Conf.*, Seiten: 1:425 - 431 - Andreas Hett, Christoph Scholl, Bernd Becker
**Distance Driven Finite State Machine Traversal**

2000*IEEE Design Automation Conference*, Seiten: 39 - 42 - Frank Schmiedle, Wolfgang Günther, Rolf Drechsler
**Dynamic Re-Encoding During MDD Minimization**

2000*Int'l Symp. on Multi-Valued Logic*, Seiten: 239 - 244 - Wolfgang Günther, Rolf Drechsler, S. Höreth
**Efficient Dynamic Minimization of Word-Level DDs based on Lower Bound Computation**

2000*Int'l Workshop on Logic Synth.* - Wolfgang Günther, Rolf Drechsler, S. Höreth
**Efficient Dynamic Minimization of Word-Level DDs based on Lower Bound Computation**

2000*Int'l Conf. on Computer Design*, Seiten: 383 - 388 - Rolf Drechsler, Wolfgang Günther
**Evolutionary Synthesis of Multiplexor Circuits under Hardware Constraints**

2000*Conf. on Genetic and Evolutionary Computation*, Seiten: 513 - 518 - Frank Schmiedle, D. Unruh, Bernd Becker
**Exact Switchbox Routing with Search Space Reduction**

2000*Int'l Symp. on Physical Design*, Seiten: 26 - 32 - Wolfgang Günther, Rolf Drechsler
**Improving EAs for Sequencing Problems**

2000*Conf. on Genetic and Evolutionary Computation*, Seiten: 175 - 180 - Dragan Janković, Wolfgang Günther, Rolf Drechsler
**Lower Bound Sifting for MDDs**

2000*Int'l Symp. on Multi-Valued Logic*, Seiten: 193 - 198 - Wolfgang Günther
**Minimization of Free BDDs using Evolutionary Techniques**

2000*Int'l Workshop on Logic Synth.*, Seiten: 167 - 172 - Rolf Drechsler, Wolfgang Günther
**Optimization of Sequential Verification by History-Based Dynamic Minimization of BDDs**

2000*IEEE Int'l Symp. on Circuits and Systems*, Seiten: IV:737 - IV:740 - Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker
**Specialized Hardware for Implementation of Evolutionary Algorithms**

2000*Int'l Workshop on Boolean Problems*, Seiten: 175 - 182 - Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker
**Specialized Hardware for Implementation of Evolutionary Algorithms**

2000*Conf. on Genetic and Evolutionary Computation*, Seite: 369 - Andreas Hett, Christoph Scholl, Bernd Becker
**State Traversal guided by Hamming Distance Profiles**

2000 - Rolf Drechsler, Wolfgang Günther, Bernd Becker
**Testability of Circuits Derived from Lattice Diagrams**

2000*Euromicro Conf.*, Seiten: 188 - 192 - Rolf Drechsler, Wolfgang Günther, Bernd Becker
**Testability of Circuits Derived from Lattice Diagrams**

2000*Latin-American Test Workshop* - Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker
**Verification of Designs Containing Black Boxes**

2000 - Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker
**Verification of Designs Containing Black Boxes**

2000*Euromicro Conf.*, Seiten: 100 - 105 - Wolfgang Günther, R. Schönfeld, Bernd Becker, Paul Molitor
**k-Layer Straightline Crossing Minimization by Speeding up Sifting**

2000*Graph Drawing Conf.*, Springer Verlag, Band: 1984, Seiten: 253 - 258

## 1999

nach oben zur Jahresübersicht- Rolf Drechsler, Marc Herbstritt, Bernd Becker
**Grouping Heuristics for Word-level Decision Diagrams**

1999*IEEE Int'l Symp. on Circuits and Systems*, Seiten: 411 - 415 - Rolf Drechsler, Bernd Becker
**Probabilistic IP Verification**

1999*Int'l Workshop on Testing Embedded Core-based System-Chips* - Nicole Drechsler, Rolf Drechsler, Bernd Becker
**A New Model for Multi-Objective Optimization in Evolutionary Algorithms**

1999*Int'l Conf. on Computational Intelligence*, Springer Verlag, Band: 1625, Seiten: 108 - 117 - Martin Keim, Ilia Polian, Harry Hengster, Bernd Becker
**A Scalable BIST Architecture for Delay Faults**

1999*European Test Workshop*, Seiten: 98 - 103 - Martin Keim, Nicole Drechsler, Bernd Becker
**Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits**

1999*ASP Design Automation Conf.*, Seiten: 315 - 318 - Wolfgang Günther, Rolf Drechsler
**Creating Hard Problem Instances in Logic Synthesis using Exact Minimization**

1999*IEEE Int'l Symp. on Circuits and Systems*, Seiten: VI:436 - VI:439 - Wolfgang Günther, Rolf Drechsler
**Efficient Manipulation Algorithms for Linearly Transformed BDDs**

1999*Int'l Conf. on CAD*, Seiten: 50 - 53 - Nicole Drechsler, Rolf Drechsler
**Exploiting Don't Cares During Data Sequencing using Genetic Algorithms**

1999*ASP Design Automation Conf.*, Seiten: 303 - 306 - S. Höreth, Rolf Drechsler
**Formal Verification of Word-Level Specifications**

1999*Conf. on Design, Automation and Test in Europe*, Seiten: 52 - 58 - Rolf Drechsler, Marc Herbstritt, Bernd Becker
**Grouping Heuristics for Word-level Decision Diagrams**

1999 - Rolf Drechsler, Wolfgang Günther
**History-based Dynamic Minimization during BDD Construction**

1999*IFIP Int'l Conf. on VLSI*, Seiten: 334 - 345 - Andreas Hett
**MORE good BDD Ideas**

1999*Dagstuhl Seminar on Computer Aided Design and Test, Decision Diagrams: Concepts and Applications* - Wolfgang Günther, Rolf Drechsler
**Minimization of BDDs using Linear Transformations based on Evolutionary Techniques**

1999*IEEE Int'l Symp. on Circuits and Systems*, Seiten: I:387 - I:390 - Wolfgang Günther, Rolf Drechsler
**Minimization of Free BDDs**

1999*ASP Design Automation Conf.*, Seiten: 323 - 326 - Christoph Scholl, Bernd Becker
**On the Generation of Multiplexer Circuits for Pass Transistor Logic**

1999*Int'l Workshop on Logic Synth.* - Y. Ye, K. Roy, Rolf Drechsler
**Power Consumption in XOR-Based Circuits**

1999*ASP Design Automation Conf.*, Seiten: 299 - 302 - Christoph Scholl, Bernd Becker, A. Brogle
**Solving the Multiple Variable Order Problem for Binary Decision Diagram by Use of Dynamic Reordering Techniques**

1999*Int'l Workshop on Logic Synth.* - Harry Hengster, Bernd Becker
**Synthesis of Circuits Derived from Decision Diagrams - Combining Small Delay and Testability -**

1999*Int'l Symp. on Defect and Fault Tolerance*, Seiten: 268 - 275 - Per Lindgren, Rolf Drechsler, Bernd Becker
**Synthesis of Pseudo Kronecker Lattice Diagrams**

1999*Int'l Conf. on Computer Design*, Seiten: 307 - 310 - Rolf Drechsler, Wolfgang Günther
**Using Lower Bounds during Dynamic BDD Minimization**

1999*IEEE Design Automation Conference*, Seiten: 29 - 32

## 1998

nach oben zur Jahresübersicht- Wolfgang Günther, Rolf Drechsler
**BDD Minimization by Linear Transformations**

1998*Advanced Computer Systems*, Seiten: 525 - 532 - Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker
**Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits**

1998*European Test Workshop*, Seiten: 141 - 142 - S. Höreth, Rolf Drechsler
**Dynamic Minimization of Word-Level Decision Diagrams**

1998*Conf. on Design, Automation and Test in Europe*, Seiten: 612 - 617 - G. Lee, Rolf Drechsler
**ETDD-based Generation of Complex Terms for Incompletely Specified Boolean Functions**

1998*ASP Design Automation Conf.*, Seiten: 75 - 80 - Rolf Drechsler, Wolfgang Günther
**Exact Circuit Synthesis**

1998*Int'l Workshop on Logic Synth.*, Seiten: 177 - 184 - Rolf Drechsler, Wolfgang Günther
**Exact Circuit Synthesis**

1998*Advanced Computer Systems*, Seiten: 517 - 524 - M. Miller, Rolf Drechsler
**Implementing a Multiple-Valued Decision Diagram Package**

1998*Int'l Symp. on Multi-Valued Logic*, Seiten: 52 - 57 - Wolfgang Günther, Rolf Drechsler
**Linear Transformations and Exact Minimization of BDDs**

1998*Great Lakes Symp. on VLSI*, Seiten: 325 - 330 - Christoph Scholl
**Multi-output Functional Decomposition with Exploitation of Don't Cares**

1998*Conf. on Design, Automation and Test in Europe*, Seiten: 743 - 748 - Harry Hengster, Bernd Becker
**Synthesis of Fully Testable High Speed Circuits Derived from Decision Diagrams**

1998*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Harry Hengster, Bernd Becker
**Synthesis of Fully Testable High Speed Circuits Derived from Decision Diagrams**

1998*Int'l Workshop on Logic Synth.*, Seiten: 341 - 345 - Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker
**Test Generation for (Sequential) Multi-Valued Logic Networks based on Genetic Algorithm**

1998*Int'l Symp. on Multi-Valued Logic*, Seiten: 215 - 220 - Martin Keim, Nicole Göckel, Rolf Drechsler, Bernd Becker
**Test Generation for (Sequential) Multi-Valued Logic Networks based on Genetic Algorithm**

1998*Int'l Symp. on Multi-Valued Logic* - Christoph Scholl, Bernd Becker, T. M. Weis
**Word-Level Decision Diagrams, WLCDs and Division**

1998*Int'l Conf. on CAD*, Seiten: 672 - 677

## 1997

nach oben zur Jahresübersicht- Nicole Göckel, Martin Keim, Rolf Drechsler, Bernd Becker
**A Genetic Algorithm for Sequential Circuit Test Generation based on Symbolic Fault Simulation**

1997*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Nicole Göckel, Martin Keim, Rolf Drechsler, Bernd Becker
**A Genetic Algorithm for Sequential Circuit Test Generation based on Symbolic Fault Simulation**

1997*European Test Workshop* - Nicole Göckel, Rolf Drechsler, Bernd Becker
**A Multi-Layer Detailed Routing Approach based on Evolutionary Algorithms**

1997*Int'l Conf. on Evolutionary Computation*, Seiten: 557 - 562 - Nicole Göckel, Rolf Drechsler
**An Evolutionary Algorithm for Minimizing BDDs of Incompletely Specified Functions**

1997*Advanced Computer Systems*, Seiten: 224 - 231 - Rolf Drechsler, Nicole Göckel, Elke Mackensen, Bernd Becker
**BEA: Specialized Hardware for Implementation of Evolutionary Algorithms**

1997*Genetic Programming Conf.*, Seite: 491 - Bernd Becker, Rolf Drechsler
**Decision Diagrams in Synthesis - Algorithms, Applications and Extensions -**

1997*Int'l Conf. on VLSI Design*, Seiten: 46 - 50 - Rolf Drechsler, A. Zuzek
**Efficient Functional Diagnosis for Synchronous Sequential Circuits Based on AND/OR Graphs**

1997*Int'l Symp. on IC Technologies, Systems and Applications*, Seiten: 312 - 315 - Rolf Drechsler
**Evolutionary Algorithms for Computer Aided Design of Integrated Circuits**

1997*Int'l Symp. on IC Technologies, Systems and Applications*, Seiten: 302 - 311 - S. Höreth, Rolf Drechsler
**Fast Construction of Kronecker Decision Diagrams from Library Based Circuits**

1997*SASIMI*, Seiten: 39 - 44 - Andreas Hett, Rolf Drechsler, Bernd Becker
**Fast and Efficient Construction of BDDs by reordering based Synthesis**

1997*European Design and Test Conf.*, Seiten: 168 - 175 - Rolf Drechsler, Martin Keim, Bernd Becker
**Fault Simulation in Sequential Multi-Valued Logic Networks**

1997*Int'l Symp. on Multi-Valued Logic*, Seiten: 145 - 150 - Christoph Scholl
**Functional Decomposition with Integrated Test Generation**

1997*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Christoph Scholl, Rolf Drechsler, Bernd Becker
**Functional Simulation using Binary Decision Diagrams**

1997*GI/ITG/GME Workshop “Methoden des Entwurfs und der Verifikation digitaler Systeme”* - Christoph Scholl, Rolf Drechsler, Bernd Becker
**Functional Simulation using Binary Decision Diagrams**

1997*Int'l Workshop on Logic Synth.* - Nicole Göckel, Rolf Drechsler
**Influencing Parameters of Evolutionary Algorithms for Sequencing Problems**

1997*Int'l Conf. on Evolutionary Computation*, Seiten: 575 - 580 - Nicole Göckel, Rolf Drechsler, Bernd Becker
**Learning Heuristics for OKFDD Minimization by Evolutionary Algorithms**

1997*ASP Design Automation Conf.*, Seiten: 469 - 472 - Rolf Drechsler, Nicole Göckel
**Minimization of BDDs by Evolutionary Algorithms**

1997*Int'l Workshop on Logic Synth.* - Christoph Scholl
**Multi-output Functional Decomposition with Exploitation of Don't Cares**

1997*Int'l Workshop on Logic Synth.* - C. Ökmen, Martin Keim, R. Krieger, Bernd Becker
**On Optimizing BIST Architecture by Using OBDD-based Approaches and Genetic Algorithms**

1997*VLSI Test Symp.*, Seiten: 426 - 431 - Martin Keim, M. Martin, Bernd Becker, Rolf Drechsler, Paul Molitor
**Polynomial Formal Verification of Multipliers**

1997*VLSI Test Symp.*, Seiten: 150 - 155 - Rolf Drechsler
**Pseudo Kronecker Expressions for Symmetric Functions**

1997*Int'l Conf. on VLSI Design*, Seiten: 511 - 513 - Andreas Hett, Rolf Drechsler, Bernd Becker
**Reordering Based Synthesis**

1997*iwrm* - Rolf Drechsler
**Secure Implementation of Decision Diagrams**

1997*Int'l Workshop on Logic Synth.* - Rolf Drechsler, R. S. Stankovic, T. Sasao
**Spectral Transforms and Word-Level Decision Diagrams**

1997*SASIMI*, Seiten: 33 - 38 - Rolf Drechsler, Harry Hengster, H. Schäfer, J. Hartmann, Bernd Becker
**Testability of 2-Level AND/EXOR Expressions**

1997*European Design and Test Conf.*, Seiten: 548 - 553

## 1996

nach oben zur Jahresübersicht- Rolf Drechsler, Nicole Göckel
**A Genetic Algorithm for Data Sequencing**

1996*Online Workshop on Evolutionary Computation* - Rolf Drechsler, Bernd Becker, Nicole Göckel
**A Genetic Algorithm for the Construction of Small and Highly Testable OKFDD Circuits**

1996*Genetic Programming Conf.*, Seiten: 473 - 478 - Nicole Göckel, G. Pudelko, Rolf Drechsler, Bernd Becker
**A Hybrid Genetic Algorithm for the Channel Routing Problem**

1996*IEEE Int'l Symp. on Circuits and Systems*, Seiten: IV:675 - IV:678 - Rolf Drechsler, Andreas Hett, Bernd Becker
**A Note on Symbolic Simulation using Desicion Diagrams**

1996*ulsi* - Harry Hengster, Rolf Drechsler, S. Eckrich, T. Pfeiffer, Bernd Becker
**AND/EXOR based Synthesis of Testable KFDD-Circuits with Small Depth**

1996*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Harry Hengster, Rolf Drechsler, S. Eckrich, T. Pfeiffer, Bernd Becker
**AND/EXOR based Synthesis of Testable KFDD-Circuits with Small Depth**

1996*IEEE Asian Test Symp.*, Seiten: 148 - 154 - Bernd Becker, Rolf Drechsler
**Exact Minimization of Kronecker Expressions for Symmetric Functions**

1996*IEEE Int'l Symp. on Circuits and Systems*, Seiten: IV:388 - IV:391 - Rolf Drechsler, H. Esbensen, Bernd Becker
**Genetic Algorithms in Computer Aided Design of Integrated Circuits**

1996*Online Workshop on Evolutionary Computation* - Rolf Drechsler, Nicole Göckel, Bernd Becker
**Learning Heuristics for OBDD Minimization by Evolutionary Algorithms**

1996*Parallel Problem Solving from Nature*, Springer Verlag, Band: 1141, Seiten: 730 - 739 - Harry Hengster, U. Sparmann, Bernd Becker, Sudhakar M. Reddy
**Local Transformations and Robust Dependent Path Delay Faults**

1996*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Harry Hengster, U. Sparmann, Bernd Becker, Sudhakar M. Reddy
**Local Transformations and Robust Dependent Path Delay Faults**

1996*European Test Workshop* - Harry Hengster, U. Sparmann, Bernd Becker, Sudhakar M. Reddy
**Local Transformations and Robust Dependent Path Delay Faults**

1996*Int'l Test Conf.* - Bernd Becker, Rolf Drechsler, Reinhard Enders
**On the Computational Power of Bit-Level and Word-Level Decision Diagrams**

1996*GI/ITG/GME Workshop “Methoden des Entwurfs und der Verifikation digitaler Systeme”* - Rolf Drechsler, Harry Hengster, H. Schäfer, Bernd Becker
**Testability of AND/EXOR Expressions**

1996*European Test Workshop* - Rolf Drechsler
**Verification of Multi-Valued Logic Networks**

1996*Int'l Symp. on Multi-Valued Logic*, Seiten: 10 - 15

## 1995

nach oben zur Jahresübersicht- Rolf Drechsler, Bernd Becker, Nicole Göckel
**A Genetic Algorithm for 2-Level AND/EXOR Minimization**

1995*SASIMI*, Seiten: 49 - 56 - Rolf Drechsler, Bernd Becker, Nicole Göckel
**A Genetic Algorithm for Variable Ordering of OBDDs**

1995*Int'l Workshop on Logic Synth.*, Seiten: 5c:5.55 - 5.64 - Harry Hengster, Rolf Drechsler, Bernd Becker
**AND/OR/EXOR based Synthesis of KFDD-Circuits with Small Depth**

1995*Reed-Muller Colloquium UK* - R. Krieger, Bernd Becker, R. Sinković
**Necessary Assignments for an Accelerated OBDD-based Computation of Exact Fault Detection Probabilities**

1995*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - R. Krieger, Bernd Becker, C. Ökmen
**OBDD-based Optimization of Input probabilities for weighted random test**

1995*Int'l Symp. on Defect and Fault Tolerance*, Seiten: 120 - 129 - Bernd Becker, Rolf Drechsler, M. Theobald
**OKFDDs versus OBDDs and OFDDs**

1995*ICALP*, Springer Verlag, Band: 944, Seiten: 475 - 486 - Rolf Drechsler, Bernd Becker
**PUMA: An OKFDD-Package and its Implementation**

1995*European Design and Test Conf.* - R. Krieger, Bernd Becker, Martin Keim
**Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy**

1995*IEEE Design Automation Conference*, Seiten: 339 - 344 - Bernd Becker, Rolf Drechsler
**Synthesis for Testability: Circuits Derived from Ordered Kronecker Functional Decision Diagrams**

1995*European Design and Test Conf.*, Seite: 592

## 1994

nach oben zur Jahresübersicht- Rolf Drechsler
**BiTeS: A BDD based test pattern generator for strong robust path delay faults**

1994*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Rolf Drechsler
**BiTeS: A BDD based test pattern generator for strong robust path delay faults**

1994*European Design Automation Conf.*, Seiten: 322 - 327 - Rolf Drechsler, M. Theobald, Bernd Becker
**Fast FDD based Minimization of Generalized Reed-Muller Forms**

1994 Workshop über Komplexitätstheorie, Datenstrukturen und effiziente Algorithmen*Workshop über Komplexitätstheorie, Datenstrukturen und effiziente Algorithmen* - Bernd Becker, Rolf Drechsler, M. Theobald
**On Variable Ordering of Ordered Functional Decision Diagrams**

1994*GI/GME/ITG-Fachtagung “Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme”*, Springer Verlag, Seiten: 62 - 71 - Rolf Drechsler, A. Sarabi, M. Theobald, Bernd Becker, M. A. Perkowski
**Ordered Kronecker Functional Decision Diagrams: An Efficient Tool for Synthesis and Verification**

1994*GI/ITG Workshop “Anwendung formaler Methoden im Systementwurf”* - Bernd Becker, Rolf Drechsler
**Synthesis for Testability: Circuits Derived from Ordered Kronecker Functional Decision Diagrams**

1994*Int'l Test Synthesis Workshop* - Harry Hengster, Rolf Drechsler, Bernd Becker
**Testability Properties of Local Circuit Transformations with Respect to the Robust Path-Delay-Fault Model**

1994*Int'l Conf. on VLSI Design*, Seiten: 123 - 126 - Bernd Becker, Rolf Drechsler
**Testability of Circuits Derived from Functional Decision Diagrams**

1994*European Design and Test Conf.*, Seite: 667

## 1993

nach oben zur Jahresübersicht- Bernd Becker, Rolf Drechsler, Harry Hengster, R. Krieger, R. Sinković
**Binary Decision Diagrams and Testing**

1993*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Bernd Becker, Rolf Drechsler, Paul Molitor
**On Generation of Area-Time Optimal Testable Adders**

1993*Technical Report 3/93* - Bernd Becker, Rolf Drechsler
**On the Computational Power of Functional Decision Diagrams**

1993 Workshop über Komplexitätstheorie, Datenstrukturen und effiziente Algorithmen*Workshop über Komplexitätstheorie, Datenstrukturen und effiziente Algorithmen* - Ralf Hahn, Bernd Becker, Harry Hengster
**The Fault Graph and its Application to Combinational Fault Simulation**

1993*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”*

## 1992

nach oben zur Jahresübersicht- Rolf Drechsler, Bernd Becker, Paul Molitor
**A Performance Oriented Generator for Robust Path-Delay-Fault Testable Adders**

1992*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Bernd Becker, Rolf Drechsler, Paul Molitor
**On the Implementation of an Efficient Performance Driven Generator for Conditional-Sum-Adders.**

1992*Technical Report 2/93*

## 1988

nach oben zur Jahresübersicht- Bernd Becker, U. Sparmann
**A Uniform Test Approach for RCC-Adders**

1988*Aegean Workshop on Parallel Computation and VLSI Theory*, Springer Verlag, Band: 319, Seiten: 288 - 300

## 1987

nach oben zur Jahresübersicht- Bernd Becker, G. Hotz, R. Kolla, Paul Molitor, H. G. Osthof
**CADIC - Ein System zum hierarchischen Entwurf integrierter Schaltungen**

1987*E.I.S.-Workshop*, Seiten: 235 - 245

## 1983

nach oben zur Jahresübersicht- Bernd Becker
**On the Crossing-free, Rectangular Embedding of Weighted Graphs in the Plane**

1983*Theor. Comput. Sci., GI-Conf.*, Springer Verlag, Band: 145, Seiten: 61 - 72