Dr.-Ing. Yannick Welsch

Foto von Dr.-Ing. Yannick Welsch
E-Mail-Adresse welsch at cs.uni-kl.de
Telefon +49 - 631 - 205 - 26 23
Fax +49 - 631 - 205 - 34 20
Postanschrift TU Kaiserslautern
Fachbereich Informatik, Gebäude 34
Postfach 30 49
D-67653 Kaiserslautern
Besucheradresse Gebäude 34, Raum 407
Gottlieb-Daimler-Str.
Zugang über Paul-Ehrlich-Str.
D-67653 Kaiserslautern
Google-Karte
 

Research Tools

Publications and Drafts (in reverse chronological order)

Teaching

Theses

  • 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)

Lectures

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)