Seguir
Márton Búr
Márton Búr
RelationalAI
Dirección de correo verificada de mail.mcgill.ca - Página principal
Título
Citado por
Citado por
Año
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
602020
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
492020
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
252018
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
242015
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
232020
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
182018
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
182017
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
102014
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
82017
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
62021
Query-Based Runtime Monitoring in Real-Time and Distributed Systems
M Búr
McGill University (Canada), 2021
32021
A general purpose local search-based pattern matching framework
M Búr, Á Horváth, Z Ujhelyi
masters thesis, 2015
22015
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
12023
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
12022
Towards WCET estimation of graph Queries@ run. time
M Búr, D Varró
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
12019
Train Benchmark Case: an EMF-INCQUERY Solution.
G Szárnyas, M Búr, I Ráth
TTC@ STAF, 157-166, 2015
12015
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20