Dr.-Ing. Yannick Welsch

Photo of Dr.-Ing. Yannick Welsch
Email welsch at cs.uni-kl.de
Phone +49 - 631 - 205 - 26 23
Fax +49 - 631 - 205 - 34 20
Postal address TU Kaiserslautern
Fachbereich Informatik, Gebäude 34
Postfach 30 49
D-67653 Kaiserslautern
Visitor address Gebäude 34, Raum 407
Zugang über Paul-Ehrlich-Str.
D-67653 Kaiserslautern

Research Tools

Publications and Drafts (in reverse chronological order)



  • Generating Boogie Verification Conditions For Backward Compatiblity of Class Libraries (Mathias Weber)
  • Specification and Analysis of Partition Properties in Java Programs (Florian Strauß)
  • Modellierung einer Web-Applikation mit der Spezifikationssprache ABS (Peter Zeller)
  • TIFI+: A Type Checker for Object Immutability with Flexible Initialization Proposal Thesis (Günther Noack) Immutability Checker: immutability.jar Run with javac -processor checkers.immutability.ImmutabilityChecker …
  • Untersuchung von öffentlichen Java-Schnittstellen auf öffentlich nicht sichtbare Typen – Fallstudie Proposal (german) Thesis (german) (Mathias Weber)


Research Funding

  • 2009 - 2013: By the project “Highly Adaptable and Trustworthy Software using Formal Models” (HATS), which is funded by the European Union within the programme “Future and Emerging Technologies” (FET)