https://sosy-lab.org/people/barth/ https://sosy-lab.org/people/brieger/ https://sosy-lab.org/people/bunk/ https://sosy-lab.org/people/chien/ https://sosy-lab.org/people/dangl/ https://sosy-lab.org/people/diem/ https://sosy-lab.org/people/ernst/ https://sosy-lab.org/people/ernst/news/ https://sosy-lab.org/people/ernst/research/ https://sosy-lab.org/people/ernst/teaching/ https://sosy-lab.org/people/ernst/top/ https://sosy-lab.org/people/fasching/ https://sosy-lab.org/people/friedberger/ https://sosy-lab.org/people/hennicker/ https://sosy-lab.org/people/hesse/ https://sosy-lab.org/people/holzner/ https://sosy-lab.org/people/jakobs/ https://sosy-lab.org/people/jankola/ https://sosy-lab.org/people/kanav/ https://sosy-lab.org/people/kettl/ https://sosy-lab.org/people/kim/content/ https://sosy-lab.org/people/klarl/ https://sosy-lab.org/people/kurzidem/ https://sosy-lab.org/people/lee/ https://sosy-lab.org/people/lingsch-rosenfeld/ https://sosy-lab.org/people/mayer/ https://sosy-lab.org/people/sarre/ https://sosy-lab.org/people/spiessl/ https://sosy-lab.org/people/wachowitz/ https://sosy-lab.org/people/wachowitz/research/ https://sosy-lab.org/people/weise/ https://sosy-lab.org/people/wendler/ https://sosy-lab.org/people/winter/ https://sosy-lab.org/people/wirsing/ https://sosy-lab.org/people/zengler/ https://sosy-lab.org/teaching-past/ https://sosy-lab.org/news/all/ https://sosy-lab.org/categories/ https://sosy-lab.org/people/baier/ https://sosy-lab.org/research/bib/Funding/DFG-CONVEY.html https://sosy-lab.org/research/bib/Funding/DFG-COOP.html https://sosy-lab.org/people/chien/general-thesis-requirements/ https://sosy-lab.org/research-projects/ https://sosy-lab.org/student-hints/ https://sosy-lab.org/ https://sosy-lab.org/contact/ https://sosy-lab.org/junior-professorship/ https://sosy-lab.org/news/ https://sosy-lab.org/positions/ https://sosy-lab.org/people/wirsing/activities/ https://sosy-lab.org/people/majster-cederbaum/ https://sosy-lab.org/research/bib/ https://sosy-lab.org/research/bib/All/ https://sosy-lab.org/research/bib/Keyword/ACSL.html https://sosy-lab.org/research/bib/Keyword/BAM.html https://sosy-lab.org/research/bib/Keyword/BDD.html https://sosy-lab.org/research/bib/Keyword/BENCHMARKING.html https://sosy-lab.org/research/bib/Keyword/BLAST.html https://sosy-lab.org/research/bib/Keyword/CLOUD-BASED-SOFTWARE-VERIFICATION.html https://sosy-lab.org/research/bib/Keyword/COMPETITION-ON-SOFTWARE-TESTING-TEST-COMP-REPORT.html https://sosy-lab.org/research/bib/Keyword/COMPETITION-ON-SOFTWARE-TESTING-TEST-COMP.html https://sosy-lab.org/research/bib/Keyword/COMPETITION-ON-SOFTWARE-VERIFICATION-SV-COMP-REPORT.html https://sosy-lab.org/research/bib/Keyword/COMPETITION-ON-SOFTWARE-VERIFICATION-SV-COMP.html https://sosy-lab.org/research/bib/Keyword/CPACHECKER.html https://sosy-lab.org/research/bib/Keyword/DFG-COOP.html https://sosy-lab.org/research/bib/Keyword/ENERGY-MEASUREMENT.html https://sosy-lab.org/research/bib/Keyword/FORMAL-VERIFICATION-OF-REAL-TIME-SYSTEMS.html https://sosy-lab.org/research/bib/Keyword/INTERFACES-FOR-COMPONENT-BASED-DESIGN.html https://sosy-lab.org/research/bib/Keyword/JAVASMT.html https://sosy-lab.org/research/bib/Keyword/LOOP-ACCELERATION.html https://sosy-lab.org/research/bib/Keyword/PJBDD.html https://sosy-lab.org/research/bib/Keyword/REFACTORING.html https://sosy-lab.org/research/bib/Keyword/SEARCH-STRATEGY.html https://sosy-lab.org/research/bib/Keyword/SEPARATION-LOGIC.html https://sosy-lab.org/research/bib/Keyword/SOFTWARE-DEVELOPMENT-PROJECT.html https://sosy-lab.org/research/bib/Keyword/SOFTWARE-MODEL-CHECKING.html https://sosy-lab.org/research/bib/Keyword/SOFTWARE-TESTING.html https://sosy-lab.org/research/bib/Keyword/STRUCTURAL-ANALYSIS-AND-COMPREHENSION.html https://sosy-lab.org/research/bib/Keyword/TAINT.html https://sosy-lab.org/research/bib/Keyword/WITNESS-BASED-VALIDATION.html https://sosy-lab.org/research/bib/Keyword/WITNESS-BASED-VALIDATION-MAIN.html https://sosy-lab.org/research/bib/Category/articles.html https://sosy-lab.org/research/bib/Category/books.html https://sosy-lab.org/research/bib/Category/conferences.html https://sosy-lab.org/research/bib/Category/misc.html https://sosy-lab.org/research/bib/Category/reports.html https://sosy-lab.org/research/bib/Author/BEYER-D.html https://sosy-lab.org/research/bib/Author/ERNST-G.html https://sosy-lab.org/research/bib/Author/FRIEDBERGER-K.html https://sosy-lab.org/research/bib/Author/JAKOBS-M.html https://sosy-lab.org/research/bib/Author/SPIESSL-M.html https://sosy-lab.org/research/bib/Author/DANGL-M.html https://sosy-lab.org/research/bib/Author/KEREMOGLU-ME.html https://sosy-lab.org/research/bib/Author/WENDLER-P.html https://sosy-lab.org/research/bib/Author/L%C3%96WE-S.html https://sosy-lab.org/research/bib/Author/HOLZNER-S.html https://sosy-lab.org/research/bib/Author/KANAV-S.html https://sosy-lab.org/research/bib/Author/BUNK-T.html https://sosy-lab.org/research/bib/Author/LEMBERGER-T.html https://sosy-lab.org/research/bib/Year/1998.html https://sosy-lab.org/research/bib/Year/1999.html https://sosy-lab.org/research/bib/Year/2000.html https://sosy-lab.org/research/bib/Year/2001.html https://sosy-lab.org/research/bib/Year/2002.html https://sosy-lab.org/research/bib/Year/2003.html https://sosy-lab.org/research/bib/Year/2004.html https://sosy-lab.org/research/bib/Year/2005.html https://sosy-lab.org/research/bib/Year/2006.html https://sosy-lab.org/research/bib/Year/2007.html https://sosy-lab.org/research/bib/Year/2008.html https://sosy-lab.org/research/bib/Year/2009.html https://sosy-lab.org/research/bib/Year/2010.html https://sosy-lab.org/research/bib/Year/2011.html https://sosy-lab.org/research/bib/Year/2012.html https://sosy-lab.org/research/bib/Year/2013.html https://sosy-lab.org/research/bib/Year/2014.html https://sosy-lab.org/research/bib/Year/2015.html https://sosy-lab.org/research/bib/Year/2016.html https://sosy-lab.org/research/bib/Year/2017.html https://sosy-lab.org/research/bib/Year/2018.html https://sosy-lab.org/research/bib/Year/2019.html https://sosy-lab.org/research/bib/Year/2020.html https://sosy-lab.org/research/bib/Year/2021.html https://sosy-lab.org/research/bib/Year/2022.html https://sosy-lab.org/seminars/ https://sosy-lab.org/research/ https://sosy-lab.org/software/ https://sosy-lab.org/people/ https://sosy-lab.org/people/loewe/ https://sosy-lab.org/talks/ https://sosy-lab.org/supplementary/ https://sosy-lab.org/tags/ https://sosy-lab.org/research/talks/ https://sosy-lab.org/research/talks/All/ https://sosy-lab.org/research/talks/Category/conference-talks.html https://sosy-lab.org/research/talks/Category/defenses.html https://sosy-lab.org/research/talks/Category/invited-talks.html https://sosy-lab.org/research/talks/Author/BEYER-D.html https://sosy-lab.org/research/talks/Author/ERNST-G.html https://sosy-lab.org/research/talks/Author/FRIEDBERGER-K.html https://sosy-lab.org/research/talks/Author/JAKOBS-M.html https://sosy-lab.org/research/talks/Author/SPIESSL-M.html https://sosy-lab.org/research/talks/Author/DANGL-M.html https://sosy-lab.org/research/talks/Author/WENDLER-P.html https://sosy-lab.org/research/talks/Author/BUNK-T.html https://sosy-lab.org/research/talks/Author/LEMBERGER-T.html https://sosy-lab.org/research/talks/Year/2007.html https://sosy-lab.org/research/talks/Year/2008.html https://sosy-lab.org/research/talks/Year/2009.html https://sosy-lab.org/research/talks/Year/2010.html https://sosy-lab.org/research/talks/Year/2013.html https://sosy-lab.org/research/talks/Year/2016.html https://sosy-lab.org/research/talks/Year/2017.html https://sosy-lab.org/research/talks/Year/2018.html https://sosy-lab.org/research/talks/Year/2019.html https://sosy-lab.org/research/talks/Year/2020.html https://sosy-lab.org/research/talks/Year/2021.html https://sosy-lab.org/teaching/ https://sosy-lab.org/teaching/theses-overview/ https://sosy-lab.org/people/lemberger/