Insa Fuhrmann

According to our database1, Insa Fuhrmann
  • authored at least 6 papers between 2013 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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 Inf., 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. Embedded 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...