Insa Fuhrmann

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 3

Top Topics

Fixed Point Semantics

Adaptive Systems

Relaxation Algorithm

Top Venues

ACM Trans. Embed. Comput. Syst.

Acta Informatica

Software Engineering & Management

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten
Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. RTNS (2016)
Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien
Sequential Constructiveness, SCCharts for Safety-Critical Applications. Software Engineering & Management (2015)
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. Acta Informatica 52 (4-5) (2015)
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
Grounding Synchronous Deterministic Concurrency in Sequential Programming. ESOP (2014)
Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop
Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien
Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. DATE (2013)