31 citations · 85 across the 19 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2018★ 2 cited
Structured Synthesis for Probabilistic Systems
Nils Jansen, Laura Humphrey, Jana Tumova +1
We introduce the concept of structured synthesis for Markov decision processes where the structure is induced from finitely many pre-specified options for a system configuration. T…
cs.SE2017
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures
Jan Kofroň, Jana Tumova
These are the proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on April 22, 2…
cs.SE2016
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures
Jana Kofroň, Jana Tumova, Bara Buhnova
The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of forma…