{"id":"W2009346485","doi":"10.1109/isorc.2007.57","title":"Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Applications of UML; Computer science; Concurrency; Unified Modeling Language; UML tool; Programming language; Semantics (computer science); Consistency (knowledge bases); Artificial intelligence; Software","routes":{"ca_aff":true,"ca_fund":true,"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.0007283718,0.00007457006,0.000174263,0.0002481743,0.00003033214,0.00002994634,0.0003382279,0.00003593444,0.000007754566],"category_scores_gemma":[0.0000209255,0.00005637003,0.00002807953,0.001128839,0.00007081879,0.0004453214,0.00009786913,0.00004812637,0.000002055456],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009741364,"about_ca_system_score_gemma":0.00001982977,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002183648,"about_ca_topic_score_gemma":0.0000137319,"domain_scores_codex":[0.9991816,0.00002783099,0.0002190342,0.0002064729,0.0002246261,0.0001404495],"domain_scores_gemma":[0.999161,0.00006891545,0.0001101075,0.0004982284,0.000106231,0.00005553268],"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.000008837338,0.00005780875,0.003991314,0.00002300425,0.0002018926,0.000002668948,0.0007272608,0.001490198,0.0004672812,0.9149251,0.00003639447,0.07806823],"study_design_scores_gemma":[0.0001117901,0.00005811854,0.01207801,0.000005828684,0.00009041151,0.000003662654,0.00001966307,0.980784,0.005654953,0.001066581,0.00004373388,0.00008325034],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03414459,0.00003780005,0.9577878,0.00005013747,0.00003710966,0.00006526858,0.000001758648,0.000074668,0.007800919],"genre_scores_gemma":[0.4678766,0.000007424808,0.5320238,0.00002454772,0.000002915741,6.480291e-7,0.000001425998,0.000001833433,0.00006081389],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9792938,"threshold_uncertainty_score":0.2298703,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02780196087004195,"score_gpt":0.2975276320441341,"score_spread":0.2697256711740921,"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."}}