Get my own profile
Public access
View all17 articles
4 articles
available
not available
Based on funding mandates
Co-authors
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Dana DghaymLecturer, University of SouthamptonVerified email at soton.ac.uk
Thai Son HoangAssociate Professor, University of SouthamptonVerified email at soton.ac.uk
Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseVerified email at dalvandi.com
Bashir M. Al-HashimiProfessor of Computer Engineering, King’s College LondonVerified email at kcl.ac.uk
Corina CirsteaUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Maeda-Nunez Luis AlfonsoCONACYT - Instituto Tecnológico de la LagunaVerified email at correo.itlalaguna.edu.mx
Geoff V MerrettProfessor, University of Southampton | Head of Centre for IoT and Pervasive SystemsVerified email at ecs.soton.ac.uk
gary willsUniversity of SouthamptonVerified email at ecs.soton.ac.uk
yang shengPhD of electronics engineering, University of SouthamptonVerified email at worldprogramming.com
Elena TroubitsynaFull Professor in Computer Science specialising in Software Engineering at KTH -- Royal Institute ofVerified email at kth.se
Renato SilvaResearch Fellow, university of SouthamptonVerified email at ecs.soton.ac.uk
YAMINE AIT AMEURIRIT/INPT-ENSEEIHT, University of ToulouseVerified email at n7.fr
Follow![Asieh Salehi Fathabadi](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=xfUaUV4AAAAJ&citpid=1)
Asieh Salehi Fathabadi
Senior Research Fellow University of Southampton
Verified email at soton.ac.uk - Homepage