WANT A PROFILE LIKE THIS?
Create my FREE Plan Or learn about other options
Mohammad Reza Mousavi
635 Points

Contributions by role

Editor 635

Contributions by subject area

Algorithms and Analysis of Algorithms
Theory and Formal Methods
Adaptive and Self-Organizing Systems
Real-Time and Embedded Systems
Software Engineering
Artificial Intelligence
Optimization Theory and Computation
Programming Languages

Mohammad Reza Mousavi


Summary

Mohammad Mousavi is a professor of Software Engineering at King's College London. Prior to that he held the Data-Oriented Software Engineering at University of Leicester, UK. He has also held positions at TU Eindhoven, TU Delft, Reykjavik University, University of Gothenburg / Chalmers and Halmstad University.
He received his Ph.D. in Computer Science in 2005 from TU Eindhoven.
He specialises in model-based testing and verification. He is the co-author of some 100 chapters and scientific papers and a book on "Modeling and Analysis of Communicating Systems".

Programming Languages Real-Time & Embedded Systems Theory & Formal Methods

Work details

Professor of Software Engineering

King's College London
August 2021
Informatics

PeerJ Contributions

  • Edited 5

Academic Editor on

February 24, 2022
starMC: an automata based CTL* model checker
Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà
https://doi.org/10.7717/peerj-cs.823
February 11, 2022
Accelerating covering array generation by combinatorial join for industry scale software testing
Hiroshi Ukai, Xiao Qu, Hironori Washizaki, Yoshiaki Fukazawa
https://doi.org/10.7717/peerj-cs.720
April 19, 2021
Extracting automata from neural networks using active learning
Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He
https://doi.org/10.7717/peerj-cs.436
March 22, 2021
Formal verification of Matrix based MATLAB models using interactive theorem proving
Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M.P. Cardoso
https://doi.org/10.7717/peerj-cs.440
April 13, 2016
Efficient online detection of temporal patterns
Shlomi Dolev, Jonathan Goldfeld, Rami Puzis, Muni Venkateswarlu K.
https://doi.org/10.7717/peerj-cs.53