Simon Ausserlechner

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Functional Programs

Search Algorithm

Hardware Designs

Top Venues

Publications

Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork
Synthesis of synchronization using uninterpreted functions. FMCAD (2014)
Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Mühlbacher, Franz Wotawa
The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. QSIC (2013)