Παρακολούθηση
Márton Búr
Márton Búr
RelationalAI
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mail.mcgill.ca - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
592020
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
482020
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
242018
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
232015
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
212020
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
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
172018
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
72017
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
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
Query-Based Runtime Monitoring in Real-Time and Distributed Systems
M Búr
McGill University (Canada), 2021
12021
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20