Yannick Welsch

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 1

Top Venues

Sci. Comput. Program.

CIDR

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

R. J. Atwal, Peter A. Boncz, Ryan Boyd, Antony Courtney, Till Döhmen, Florian Gerlinghoff, Jeff Huang, Joseph Hwang, Raphael Hyde, Elena Felder, Jacob Lacouture, Yves Le Maout, Boaz Leskes, Yao Liu, Alex Monahan, Dan Perkins, Tino Tereshko, Jordan Tigani, Nick Ursa, Stephanie Wang, Yannick Welsch
MotherDuck: DuckDB in the cloud and in the client. CIDR (2024)
Yannick Welsch, Arnd Poetzsch-Heffter
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries. Sci. Comput. Program. 92 (2014)
Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch
A type system for checking specialization of packages in object-oriented programming. SAC (2012)
Yannick Welsch, Arnd Poetzsch-Heffter
Verifying backwards compatibility of object-oriented libraries using Boogie. FTfJP@ECOOP (2012)
Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch
Model-Based Compatibility Checking of System Modifications. ISoLA (1) (2012)
Yannick Welsch, Jan Schäfer
Location Types for Safe Distributed Object-Oriented Programming. TOOLS (49) (2011)
Yannick Welsch, Arnd Poetzsch-Heffter
Full Abstraction at Package Boundaries of Object-Oriented Languages. SBMF (2011)
Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
A Component Model for the ABS Language. FMCO (2010)
Yannick Welsch
Grey-box specifications for object-oriented program components. OOPSLA Companion (2008)
Sebastian Herold, Holger Klus, Yannick Welsch, Constanze Deiters, Andreas Rausch, Ralf H. Reussner, Klaus Krogmann, Heiko Koziolek, Raffaela Mirandola, Benjamin Hummel, Michael Meisinger, Christian Pfaller
CoCoME - The Common Component Modeling Example. CoCoME (2007)

Yannick Welsch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yannick Welsch