| 2026 |
B |
ed. |
iFM
Ferruccio Damiani, Marie Farrell
|
| 2025 |
J |
jnl |
CoRR
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
|
| 2025 |
J |
jnl |
CoRR
Anastasia Mavridou, Marie Farrell, Gricel Vázquez, Thomas Pressburger, Timothy E. Wang, Radu Calinescu, Michael Fisher
|
| 2025 |
B |
conf |
REFSQ
Hazel M. Taylor, Matt Luckcuck, Marie Farrell, Caroline Jay, Angelo Cangelosi, Louise A. Dennis
|
| 2025 |
A |
conf |
AAMAS
Marie Farrell, Angelo Ferrando, Mengwei Xu
|
| 2025 |
— |
conf |
TAROS
Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck
|
| 2025 |
J |
jnl |
CoRR
Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck
|
| 2025 |
— |
conf |
FMAS@iFM
Diana C. Benjumea, Marie Farrell, Louise A. Dennis
|
| 2025 |
B |
conf |
REFSQ
Oisín Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan
|
| 2025 |
A |
conf |
RE
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao
|
| 2025 |
J |
jnl |
CoRR
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao
|
| 2025 |
— |
conf |
FMAS@iFM
Mahdi Etumi, Hazel M. Taylor, Marie Farrell
|
| 2024 |
— |
conf |
ISoLA (3)
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
|
| 2024 |
C |
conf |
ABZ
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
|
| 2024 |
— |
conf |
NFM
Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu
|
| 2024 |
J |
jnl |
IEEE Trans. Dependable Secur. Comput.
Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple
|
| 2023 |
C |
conf |
ABZ
Marie Farrell, Rosemary Monahan, James F. Power
|
| 2023 |
J |
jnl |
Robotics
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
|
| 2023 |
J |
jnl |
CoRR
Louise A. Dennis, Marie Farrell, Michael Fisher
|
| 2023 |
B |
conf |
REFSQ
Marie Farrell, Anastasia Mavridou, Johann Schumann
|
| 2023 |
— |
ed. |
FMAS@iFM
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
|
| 2022 |
J |
jnl |
CoRR
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
|
| 2022 |
— |
conf |
RE Workshops
Matt Luckcuck, Hazel M. Taylor, Marie Farrell
|
| 2022 |
J |
jnl |
Log. Methods Comput. Sci.
Marie Farrell, Rosemary Monahan, James F. Power
|
| 2022 |
B |
conf |
REFSQ
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
|
| 2022 |
B |
conf |
IFM
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
|
| 2022 |
— |
conf |
AREA@IJCAI-ECAI
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
|
| 2022 |
— |
ed. |
FMAS/ASYDE@SEFM
Matt Luckcuck, Marie Farrell
|
| 2022 |
— |
conf |
NFM
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
|
| 2022 |
J |
jnl |
CoRR
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
|
| 2022 |
J |
jnl |
CoRR
Matt Luckcuck, Marie Farrell, Oisín Sheridan
|
| 2021 |
J |
jnl |
CoRR
Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan
|
| 2021 |
J |
jnl |
Softw. Syst. Model.
Hao Wu, Marie Farrell
|
| 2021 |
J |
jnl |
Robotics
Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
|
| 2021 |
J |
jnl |
Formal Methods Syst. Des.
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
|
| 2021 |
J |
jnl |
CoRR
Marie Farrell, Rosemary Monahan, James F. Power
|
| 2021 |
— |
conf |
ISSRE Workshops
Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace
|
| 2021 |
J |
jnl |
CoRR
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
|
| 2021 |
J |
jnl |
Frontiers Robotics AI
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
|
| 2021 |
— |
conf |
NFM
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
|
| 2021 |
— |
ed. |
FMAS
Marie Farrell, Matt Luckcuck
|
| 2021 |
— |
conf |
FTfJP@ECOOP
Marie Farrell, Conor Reynolds, Rosemary Monahan
|
| 2020 |
— |
ed. |
FM Workshops (1)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
|
| 2020 |
— |
ed. |
FM Workshops (2)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
|
| 2020 |
— |
conf |
NFM
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
|
| 2020 |
J |
jnl |
CoRR
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
|
| 2020 |
— |
ed. |
FMAS
Matt Luckcuck, Marie Farrell
|
| 2020 |
J |
jnl |
CoRR
Matt Luckcuck, Marie Farrell
|
| 2020 |
J |
jnl |
CoRR
Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
|
| 2020 |
— |
conf |
FMAS
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
|
| 2019 |
B |
conf |
IFM
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
|
| 2019 |
J |
jnl |
CoRR
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher
|
| 2019 |
J |
jnl |
ACM Comput. Surv.
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
|
| 2019 |
J |
jnl |
CoRR
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
|
| 2019 |
— |
conf |
FMFun
Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
|
| 2019 |
B |
conf |
SEFM
Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
|
| 2019 |
— |
conf |
FMFun
Marie Farrell, Hao Wu
|
| 2018 |
J |
jnl |
CoRR
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
|
| 2018 |
B |
conf |
IFM
Marie Farrell, Matt Luckcuck, Michael Fisher
|
| 2018 |
J |
jnl |
CoRR
Marie Farrell, Matt Luckcuck, Michael Fisher
|
| 2017 |
C |
conf |
ICFEM
Marie Farrell, Rosemary Monahan, James F. Power
|
| 2017 |
B |
conf |
SEFM
Marie Farrell, Rosemary Monahan, James F. Power
|
| 2016 |
— |
conf |
WADT
Marie Farrell, Rosemary Monahan, James F. Power
|