Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification
Simos Gerasimou, Xingyu Zhao
Combining Bayesian learning and quantitative verification is a powerful toolset for analysing key quantitative properties of software systems, like reliability and response time. H…
cs.SE2024
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications
Ionut Predoaia, James Harbin, Simos Gerasimou +3
Tree-based model editors and hybrid graphical-textual model editors have advantages and limitations when editing domain models. Data is displayed hierarchically in tree-based model…