Simon Außerlechner

According to our database, Simon Außerlechner authored at least 5 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Hall Effect Devices with Three Terminals: Their Magnetic Sensitivity and Offset Cancellation Scheme.

Simon Außerlechner

J. Sensors, 2016

Tight Cutoffs for Guarded Protocols with Fairness.

Simon Außerlechner, Swen Jacobs, Ayrat Khalimov

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach.

Rui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa

Proceedings of the Testing Software and Systems, 2015

2014

Synthesis of synchronization using uninterpreted functions.

Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

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

Proceedings of the 2013 13th International Conference on Quality Software, 2013