{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003152903,0.0009298575,0.0006144084,0.001813718,0.0009708854,0.002763982,0.00131919,0.001080913,0.002735788],"category_scores_gemma":[0.01010314,0.0006265918,0.002959091,0.001220268,0.003342893,0.004835519,0.001972022,0.001902201,0.0005994536],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001492238,"about_ca_system_score_gemma":0.00244303,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004199784,"about_ca_topic_score_gemma":0.00243512,"domain_scores_codex":[0.995796,0.001189803,0.0005144437,0.0004814325,0.001780952,0.0002373928],"domain_scores_gemma":[0.992638,0.004187691,0.0009954562,0.0009041833,0.001078471,0.0001962331],"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.00005517197,0.00005268695,0.0007799059,0.000143567,0.00005241002,0.0005397732,0.0007095398,0.07540487,0.005704157,0.8994206,0.0005246698,0.01661274],"study_design_scores_gemma":[0.000037925,0.00003751174,0.0001962096,0.00006089673,0.0000487297,0.0002356008,0.0001354438,0.3400201,0.006915251,0.6449976,0.0072899,0.00002470872],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007984189,0.0000992686,0.9890632,0.0001055799,0.00002834097,0.00006476748,0.000072218,0.0003439015,0.002238491],"genre_scores_gemma":[0.4393174,0.0004542836,0.5553784,0.0001346745,0.0001310027,0.0007524368,0.000484964,0.0003777105,0.002969198],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004199784,"threshold_uncertainty_score":0.01667434,"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."}}