Insa Fuhrmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FDL | Design and implementation of a safety-critical domain specific language for on-board train control. | Alexandre Betis, Clment Dransart, Christophe Lechevalier, Jrme Magouet, Patrick Viry, Insa Fuhrmann, Johannes Meier |
| 2016 | RTNS | Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. | Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten |
| 2014 | ESOP | Grounding Synchronous Deterministic Concurrency in Sequential Programming. | Joaqun Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann |
| 2013 | DATE | Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. | Reinhard von Hanxleden, Michael Mendler, Joaqun Aguado, Bjrn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien |