1.
Cziborová, Dóra ; Szabó, Richárd
Modeling of Time-Dependent Behavior in Fault-Tolerant Systems
In: Proceedings of the 31th Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics (2024) pp. 55-60. , 6 p.
DOI Egyéb URL
Közlemény:34872818 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34872818] [Nyilvános]
2.
Marussy, Kristóf ; Ficsor, Attila ; Semeráth, Oszkár ; Varró, Dániel
Refinery: Graph Solver as a Service
In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2024) pp. 64-68. , 5 p.
DOI Egyéb URL
Közlemény:34872599 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34872599] [Nyilvános]
3.
Mondok, Milán ; Molnár, Vince
Efficient Manipulation of Logical Formulas as Decision Diagrams
In: Proceedings of the 31th Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics (2024) pp. 61-65. , 5 p.
Közlemény:34869419 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34869419] [Nyilvános]
4.
Péter, Bertalan Zoltán ; Kocsis, Imre
Landmark Estimation for Qualitative Diagnosis Over Distributed Traces
In: Proceedings of the 31th Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics (2024) pp. 89-94. , 6 p.
DOI Egyéb URL
Közlemény:34862731 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34862731] [Nyilvános]
5.
Ádám, Zsófia ; Beyer, Dirk ✉ ; Chien, Po-Chun ; Lee, Nian-Ze ; Sirrenberg, Nils
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 129-149. , 21 p. (2024)
DOI Scopus
Közlemény:34860908 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34860908] [Nyilvános]
6.
Bajczi, Levente ; Molnár, Vince
Solving Constrained Horn Clauses as C Programs with CHC2C
LECTURE NOTES IN COMPUTER SCIENCE Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg, Luxembourg, April 10-11, 2024, Proceedings (2024)
Közlemény:34853031 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34853031] [Nyilvános]
7.
Al-Gburi, Noor ; Kocsis, Imre
Towards the Requirement-Driven Generation and Evaluation of Hyperledger Fabric Network Designs
In: Proceedings of the 31th Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics (2024) pp. 72-77. , 6 p.
DOI Egyéb URL
Közlemény:34849521 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34849521] [Nyilvános]
8.
Bajczi, Levente ✉ ; Ádám, Zsófia ; Micskei, Zoltán
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 330-334. Paper: Chapter 16 , 5 p. (2024)
DOI Scopus Egyéb URL
Közlemény:34768972 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos[34768972] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
9.
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 Scopus Egyéb URL
Közlemény:34768428 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | 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
10.
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 Scopus Egyéb URL
Közlemény:34768422 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | 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
2024-05-27 11:03