{"id":"W1973223152","doi":"10.1007/s10703-014-0215-y","title":"Runtime enforcement of timed properties revisited","year":2014,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":49,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Enforcement; Computer science; Soundness; Correctness; Context (archaeology); Sequence (biology); Property (philosophy); Programming language","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.01274101,0.0007665543,0.00144553,0.001074691,0.001318302,0.004283031,0.003319006,0.001910729,0.004706726],"category_scores_gemma":[0.03683512,0.001135893,0.001644554,0.0008764538,0.005267492,0.00625377,0.003690955,0.006894028,0.000714321],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001569836,"about_ca_system_score_gemma":0.002909503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002179763,"about_ca_topic_score_gemma":0.002560331,"domain_scores_codex":[0.9870798,0.005284623,0.000846568,0.001369251,0.004022851,0.001396912],"domain_scores_gemma":[0.9557035,0.02585607,0.001806135,0.01337143,0.002635956,0.0006269464],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000471272,0.0001874519,0.0008403671,0.0003832978,0.0001033397,0.0005573303,0.001131928,0.03528006,0.01343526,0.8632386,0.00260849,0.08176249],"study_design_scores_gemma":[0.0003477199,0.0002311336,0.0004447695,0.0003042384,0.0002473429,0.0003520507,0.000347134,0.3333853,0.04084322,0.5953755,0.02801935,0.0001022692],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02834542,0.0007269809,0.9541383,0.001338848,0.0004788481,0.00007230194,0.00004571818,0.003054909,0.01179862],"genre_scores_gemma":[0.74888,0.0007231854,0.2411907,0.0004933048,0.0003212838,0.0001687907,0.0001058393,0.001321492,0.006795369],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01274101,"threshold_uncertainty_score":0.06738174,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07481876807600887,"score_gpt":0.337618955834488,"score_spread":0.2628001877584791,"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."}}