Yannick Welsch

According to our database1, Yannick Welsch authored at least 11 papers between 2007 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries.
Sci. Comput. Program., 2014

2013
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

2012
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

2011
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

2010
A Component Model for the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2008
Grey-box specifications for object-oriented program components.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007
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


  Loading...