According to our database1, Yannick Welsch authored at least 11 papers between 2007 and 2014.
Legend:Book In proceedings Article PhD thesis Other
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries.
Sci. Comput. Program., 2014
Location Types for Safe Programming with Near and Far References.
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013
Reasoning about Backward Compatibility of Class Libraries.
PhD thesis, 2013
A type system for checking specialization of packages in object-oriented programming.
Proceedings of the ACM Symposium on Applied Computing, 2012
Model-Based Compatibility Checking of System Modifications.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Verifying backwards compatibility of object-oriented libraries using Boogie.
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012
Location Types for Safe Distributed Object-Oriented Programming.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011
Full Abstraction at Package Boundaries of Object-Oriented Languages.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011
A Component Model for the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
Grey-box specifications for object-oriented program components.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
CoCoME - The Common Component Modeling Example.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007