Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems
- Submitting institution
-
University of York
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 54880030
- Type
- D - Journal article
- DOI
-
10.1109/TR.2015.2452931
- Title of journal
- IEEE Transactions on Reliability
- Article number
- -
- First page
- 107
- Volume
- 65
- Issue
- 1
- ISSN
- 0018-9529
- Open access status
- Out of scope for open access requirements
- Month of publication
- August
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
5
- Research group(s)
-
-
- Citation count
- 19
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The paper laid the theoretical foundation for probabilistic model checking with confidence intervals, and is one of four pillars of a £307K ORCA Hub/EPSRC grant (PI Calinescu, https://orcahub.org/engagement/partnership-fund/cove). Dr Carlos Eduardo da Silva, Federal Institute of Education, Science and Technology of Rio Grande do Norte (IFRN), Brazil spent a sabbatical year leveraging this research with the first author, with the ensuing collaboration leading to the use of the new verification approach to identify insider threats in the execution of key business processes by an IFRN information system with 44,000+ users across 25 campuses (IFRN Director of IT Management).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -