M. Farrell
发表
R. C. Cardoso,
Louise Dennis,
A. Lisitsa,
2019
.
R. C. Cardoso,
Louise Dennis,
M. Fisher,
2022,
ArXiv.
M. Farrell,
Matt Luckcuck,
Oisín Sheridan,
2022,
ArXiv.
James F. Power,
J.F. Power,
Rosemary Monahan,
2021,
Log. Methods Comput. Sci..
Marie Farrell,
Michael Fisher,
Guillaume Brat,
2021,
NFM.
James F. Power,
Marie Farrell,
Rosemary Monahan,
2017,
ICFEM.
Clare Dixon,
Michael Fisher,
Marie Farrell,
2018,
ACM Comput. Surv..
Clare Dixon,
Matt Luckcuck,
Michael Fisher,
2018,
ACM Comput. Surv..
R. C. Cardoso,
V. Mascardi,
M. Fisher,
2021,
Formal Methods in System Design.
Carsten Maple,
Clare Dixon,
Matthew Bradbury,
2020,
2020 IEEE Aerospace Conference.
Angelo Ferrando,
Emily C. Collins,
Clare Dixon,
2021,
Robotics.
A. Hessami,
Laura Pullum,
M. Fisher,
2021,
2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Michael Fisher,
Louise Dennis,
C. Dixon,
2022
.
Rosemary Monahan,
M. Farrell,
Matt Luckcuck,
2023,
Robotics.
Yang Gao,
C. Dixon,
Nikos Mavrakis,
2022,
IFM.
Marie Farrell,
Rosemary Monahan,
Matt Luckcuck,
2021,
2022 IEEE Aerospace Conference (AERO).
Clare Dixon,
Marie Farrell,
Michael Fisher,
2021,
Current Robotics Reports.
Louise A. Dennis,
Matt Luckcuck,
Rafael C. Cardoso,
2020,
FMAS.
Angelo Ferrando,
Marie Farrell,
Michael Fisher,
2020,
NFM.
Clare Dixon,
Michael Fisher,
Matthew Bradbury,
2019,
SEFM.
Michael Fisher,
Marie Farrell,
Matt Luckcuck,
2018,
IFM.
Rosemary Monahan,
M. Farrell,
Matt Luckcuck,
2022,
AREA@IJCAI-ECAI.
Louise Dennis,
M. Fisher,
M. Farrell,
2023,
ArXiv.
Marie Farrell,
Hao Wu,
M. Farrell,
2019,
FMFun.
M. Farrell,
Matt Luckcuck,
Clare Dixon,
2019
.
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
pdf
Faron Moller,
Magne Haveraaen,
Antonio Cerone,
2020,
FMFun.
Rosemary Monahan,
M. Farrell,
Matt Luckcuck,
2021,
REFSQ.
Marie Farrell,
Hao Wu,
Hao Wu,
2021,
Software and Systems Modeling.
Hazel M. Taylor,
M. Farrell,
Matt Luckcuck,
2022,
2022 IEEE 30th International Requirements Engineering Conference Workshops (REW).
James F. Power,
Marie Farrell,
Rosemary Monahan,
2017,
SEFM.