Thomas Flinkow
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IFM | Towards Correct-by-Construction Machine-Learnt Models. | Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan |
| 2024 | TAP | Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. | Hao Wu, Thomas Flinkow, Dominique Mry |
| 2023 | DSN | Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems. | Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan |