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

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


  • 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
  • Debat-O-Meter
  • Deutsch-Chinesisches Projekt CAP
    • Projektleitung: Holger Hermanns, Lijun Zhang
    • Laufzeit: 01.10.2015 bis 30.09.2018
    • Details zum Projekt
  • EMS - Eingebettete Mikrosysteme
  • MoPo - Mobile Pools
  • SHIVA: Sichere Hardware in der Informationsverarbeitung
  • SMILE - Smartphones in der Lehre
  • Weiterbildungsprogramm Intelligente Eingebettete Mikrosysteme

Wissenschaftliche Publikationen

Buchbeiträge:
  • Ralf Wimmer, Karina wimmer, Christoph Scholl, Bernd Becker: Analysis of Incomplete Circuits using Dependency Quantified Boolean Formulas In: André Ignacio Reis and Rolf Drechsler (Hrsg.): Advanced Logic Synthesis Springer, 2018; 151-168.: http://dx.doi.org/10.1007/978-3-319-67295-3_7
Vorträge:
  • Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer: Design of Reconfigurable Scan Networks for Secure Data Transmission 2018 (GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”).
Konferenzbeiträge:
  • Ahmed Atteya, Michael Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich: Online Prevention of Security Violations in Reconfigurable Scan Networks IEEE European Test Symposium, 2018.
  • 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”).
  • 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 IEEE VLSI Test Symposium (VTS'18), 2018. (in Druck)
  • Johanna Sepulveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker, Matthias Sauer: Towards the Formal Verification of Security Properties of a Network-on-Chip Router IEEE European Test Symposium, 2018.
  • 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). : http://www.informatik.uni-freiburg.de/~feiten/publications/feiten_2018_trudevice18.pdf
  • Pascal Raiola, Michael Kochte, Ahmed Atteya, Laura Rodriguez Gomez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer: Detecting and Resolving Security Violations in Reconfigurable Scan Networks IEEE Int'l Online Testing Symp, 2018.
  • 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 20th General Online Research Conference (GOR), 2018 (Cologne). : https://www.gor.de/wp-content/uploads/2018/02/gor18_abstractband_web.pdf
  • Yuliya Butkova, Ralf Wimmer, Holger Hermanns: Markov Automata on Discount! 19. International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems (MMB), 2018; 10740, Reinhard German et al. (Hrsg). : http://dx.doi.org/978-3-319-74946-4

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