{"id":"W4312833690","doi":"10.1109/ficloud57274.2022.00031","title":"Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty","year":2022,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Cloud computing; Scalability; Model checking; Distributed computing; Reliability (semiconductor); Set (abstract data type); Transformation (genetics); Temporal logic; Internet of Things; Model transformation; Software engineering; Embedded system; Theoretical computer science; Database; Consistency (knowledge bases); Artificial intelligence; Programming language; Operating system","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007664479,0.00009961097,0.0001220639,0.00007494303,0.0005568602,0.0001138068,0.0008432894,0.0000186865,0.00004224867],"category_scores_gemma":[0.00002964783,0.00008500971,0.00003617488,0.0004082666,0.00003054982,0.0001267931,0.0001806039,0.0001094802,0.0000161212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002527153,"about_ca_system_score_gemma":0.00009834121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005302784,"about_ca_topic_score_gemma":0.000003582678,"domain_scores_codex":[0.9987789,0.0001524289,0.0002201009,0.0003197539,0.0003141065,0.0002146969],"domain_scores_gemma":[0.9988078,0.000161405,0.0001234258,0.0007600578,0.00008880001,0.00005848735],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002423761,0.00008654608,0.00007291196,0.00001841449,0.0000218926,8.799453e-7,0.0005174263,0.03751013,0.0002548238,0.9511656,0.004838296,0.0054889],"study_design_scores_gemma":[0.0004294279,0.0002907097,0.000316802,0.000006397311,0.000008303277,0.00002273526,0.0005807283,0.7930329,0.0005871418,0.001004243,0.2035231,0.0001974924],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001128404,0.00006457181,0.9907822,0.0007696943,0.0009060436,0.0008899239,0.0000135094,0.0002268044,0.005218863],"genre_scores_gemma":[0.1443859,0.00000197719,0.8522488,0.0001716325,0.0000894711,0.001254519,0.00001797879,0.00001243575,0.001817236],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9501613,"threshold_uncertainty_score":0.4282975,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09184743074219678,"score_gpt":0.2917466613605452,"score_spread":0.1998992306183484,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}