Opportunities in intelligent modeling assistance G Mussbacher, B Combemale, J Kienzle, S Abrahão, H Ali, N Bencomo, ... Software and Systems Modeling 19, 1045-1053, 2020 | 68 | 2020 |
The LDBC social network benchmark R Angles, JB Antal, A Averbuch, A Birler, P Boncz, M Búr, O Erling, ... arXiv preprint arXiv:2001.02299, 2020 | 56 | 2020 |
Distributed graph queries for runtime monitoring of cyber-physical systems M Búr, G Szilágyi, A Vörös, D Varró Fundamental Approaches to Software Engineering: 21st International …, 2018 | 27 | 2018 |
Local search-based pattern matching features in EMF-IncQuery M Búr, Z Ujhelyi, Á Horváth, D Varró International Conference on Graph Transformation, 275-282, 2015 | 27 | 2015 |
Distributed graph queries over models@ run. time for runtime monitoring of cyber-physical systems M Búr, G Szilágyi, A Vörös, D Varró International Journal on Software Tools for Technology Transfer 22 (1), 79-102, 2020 | 24 | 2020 |
The MONDO collaboration framework: secure collaborative modeling over existing version control systems C Debreceni, G Bergmann, M Búr, I Ráth, D Varró Proceedings of the 2017 11th joint meeting on foundations of software …, 2017 | 19 | 2017 |
Modes3: model-based demonstrator for smart and safe cyber-physical systems A Vörös, M Búr, I Ráth, Á Horváth, Z Micskei, L Balogh, B Hegyi, B Horváth, ... NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018 | 18 | 2018 |
Hardware-software allocation specification of ima systems for early simulation Á Horváth, Á Hegedüs, M Búr, D Varró, RR Starr, S Mirachi 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 4D3-1-4D3-15, 2014 | 10 | 2014 |
Model-driven engineering of an opencypher engine: Using graph queries to compile graph queries J Marton, G Szárnyas, M Búr SDL 2017: Model-Driven Engineering for Future Internet: 18th International …, 2017 | 7 | 2017 |
Worst-case execution time calculation for query-based monitors by witness generation M Búr, K Marussy, BH Meyer, D Varró ACM Transactions on Embedded Computing Systems (TECS) 20 (6), 1-36, 2021 | 6 | 2021 |
Query-Based Runtime Monitoring in Real-Time and Distributed Systems M Búr McGill University (Canada), 2021 | 3 | 2021 |
ORM ontologies with executable derivation rules to support semantic search in large-scale data applications M Búr, K Stirewalt Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 2 | 2022 |
A general purpose local search-based pattern matching framework M Búr, Á Horváth, Z Ujhelyi masters thesis, 2015 | 2 | 2015 |
The RAI way: A technical analysis and design method for building enterprise semantic layers REK Stirewalt, M Búr International Conference on Advanced Information Systems Engineering, 74-79, 2023 | 1 | 2023 |
Towards WCET estimation of graph Queries@ run. time M Búr, D Varró 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 1 | 2019 |
Train Benchmark Case: an EMF-INCQUERY Solution. G Szárnyas, M Búr, I Ráth TTC@ STAF, 157-166, 2015 | 1 | 2015 |
Distributed models@ run. time for runtime verification of cyber-physical systems M Búr, G Szilágyi, A Voros, D Varro preprint.[Online]. Available: https://imbur. github. io/cps-query/sttt18 …, 0 | 1 | |
Evaluation of Distributed Query-Based Monitoring over Data Distribution Service M Búr, D Varró 2019 IEEE 5th World Forum on Internet of Things (WF-IoT), 674-679, 2019 | | 2019 |
Towards Modeling Cyber-Physical Systems From Multiple Approaches M Búr, A Vörös, G Bergmann, D Varró BME MIT, 2017 | | 2017 |
Towards hierarchical and distributed run-time monitors from high-level query languages M Búr, D Varró THE 10TH JUBILEE CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 16, 2016 | | 2016 |