{"id":"W2111755821","doi":"10.1109/ecbs.2007.22","title":"Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams","year":2007,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":true,"ca_institutions":"Future Earth; Defence Research and Development Canada; Concordia University","funders":"","keywords":"Systems Modeling Language; Computer science; Activity diagram; Model checking; Markov chain; Synchronization (alternating current); Formal verification; Unified Modeling Language; Programming language; Real-time computing; Data mining; Theoretical computer science; Machine learning","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.001049845,0.00009087937,0.0002469041,0.0002211744,0.00006891925,0.00002996798,0.000238877,0.00006076166,0.00003090276],"category_scores_gemma":[0.00003533888,0.00006914867,0.0000686632,0.001136506,0.00008467783,0.0004274954,0.00005719543,0.00005312427,0.00001706408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002977637,"about_ca_system_score_gemma":0.00003167373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004705105,"about_ca_topic_score_gemma":0.00001280587,"domain_scores_codex":[0.9990894,0.0000303134,0.0002678788,0.0002406252,0.0002031883,0.0001686313],"domain_scores_gemma":[0.9990721,0.0001598852,0.0001313117,0.0004978454,0.0000777831,0.00006112282],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00001107615,0.0001107125,0.3549625,0.0001669772,0.0002376595,7.455503e-7,0.0006913291,0.0001130198,0.002630178,0.0005875637,0.00001864451,0.6404696],"study_design_scores_gemma":[0.00007149469,0.0000401696,0.5557725,0.00000776359,0.00004275883,0.000001808538,0.000008707168,0.440316,0.003660866,0.00001093925,0.000006950808,0.00006007004],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7902747,0.0000150289,0.2086158,0.00003552389,0.00005139788,0.0001081228,7.134874e-7,0.0001261364,0.0007725753],"genre_scores_gemma":[0.993404,0.00001169835,0.006481223,0.00001644548,0.000008892987,0.00000405709,0.000001853648,0.00000228279,0.00006951848],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6404095,"threshold_uncertainty_score":0.2819801,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007055736222908947,"score_gpt":0.2288460814420386,"score_spread":0.2217903452191297,"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."}}