1.
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 Egyéb URL
Közlemény:34768428 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34768428] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
2.
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 Egyéb URL
Közlemény:34768422 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34768422] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
3.
Somorjai, Márk ; Dobos-Kovács, Mihály ; Ádám, Zsófia ; Bajczi, Levente ; Vörös, András
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 402 : 402 pp. 105-117. , 13 p. (2024)
DOI WoS Scopus Egyéb URL
Közlemény:33784283 Egyeztetett Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos[33784283] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
4.
Dobos-Kovács, Mihály ; Vörös, András
Evaluation of SMT solvers in abstraction-based software model checking
In: Anon, A (szerk.) Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2022) pp. 109-116. , 8 p.
DOI WoS Scopus Egyéb URL
Közlemény:33575796 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[33575796] [Egyeztetett]
5.
Ádám, Zsófia ; Bajczi, Levente ; Dobos-Kovács, Mihály ; Hajdu, Ákos ; Molnár, Vince
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 13244 pp. 474-478. , 5 p. (2022)
DOI WoS Scopus Egyéb URL
Közlemény:32801008 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 6 | Független: 4 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 4 | WoS/Scopus jelölt: 6 | DOI jelölt: 6 (Nem nyilvános: 2)
Konferenciaközlemény (Folyóiratcikk) | Tudományos[32801008] [Nyilvános]
Nyilvános idéző összesen: 6, Független: 4, Függő: 2, Nem jelölt: 0
6.
Dobos-Kovacs, Mihaly ; Hajdu, Akos ; Voros, Andras
Bitvector Support in the Theta Formal Verification Framework
In: Andrey, Brito; Fernando, Pedone (szerk.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2021) pp. 01-08. , 8 p.
DOI Scopus Egyéb URL
Közlemény:32678888 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32678888] [Nyilvános]
7.
Fazekas, Csilla Lea ; Bellardie, Manon ; Torok, Bibiana ; Sipos, Eszter ; Dobos-Kovacs, Mihaly ; Chaillou, Elodie ; Zelena, Dora
The effect of median raphe region and its serotoninergic neurons on body temperature regulation in cold stress, depressive-like behaviour and social behaviour
JOURNAL OF NEURAL TRANSMISSION 128 : 11 pp. 1779-1779. , 1 p. (2021)
WoS
Közlemény:32507645 Nyilvános Forrás Folyóiratcikk (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Folyóiratcikk) | Tudományos[32507645] [Nyilvános]
8.
Fazekas, CL ✉ ; Bellardie, M ; Török, B ; Sipos, E ; Tóth, B ; Baranyi, M ; Sperlágh, B ; Dobos-Kovács, M ; Chaillou, E ; Zelena, D
Pharmacogenetic excitation of the median raphe region affects social and depressive-like behavior and core body temperature in male mice
LIFE SCIENCES 286 Paper: 120037 , 10 p. (2021)
DOI WoS Scopus PubMed
Zárolt Közlemény:32399092 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 9 | Független: 3 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 9 | WoS/Scopus jelölt: 9 | DOI jelölt: 9
Szakcikk (Folyóiratcikk) | Tudományos[32399092] [Egyeztetett]
Nyilvános idéző összesen: 9, Független: 3, Függő: 6, Nem jelölt: 0
9.
Csilla, Lea Fazekas ✉ ; Manon, Bellardie ; Bibiána, Török ; Eszter, Sipos ; Mihály, Dobos-Kovács ; Elodie, Chaillou ; Dóra, Zelena
Median raphe region serotoninergic neurones affect depressive-like behaviour and vegetative functions, but not social behaviour
In: Csiszár, Beáta; Hankó, Csilla; Kajos, Luca Fanni; Mező, Emerencia (szerk.) Medical Conference for PhD Students and Experts of Clinical Sciences 2021 : Book of Abstracts
Pécs, Magyarország : University of Pécs, Doctoral Student Association (2021) 128 p. pp. 108-108. , 1 p.
Közlemény:32131082 Admin láttamozott Forrás Könyvrészlet (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Könyvrészlet) | Tudományos[32131082] [Admin láttamozott]
10.
Dobos-Kovács, Mihály ; Vörös, András
Model checking and test generation: towards a combined approach to software verification
In: Pataki, Béla (szerk.) Proceedings of the 26th Minisymposium of the Department of Measurement and Information Systems
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2019) 32 p. pp. 12-15. , 4 p.
Repozitóriumban
Közlemény:31396950 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31396950] [Nyilvános]
2025-06-13 03:38