Insa Fuhrmann

According to our database, Insa Fuhrmann authored at least 8 papers between 2013 and 2025.

Collaborative distances:

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

2025

Design and implementation of a safety-critical domain specific language for on-board train control.

Alexandre Betis, Clément Dransart, Christophe Lechevalier, Jérôme Magouet, Patrick Viry, Insa Fuhrmann, Johannes Meier

Proceedings of the Forum on Specification & Design Languages, 2025

2019

Time for Reactive System Modeling.

Insa Fuhrmann

PhD thesis, 2019

2016

Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting.

Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

2015

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency.

Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann

Acta Informatica, 2015

Sequential Constructiveness, SCCharts for Safety-Critical Applications.

Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop

ACM Trans. Embed. Comput. Syst., 2014

Grounding Synchronous Deterministic Concurrency in Sequential Programming.

Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann

Proceedings of the Programming Languages and Systems, 2014

2013

Sequentially constructive concurrency: a conservative extension of the synchronous model of computation.

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien

Proceedings of the Design, Automation and Test in Europe, 2013