Insa Fuhrmann

According to our database1, Insa Fuhrmann authored at least 7 papers between 2013 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Time for Reactive System Modeling.
PhD thesis, 2019

2016
Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

2015
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency.
Acta Informatica, 2015

Sequential Constructiveness, SCCharts for Safety-Critical Applications.
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.
ACM Trans. Embed. Comput. Syst., 2014

Grounding Synchronous Deterministic Concurrency in Sequential Programming.
Proceedings of the Programming Languages and Systems, 2014

2013
Sequentially constructive concurrency: a conservative extension of the synchronous model of computation.
Proceedings of the Design, Automation and Test in Europe, 2013


  Loading...