Michal Moskal
发表
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
SIGCSE '12.
Wolfram Schulte,
Michal Moskal,
Stephan Tobies,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Michal Moskal,
Michal Moskal,
2008,
TACAS.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2015,
2015 2nd ACM International Conference on Mobile Software Engineering and Systems.
Wolfram Schulte,
Ernie Cohen,
Michal Moskal,
2009
.
Michal Moskal,
S. Böhme,
2010
.
Sebastian Burckhardt,
Nikolai Tillmann,
Michal Moskal,
2014
.
Mark A. Hillebrand,
Wolfram Schulte,
Ernie Cohen,
2012
.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2013,
PLDI.
Jonathan de Halleux,
Steve Hodges,
Michal Moskal,
2021,
FDG.
J. Finney,
T. Ball,
Steve Hodges,
2022,
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies.
Mark A. Hillebrand,
Wolfram Schulte,
Michal Moskal,
2009,
TPHOLs.
Wolfram Schulte,
Michal Moskal,
Stefan Maus,
2008,
AMAST.
Mark A. Hillebrand,
Wolfgang J. Paul,
Alexandra Tsyban,
2009,
Ershov Memorial Conference.
Steve Hodges,
Thomas Ball,
Michał Moskal,
2019,
SPLASH-E.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
ITiCSE '12.
Teddy Seyed,
Jonathan de Halleux,
Steve Hodges,
2021,
CHI.
Michal Moskal,
Jakub Lopuszanski,
Joseph Kiniry,
2008,
SMT@CAV.
Jonathan de Halleux,
Steve Hodges,
Michal Moskal,
2018,
LCTES.
Michal Moskal,
Nadia Polikarpova,
Michal Moskal,
2012,
VSTTE.
Michal Moskal,
Michal Moskal,
2011,
NASA Formal Methods.
Wolfram Schulte,
Ernie Cohen,
Stephan Tobies,
2009
.
Michal Moskal,
Sascha Böhme,
Michal Moskal,
2011,
CADE.
K. Rustan M. Leino,
Claire Le Goues,
Michal Moskal,
2011,
SEFM.
K. Rustan M. Leino,
Claire Le Goues,
Michal Moskal,
2011,
ICSE 2011.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
Nikolai Tillmann,
Jonathan de Halleux,
Michal Moskal,
2011,
Onward! 2011.
Michał Moskal,
Michal Moskal,
2009,
SMT '09.
Sebastian Burckhardt,
Nikolai Tillmann,
Jun Kato,
2013,
PLDI.
Sebastian Burckhardt,
Michal Moskal,
S. Burckhardt,
2015
.
Nikolai Tillmann,
Michal Moskal,
Manuel Fähndrich,
2011
.
B. Boehm,
Michal Moskal,
Download Here,
2014,
The Future of Software Engineering.
Radu Grigore,
Michal Moskal,
Radu Grigore,
2007,
ArXiv.
Nikolai Tillmann,
Jonathan de Halleux,
Michal Moskal,
2014,
CC.
K. Leino,
Michal Moskal,
2013
.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2012,
SIGSOFT FSE.