Simon Außerlechner

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Hall Effect Devices with Three Terminals: Their Magnetic Sensitivity and Offset Cancellation Scheme.
J. Sensors, 2016

Tight Cutoffs for Guarded Protocols with Fairness.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015
Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach.
Proceedings of the Testing Software and Systems, 2015

2014
Synthesis of synchronization using uninterpreted functions.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013
The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets.
Proceedings of the 2013 13th International Conference on Quality Software, 2013


  Loading...