BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
Collaborated with:
B.Finkbeiner P.Faymonville M.Stenger M.N.Rabe C.Rasmussen S.A.Seshia N.Coenen C.Sánchez C.Hahn P.Lukert M.Schledjewski M.Schwenger H.Torfah
Talks about:
system (3) stream (2) base (2) qbf (2) hyperproperti (1) understand (1) experiment (1) increment (1) framework (1) distribut (1)

Person: Leander Tentrup

DBLP DBLP: Tentrup:Leander

Contributed to:

SAT 20142014
TACAS 20142014
CAV (2) 20172017
CAV (1) 20182018
CAV (2) 20182018
CAV (1) 20192019

Wrote 8 papers:

SAT-2014-FinkbeinerT #performance
Fast DQBF Refutation (BF, LT), pp. 243–251.
TACAS-2014-FinkbeinerT #detection #distributed #specification
Detecting Unrealizable Specifications of Distributed Systems (BF, LT), pp. 78–92.
CAV-2017-FaymonvilleFT #bound #framework #named #synthesis
BoSy: An Experimentation Framework for Bounded Synthesis (PF, BF, LT), pp. 325–332.
CAV-2017-Tentrup #on the
On Expansion and Resolution in CEGAR Based QBF Solving (LT), pp. 475–494.
Synthesizing Reactive Systems from Hyperproperties (BF, CH, PL, MS, LT), pp. 289–306.
CAV-2018-RabeTRS #comprehension #incremental
Understanding and Extending Incremental Determinization for 2QBF (MNR, LT, CR, SAS), pp. 256–274.
CAV-2019-CoenenFST #verification
Verifying Hyperliveness (NC, BF, CS, LT), pp. 121–139.
CAV-2019-FaymonvilleFSSS #cyber-physical #monitoring #named
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems (PF, BF, MS, MS, MS, LT, HT), pp. 421–431.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.