Jan Bredereke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1991–2022
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | IDC | Enabling Neural Network Edge Computing on a Small Robot Vehicle. | Jan Bredereke |
| 2002 | SAFECOMP | A Rigorous View of Mode Confusion. | Jan Bredereke, Axel Lankenau |
| 2001 | FORTE | A Tool for Generating Specifications from a Family of Formal Requirements. | Jan Bredereke |
| 1994 | FORTE | Specification, detection and resolution of IN feature interactions with Estelle. | Jan Bredereke, Reinhard Gotzhein |
| 1993 | FORTE | Increasing the Concurrency in Estelle. | Jan Bredereke, Reinhard Gotzhein |
| 1992 | FORTE | Design of a formal Estelle semantics for verification. | Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt |
| 1991 | GI | Praktischer Einsatz und Weiterentwicklung von Estelle. | Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schler, Reinhard Gotzhein, Friedrich H. Vogt |