Travelled to:1 × USA
Collaborated with:E.Ábrahám Johanna Nellen F.Corzilius G.Kremer S.Junges
Talks about:smt (2) reachabl (1) parallel (1) variabl (1) toolbox (1) strateg (1) conquer (1) analysi (1) system (1) hybrid (1)
Person: Stefan Schupp
DBLP: Schupp:Stefan
Contributed to:
2015
2017Wrote 2 papers:
- SAT-2015-CorziliusKJSA #c++ #named #open source #parallel #smt
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (FC, GK, SJ, SS, EÁ), pp. 360–368.
- QAPL-2017-SchuppNA #analysis #divide and conquer #hybrid #reachability #set
- Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis (SS, JN, EÁ), pp. 1–14.