Insa Fuhrmann

According to our database, Insa Fuhrmann

• authored at least 6 papers between 2013 and 2016.
• has a "Dijkstra number" of four.

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.

Joaquin Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann

Acta Inf., 2015

Sequential Constructiveness, SCCharts for Safety-Critical Applications.

Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquin 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, Joaquin Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop

ACM Trans. Embedded Comput. Syst., 2014

Grounding Synchronous Deterministic Concurrency in Sequential Programming.

Joaquin 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, Joaquin Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien

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