Andreas Fellner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2014–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | VMCAI | Language Inclusion for Finite Prime Event Structures. | Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher |
| 2019 | ICECCS | 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 |
| 2019 | SEFM | Mutation Testing with Hyperproperties. | Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher |
| 2017 | MEMOCODE | Model-based, mutation-driven test case generation via heuristic-guided branching search. | Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher |
| 2015 | CAV | Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretnsk |
| 2014 | CADE | Skeptik: A Proof Compression System. | Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo |