[Zurück]
 
Bitte auswählen
Jahr
Details
Sprache
Sortierung
Ausgabe
neu: RTF !
 Forschungsbericht für das Jahr 2017

Rechnerarchitektur

Prof. Dr. Bernd Becker

Georges-Köhler-Allee 051
79110 Freiburg i. Br.
Tel: 0761 203 8140 Fax: 0761 203 8142
http://ira.informatik.uni-freiburg.de


Wissenschaftliche Mitarbeiterinnen und Mitarbeiter

Einträge in der Rubrik "Who is Who"

Forschungsschwerpunkte

  • Basis-Datenstrukturen und Kern-Algorithmen (SAT, QBF, Logik der ersten Stufe, Craig-Interpolanten, …)
  • Test und Zuverlässigkeit (ATPG, Simulation und Diagnose von klassischen und defektbasierten Fehlermodellen, SAT-basierte Testalgorithmen, sequentielles ATPG, Signalintegrität, fehlertolerante Systeme, …)
  • Verifikation (Model Checking, BMC, Optimierungen von Transitionssytemen, iSAT, …)

Finanzierung

  • SFB/ TR-14 Automated Verification and Analysis of Complex Systems (Standortsprecher, 3 Teilprojekte)
  • DFG Be1176/ 14, Test und Diagnose in Nanoscale Technologien
  • DFG Be1176/ 15, REALTest

Wissenschaftliche Projekte und Forschungsvorhaben


  • Algebraische Fehlerangriffe
  • Automatisierte Verifikationstechniken bei unvollständiger Information
  • AVACS: Automatic Verification and Analysis of Complex Systems
  • Bounded Model Checking of Blackbox Designs via Quantified Boolean Formulas
  • CEBug
  • Deutsch-Chinesisches Projekt CAP
    • Projektleitung: Holger Hermanns, Lijun Zhang
    • Laufzeit: 01.10.2015 bis 30.09.2018
    • Details zum Projekt
  • EMS - Eingebettete Mikrosysteme
  • Lösen von abhängigkeitsquantifizierten Booleschen Formeln
    • Projektleitung: Bernd Becker, Ralf Wimmer, Christoph Scholl
    • Laufzeit: 2016 bis 2017
    • Details zum Projekt
  • MoPo - Mobile Pools
  • SHIVA: Sichere Hardware in der Informationsverarbeitung
  • SMILE - Smartphones in der Lehre
  • Weiterbildungsprogramm Intelligente Eingebettete Mikrosysteme

Wissenschaftliche Publikationen

Originalarbeiten in wissenschaftlichen Fachzeitschriften:
  • Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis Maria Ferrer Fioriti, Bernd Becker, Holger Hermanns: Cost vs. Time in Stochastic Games and Markov Automata Form Asp Comput, 2017; 29 (4): 629-649. : http://dx.doi.org/10.1007/s00165-016-0411-1
  • Pascal Raiola, Dominik Erb, Sudhakar Reddy, Bernd Becker: Accurate Diagnosis of Interconnect Open Defects based on the Robust Enhanced Aggressor Victim Model 30th International Conference on VLSI Design, 2017.
  • Uwe Wagschal, Thomas Waldvogel, Thomas Metz, Bernd Becker, Linus Feiten, Samuel Weishaupt, Kamaljeet Singh: Das TV-Duell und die Landtagswahl in Schleswig-Holstein: Das Debat-O-Meter als neues Instrument der politischen Kommunikationsforschung Zeitschrift für Parlamentsfragen (ZParl), 2017; 48. Jg. (3): 594-613. : https://zparl.de/inhaltsverzeichnisse/48-jahrgang-der-zparl-2017/
Monographien:
Buchbeiträge:
  • Bernd Becker, Christoph Scholl, Ralf Wimmer: Verification of Incomplete Designs In: Rolf Drechsler (Hrsg.): Formal System Verification - State of the Art and Future Trends, 1. Auflage. Springer, 2017; 37-72.: http://dx.doi.org/10.1007/978-3-319-57685-5_2
  • Linus Feiten, Matthias Sauer, Bernd Becker: Implementation of Delay-Based PUFs on Altera FPGAs In: Hardware Security and Trust: Design and Deployment of Integrated Circuits in a Threatened Environment Cham: Springer International Publishing, 2017; 211-235.: http://dx.doi.org/10.1007/978-3-319-44318-8_11
Vorträge:
  • Isabel Dahlhausen, Tobias Schubert: Von der Teilnehmendenanalyse zur lernförderlichen Gestaltung: Wie können wir E-Learning lebendiger machen? 2017 (16. Internationale ILIAS-Konferenz).
Konferenzbeiträge:
  • 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 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, 2017. (in Druck)
  • 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 RESCUE Workshop on Reliability, Security and Quality at ETS 2017, 2017. (in Druck)
  • 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 International Verification and Security Workshop (IVSW) 2017, 2017. (in Druck)
  • Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker: Fast and Waveform-Accurate Hazard-Aware SAT-Based TSOF ATPG Conference on Design, Automation and Test in Europe, 2017. (in Druck)
  • Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker: Efficient SAT-Based Generation of Hazard-Activated TSO Tests IEEE VLSI Test Symposium (VTS'17), 2017. : https://doi.org/10.1109/VTS.2017.7928943
  • Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker: Evaluating the Effectiveness of D-Chains in SAT based ATPG IEEE Latin American Test Symposium (LATS'17), 2017. : https://doi.org/10.1109/LATW.2017.7906752
  • 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 Fault Diagnosis and Tolerance in Cryptography (FDTC) 2017, 2017. (in Druck)
  • Jan Horáček, Jan Burchard, Bernd Becker, Martin Kreuzer: Integrating Algebraic and SAT Solvers International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) 2017, 2017. (in Druck)
  • Jan Horáček, Maël Gay, Bernd Becker, Martin Kreuzer: Integrating Algebraic and SAT Solvers International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) 2017, 2017. (in Druck)
  • Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Kaoten, Becker B: Motion Planning under Partial Observability using Game-Based Abstraction 56th IEEE Conf. on Decision and Control (CDC), 2017 (Melbourne, VIC, Australia).
  • Matthias Sauer, Pascal Raiola, Linus Feiten, Bernd Becker, Ulrich Rührmair, Ilia Polian: Sensitized Path PUF: A Lightweight Embedded Physical Unclonable Function Conf. on Design, Automation and Test in Europe, 2017. (in Druck)
  • Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker: From DQBF to QBF by Dependency Elimination Int'l Conf. on Theory and Applications of Satisfiability Checking, 2017; 10491: 326-343 (Melbourne, VIC, Australia), Serge Gaspers and Toby Walsh (Hrsg). : http://dx.doi.org/10.1007/978-3-319-66263-3_21
  • Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker: HQSpre - An Effective Preprocessor for QBF and DQBF International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part I, 2017; 10205: 373-390 (Uppsala, Sweden), Axel Legay and Tiziana Margaria (Hrsg). : http://dx.doi.org/10.1007/978-3-662-54577-5_21
  • Tobias Schubert, Benjamin Völker, Marc Pfeifer, Bernd Becker: The Smart MiniFab: An Industrial IoT Demonstrator Anywhere at Any Time 2017: 253-262 (Smart Education and e-Learning 2017, Vilamoura/Portugal, KES International), Springer International Publishing (Hrsg). : http://dx.doi.org/10.1007/978-3-319-59451-4_25
  • 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 19th General Online Research Conference (GOR), 2017 (Berlin). : http://www.gor.de/wp-content/uploads/2017/03/gor-17_abstractband_web.pdf
  • Yuliya Butkova, Ralf Wimmer, Holger Hermanns: Long-run Rewards for Markov Automata International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part II, 2017; 10206: 188-203 (Uppsala, Sweden), Axel Legay and Tiziana Margaria (Hrsg). : http://dx.doi.org/10.1007/978-3-662-54580-5_11

Besondere wissenschaftliche Aktivitäten

Verbände und Fachgesellschaften:
  • Prof. Dr. Bernd Becker: Mitglied des Leitungsgremiums, German GI/ ITG/GME Group on Testing and Fault Tolerance, seit 1990.
  • Prof. Dr. Bernd Becker: Mitglied, Herausgebergremium „Leitfäden der Informatik“, Teubner-Verlag, seit 2003.
  • Prof. Dr. Bernd Becker: Mitglied des Programmkomitees, VTS (IEEE VLSI Test Symposium), seit 2005.
  • Prof. Dr. Bernd Becker: Member of Steering Committee: Zuverlässigkeit und Entwurf (ZuE), seit 2007.
  • Prof. Dr. Bernd Becker: Member of Steering Committee: European Test Symposium (ETS), seit 2007.
  • Prof. Dr. Bernd Becker: IEEE Fellow, seit 2008.
  • Prof. Dr. Bernd Becker: Board of Directors, Centre for Security and Society, University of Freiburg, seit 2010.
  • Prof. Dr. Bernd Becker: Member of Steering Committee: IEEE International Workshop on Reliability Aware System Design and Test (RASDAT), seit 2010.
  • Prof. Dr. Bernd Becker: Member of the Scientific Directorate, Leibniz Center for Informatics, Schloss Dagstuhl, seit 2011.

Abschlussarbeiten

Master
  • Tobias Paxian: Über die Optimierung von Sortiernetzwerken mit kaskadischem Aufbau (Betreuer/in Dr. Sven Reimer, Erstgutachter/in Prof. Dr. Bernd Becker, Zweitgutachter/in Prof. Dr. Christoph Scholl), 2017.
Bachelor
  • Leonie Feldbusch: Integration von Gamification in das Classroom-Response-System SMILE (Betreuer/in Dr. Sven Reimer, , Dipl.-Inf. Linus Feiten, Erstgutachter/in Prof. Dr. Bernd Becker), 2017.