Leander Tentrup

47 papers A 4B 2Journal 24Unranked 16

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. Int. J. Softw. Tools Technol. Transf. Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
2022	J	`jnl`	The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
2021	J	`jnl`	Efficient Monitoring of Hyperproperties using Prefix Trees. CoRR Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2021	J	`jnl`	Realizing Omega-regular Hyperproperties. CoRR Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
2020	J	`jnl`	Efficient monitoring of hyperproperties using prefix trees. Int. J. Softw. Tools Technol. Transf. Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2020	—	`conf`	Realizing ømega-regular Hyperproperties. CAV (2) Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
2020	J	`jnl`	Synthesis from hyperproperties. Acta Informatica Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
2020	J	`jnl`	Verifying Hyperliveness. CoRR Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
2019	J	`jnl`	CAQE and QuAbS: Abstraction Based QBF Solvers. J. Satisf. Boolean Model. Comput. Leander Tentrup
2019	A	`conf`	Clausal Abstraction for DQBF. SAT Leander Tentrup, Markus N. Rabe
2019	—	`conf`	Constraint-Based Monitoring of Hyperproperties. TACAS (2) Christopher Hahn, Marvin Stenger, Leander Tentrup
2019	J	`jnl`	Constraint-Based Monitoring of Hyperproperties. CoRR Christopher Hahn, Marvin Stenger, Leander Tentrup
2019	J	`jnl`	Monitoring hyperproperties. Formal Methods Syst. Des. Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2019	J	`jnl`	RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. CoRR Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2019	—	`conf`	StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
2019	—	`—`	Symbolic reactive synthesis. Leander Tentrup
2019	J	`jnl`	Synthesizing Reactive Systems from Hyperproperties. CoRR Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
2019	J	`jnl`	The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
2019	J	`jnl`	Understanding and Extending Incremental Determinization for 2QBF. CoRR Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
2019	—	`conf`	Verifying Hyperliveness. CAV (1) Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
2018	J	`jnl`	BoSy: An Experimentation Framework for Bounded Synthesis. CoRR Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
2018	J	`jnl`	Distributed synthesis for parameterized temporal logics. Inf. Comput. Swen Jacobs, Leander Tentrup, Martin Zimmermann
2018	J	`jnl`	Encodings of Bounded Synthesis. CoRR Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
2018	J	`jnl`	Monitoring Hyperproperties. CoRR Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2018	J	`jnl`	On Expansion and Resolution in CEGAR Based QBF Solving. CoRR Leander Tentrup
2018	—	`conf`	RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. TACAS (2) Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2018	—	`conf`	Solving QBF by Abstraction. GandALF Jesko Hecking-Harbusch, Leander Tentrup
2018	J	`jnl`	Synthesis of Boolean Functions with Clausal Abstraction. CoRR Markus N. Rabe, Leander Tentrup
2018	—	`conf`	Synthesizing Reactive Systems from Hyperproperties. CAV (1) Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
2018	—	`conf`	Understanding and Extending Incremental Determinization for 2QBF. CAV (2) Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
2017	—	`conf`	BoSy: An Experimentation Framework for Bounded Synthesis. CAV (2) Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
2017	J	`jnl`	Distributed Synthesis for Parameterized Temporal Logics. CoRR Swen Jacobs, Leander Tentrup, Martin Zimmermann
2017	—	`conf`	Encodings of Bounded Synthesis. TACAS (1) Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
2017	B	`conf`	Monitoring Hyperproperties. RV Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2017	—	`conf`	On Expansion and Resolution in CEGAR Based QBF Solving. CAV (2) Leander Tentrup
2017	—	`conf`	The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
2017	J	`jnl`	The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
2016	—	`conf`	Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time GandALF Leander Tentrup, Alexander Weinert, Martin Zimmermann
2016	—	`conf`	Distributed PROMPT-LTL Synthesis. GandALF Swen Jacobs, Leander Tentrup, Martin Zimmermann
2016	A	`conf`	Non-prenex QBF Solving Using Abstraction. SAT Leander Tentrup
2016	—	`conf`	The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
2015	B	`conf`	CAQE: A Certifying QBF Solver. FMCAD Markus N. Rabe, Leander Tentrup
2015	J	`jnl`	Detecting Unrealizability of Distributed Fault-tolerant Systems. Log. Methods Comput. Sci. Bernd Finkbeiner, Leander Tentrup
2015	J	`jnl`	The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
2015	—	`conf`	The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
2014	A	`conf`	Detecting Unrealizable Specifications of Distributed Systems. TACAS Bernd Finkbeiner, Leander Tentrup
2014	A	`conf`	Fast DQBF Refutation. SAT Bernd Finkbeiner, Leander Tentrup