1.
Szabó, Tamás ; Erdweg, Sebastian ; Bergmann, Gábor
Incremental whole-program analysis in Datalog with lattices
In: Stephen, N. Freund; Eran, Yahav (eds.) Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
New York City, United States of America : ACM (2021) pp. 1-15. , 15 p.
DOI WoS Scopus Other URL
Publication:32098587 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 9 | Independent citation: 7 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 9 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 9 | Number of citations with DOI: 9
Conference paper (Chapter in Book) | Scientific[32098587] [Validated]
All citations+mentions: 9, External citations: 7, Self citations: 2, Unhandled citations: 0
2.
Bergmann, Gábor ✉
Controllable and decomposable multidirectional synchronizations
SOFTWARE AND SYSTEMS MODELING 20 pp. 1735-1774. , 40 p. (2021)
DOI WoS Scopus Other URL
Publication:31965063 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 2 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[31965063] [Admin approved]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0
3.
Szabó, Tamás ; Bergmann, Gabór ; Erdweg, Sebastian ; Voelter, Markus
Report: Datalog with recursive aggregation for incremental program analyses (extended abstract)
In: Electronic Proceedings in Theoretical Computer Science, EPTCS
(2020) p. 1
Scopus
Publication:32869204 Published Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[32869204] [Approved]
4.
Abel, Gómez ; ·Xabier, Mendialdua ; ·Konstantinos, Barmpis ; Bergmann, Gábor ; Jordi, Cabot ; ·Xabier, de Carlos ; Debreceni, Csaba ; ·Antonio, Garmendia ; ·Dimitrios, S. Kolovos ; ·Juan, de Lara
Scalable modeling technologies in the wild: an experience report on wind turbines control applications development
SOFTWARE AND SYSTEMS MODELING 19 : 5 pp. 1229-1261. , 33 p. (2020)
DOI WoS Scopus Teljes dokumentum
Publication:31128076 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 4 | Independent citation: 3 | Self citation: 1 | 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
Article (Journal Article) | Scientific[31128076] [Validated]
All citations+mentions: 4, External citations: 3, Self citations: 1, Unhandled citations: 0
5.
Oszkár, Semeráth ; Rebeka, Farkas ; Gábor, Bergmann ; Dániel, Varró
Diversity of Graph Models and Graph Generators in Mutation Testing
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 22 pp. 57-78. , 22 p. (2020)
DOI WoS Scopus Teljes dokumentum
Publication:30748493 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 13 | Independent citation: 8 | Self citation: 5 | Unknown citation: 0 | Number of citations in WoS: 11 | Number of citations in Scopus: 9 | WoS/Scopus assigned: 11 | Number of citations with DOI: 13
Article (Journal Article) | Scientific[30748493] [Validated]
All citations+mentions: 13, External citations: 8, Self citations: 5, Unhandled citations: 0
6.
Debreceni, Csaba ✉ ; Bergmann, Gabor ; Rath, Istvan ; Varro, Daniel
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations (vol 18, pg 1737, 2019)
SOFTWARE AND SYSTEMS MODELING 18 : 3 pp. 1771-1771. , 1 p. (2019)
DOI WoS Scopus
Publication:31093251 Published Core Citing Journal Article (Comment, Correction ) Scientific
Comment, Correction (Journal Article) | Scientific[31093251] [Approved]
7.
Farkas, Rebeka ; Bergmann, Gábor ; Horváth, Ákos
Adaptive Step Size Control for Hybrid CT Simulation without Rollback
In: Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019
Linkoping, Sweden : LiU E-Press (2019) pp. 503-512. , 10 p.
DOI Other URL
Publication:30603470 Published Core Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 4 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Conference paper (Chapter in Book) | Scientific[30603470] [Approved]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 0
8.
Csaba, Debreceni ; Gábor, Bergmann ; István, Ráth ; Dániel, Varró
Enforcing Fine-grained Access Control for Secure Collaborative Modelling using Bidirectional Transformations
SOFTWARE AND SYSTEMS MODELING 18 : 3 pp. 1737-1769. , 33 p. (2019)
DOI REAL WoS Scopus
Publication:3330414 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 8 | Independent citation: 4 | Self citation: 4 | Unknown citation: 0 | Number of citations in WoS: 8 | Number of citations in Scopus: 6 | WoS/Scopus assigned: 8 | Number of citations with DOI: 8
Article (Journal Article) | Scientific[3330414] [Validated]
All citations+mentions: 8, External citations: 4, Self citations: 4, Unhandled citations: 0
9.
Hegedüs, Ábel ; Ráth, István ; Bergmann, Gábor ; Debreceni, Csaba ; Horváth, Ákos ; Lunk, Péter ; Menyhért, Ákos ; Papp, István ; Varró, Dániel ; Vileiniskis, Tomas
Incquery server for teamwork cloud
In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18
(2018) pp. 27-31. , 5 p.
DOI WoS Other URL
Publication:30710636 Published Core Chapter in Book (Conference paper ) Scientific
Citing papers: 5 | Independent citation: 4 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 5 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 5 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[30710636] [Approved]
All citations+mentions: 5, External citations: 4, Self citations: 1, Unhandled citations: 0
10.
Szabó, Tamás ; Bergmann, Gábor ; Erdweg, Sebastian ; Voelter, Markus
Incrementalizing lattice-based program analyses in Datalog
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES 2 : OOPSLA Paper: 139 , 29 p. (2018)
DOI WoS Teljes dokumentum
Publication:30382877 Published Core Journal Article (Conference paper in journal ) Scientific
Citing papers: 16 | Independent citation: 12 | Self citation: 4 | Unknown citation: 0 | Number of citations in WoS: 15 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 15 | Number of citations with DOI: 15
Conference paper in journal (Journal Article) | Scientific[30382877] [Approved]
All citations+mentions: 16, External citations: 12, Self citations: 4, Unhandled citations: 0
2024-05-11 05:51