On the Control of Self-Balancing Unicycles. - Felix Freiberger; Holger Hermanns (MARS, 2015)

Teaching Academic Concurrency to Amazing Students. - Sebastian Biewer; Felix Freiberger; Pascal Leo Held; Holger Hermanns (Models, Algorithms, Logics and Tools, 2017)

Concurrent Programming from pseuCo to Petri. - Felix Freiberger; Holger Hermanns (Petri Nets, 2019)

LICS-ICALP 2020 Questionnaire Evaluation. - Felix Freiberger; Holger Hermanns (Bull. EATCS, 2020)

Controller verification meets controller code: a case study. - Felix Freiberger; Stefan Schupp; Holger Hermanns; Erika Ábrahám (MEMOCODE, 2021)

pseuCo Book: An Interactive Learning Experience. - Felix Freiberger (ITiCSE (1), 2022)

Model Checking Concurrent Programs for Autograding in pseuCo Book. - Felix Freiberger (FMTea, 2023)