Felix Freiberger

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Linear Temporal Logic

Concurrent Programs

Learning Experience

Top Venues

Publications

Felix Freiberger
Model Checking Concurrent Programs for Autograding in pseuCo Book. FMTea (2023)
Felix Freiberger
Model Checking Concurrent Programs for Autograding in pseuCo Book. FMTea (2022)
Felix Freiberger
pseuCo Book: An Interactive Learning Experience. ITiCSE (1) (2022)
Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám
Controller verification meets controller code: a case study. MEMOCODE (2021)
Felix Freiberger, Holger Hermann
LICS-ICALP 2020 Questionnaire Evaluation. Bull. EATCS 132 (2020)
Felix Freiberger, Holger Hermanns
Concurrent Programming from pseuCo to Petri. Petri Nets (2019)
Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
Teaching Academic Concurrency to Amazing Students. Models, Algorithms, Logics and Tools (2017)
Felix Freiberger, Holger Hermanns
On the Control of Self-Balancing Unicycles. MARS (2015)