The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. - Simon Ausserlechner; Sandra Fruhmann; Wolfgang Wieser; Birgit Hofer; Raphael Spork; Clemens Mühlbacher; Franz Wotawa (QSIC, 2013)

Synthesis of synchronization using uninterpreted functions. - Roderick Bloem; Georg Hofferek; Bettina Könighofer; Robert Könighofer; Simon Ausserlechner; Raphael Spork (FMCAD, 2014)