Automated Property Verification for Large Scale B Models. - Michael Leuschel; Jérôme Falampin; Fabian Fritz; Daniel Plagge (FM, 2009)

Automated property verification for large scale B models with ProB. - Michael Leuschel; Jérôme Falampin; Fabian Fritz; Daniel Plagge (Formal Aspects Comput., 2011)

Developing Camille, a text editor for Rodin. - Jens Bendisposto; Fabian Fritz; Michael Jastram; Michael Leuschel; Ingo Weigelt (Softw. Pract. Exp., 2011)

On Using Pre-Trained Embeddings for Detecting Anomalous Sounds with Limited Training Data. - Kevin Wilkinghoff; Fabian Fritz (EUSIPCO, 2023)

LagrangeBench: A Lagrangian Fluid Mechanics Benchmarking Suite. - Artur P. Toshev; Gianluca Galletti; Fabian Fritz; Stefan Adami; Nikolaus A. Adams (NeurIPS, 2023)

Analyzing the Impact of HF-Specific Signal Degradation on Automatic Speech Recognition. - Fabian Fritz; Alessia Cornaggia-Urrigshardt; Lukas Henneke; Frank Kurth; Kevin Wilkinghoff (ICMCIS, 2024)