Travelled to:1 × Estonia
1 × France
1 × Russia
1 × United Kingdom
2 × Italy
Collaborated with:P.Wendler D.Beyer ∅ M.Dangl M.U.Mandrykin E.Novikov A.Stahlbauer
Talks about:contribut (4) competit (4) acheck (4) explicit (3) interpol (2) analysi (2) predic (2) analys (2) cegar (2) valu (2)
Person: Stefan Löwe
DBLP: L=ouml=we:Stefan
Contributed to:
20152014
2013
201320132012Wrote 6 papers:
- TACAS-2015-DanglLW #contest #float #recursion #source code
- CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.
- TACAS-2014-LoweMW #analysis #contest
- CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses — (Competition Contribution) (SL, MUM, PW), pp. 392–394.
- ESEC-FSE-2013-BeyerLNSW #performance #precise #reuse #verification
- Precision reuse for efficient regression verification (DB, SL, EN, AS, PW), pp. 389–399.
- FASE-2013-BeyerL #model checking
- Explicit-State Software Model Checking Based on CEGAR and Interpolation (DB, SL), pp. 146–162.
- TACAS-2013-Lowe #analysis #contest
- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation — (Competition Contribution) (SL), pp. 610–612.
- TACAS-2012-LoweW #analysis #contest
- CPAchecker with Adjustable Predicate Analysis — (Competition Contribution) (SL, PW), pp. 528–530.