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)

Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach. - Rui Abreu 001; Simon Außerlechner; Birgit Hofer; Franz Wotawa (ICTSS, 2015)

Tight Cutoffs for Guarded Protocols with Fairness. - Simon Außerlechner; Swen Jacobs; Ayrat Khalimov 001 (VMCAI, 2016)

Hall Effect Devices with Three Terminals: Their Magnetic Sensitivity and Offset Cancellation Scheme. - Simon Außerlechner (J. Sensors, 2016)