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: Tentrup:Leander
Contributed to:
2014
2014
2017201820182019Wrote 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.
- CAV-2018-FinkbeinerHLST
- 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.