{"id":"W2139324515","doi":"10.1109/tc.2010.84","title":"Generating Reliable Code from Hybrid-Systems Models","year":2010,"lang":"en","type":"article","venue":"IEEE Transactions on Computers","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Automaton; Code generation; Hybrid system; Code (set theory); Distributed computing; Formalism (music); Set (abstract data type); Programming language; Theoretical computer science","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.0003678263,0.0002026461,0.0001986711,0.0001525374,0.0003339424,0.0003434756,0.0009712084,0.00009531915,0.00001071187],"category_scores_gemma":[0.000004785864,0.0002102954,0.0000964748,0.0002749767,0.00004999433,0.0009628983,0.000005937437,0.0005209747,0.00008766868],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005695426,"about_ca_system_score_gemma":0.00006235371,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002916996,"about_ca_topic_score_gemma":0.00002257986,"domain_scores_codex":[0.9983421,0.00009749853,0.0003600325,0.000555346,0.0003404947,0.0003045145],"domain_scores_gemma":[0.9984041,0.0001983239,0.0001185741,0.001038385,0.00009840796,0.0001421401],"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.000005594651,0.00006997589,0.000001169922,0.000004729638,0.00002201907,0.000004510629,0.0002404525,0.9333333,0.01024325,0.004761479,0.0005254314,0.05078805],"study_design_scores_gemma":[0.0002321864,0.00004797842,0.000004768543,0.00002280227,0.000007659359,0.00002139361,0.000008272971,0.9604964,0.0368923,0.000718019,0.001326262,0.0002219585],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02548334,0.00001580515,0.9623648,0.000132164,0.01096899,0.0002163773,0.00002780877,0.0004873154,0.0003034092],"genre_scores_gemma":[0.434018,0.000006373401,0.5655388,0.0002027158,0.0001148148,0.00003147698,0.000002019863,0.00001447152,0.00007132364],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4085346,"threshold_uncertainty_score":0.8575597,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03588080040127277,"score_gpt":0.2650586328657621,"score_spread":0.2291778324644893,"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."}}