{"id":"W2785694091","doi":"","title":"Hierarchical Timed Abstract State Machines for WCET Estimation","year":2013,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Safran Electronics (Canada)","funders":"","keywords":"Computer science; State (computer science); Estimation; Programming language; Engineering; Systems engineering","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.001482396,0.001031418,0.0007752739,0.001583492,0.0004249031,0.001495715,0.001568997,0.0009127198,0.004140349],"category_scores_gemma":[0.007884722,0.000552653,0.001197772,0.00172586,0.0009405794,0.002497354,0.001189328,0.001730675,0.00118504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001046696,"about_ca_system_score_gemma":0.00113654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002750046,"about_ca_topic_score_gemma":0.002009076,"domain_scores_codex":[0.9979042,0.0006546876,0.0002034752,0.0004200199,0.0006626368,0.0001550441],"domain_scores_gemma":[0.9964207,0.001790585,0.0004200059,0.0009312712,0.0003737131,0.00006370016],"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.0001725638,0.00004570174,0.0008636841,0.0002338556,0.00005024531,0.0000837281,0.0001210184,0.7425459,0.007987654,0.1776379,0.001180019,0.06907775],"study_design_scores_gemma":[0.000009963645,0.00003260803,0.0001383303,0.00002854955,0.00002022818,0.00001986753,0.000009669803,0.9364288,0.002987575,0.05631316,0.003997872,0.00001346677],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002301145,0.0001234025,0.9959573,0.00002556522,0.00002748055,0.00002924294,0.0001011568,0.0007969131,0.0006378051],"genre_scores_gemma":[0.3163479,0.0006989214,0.6776477,0.000105558,0.0001459842,0.0005018989,0.0009813203,0.0004038879,0.00316687],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004140349,"threshold_uncertainty_score":0.01385087,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01166161131424865,"score_gpt":0.2341529700974909,"score_spread":0.2224913587832422,"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."}}