1.
Fülöp, Endre ; Pataki, Norbert
Temporal Logic-driven Symbolic Execution with the Clang Static Analyzer
In: Salah, Bourennane; Vit, Vozenilek (szerk.) 2024 7th International Conference on Software and System Engineering (ICoSSE)
Párizs, Franciaország : Institute of Electrical and Electronics Engineers (IEEE) (2024) 95 p. pp. 78-82. , 5 p.
DOI Scopus Egyéb URL
Közlemény:35151215 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35151215] [Nyilvános]
2.
Fülöp, Endre ; Gyén, Attila ; Pataki, Norbert
Visualization of Read-Copy-Update synchronization contexts in C code
In: 12th International Conference on Applied Informatics (ICAI 2023)
Eger, Magyarország : Eszterházy Károly Katolikus Egyetem (2023)
Teljes dokumentum
Közlemény:34129966 Admin láttamozott Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[34129966] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
3.
Fülöp, Endre ; Gyén, Attila ; Pataki, Norbert
Visualization of Read-Copy-Update synchronization contexts in C code
ANNALES MATHEMATICAE ET INFORMATICAE 58 pp. 30-40. , 11 p. (2023)
DOI WoS Scopus Teljes dokumentum
Közlemény:34091961 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34091961] [Nyilvános]
4.
Fülöp, Endre ; Gyén, Attila ; Pataki, Norbert
Monaco Support for an Improved Exception Specification in C++
TRANSACTIONS ON INTERNET RESEARCH- IPSI BGD 19 : 1 pp. 24-31. , 8 p. (2023)
DOI WoS
Közlemény:33694652 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 0 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[33694652] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 0, Függő: 3, Nem jelölt: 0
5.
Fülöp, Endre ; Gyén, Attila ; Pataki, Norbert
C++ Source Code Rejuvenation for an Improved Exception Specification
In: Steingartner, William; Korečko, Štefan; Szakál, Anikó (szerk.) 2022 IEEE 16th International Scientific Conference on Informatics - Proceedings
Poprad, Szlovákia, Piscataway (NJ), Amerikai Egyesült Államok, Red Hook (NY), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2022) pp. 94-99. , 6 p.
DOI IEEE Xplore Scopus
Közlemény:33267351 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[33267351] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
6.
Endre, Fülöp ; Attila, Gyén ; Norbert, Pataki
A Framework for C++ Exception Handling Assistance
In: Proceedings of the Ninth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications
(2022) Paper: 4 , 13 p.
Scopus Teljes dokumentum
Közlemény:33133568 Admin láttamozott Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 1 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 3 | DOI jelölt: 4
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[33133568] [Admin láttamozott]
Nyilvános idéző összesen: 4, Független: 1, Függő: 3, Nem jelölt: 0
7.
Fülöp, Endre ; Gyén, Attila ; Pataki, Norbert
Code Comprehension for Read-Copy-Update Synchronization Contexts in C Code
In: Kubicek, Petr; Bourennane, Salah (szerk.) Geoinformatics and Data Analysis: Selected Proceedings of ICGDA 2022
Cham, Svájc : Springer Switzerland (2022) 202 p. pp. 187-200. Paper: Chapter 17 , 14 p.
DOI Scopus Egyéb URL
Közlemény:32869475 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 6 | Független: 2 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[32869475] [Admin láttamozott]
Nyilvános idéző összesen: 6, Független: 2, Függő: 4, Nem jelölt: 0
8.
Fülöp, Endre ; Pataki, Norbert
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
OPEN COMPUTER SCIENCE 11 : 1 pp. 107-115. , 9 p. (2020)
DOI WoS Scopus Egyéb URL Egyéb URL Egyéb URL
Közlemény:31787944 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 2 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[31787944] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 2, Függő: 1, Nem jelölt: 0
9.
Endre, Fülöp ; Norbert, Pataki ; Csaba, Rotter
Modeling Resource Allocations in Cloud Deployment with P Colonies
In: Zoltán, Horváth; Adrian, Petruşel (szerk.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Budapest, Magyarország : ELTE Informatikai Kar, Babes-Bolyai Tudományegyetem, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Babes-Bolyai Tudományegyetem (2020) 201 p. pp. 70-71. , 2 p.
Közlemény:31660490 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31660490] [Nyilvános]
10.
Endre, Fülöp ; Norbert, Pataki
A Pragmatic Static Analysis Method with An Applied Model of Formalized Concurrency
In: Zoltán, Horváth; Adrian, Petruşel (szerk.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Budapest, Magyarország : ELTE Informatikai Kar, Babes-Bolyai Tudományegyetem, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Babes-Bolyai Tudományegyetem (2020) 201 p. pp. 69-69. , 1 p.
Közlemény:31660484 Admin láttamozott Forrás Idéző Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31660484] [Admin láttamozott]
2024-09-19 08:25