Skeptik: A Proof Compression System. - Joseph Boudou; Andreas Fellner; Bruno Woltzenlogel Paleo (IJCAR, 2014)

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. - Tomás Brázdil; Krishnendu Chatterjee; Martin Chmelik; Andreas Fellner; Jan Kretínský (CAV (1), 2015)

NP-completeness of small conflict set generation for congruence closure. - Andreas Fellner; Pascal Fontaine; Bruno Woltzenlogel Paleo (Formal Methods Syst. Des., 2017)

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 (ICECCS, 2019)

Greedy pebbling for proof space compression. - Andreas Fellner; Bruno Woltzenlogel Paleo (Int. J. Softw. Tools Technol. Transf., 2019)

Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. - Andreas Fellner; Willibald Krenn; Rupert Schlick; Thorsten Tarrach; Georg Weissenbacher (ACM Trans. Embed. Comput. Syst., 2019)

Language Inclusion for Finite Prime Event Structures. - Andreas Fellner; Thorsten Tarrach; Georg Weissenbacher (VMCAI, 2020)

Mutation testing with hyperproperties. - Andreas Fellner; Mitra Tabaei Befrouei; Georg Weissenbacher (Softw. Syst. Model., 2021)