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 × Cyprus
1 × France
1 × Germany
1 × New Zealand
1 × Portugal
1 × USA
1 × United Kingdom
2 × Austria
Collaborated with:
D.Kröning P.Rümmer A.Tsitovich N.Sharygina A.Zeljic Y.Hamadi L.M.d.Moura J.Berdine A.Cox S.Ishtiaq B.Cook P.Backeman N.Paoletti B.Yordanov H.Kugler S.Tonetta T.Jussila A.Biere C.Sinz
Talks about:
function (2) approxim (2) analysi (2) termin (2) analyz (2) logic (2) portfolio (1) construct (1) synthesi (1) loopfrog (1)

Person: Christoph M. Wintersteiger

DBLP DBLP: Wintersteiger:Christoph_M=

Facilitated 1 volumes:

SMT 2014Ed

Contributed to:

CAV 20142014
IJCAR 20142014
CAV 20122012
TACAS 20112011
CAV 20102010
TACAS 20102010
ASE 20092009
CAV 20092009
SAT 20072007
IJCAR 20182018

Wrote 10 papers:

CAV-2014-PaolettiYHWK #logic
Analyzing and Synthesizing Genomic Logic Functions (NP, BY, YH, CMW, HK), pp. 343–357.
IJCAR-2014-ZeljicWR #approximate
Approximations for Model Construction (AZ, CMW, PR), pp. 344–359.
CAV-2012-BerdineCIW #abstraction #analysis
Diagnosing Abstraction Failure for Separation Logic-Based Analyses (JB, AC, SI, CMW), pp. 155–173.
TACAS-2011-TsitovichSWK #analysis #summary #termination
Loop Summarization and Termination Analysis (AT, NS, CMW, DK), pp. 81–95.
CAV-2010-KroeningSTW #analysis #composition #invariant #termination
Termination Analysis with Compositional Transition Invariants (DK, NS, AT, CMW), pp. 89–103.
TACAS-2010-CookKRW #ranking #synthesis
Ranking Function Synthesis for Bit-Vector Relations (BC, DK, PR, CMW), pp. 236–250.
ASE-2009-KroeningSTTW #named #source code
Loopfrog: A Static Analyzer for ANSI-C Programs (DK, NS, ST, AT, CMW), pp. 668–670.
CAV-2009-WintersteigerHM #approach #concurrent #smt
A Concurrent Portfolio Approach to SMT Solving (CMW, YH, LMdM), pp. 715–720.
SAT-2007-JussilaBSKW #proving #towards
A First Step Towards a Unified Proof Checker for QBF (TJ, AB, CS, DK, CMW), pp. 201–214.
IJCAR-2018-ZeljicBWR #approximate #float #using
Exploring Approximations for Floating-Point Arithmetic Using UppSAT (AZ, PB, CMW, PR), pp. 246–262.

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.