Publications

My publications are listed on DBLP, Google Scholar and below.

2022

  • M.R. Mousavi, A. Cavalcanti, M. Fisher, L. Dennis, R. Hierons, E. Law, R. Richardson, J.O. Ringert, I. Tyukin. Trustworthy autonomous systems through verifiability. Computer. ISSN 0018-9162 (Accepted: 2022) (In Press)
  • D.B. Abeywickrama, A. Bennaceur, G. Chance, Y. Demiris, A. Kordoni, M. Levine, L. Moffat, L. Moreau, M.R. Mousavi, B. Nuseibeh, S. Ramamoorthy, J.O. Ringert, J. Wilson, S. Windsor, K. Eder: On Specifying for Trustworthiness. CoRR abs/2206.11421 (2022)

2021 

 2020 

 2019

 2018

2017

2016

2015

2014

2013

2012

2011

2010

2009


Comments