{"id":"W2256808767","doi":"10.14279/tuj.eceasst.72.1026.1010","title":"Model-based WCET Analysis with Invariants","year":2015,"lang":"en","type":"article","venue":"Technische Universität Berlin – Universitätsbibliothek","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Correctness; Concurrency; Probabilistic logic; Markov decision process; State (computer science); Code (set theory); Static analysis; Automaton; Process (computing); Theoretical computer science; Programming language; Algorithm; Markov process; Artificial intelligence; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002138304,0.00133887,0.0008521452,0.002654991,0.0004385681,0.001617403,0.001411529,0.0007248489,0.003081522],"category_scores_gemma":[0.007551096,0.0007967094,0.002673971,0.001173335,0.001335008,0.002267101,0.001070587,0.001530485,0.000553953],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001473194,"about_ca_system_score_gemma":0.002040885,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004512501,"about_ca_topic_score_gemma":0.002507612,"domain_scores_codex":[0.9974547,0.0005735647,0.0002112993,0.0003616733,0.001124603,0.0002741349],"domain_scores_gemma":[0.9961966,0.001992805,0.0005487,0.0007779854,0.0004376422,0.00004632001],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000852963,0.00007045772,0.001220321,0.0001237678,0.00006901276,0.0001066949,0.00004962788,0.8889534,0.007090947,0.07362611,0.0005351211,0.02806931],"study_design_scores_gemma":[0.000009103075,0.00003375623,0.0001234014,0.00001728638,0.00003822048,0.00003414713,0.000005503699,0.9668478,0.008084273,0.02362452,0.00116741,0.00001448227],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004776267,0.00004069209,0.9932133,0.0000213138,0.00001348037,0.0000358225,0.00007401996,0.0008850879,0.0009399948],"genre_scores_gemma":[0.404449,0.0002631099,0.5909214,0.00007848289,0.00004306763,0.0004429734,0.0006198362,0.0007917742,0.002390381],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004512501,"threshold_uncertainty_score":0.01130855,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05179158253438404,"score_gpt":0.2640285841724283,"score_spread":0.2122370016380443,"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."}}