1.
Mondok, Milán ✉ ; Telbisz, Csanád ; Bajczi, Levente ; Kovács, Dániel ; Dobos-Kovács, Mihály ; Molnár, Vince
EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 16506 pp. 510-515. Paper: Chapter 25 , 6 p. (2026)
DOI Other URL
Publication:37085797 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[37085797] [Approved]
2.
Graics, Bence ✉ ; Mondok, Milán ; Molnár, Vince ; Majzik, István
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations
SCIENCE OF COMPUTER PROGRAMMING 242 Paper: 103265 , 40 p. (2025)
DOI WoS Scopus Other URL
Publication:35730361 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 6 | Independent citation: 4 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 3 | Number of citations with DOI: 6
Article (Journal Article) | Scientific[35730361] [Validated]
All citations+mentions: 6, External citations: 4, Self citations: 2, Unhandled citations: 0
3.
Bajczi, Levente ✉ ; Molnár, Vince ✉
Networcat: applying analysis techniques of shared memory software on message-passing distributed systems
SOFTWARE AND SYSTEMS MODELING 24 : 5 pp. 1495-1514. , 20 p. (2025)
DOI WoS Scopus Other URL
Publication:35762171 Admin approved Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[35762171] [Admin approved]
4.
Mondok, Milán ; Bajczi, Levente ✉ ; Szekeres, Dániel ; Molnár, Vince
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 15698 pp. 217-222. Paper: Chapter 15 , 6 p. (2025)
DOI Scopus Other URL
Publication:36122891 Admin approved Core Journal Article (Article ) Scientific
Citing papers: 0 | Independent citation: 0 | Self citation: 0 | Unknown citation: 0 (Not published: 1)
Article (Journal Article) | Scientific[36122891] [Admin approved]
5.
Bajczi, Levente ; Szekeres, Dániel ; Telbisz, Csanád ; Molnár, Vince
Giving Some Pointers for Abstraction-Based Model Checking
In: Renczes, Balázs (eds.) Proceedings of the 32nd Minisymposium
Bp, Hungary : Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems Engineering (2025) pp. 5-9. , 5 p.
DOI Other URL
Publication:36176199 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[36176199] [Admin approved]
6.
Bajczi, Levente ; Mondok, Milán ; Molnár, Vince
Theta as a Horn Solver
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 434 pp. 27-39. , 13 p. (2025)
DOI At publisher WoS Scopus Other URL Full text
Publication:36427979 Admin approved Core Citing Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[36427979] [Admin approved]
7.
Zavada, Ármin ; Kulcsár, Géza ; Molnár, Vince ; Horváth, Ákos
Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems
In: IEEE - IEEE (eds.) 2025 IEEE 8th International Conference on Industrial Cyber-Physical Systems (ICPS)
Piscataway (NJ), United States of America : IEEE (2025) Paper: 11087849 , 6 p.
DOI WoS
Publication:36588299 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[36588299] [Admin approved]
8.
Graics, Bence ; Mondok, Milán ; Molnár, Vince ; Majzik, István
Model-Based Testing of Asynchronously Communicating Distributed Controllers
LECTURE NOTES IN COMPUTER SCIENCE 14485 pp. 23-44. Paper: Chapter 2 , 22 p. (2024)
DOI WoS Scopus Other URL
Publication:34504488 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 5 | Independent citation: 2 | Self citation: 3 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 5
Article (Journal Article) | Scientific[34504488] [Validated]
All citations+mentions: 5, External citations: 2, Self citations: 3, Unhandled citations: 0
9.
Bajczi, Levente ✉ ; Szekeres, Dániel ; Mondok, Milán ; Ádám, Zsófia ; Somorjai, Márk ; Telbisz, Csanád ; Dobos-Kovács, Mihály ; Molnár, Vince
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 371-375. Paper: Chapter 23 , 5 p. (2024)
DOI WoS Scopus Other URL
Publication:34768422 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1 (Not published: 1)
Article (Journal Article) | Scientific[34768422] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
10.
Bajczi, Levente ✉ ; Telbisz, Csanád ; Somorjai, Márk ; Ádám, Zsófia ; Dobos-Kovács, Mihály ; Szekeres, Dániel ; Mondok, Milán ; Molnár, Vince
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 412-417. Paper: Chapter 30 , 6 p. (2024)
DOI WoS Scopus Other URL
Publication:34768428 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 1 | Self citation: 1 | 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[34768428] [Approved]
All citations+mentions: 2, External citations: 1, Self citations: 1, Unhandled citations: 0
2026-06-07 15:28