Andreas Fellner

According to our database, Andreas Fellner authored at least 8 papers between 2014 and 2020.

Collaborative distances:

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

2020

Language Inclusion for Finite Prime Event Structures.

Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher

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

2019

Greedy pebbling for proof space compression.

Andreas Fellner, Bruno Woltzenlogel Paleo

Int. J. Softw. Tools Technol. Transf., 2019

Mutation Testing with Hyperproperties.

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.

Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2017

NP-completeness of small conflict set generation for congruence closure.

Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo

Formal Methods Syst. Des., 2017

Model-based, mutation-driven test case generation via heuristic-guided branching search.

Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2015

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Skeptik: A Proof Compression System.

Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014