https://m2.mtmt.hu/ hun 2026-05-25 04:18 JournalArticle 32801008 APPROVED true Chapter 34 Print ISBN978-3-030-99526-3 Online ISBN978-3-030-99527-0 0 false 2026-05-21T21:02:52.080+0000 2023-02-09T15:20:22.644+0000 2022-05-01T16:06:36.762+0000 true 10025544 Lévayné Deseő Katalin /api/admin/10025544 Admin Lévayné Deseő Katalin (MTMT Központi admin) true 10025544 2023-02-09T15:20:22.865+0000 2023-02-09T15:20:22.865+0000 true false true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle true 1268360 Conference paper in journal true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle /api/subtype/1268360 Konferenciaközlemény SubType Konferenciaközlemény (Folyóiratcikk) 109 true 1268360 true 1 /api/category/1 Category Tudományos true 1 Ádám, Zsófia true true /api/journal/3029 REVIEWED LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 true false 3029 false 3029 true 0302-9743 1611-3349 Journal FOREIGN 13244 474 478 474 5 2022 true true 2022 true true true true false NONE 2026-05-21 false 8 2 8 5 2 8 8 8 6 8 8 5 5 5 3 0 8 5 8 5 0 2 2 Folyóiratcikk Journal Article 24 3 Könyvrészlet Chapter in Book 25 5 Könyv Book 23 0 Egyéb konferenciaközlemény Conference paper 31 0 Egyéb konferenciakötet Conference proceedings 32 0 Oltalmi formák Protection forms 26 0 Disszertáció Thesis 28 0 Egyéb Miscellaneous 29 0 Alkotás Achievement 22 0 Kutatási adat Research data 33 0 Folyóiratcikk Journal Article 24 0 0 0 Könyvrészlet Chapter in Book 25 0 0 0 Könyv Book 23 0 0 0 Egyéb konferenciaközlemény Conference paper 31 0 0 0 Egyéb konferenciakötet Conference proceedings 32 0 0 0 Oltalmi formák Protection forms 26 0 0 0 Disszertáció Thesis 28 0 0 0 Egyéb Miscellaneous 29 0 0 0 Alkotás Achievement 22 0 0 0 Kutatási adat Research data 33 0 0 0 2022 0 2 1 2 1 2023 0 2 1 2 1 2024 0 1 1 1 1 2025 0 3 2 3 2 false 10049620 false false false 2022-04-30T16:06:44.023+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 5 17 2 5 0 false Language 10002 /api/language/10002 Angol Angol English true 2 true PersonAuthorship 101501463 /api/authorship/101501463 Ádám, Zsófia [Ádám, Zsófia (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 1 0.2 true false false Author 10077295 /api/author/10077295 Ádám Zsófia (informatika) Ádám Zsófia true true Ádám Zsófia true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 101501464 /api/authorship/101501464 Bajczi, Levente [Bajczi, Levente (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 2 0.2 false false false Author 10073070 /api/author/10073070 Bajczi Levente (informatika) Bajczi Levente true true Bajczi Levente true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 101501465 /api/authorship/101501465 Dobos-Kovács, Mihály [Dobos-Kovács, Mihály (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 3 0.2 false false false Author 10073065 /api/author/10073065 Dobos-Kovács Mihály (informatika) Dobos-Kovács Mihály true true Dobos-Kovács Mihály true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 101501466 /api/authorship/101501466 Hajdu, Ákos [Hajdu, Ákos (formális módszerek), szerző] 4 0.2 false false false Author 10053159 /api/author/10053159 Hajdu Ákos (formális módszerek) Hajdu Ákos true 10053159 true Hajdu Ákos true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 101501467 /api/authorship/101501467 Molnár, Vince [Molnár, Vince (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 5 0.2 false true false Author 10049620 /api/author/10049620 Molnár Vince (informatika) Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 20921729 /api/publicationidentifier/20921729 DOI: 10.1007/978-3-030-99527-0_34 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI true true true DOI DOI https://doi.org/@@@ true true 6 true 10.1007/978-3-030-99527-0_34 https://doi.org/10.1007/978-3-030-99527-0_34 false true PublicationIdentifier 20921731 /api/publicationidentifier/20921731 WoS: 000782398900034 PlainSource 1 /api/publicationsource/1 WoS PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 000782398900034 https://www.webofscience.com/wos/woscc/full-record/000782398900034 false true PublicationIdentifier 20948334 /api/publicationidentifier/20948334 Scopus: 85128707561 PlainSource 3 /api/publicationsource/3 Scopus PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true 85128707561 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85128707561 false true PublicationIdentifier 20921730 /api/publicationidentifier/20921730 Egyéb URL: https://link.springer.com/10.1007/978-3-030-99527-0_34 PlainSource 40 /api/publicationsource/40 Egyéb URL PublicationSourceType 10006 /api/publicationsourcetype/10006 Link true true true Egyéb URL Other URL @@@ true true 40 true https://link.springer.com/10.1007/978-3-030-99527-0_34 https://link.springer.com/10.1007/978-3-030-99527-0_34 false true Keyword 1493265 /api/keyword/1493265 Computer Science, Software Engineering true true Reference 30186489 /api/reference/30186489 1. Ádám, Zs.: Efficient techniques for formal verification of C programs. Bachelor’s thesis, Budapest University of Technology and Economics (2021) 1 false true Reference 30186490 /api/reference/30186490 2. Ádam, Zs., Levente, B., Dobos-Kovács, M., Hajdu, Á., Molnár, V.: Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (competition contribution): Tool archive (data set) (2022). https://doi.org/10.5281/zenodo.5956737, DOI: 10.5281/zenodo.5956737 2 10.5281/zenodo.5956737 false true Reference 30186491 /api/reference/30186491 3. Ádám, Zs., Sallai, Gy., Hajdu, Á.: Gazer-Theta: LLVM-based verifier portfolio with BMC/CEGAR (competition contribution). In: TACAS 2021, LNCS, vol. 12652, pp. 435–439. Springer (2021). https://doi.org/10.1007/978-3-030-72013-1_27, DOI: 10.1007/978-3-030-72013-1_27 3 10.1007/978-3-030-72013-1_27 false true Reference 30186492 /api/reference/30186492 4. Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C.: CVC4. In: CAV 2011, LNCS, vol. 6806, pp. 171–177. Springer (2011). https://doi.org/10.1007/978-3-642-22110-1_14, DOI: 10.1007/978-3-642-22110-1_14 4 10.1007/978-3-642-22110-1_14 false true Reference 30186493 /api/reference/30186493 5. Beyer, D.: Progress on software verification: SV-COMP 2022. In: Proc. TACAS. Springer (2022) 5 false true Reference 30186494 /api/reference/30186494 6. Cimatti, A., Griggio, A., Schaafsma, B., Sebastiani, R.: The MathSAT5 SMT solver. In: TACAS 2013, LNCS, vol. 7795, pp. 93–107. Springer (2013). https://doi.org/10.1007/978-3-642-36742-7_7, DOI: 10.1007/978-3-642-36742-7_7 6 10.1007/978-3-642-36742-7_7 false true Reference 30186495 /api/reference/30186495 7. Dobos-Kovács, M., Hajdu, Á., Vörös, A.: Bitvector support in the Theta formal verification framework. In: Proceedings of the 2nd Workshop on Validation and Verification of Future Cyber-Physical Systems (2021), in press., DOI: 10.1109/LADC53747.2021.9672595 7 10.1109/LADC53747.2021.9672595 false true Reference 30186496 /api/reference/30186496 8. Hajdu, Á., Micskei, Z.: Efficient strategies for CEGAR-based model checking. Journal of Automated Reasoning 64(6), 1051–1091 (2020). https://doi.org/10.1007/s10817-019-09535-x, DOI: 10.1007/s10817-019-09535-x 8 10.1007/s10817-019-09535-x false true Reference 30186497 /api/reference/30186497 9. de Moura, L., Bjørner, N.: Z3: An efficient SMT solver. In: TACAS 2008, LNCS, vol. 4963, pp. 337–340. Springer (2008). https://doi.org/10.1007/978-3-540-78800-3_24, DOI: 10.1007/978-3-540-78800-3_24 9 10.1007/978-3-540-78800-3_24 false true Reference 30186498 /api/reference/30186498 10. Tóth, T., Hajdu, Á., Vörös, A., Micskei, Z., Majzik, I.: Theta: a framework for abstraction refinement-based model checking. In: FMCAD 2017. pp. 176–179 (2017). https://doi.org/10.23919/FMCAD.2017.8102257, DOI: 10.23919/FMCAD.2017.8102257 10 10.23919/FMCAD.2017.8102257 false true /api/publication/32801008 Ádám Zsófia et al. Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). (2022) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 13244 474-478<div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10077295"><a href="/gui2/?type=authors&mode=browse&sel=10077295" target="_blank">Ádám Zsófia (<span class="authorship-author-name">Ádám Zsófia</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10073070"><a href="/gui2/?type=authors&mode=browse&sel=10073070" target="_blank">Bajczi Levente (<span class="authorship-author-name">Bajczi Levente</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10073065"><a href="/gui2/?type=authors&mode=browse&sel=10073065" target="_blank">Dobos-Kovács Mihály (<span class="authorship-author-name">Dobos-Kovács Mihály</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10053159"><a href="/gui2/?type=authors&mode=browse&sel=10053159" target="_blank">Hajdu Ákos (<span class="authorship-author-name">Hajdu Ákos</span> <span class="authorAux-mtmt"> formális módszerek</span>) </a> </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince (<span class="authorship-author-name">Molnár Vince</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;32801008" target="_blank">Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)</a></div> <div> <span class="journal-title">LECTURE NOTES IN COMPUTER SCIENCE</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0302-9743">0302-9743</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1611-3349">1611-3349</a>)</span>: <span class="journal-volume">13244</span> <span class="page"> pp 474-478 </span> <span class="year">(2022)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="10.1007/978-3-030-99527-0_34" target="_blank" href="https://doi.org/10.1007/978-3-030-99527-0_34"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000782398900034" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000782398900034"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85128707561" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85128707561"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://link.springer.com/10.1007/978-3-030-99527-0_34" target="_blank" href="https://link.springer.com/10.1007/978-3-030-99527-0_34"> Egyéb URL </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 8</span> | Független: 5 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt:&nbsp;6 | WoS/Scopus jelölt:&nbsp;8 | DOI jelölt:&nbsp;8 (Nem nyilvános:&nbsp;2) </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;32801008&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 2 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 32801008</span> | <span class="status-data status-APPROVED"> Nyilvános </span> Forrás Idéző | <span class="type-subtype">Folyóiratcikk ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2023.02.09. 16:20 Boczkó-Balla Enikő (BME admin4) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Chapter 34 Print ISBN978-3-030-99526-3 Online ISBN978-3-030-99527-0</pre> </div></div>