Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Pascal Raiola, M.Sc.
eMail raiolap@tf.uni-freiburg.de

Pascal Raiola

Jahre: 2017 | 2016

    2017

    Icon: top nach oben zur Jahresübersicht
    • 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
    • Pascal Raiola, Dominik Erb, Sudhakar Reddy, Bernd Becker
      Accurate Diagnosis of Interconnect Open Defects based on the Robust Enhanced Aggressor Victim Model
      2017 30th International Conference on VLSI Design

    2016

    Icon: top nach oben zur Jahresübersicht
    • 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)
    • Mathias Soeken, Pascal Raiola, Baruch Sterin, Matthias Sauer
      SAT-based Functional Dependency Computation
      2016 International Workshop on Logic & Synthesis
    • 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