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
372016
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
262014
Spinal test suites for software product lines
H Beohar, MR Mousavi
arXiv preprint arXiv:1403.7260, 2014
212014
Delta-oriented FSM-based testing
M Varshosaz, H Beohar, MR Mousavi
International Conference on Formal Engineering Methods, 366-381, 2015
152015
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
132016
Hierarchical states in the compositional interchange format
H Beohar, DE Agut, DA van Beek, PJL Cuijpers
arXiv preprint arXiv:1008.2110, 2010
92010
On path-based coalgebras and weak notions of bisimulation
H Beohar, S Küpper
arXiv preprint arXiv:1705.08715, 2017
82017
A theory of desynchronisable closed loop system
H Beohar, P Cuijpers
arXiv preprint arXiv:1010.5572, 2010
82010
Conditional transition systems with upgrades
H Beohar, B König, S Küpper, A Silva
Science of Computer Programming 186, 102320, 2020
62020
Refinement of communication and states in models of embedded systems
H Beohar
Ph. D. dissertation, Eindhoven University of Technology, 2012
62012
Desynchronizability of (partial) synchronous closed loop systems
H Beohar, P Cuijpers
Scientific Annals of Computer Science 21 (1), 5, 2011
62011
Basic behavioral models for software product lines: Revisited
M Varshosaz, H Beohar, MR Mousavi
Science of Computer Programming 168, 171-185, 2018
52018
A Pre-congruence Format for XY-simulation
H Beohar, MR Mousavi
International Conference on Fundamentals of Software Engineering, 215-229, 2015
42015
Avoiding diamonds in desynchronisation
H Beohar, PJL Cuijpers
Science of Computer Programming 91, 45-69, 2014
42014
Two logical characterizations for input-output conformance
H Beohar, MR Mousavi
Preproceedings of EXPRESS/SOS 14, 2014
32014
A coalgebraic treatment of conditional transition systems with upgrades
H Beohar, B König, S Küpper, A Silva, T Wißmann
arXiv preprint arXiv:1612.05002, 2016
22016
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
22015
The hierarchical compositional interchange format
DN Agut, B van Beek, H Beohar, P Cuijpers, J Fonteijn
International Symposium on Formal Methods for Components and Objects, 316-335, 2010
12010
The hierarchical compositional interchange format
DN Agut, B van Beek, H Beohar, P Cuijpers, J Fonteijn
International Symposium on Formal Methods for Components and Objects, 316-335, 2010
12010
Design of asynchronous supervisors
H Beohar, P Cuijpers, J Baeten
arXiv preprint arXiv:0910.0868, 2009
12009
The system can't perform the operation now. Try again later.
Articles 1–20