Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

Publikationen




Jahre: 2018 | 2017 | 2016 | 2015 | 2014 | 2012

    2018

    Icon: top nach oben zur Jahresübersicht

    2017

    Icon: top nach oben zur Jahresübersicht
    • 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
      2017, Springer International Publishing, Seiten: 211 - 235, ISBN: 978-3-319-44318-8
    • Bernd Becker, Christoph Scholl, Ralf Wimmer
      Verification of Incomplete Designs
      In: Formal System Verification - State of the Art and Future Trends
      2017, Springer, Rolf Drechsler, Seiten: 37 - 72, Rolf Drechsler, ISBN: 978-3-319-57683-1

    2016

    Icon: top nach oben zur Jahresübersicht
    • Van Laerhoven Kristof, Scholl Philipp
      Interrupts Become Features: Using On-Sensor Intelligence for Recognition Tasks
      In: Embedded Engineering Education
      2016, Cham Springer International Publishing,
    • Van Laerhoven Kristof, Scholl Philipp
      Interrupts Become Features: Using On-Sensor Intelligence for Recognition Tasks
      In: Embedded Engineering Education
      2016, Cham Springer International Publishing,
    • Linus Feiten, Sebastian Sester, Christian Zimmermann, Sebastian Volkmann, Laura Wehle, Bernd Becker
      Revocable Anonymisation in Video Surveillance: A "Digital Cloak of Invisibility"
      In: Technology and Intimacy: Choice or Coercion
      2016, Springer International Publishing, Seiten: 314 - 327, ISBN: 978-3-319-44804-6
    • Bernd Becker, Katrin Weber, Linus Feiten
      SMartphones In der LEhre (SMILE)
      In: Kreativ, Innovativ, Motivierend - Lehrkonzepte in der Praxis: Der Instructional Development Award (IDA) der Universität Freiburg
      2016, Universitäts Verlag Webler (UVW), Seiten: 117 - 133, ISBN: 3-946017-01-0

    2015

    Icon: top nach oben zur Jahresübersicht

    2014

    Icon: top nach oben zur Jahresübersicht
    • Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
      Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey
      In: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM), Advanced Lectures
      2014, Springer-Verlag, Seiten: 65 - 121,
    • Ralf Wimmer, Erika Ábrahám
      Maybe or Maybe Not - Contributions to Stochastic Verification
      In: Aspekte der Technischen Informatik: Festschrift zum 60. Geburtstag von Bernd Becker
      2014, Monsenstein und Vannerdat, Rolf Drechsler, Seiten: 119 - 127, Rolf Drechsler,

    2012

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer
      Symbolische Methoden für die probabilistische Verifikation
      In: Ausgezeichnete Informatik-Dissertationen
      2012, Gesellschaft für Informatik, Stefan Hölldobler et al., Seiten: 271 - 280, Stefan Hölldobler et al., ISBN: 978-3-88579-416-5