11.
Bence, Babati ; Endre, Fülöp ; Norbert, Pataki
Static Analysis of Multithreaded C++ Code (2020)
Poster at The 11th International Conference on Applied Informatics (ICAI 2020),
Publication:31152682 Admin approved Core Miscellaneous (Not classified ) Scientific
Not classified (Miscellaneous) | Scientific[31152682] [Admin approved]
12.
Endre, Fülöp ; Norbert, Pataki
Symbolic Execution with Finite State Automata
In: William, Steingartner; Stefan, Korecko; Anikó, Szakál (eds.) 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings
Poprád, Slovakia : IEEE (2019) pp. 116-120. , 5 p.
DOI IEEE Xplore Scopus
Publication:30932379 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 0 | Self citation: 1 | 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
Conference paper (Chapter in Book) | Scientific[30932379] [Validated]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
2024-05-05 11:21