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

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)