| Basic behavioral models for software product lines: Expressiveness and testing pre-orders H Beohar, M Varshosaz, MR Mousavi Science of Computer Programming 123, 42-60, 2016 | 40 | 2016 |
| Input-output conformance testing based on featured transition systems H Beohar, MR Mousavi Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1272-1278, 2014 | 24 | 2014 |
| Spinal test suites for software product lines H Beohar, MR Mousavi arXiv preprint arXiv:1403.7260, 2014 | 22 | 2014 |
| Delta-oriented FSM-based testing M Varshosaz, H Beohar, MR Mousavi Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 19 | 2015 |
| Input–output conformance testing for software product lines H Beohar, MR Mousavi Journal of Logical and Algebraic Methods in Programming 85 (6), 1131-1153, 2016 | 14 | 2016 |
| Conditional transition systems with upgrades H Beohar, B König, S Küpper, A Silva Science of Computer Programming 186, 102320, 2020 | 12 | 2020 |
| Basic behavioral models for software product lines: Revisited M Varshosaz, H Beohar, MR Mousavi Science of Computer Programming 168, 171-185, 2018 | 11 | 2018 |
| On path-based coalgebras and weak notions of bisimulation H Beohar, S Küpper arXiv preprint arXiv:1705.08715, 2017 | 8 | 2017 |
| Hierarchical states in the compositional interchange format H Beohar, DE Agut, DA van Beek, PJL Cuijpers arXiv preprint arXiv:1008.2110, 2010 | 8 | 2010 |
| Graded monads and behavioural equivalence games C Ford, S Milius, L Schröder, H Beohar, B König Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 7 | 2022 |
| Hennessy-Milner theorems via Galois connections H Beohar, S Gurke, B König, K Messing arXiv preprint arXiv:2207.05407, 2022 | 7 | 2022 |
| A theory of desynchronisable closed loop system H Beohar, P Cuijpers arXiv preprint arXiv:1010.5572, 2010 | 7 | 2010 |
| Refinement of communication and states in models of embedded systems H Beohar | 6 | 2013 |
| Desynchronisability of (partial) closed loop systems H Beohar, PJL Cuijpers Scientific Annals of Computer Science 21, 5-38, 2011 | 6 | 2011 |
| A Pre-congruence Format for XY-simulation H Beohar, MR Mousavi Fundamentals of Software Engineering: 6th International Conference, FSEN …, 2015 | 4 | 2015 |
| Avoiding diamonds in desynchronisation H Beohar, PJL Cuijpers Science of Computer Programming 91, 45-69, 2014 | 4 | 2014 |
| Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach H Beohar, S Gurke, B König, K Messing, J Forster, L Schröder, P Wild arXiv preprint arXiv:2310.05711, 2023 | 3 | 2023 |
| A coalgebraic treatment of conditional transition systems with upgrades H Beohar, B König, S Küpper, A Silva, T Wißmann Logical Methods in Computer Science 14, 2018 | 3 | 2018 |
| Open maps in concrete categories and branching bisimulation for prefix orders H Beohar, PJL Cuijpers Electronic Notes in Theoretical Computer Science 319, 51-66, 2015 | 3 | 2015 |
| Two logical characterizations for input-output conformance H Beohar, MR Mousavi Preproceedings of EXPRESS/SOS 14, 2014 | 3 | 2014 |
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonDirección de correo verificada de kcl.ac.uk
