1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.HC2019★ 1 cited
Experience Report: Towards Moving Things with Types -- Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis
Jan Bessai, Moritz Roidl, Anna Vasileva
One of the ultimate goals of software engineering is to leave virtual spaces and move real things. We take one step toward supporting users with this goal by connecting a type-base…
cs.LO2019
CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories
Fadil Kallat, Tristan Schäfer, Anna Vasileva
We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework. (CL)S is a tool for…
cs.LO2018
User Support for the Combinator Logic Synthesizer Framework
Jan Bessai, Anna Vasileva
Usability is crucial for the adoption of software development technologies. This is especially true in development stages, where build processes fail, because software is not yet c…