Rosemary Monahan
发表
K. Rustan M. Leino,
Rosemary Monahan,
K. Leino,
2010,
VSTTE.
Rosemary Monahan,
F. Geiselbrechtinger,
1997
.
J. Filliâtre,
Wojciech Mostowski,
Radu Grigore,
2011
.
E. Poll,
M. Huisman,
Peter Müller,
2015
.
Rosemary Monahan,
2005
.
Rosemary Monahan,
F. Geiselbrechtinger,
1997
.
J.F. Power,
Hao Wu,
Rosemary Monahan,
2010
.
James F. Power,
J.F. Power,
Rosemary Monahan,
2021,
Log. Methods Comput. Sci..
Carlo A. Furia,
M. Huisman,
Claire Dross,
2021,
International Journal on Software Tools for Technology Transfer.
Peter J. Clarke,
Brian A. Malloy,
James F. Power,
2002
.
James F. Power,
Marie Farrell,
Rosemary Monahan,
2017,
ICFEM.
Diarmuid O'Donoghue,
Yalemisew M. Abgaz,
Rosemary Monahan,
2014
.
Hao Wu,
James F. Power,
Rosemary Monahan,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Gidon Ernst,
Radu Grigore,
Vladimir Klebanov,
2011,
FoVeOOS.
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
Hao Wu,
James F. Power,
Rosemary Monahan,
2012,
ArXiv.
M. Huisman,
V. Klebanov,
Rosemary Monahan,
2017,
International Journal on Software Tools for Technology Transfer.
Jean-Christophe Filliâtre,
M. Huisman,
V. Klebanov,
2016
.
Vladimir Klebanov,
Rosemary Monahan,
Marieke Huisman,
2012,
COMPARE.
M. Huisman,
V. Klebanov,
Rosemary Monahan,
2015,
International Journal on Software Tools for Technology Transfer.
Vladimir Klebanov,
Rosemary Monahan,
Marieke Huisman,
2013
.
K. Rustan M. Leino,
Rosemary Monahan,
K. Leino,
2009,
SAC '09.
K. Rustan M. Leino,
Rosemary Monahan,
K. Leino,
2007
.
K. Rustan M. Leino,
Rosemary Monahan,
K. Leino,
2007
.
K. Rustan M. Leino,
Rosemary Monahan,
K. Leino,
2007
.
Rosemary Monahan,
Zheng Cheng,
Aidan Mooney,
2011
.
Rosemary Monahan,
M. Farrell,
Matt Luckcuck,
2023,
Robotics.
Marie Farrell,
Rosemary Monahan,
Matt Luckcuck,
2021,
2022 IEEE Aerospace Conference (AERO).
Rosemary Monahan,
M. Farrell,
Matt Luckcuck,
2022,
AREA@IJCAI-ECAI.
Rosemary Monahan,
Joseph M. Morris,
Gareth Carter,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Rosemary Monahan,
Yan Xu,
Yan Xu,
2010
.
James F. Power,
Rosemary Monahan,
Andrew Healy,
2017,
F-IDE@FM.
James F. Power,
Rosemary Monahan,
Zheng Cheng,
2018,
Software & Systems Modeling.
Rosemary Monahan,
M. Farrell,
Matt Luckcuck,
2021,
REFSQ.
James F. Power,
Rosemary Monahan,
Andrew Healy,
2016,
SAC.
Dominique Méry,
Rosemary Monahan,
D. Méry,
2013,
VPT@CAV.
Vladimir Klebanov,
Dirk Beyer,
Rosemary Monahan,
2014,
Dagstuhl Reports.
M. Huisman,
Peter Müller,
Rosemary Monahan,
2019
.
Rosemary Monahan,
Ba Pearlmutter,
Thomas Flinkow,
2023,
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S).
James F. Power,
Marie Farrell,
Rosemary Monahan,
2017,
SEFM.
Rosemary Monahan,
M. Inkarbekov,
Ba Pearlmutter,
2023,
International Journal of Advanced Computer Science and Applications.