1.
Búr, Márton ; Szilágyi, Gábor ; Vörös, András ; Varró, Dániel
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 22 pp. 1-24. , 24 p. (2019)
DOI WoS Scopus Other URL
Publication:30917749 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 3 | Number of citations with DOI: 3
Article (Journal Article) | Scientific[30917749] [Validated]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 0
2.
Márton, Búr ; Gábor, Szilágyi ; András, Vörös ; Dániel, Varró
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
In: Alessandra, Russo; Andy, Schürr (eds.) Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Cham, Germany : Springer (2018) 357 p. pp. 111-128. , 17 p.
DOI REAL WoS Scopus
Publication:3397893 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 4 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Conference paper (Chapter in Book) | Scientific[3397893] [Validated]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 0
3.
Vörös, András ✉ ; Búr, Márton ; Ráth, István ; Horváth, Ákos ; Micskei, Zoltán ; Balogh, László ; Hegyi, Bálint ; Horváth, Benedek ; Mázló, Zsolt ; Varró, Dániel
MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems
In: Aaron, Dutle; César, Muñoz; Anthony, Narkawicz (eds.) NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Cham, Switzerland : Springer (2018) pp. 460-467. , 7 p.
DOI REAL WoS Scopus
Publication:3349043 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 5 | Independent citation: 5 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 3 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[3349043] [Validated]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 0
4.
Csaba, Debreceni ; Gábor, Bergmann ; Márton, Búr ; István, Ráth ; Dániel, Varró
The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems
In: Bodden, E; Schafer, W; VanDeursen, A; Zisman, A (eds.) ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING
New York City, United States of America : ACM (2017) pp. 984-988. , 5 p.
DOI REAL WoS Scopus
Publication:3350095 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 11 | Independent citation: 11 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 9 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 9 | Number of citations with DOI: 11
Conference paper (Chapter in Book) | Scientific[3350095] [Validated]
All citations+mentions: 11, External citations: 11, Self citations: 0, Unhandled citations: 0
5.
Marton, József ✉ ; Szárnyas, Gábor ; Búr, Márton
Model-driven engineering of an openCypher engine: using graph queries to compile graph queries
In: Tibor, Csöndes; Gábor, Kovács; György, Réthy (eds.) SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
Cham, Switzerland : Springer (2017) 184 p. pp. 80-98. , 19 p.
DOI REAL WoS Scopus Teljes dokumentum Google scholar Google scholar hash
Publication:3251678 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 5 | Independent citation: 5 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 3 | Number of citations with DOI: 4
Conference paper (Chapter in Book) | Scientific[3251678] [Approved]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 0
6.
Márton, Búr ; András, Vörös ; Gábor, Bergmann ; Dániel, Varró
Towards Modeling Cyber-Physical Systems From Multiple Approaches
In: Pataki, Béla (eds.) Proceedings of the 24th PhD Mini-Symposium
Budapest, Hungary : BME MIT (2017) pp. 6-9. , 4 p.
DOI REAL
Publication:3204827 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3204827] [Approved]
7.
Márton, Búr ; Dániel, Varró
Towards hierarchical and distributed run-time monitors from high-level query languages
In: Rudolf, Ferenc; Balázs, Bánhelyi; Tamás, Gergely; Attila, Kertész; Zoltán, Kincses (eds.) The 10th Jubilee Conference of PhD Students in Computer Science (CS2) : June 27 – June 29, 2016. Szeged, Hungary
Szeged, Hungary : Szegedi Tudományegyetem, Informatikai Intézet (2016) 68 p. pp. 16-16. , 1 p.
Teljes dokumentum
Publication:3180987 Published Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[3180987] [Approved]
8.
Gábor, Szárnyas ; Márton, Búr ; István, Ráth
Train Benchmark Case: an EMF-INCQUERY Solution
In: Louis, M Rose; Tassilo, Horn; Filip, Křikava (eds.) 8th Transformation Tool Contest 2015
CEUR Workshop Proceedings (2015) pp. 157-166. , 9 p.
Scopus
Publication:3023258 Validated Core Citing Conference paper (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 0 | Self citation: 1 | Unknown citation: 0 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1
Conference paper (Conference paper) | Scientific[3023258] [Validated]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
9.
Búr, Márton ; Ujhelyi, Zoltán ; Horváth, Ákos ; Varró, Dániel
Local Search-Based Pattern Matching Features in EMF-IncQuery
In: Parisi-Presicce, Francesco; Westfechtel, Bernhard (eds.) Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Cham, Switzerland : Springer (2015) 297 p. pp. 275-282. , 8 p.
DOI WoS Scopus Other URL
Publication:2924871 Validated Core Chapter in Book (Conference paper ) Scientific
Citing papers: 9 | Independent citation: 4 | Self citation: 5 | Unknown citation: 0 | Number of citations in WoS: 8 | Number of citations in Scopus: 8 | WoS/Scopus assigned: 9 | Number of citations with DOI: 8
Conference paper (Chapter in Book) | Scientific[2924871] [Validated]
All citations+mentions: 9, External citations: 4, Self citations: 5, Unhandled citations: 0
10.
Horvath, Akos ; Hegedus, Abel ; Bur, Marton ; Varro, Daniel ; Starr, Rodrigo R ; Mirachi, Samoel
Hardware-software allocation specification of IMA systems for early simulation
In: IEEE (eds.) 33rd Digital Avionics Systems Conference, DASC 2014
New York City, United States of America : IEEE (2014) pp. 4D3-1-4D3-15. , 15 p.
DOI WoS Scopus
Publication:2801126 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 6 | Independent citation: 1 | Self citation: 5 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 6 | WoS/Scopus assigned: 6 | Number of citations with DOI: 4
Conference paper (Chapter in Book) | Scientific[2801126] [Validated]
All citations+mentions: 6, External citations: 1, Self citations: 5, Unhandled citations: 0
2024-05-07 07:50