{"id":"W2976486068","doi":"10.1007/s10009-019-00531-5","title":"Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems","year":2019,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Budapesti Műszaki és Gazdaságtudományi Egyetem","keywords":"Computer science; Scalability; Distributed computing; Graph; Cyber-physical system; Database; Theoretical computer science; Operating system","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.0003607257,0.0002560829,0.0005016963,0.000428231,0.0001251865,0.000196264,0.001511565,0.0002806302,0.00000601967],"category_scores_gemma":[0.0001458941,0.0002080761,0.0004208686,0.0002956337,0.0001087768,0.001213002,0.00006979012,0.0003348794,0.0000193762],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001603678,"about_ca_system_score_gemma":0.0001070742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005037407,"about_ca_topic_score_gemma":2.738427e-7,"domain_scores_codex":[0.997996,0.00002838449,0.0006289722,0.0004098837,0.0005724065,0.0003642999],"domain_scores_gemma":[0.9979211,0.0004810897,0.0001607054,0.0004416593,0.0009260919,0.00006936409],"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.003675345,0.003200252,0.163055,0.00118602,0.00495586,0.00007531829,0.002324743,0.1021382,0.02469122,0.5460977,0.002275772,0.1463246],"study_design_scores_gemma":[0.03660214,0.01431986,0.03866803,0.006791247,0.0005722309,0.001753891,0.0009832479,0.3143353,0.2146014,0.3215856,0.04422886,0.005558134],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4833355,0.00007184895,0.5137637,0.0003187653,0.001632176,0.0004621677,0.0001806817,0.0002244108,0.00001073269],"genre_scores_gemma":[0.9902546,0.00002860724,0.009155758,0.0000308323,0.000243332,0.0001563501,0.00002496619,0.00002659798,0.00007892192],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5069191,"threshold_uncertainty_score":0.8485097,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01428448677402966,"score_gpt":0.2627782450835064,"score_spread":0.2484937583094768,"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."}}