{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003246058,0.001162132,0.0007872349,0.00132481,0.0005423434,0.002267961,0.001720102,0.001032743,0.001640859],"category_scores_gemma":[0.01251105,0.0004527852,0.0008044036,0.001101465,0.001178153,0.003513164,0.002064324,0.001303301,0.0004770324],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001943054,"about_ca_system_score_gemma":0.001187027,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008433823,"about_ca_topic_score_gemma":0.008584642,"domain_scores_codex":[0.9942349,0.002145869,0.0003200833,0.000911816,0.002117745,0.0002695254],"domain_scores_gemma":[0.9919261,0.003539794,0.0007739592,0.002320446,0.001154901,0.0002848369],"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.001506675,0.0005919919,0.01199079,0.0003924828,0.0001846125,0.0005583617,0.001183084,0.6450973,0.05175347,0.05428619,0.01023274,0.2222224],"study_design_scores_gemma":[0.00003110674,0.00003801755,0.0003109676,0.00000517554,0.000009867752,0.00002555439,0.00005272806,0.984689,0.007151334,0.006510851,0.001164353,0.00001096881],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09956579,0.0002677453,0.8664278,0.000461632,0.00006821682,0.0001998862,0.0005445009,0.0301926,0.002271699],"genre_scores_gemma":[0.7032357,0.00008518797,0.2932331,0.0001005087,0.00003170166,0.0001438608,0.0008509477,0.001378317,0.0009407232],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008433823,"threshold_uncertainty_score":0.01716697,"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."}}