We stand with Ukraine  

Felix Freiberger

Orcid: 0000-0001-9282-9665

Affiliations:
  • Saarland University, Saarbrücken, Germany


According to our database1, Felix Freiberger authored at least 7 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Model Checking Concurrent Programs for Autograding in pseuCo Book.
[BibTeX]
[DOI]
Felix Freiberger
Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023

2022
pseuCo Book: An Interactive Learning Experience.
[BibTeX]
[DOI]
Felix Freiberger
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

2021
Controller verification meets controller code: a case study.
[BibTeX]
[DOI]
Felix Freiberger
,
Stefan Schupp
,
Holger Hermanns
,
Erika Ábrahám
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2020
LICS-ICALP 2020 Questionnaire Evaluation.
[BibTeX]
[DOI]
Felix Freiberger
,
Holger Hermanns
Bull. EATCS, 2020

2019
Concurrent Programming from pseuCo to Petri.
[BibTeX]
[DOI]
Felix Freiberger
,
Holger Hermanns
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2017
Teaching Academic Concurrency to Amazing Students.
[BibTeX]
[DOI]
Sebastian Biewer
,
Felix Freiberger
,
Pascal Leo Held
,
Holger Hermanns
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2015
On the Control of Self-Balancing Unicycles.
[BibTeX]
[DOI]
Felix Freiberger
,
Holger Hermanns
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015


  Loading...