| 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 | 57 | 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 | 46 | 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 | 25 | 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 | 23 | 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, 79-102, 2020 | 21 | 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 | 18 | 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 | 16 | 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 |
| 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 | 7 | 2021 |
| 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 | 6 | 2017 |
| A general purpose local search-based pattern matching framework M Búr, Á Horváth, Z Ujhelyi masters thesis, 2015 | 2 | 2015 |
| Query-Based Runtime Monitoring in Real-Time and Distributed Systems M Búr McGill University (Canada), 2021 | 1 | 2021 |
| 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 Vörös, D Varró 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ó 24th PhD Mini-Symposium (Minisy@ DMIS 2017), 6-9, 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 |
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillVerified email at liu.se
