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: Wintersteiger:Christoph_M=
Facilitated 1 volumes:
EdContributed to:
2014
20142012
201120102010
20092009
20072018Wrote 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.