I am a Ph.D. student at the chair of Prof. Holger Hermanns since April 2016.

Tools

Publications

Year Publication Open Access?
2015 Felix Freiberger, Holger Hermanns:
On the Control of Self-Balancing Unicycles.
MARS 2015: 25-36
✓ (via arXiv)
additional material
2017 Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns:
Teaching Academic Concurrency to Amazing Students.
Models, Algorithms, Logics and Tools 2017: 170-195
✓ (on powver.org)
2019 Felix Freiberger, Holger Hermanns:
Concurrent Programming from pseuCo to Petri.
Petri Nets 2019: 279-297
✓ (on powver.org)
2021 Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám:
Controller verification meets controller code: a case study.
MEMOCODE 2021: 98-103
✓ (on powver.org)
2022 Felix Freiberger:
pseuCo Book: An Interactive Learning Experience.
ITiCSE 2022: 414-420
✓ (via ACM)
2023 Felix Freiberger:
Model Checking Concurrent Programs for Autograding in pseuCo Book.
FMTea 2023: 51-65
✓ (preprint)

Teaching Experience

Instructor

  • Concurrent Programming, Basic Course, Summer term 2023

Teaching Assistant

  • “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer term 2016
  • “Programmierung 1”, Basic Course, Winter term 2016/17
  • “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer term 2018
  • “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer term 2019
  • “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer term 2020
  • “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer term 2022

Student TA

  • “Programmierung 1” (Programming 1), Repetition Tutorial, WS 2011/12
  • Preparatory course in Mathematics, 2012
  • “Programmierung 1” (Programming 1), Basic Course, WS 2012/13
  • “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer term 2013
  • Preparatory course in Mathematics, 2013
  • “Programmierung 1” (Programming 1), Supervision, Basic Course, WS 2013/14
  • “Nebenläufige Programmierung” (Concurrent Programming), Supervision, Basic Course, Summer term 2014
  • Verification, Core Lecture, Winter term 2014/15
  • Preparatory course in Mathematics, 2015
  • Preparatory course in Mathematics, 2016
  • Preparatory course in Mathematics, 2017

Contact

Address: Campus Saarbrücken, 66123 Saarbrücken
Phone: +49 681 302 5608
Location: Bldg. E1 3, Room 508
E-mail: freiberger@depend.uni-saarland.de
Mastodon: @fefrei@mastodon.social