Uni-Logo
Deutsch      
Computer Architecture - Team Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

Projects


Years: 2020 | 2016 | 2015 | 2014 | 2011 | 2010 | 2007 | 2006 | 2005 | 2004 | 2003 | 2000

2020

Icon: top back to the year overview

Scale4Edge - Scalable infrastructure for edge computing

  • Project manager: Prof. Dr. Bernd Becker
  • Start/End of project: 01.05.2020 until 30.04.2023
  • Project details

2016

Icon: top back to the year overview

SHIVA: Sichere Hardware in der Informationsverarbeitung

  • Project manager: Prof. Dr. Bernd Becker
  • Start/End of project: 01.02.2016 until 01.06.2019
  • Project details

Algebraic Fault Attacks

  • Project manager: Becker B
  • Start/End of project: 01.01.2016 until 31.12.2020
  • Project details

Solving Dependency Quantified Boolean Formulas

  • Project manager: Bernd Becker
  • Start/End of project: 01.01.2016 until 31.12.2019
  • Project details

2015

Icon: top back to the year overview

The CAP Sino-German Project

  • Project manager: Holger Hermanns
  • Start/End of project: 01.10.2015 until 30.09.2018
  • Project details

Debat-O-Meter

  • Project manager: Bernd Becker
  • Start/End of project: since 01.08.2015 (unlimited)
  • Project details

2014

Icon: top back to the year overview

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving

  • Project manager: Bernd Becker
  • Start/End of project: 01.07.2014 until 31.12.2016
  • Project details

2011

Icon: top back to the year overview

CEBug

  • Project manager: Becker B
  • Start/End of project: since 01.01.2011 (unlimited)
  • Project details

2010

Icon: top back to the year overview

SMILE - Smartphones in Lectures

  • Project manager: Bernd Becker
  • Start/End of project: since 01.01.2010 (unlimited)
  • Project details

2007

Icon: top back to the year overview

Weiterbildungsprogramm Intelligente Eingebettete Mikrosysteme

  • Project manager: Prof. Dr. Bernd Becker
  • Start/End of project: since 01.01.2007 (unlimited)
  • Project details

2006

Icon: top back to the year overview

RealTest

  • Project manager: Becker B
  • Start/End of project: 01.01.2006 until 31.12.2011
  • Project details

2005

Icon: top back to the year overview

Test und Diagnose in Nanoscale-Technologien

  • Project manager: Becker B
  • Start/End of project: 01.11.2005 until 30.09.2013
  • Project details

2004

Icon: top back to the year overview

AVACS: Automatic Verification and Analysis of Complex Systems

  • Project manager: Becker B
  • Start/End of project: since 01.01.2004 (unlimited)
  • Project details

2003

Icon: top back to the year overview

SAT-Solver MIRA

  • Project manager: Prof. Dr. Bernd Becker
  • Start/End of project: 01.01.2003 until 31.12.2009
  • Project details

2000

Icon: top back to the year overview

Automatic verification of incomplete designs

  • Project manager: Becker B
  • Start/End of project: since 01.01.2000 (unlimited)
  • Project details

Bounded Model Checking of Blackbox Designs via Quantified Boolean Formulas

  • Project manager: Becker B
  • Start/End of project: since 01.01.2000 (unlimited)
  • Project details

EMS - Enbedded Microsystems

  • Project manager: Becker B
  • Start/End of project: since 01.01.2000 (unlimited)
  • Project details

MoPo - Mobile Pools

  • Project manager: Becker B
  • Start/End of project: since 01.01.2000 (unlimited)
  • Project details


Publikationen


Years: 2019 | 2016 | 2013 | 2012

    2019

    Icon: top back to the year overview
    • 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)

    2016

    Icon: top back to the year overview

    2013

    Icon: top back to the year overview
    • 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, volume: P-220, pages: 255 - 269
    • Katrin Weber, Bernd Becker
      Formative Evaluation des mobilen Classroom-Response-Systems SMILE
      2013 GMW 2013 eLearing, pages: 277 - 289

    2012

    Icon: top back to the year overview
    • 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), pages: 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, volume: 2, pages: 515 - 516