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
- Backward Compatibility Verifier: web interface to current tool version
- Source Compatibility for Java Packages (outdated, see tool above)
- ABS Tool Suite
Publications and Drafts (in reverse chronological order)
- Reasoning about Backward Compatibility of Class Libraries PhD thesis (defended 29.08.2013)
- A Backward Compatibility Verifier for Java Libraries (Draft)
- A Fully Abstract Trace-based Semantics for Reasoning About Backward Compatibility of Class Libraries (Science of Computer Programming 2013)
- Location Types for Safe Programming with Near and Far References (LNCS State-of-the-Art volume on Aliasing in Object-Oriented Programming, 2013)
- Model-based Compatibility Checking of System Modifications (ISoLA 2012 )
- Verifying Backwards Compatibility of Object-Oriented Libraries Using Boogie (Extended Abstract) (submitted version) (FTfJP 2012)
- A Type System for Checking Specialization of Packages in Object-Oriented Programming (SAC 2012, Technical Report)
- Full Abstraction at Package Boundaries of Object-Oriented Languages (submitted version) (SBMF 2011, best paper award)
- Location Types for Safe Distributed Object-Oriented Programming (TOOLS 2011) Technical Report
- A Component Model for the ABS Language (FMCO 2010)
- Source Compatibility for Java Packages
- State-based Object Models are more Abstract than Trace-based Models: Towards a Unified Specification Framework
- Grey-Box Specification and Runtime Testing of Object-Oriented Program Components (Master thesis)
- More on my DBLP profile
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
- Seminar Software-Engineering (2010-2013)
- Seminar Software-Engineering (winter term 2009/2010)
- Advanced Aspects of Object-Oriented Programming (summer term 2009)
- Seminar Software-Engineering (winter term 2008/2009)
- Software-Entwicklung I (winter term 2008/2009)
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)