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



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
  • Accepted: 9 May 2018
  • 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: 12 Aug 2023 23:17
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:


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