I am a Ph.D. student at the chair of Prof. Holger Hermanns since April 2016.
Tools
- pseuCo.com, an interactive web application for concurrent programming
- colored-petri-nets, a JavaScript library for colored Petri nets and CPPNs
- pseuco-cpn-compiler, a compiler from pseuCo via CPPNs to colored Petri nets
- pseuCo Book, an interactive book on concurrent programming
- hybrid-documents, a framework for interactive books
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 |