Frederic Reiter

According to our database, Frederic Reiter authored at least 3 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Towards an End-to-End Toolchain for Traceable and Verifiable Railway Signalling Specifications.

Frederic Reiter, Roman Wetenkamp, Robert Schmid, Richard Kretzschmar, Lukas Iffländer

Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025

2024

Managing Complexity in Safety-critical Railway Signaling Systems using Simplex Architectures.

Robert Schmid, Katja Assaf, Clemens Tiedt, Frederic Reiter, Dirk Friedenberger, Andreas Polze

Proceedings of the 27th IEEE International Symposium on Real-Time Distributed Computing, 2024

2013

A New Space Digital Signal Processor Design.

Massimiliano Donati, Sergio Saponara, Luca Fanucci, Walter Errico, Annamaria Colonna, Giuseppe Piscopiello, Giovanni Tuccio, Franco Bigongiari, Maximilian Odendahl, Rainer Leupers, Antonio Spada, Vincenzo Pii, Elena Cordiviola, Francesco Nuzzolo, Frederic Reiter

Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2013