Projects
Years: 2020 | 2016 | 2015 | 2014 | 2011 | 2010 | 2007 | 2006 | 2005 | 2004 | 2003 | 2000
2020
back to the year overviewScale4Edge - 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
back to the year overviewSHIVA: 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
back to the year overviewThe 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
back to the year overviewAccurate 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
back to the year overview2010
back to the year overviewSMILE - Smartphones in Lectures
- Project manager: Bernd Becker
- Start/End of project: since 01.01.2010 (unlimited)
- Project details
2007
back to the year overviewWeiterbildungsprogramm Intelligente Eingebettete Mikrosysteme
- Project manager: Prof. Dr. Bernd Becker
- Start/End of project: since 01.01.2007 (unlimited)
- Project details
2006
back to the year overview2005
back to the year overviewTest und Diagnose in Nanoscale-Technologien
- Project manager: Becker B
- Start/End of project: 01.11.2005 until 30.09.2013
- Project details
2004
back to the year overviewAVACS: Automatic Verification and Analysis of Complex Systems
- Project manager: Becker B
- Start/End of project: since 01.01.2004 (unlimited)
- Project details
2003
back to the year overviewSAT-Solver MIRA
- Project manager: Prof. Dr. Bernd Becker
- Start/End of project: 01.01.2003 until 31.12.2009
- Project details
2000
back to the year overviewAutomatic 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
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
back to the year overview- 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), pages: 117 - 133, ISBN: 3-946017-01-0
2013
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
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