Follow
Harsh Beohar
Harsh Beohar
Lecturer at the University of Sheffield, United Kingdom
Verified email at sheffield.ac.uk
Title
Cited by
Cited by
Year
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
402016
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
242014
Spinal test suites for software product lines
H Beohar, MR Mousavi
arXiv preprint arXiv:1403.7260, 2014
222014
Delta-oriented FSM-based testing
M Varshosaz, H Beohar, MR Mousavi
Formal Methods and Software Engineering: 17th International Conference on …, 2015
192015
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
142016
Conditional transition systems with upgrades
H Beohar, B König, S Küpper, A Silva
Science of Computer Programming 186, 102320, 2020
122020
Basic behavioral models for software product lines: Revisited
M Varshosaz, H Beohar, MR Mousavi
Science of Computer Programming 168, 171-185, 2018
112018
Hierarchical states in the compositional interchange format
H Beohar, DE Agut, DA van Beek, PJL Cuijpers
arXiv preprint arXiv:1008.2110, 2010
82010
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
72022
On path-based coalgebras and weak notions of bisimulation
H Beohar, S Küpper
arXiv preprint arXiv:1705.08715, 2017
72017
A theory of desynchronisable closed loop system
H Beohar, P Cuijpers
arXiv preprint arXiv:1010.5572, 2010
72010
Refinement of communication and states in models of embedded systems
H Beohar
62013
Desynchronisability of (partial) closed loop systems
H Beohar, PJL Cuijpers
Scientific Annals of Computer Science 21, 5-38, 2011
62011
Hennessy-Milner theorems via Galois connections
H Beohar, S Gurke, B König, K Messing
arXiv preprint arXiv:2207.05407, 2022
52022
A Pre-congruence Format for XY-simulation
H Beohar, MR Mousavi
Fundamentals of Software Engineering: 6th International Conference, FSEN …, 2015
42015
Avoiding diamonds in desynchronisation
H Beohar, PJL Cuijpers
Science of Computer Programming 91, 45-69, 2014
42014
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
32018
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
32015
Two logical characterizations for input-output conformance
H Beohar, MR Mousavi
Preproceedings of EXPRESS/SOS 14, 2014
32014
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
J Forster, L Schröder, P Wild, H Beohar, S Gurke, B König, K Messing
arXiv preprint arXiv:2307.14826, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–20