Leander Tentrup

CAQE: A Certifying QBF Solver

Markus N. Rabe, Leander Tentrup · 2015 · 103 citations

Computing, Computer Science, Algorithms +15

Monitoring hyperproperties

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger et al. · Formal Methods in System Design · 2019 · 47 citations · Full text

Computing, Computer Science, Computer Systems +15

The first reactive synthesis competition (SYNTCOMP 2014)

Swen Jacobs, Roderick Bloem, Romain Brenguier et al. · International Journal on Software Tools for Technology Transfer · 2016 · 34 citations · Full text

Engineering, Chemical Engineering, Chemistry +5

Synthesis from hyperproperties

Bernd Finkbeiner, Christopher Hahn, Philip Lukert et al. · Acta Informatica · 2019 · 24 citations · Full text

Engineering, Computer Engineering, Computer Science +15

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Maximilien Colange et al. · arXiv (Cornell University) · 2019 · 20 citations · Full text

Business, Computer Science, Compilers +6