Efficient Synthesis of Robust Models for Stochastic Systems

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2018) Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software. pp. 140-158. ISSN 0164-1212

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2018 The Authors.
Keywords: software performance and reliability engineering,robust design, probabilistic model synthesis,multi-objective optimisation,Probabilistic model synthesis,Software performance and reliability engineering,Robust design,Multi-objective optimisation,Software,Information Systems,Hardware and Architecture
Dates:
  • Published (online): 16 May 2018
  • Published: September 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 21 May 2018 08:40
Last Modified: 28 Nov 2021 00:42
Published Version: https://doi.org/10.1016/j.jss.2018.05.013
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.jss.2018.05.013
Related URLs:

Downloads

Filename: main.pdf

Description: main

Licence: CC-BY-NC-ND 2.5

Filename: 1_s2.0_S0164121218300967_main_1_.pdf

Description: 1-s2.0-S0164121218300967-main(1)

Licence: CC-BY-NC-ND 2.5

Share / Export

Statistics