{"content":[{"text":"Quantitative Performance Evaluation of \n Uncertainty-Aware Hybrid AADL Designs Using \n Statistical Model Checking \n Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Tingliang Zhou, \n Frédéric Mallet","bbox":{"left":0.144643,"top":0.248934,"width":0.762136,"height":0.13218000000000002}},{"text":"To cite this version: \n Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Tingliang Zhou, et al.. Quantitative Per- \n formance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. \n IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, 36 \n (12), pp.1989 - 2002. 10.1109/TCAD.2017.2681076. hal-01644285","bbox":{"left":0.131662,"top":0.434682,"width":0.8095330000000001,"height":0.09995699999999996}},{"text":"HAL Id: hal-01644285 \n https://hal.inria.fr/hal-01644285 \n Submitted on 22 Nov 2017","bbox":{"left":0.305465,"top":0.667864,"width":0.389045,"height":0.07521199999999995}},{"text":"HAL is a multi-disciplinary open access \n archive for the deposit and dissemination of sci- \n entific research documents, whether they are pub- \n lished or not. The documents may come from \n teaching and research institutions in France or \n abroad, or from public or private research centers.","bbox":{"left":0.095238,"top":0.799809,"width":0.396409,"height":0.09890699999999997}},{"text":"L’archive ouverte pluridisciplinaire HAL, est \n destinée au dépôt et à la diffusion de documents \n scientifiques de niveau recherche, publiés ou non, \n émanant des établissements d’enseignement et de \n recherche français ou étrangers, des laboratoires \n publics ou privés.","bbox":{"left":0.508364,"top":0.799809,"width":0.39640999999999993,"height":0.09890699999999997}}],"images_bbox":[{"left":0.424521,"top":0.054944,"width":0.20238,"height":0.080282},{"left":0.120951,"top":0.443102,"width":0.013389,"height":0.010955}],"images_bbox_not_text_overlap":[{"left":0.424521,"top":0.054944,"width":0.20238,"height":0.080282},{"left":0.120951,"top":0.443102,"width":0.013389,"height":0.010955}]}