Michal Moskal
发表
Arno Puder,
Nikolai Tillmann,
Michal Moskal,
2014,
MOBILESoft 2014.
Michal Moskal,
Sascha Böhme,
Michal Moskal,
2011,
CADE.
Wolfram Schulte,
Michal Moskal,
Stephan Tobies,
2009,
Electron. Notes Theor. Comput. Sci..
K. Rustan M. Leino,
Claire Le Goues,
Michal Moskal,
2011,
SEFM.
Wolfram Schulte,
Michal Moskal,
Stephan Tobies,
2010,
CAV.
Wolfram Schulte,
Michal Moskal,
Stefan Maus,
2008,
AMAST.
Teddy Seyed,
Jonathan de Halleux,
Steve Hodges,
2019,
CHI Extended Abstracts.
Andreas Blass,
Yuri Gurevich,
Michal Moskal,
2010,
The Future of Software Engineering.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2015,
2015 2nd ACM International Conference on Mobile Software Engineering and Systems.
Barry Boehm,
Michal Moskal,
Itay Neeman,
2012
.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
ITiCSE '12.
Michal Moskal,
Michal Moskal,
2008,
TACAS.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2013,
PLDI.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2014,
MOBILESoft 2014.
Nikolai Tillmann,
Jonathan de Halleux,
Michal Moskal,
2011,
Onward! 2011.
Ryan Shaun Joazeiro de Baker,
Luc Paquette,
Michal Moskal,
2018,
AIED.
Nikolai Tillmann,
Michal Moskal,
Manuel Fähndrich,
2011
.
Mikolás Janota,
Radu Grigore,
Michal Moskal,
2007,
SAVCBS '07.
Mark A. Hillebrand,
Wolfgang J. Paul,
Alexandra Tsyban,
2009,
Ershov Memorial Conference.
Mark A. Hillebrand,
Wolfram Schulte,
Michal Moskal,
2009,
TPHOLs.
Jonathan de Halleux,
Steve Hodges,
Michal Moskal,
2018,
LCTES.
Michal Moskal,
2012,
CAV.
Jonathan de Halleux,
Judith Bishop,
Michael Braun,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Sebastian Burckhardt,
Nikolai Tillmann,
Michal Moskal,
2014,
MOBILESoft 2014.
Michal Moskal,
Nadia Polikarpova,
Michal Moskal,
2012,
VSTTE.
K. Rustan M. Leino,
Michal Moskal,
2014,
FM.
Burkhart Wolff,
Wolfram Schulte,
Michal Moskal,
2009,
Journal of Automated Reasoning.
Nikolai Tillmann,
Wolfram Schulte,
Michal Moskal,
2010
.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2013
.
Nikolai Tillmann,
Jonathan de Halleux,
Michal Moskal,
2012,
ASE.
Moises Sudit,
Michal Moskal,
Kedar Sambhoos,
2011,
14th International Conference on Information Fusion.
Sebastian Burckhardt,
Nikolai Tillmann,
Jun Kato,
2013,
PLDI.
Jonathan de Halleux,
Michal Moskal,
James Devine,
2020,
Commun. ACM.
Sebastian Burckhardt,
Michal Moskal,
S. Burckhardt,
2015
.
Michal Moskal,
Jakub Lopuszanski,
Joseph Kiniry,
2008,
SMT@CAV.
Michal Moskal,
Michal Moskal,
2011,
NASA Formal Methods.
Sebastian Burckhardt,
Nikolai Tillmann,
Michal Moskal,
2014
.
Sebastian Burckhardt,
Michal Moskal,
Jonathan Protzenko,
2015,
MobileDeLi.
Bernhard Beckert,
Michal Moskal,
2010,
KI - Künstliche Intelligenz.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
2012 IEEE 25th Conference on Software Engineering Education and Training.
Nikolai Tillmann,
Jonathan de Halleux,
Michal Moskal,
2014,
CC.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2014
.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2012,
SIGSOFT FSE.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2012,
SIGCSE '12.
K. Rustan M. Leino,
Claire Le Goues,
Michal Moskal,
2011,
ICSE 2011.
Wolfram Schulte,
Michal Moskal,
Stephan Tobies,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Radu Grigore,
Michal Moskal,
Radu Grigore,
2007,
ArXiv.
Nikolai Tillmann,
Michal Moskal,
Manuel Fähndrich,
2011
.
Jonathan de Halleux,
Steve Hodges,
Michal Moskal,
2021,
FDG.
Teddy Seyed,
Jonathan de Halleux,
Steve Hodges,
2021,
CHI.