{"id":"W6904813953","doi":"10.14279/tuj.eceasst.72.1026","title":"Model-based WCET Analysis with Invariants","year":2024,"lang":"en","type":"article","venue":"Technische Universität Berlin – Universitätsbibliothek","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Probabilistic logic; State (computer science); Markov chain; Automaton; Worst-case execution time; Process (computing); Code (set theory); Markov decision process","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":["metaepi_narrow","bibliometrics"],"consensus_categories":["bibliometrics"],"category_scores_codex":[0.000617132,0.0005185301,0.0005948744,0.01135219,0.0004176993,0.0009297878,0.002773728,0.0002876282,0.0001742932],"category_scores_gemma":[0.00001472606,0.000493728,0.0003973234,0.02550265,0.0002193182,0.008571529,0.0005446359,0.0005501377,0.0001924941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004085395,"about_ca_system_score_gemma":0.0008804045,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002458207,"about_ca_topic_score_gemma":0.00009140314,"domain_scores_codex":[0.9965513,0.0001523297,0.0003240583,0.001358263,0.0008626663,0.0007513246],"domain_scores_gemma":[0.9972306,0.0002438181,0.0001706602,0.001723855,0.0002615591,0.0003695403],"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.0001951704,0.000305103,0.001063544,0.000294763,0.004779352,0.004406918,0.002211367,0.2659769,0.007411072,0.6998658,0.00886387,0.004626145],"study_design_scores_gemma":[0.0007619252,0.0001655619,0.00006316845,0.0001745019,0.00102615,0.00004229179,0.0003614002,0.9850876,0.001218869,0.000774183,0.009580765,0.0007436291],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005035475,0.0002220514,0.9523664,0.001084732,0.0001274408,0.0003869271,0.0000343111,0.002296204,0.0384465],"genre_scores_gemma":[0.786402,0.00003382842,0.2092418,0.0001647427,0.00003873885,0.00000294884,0.00003517783,0.00004932805,0.004031472],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7813665,"threshold_uncertainty_score":0.9998533,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0127898235081347,"score_gpt":0.2233656064544625,"score_spread":0.2105757829463278,"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."}}