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 × 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 DBLP: L=ouml=we:Stefan

Contributed to:

TACAS 20152015
TACAS 20142014
ESEC/FSE 20132013
FASE 20132013
TACAS 20132013
TACAS 20122012

Wrote 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.

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.