Insa Fuhrmann
According to our database1,
Insa Fuhrmann
authored at least 6 papers
between 2013 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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