Max Schäfer
发表
Frank Tip,
Manu Sridharan,
Julian Dolby,
2012,
ECOOP.
Max Schäfer,
2006
.
O. Moor,
Pavel Avgustinov,
Max Schäfer,
2017
.
Torbjörn Ekman,
Oege de Moor,
Max Schäfer,
2008,
OOPSLA.
Michael Pradel,
Max Schäfer,
Yiu Wai Chow,
2023,
ISSTA.
A. Eghbali,
F. Tip,
Sarah Nadi,
2023,
ArXiv.
Frank Tip,
Shay Artzi,
Todd D. Millstein,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Frank Tip,
Emina Torlak,
Manu Sridharan,
2010,
ECOOP.
Manu Sridharan,
Max Schäfer,
Martin Vechev,
2013,
OOPSLA.
Michael Peyton Jones,
Oege de Moor,
Max Schäfer,
2016,
ECOOP.
Michael Pradel,
Max Schäfer,
Cristian-Alexandru Staicu,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Frank Tip,
Manu Sridharan,
Julian Dolby,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Oege de Moor,
Max Schäfer,
O. Moor,
2010,
POPL '10.
Frank Tip,
Julian Dolby,
Max Schäfer,
2013,
PLDI.
Oege de Moor,
Max Schäfer,
Pavel Avgustinov,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Oege de Moor,
Max Schäfer,
O. Moor,
2010,
OOPSLA.
C.-H. Luke Ong,
Max Schäfer,
Martin Lester,
2013,
CSF.
C.-H. Luke Ong,
Max Schäfer,
Martin Lester,
2013,
2013 IEEE 26th Computer Security Foundations Symposium.
Torbjörn Ekman,
Oege de Moor,
Max Schäfer,
2009,
ECOOP.