Andreas Fellner

13 papers A 1B 3C 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
Mutation testing with hyperproperties.
Softw. Syst. Model.
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
2020 B conf
Language Inclusion for Finite Prime Event Structures.
VMCAI
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
2019 B conf
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.
ICECCS
Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer
2019 J jnl
Greedy pebbling for proof space compression.
Int. J. Softw. Tools Technol. Transf.
Andreas Fellner, Bruno Woltzenlogel Paleo
2019 J jnl
Language Inclusion for Finite Prime Event Structures.
CoRR
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
2019 J jnl
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search.
ACM Trans. Embed. Comput. Syst.
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
2019 B conf
Mutation Testing with Hyperproperties.
SEFM
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
2019 J jnl
Mutation Testing with Hyperproperties.
CoRR
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
2017 C conf
Model-based, mutation-driven test case generation via heuristic-guided branching search.
MEMOCODE
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
2017 J jnl
NP-completeness of small conflict set generation for congruence closure.
Formal Methods Syst. Des.
Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo
2015 — conf
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.
CAV (1)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
2015 J jnl
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.
CoRR
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
2014 A conf
Skeptik: A Proof Compression System.
IJCAR
Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo