( en | de | ru )

 

Disambiguierung von "Ádám, Zsófia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.

, , , , , , , , , und . NFM, Volume 13903 von Lecture Notes in Computer Science, Seite 353-360. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Zsófia Lendvai

Zsófia Szirmák

Zsófia Lendek

Ádám Gondos

János Ádám

 

Weitere Publikationen von Autoren mit dem selben Namen

ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)., , und . TACAS (3), Volume 14572 von Lecture Notes in Computer Science, Seite 330-334. Springer, (2024)From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif., , , , , , , , , und . NFM, Volume 13903 von Lecture Notes in Computer Science, Seite 353-360. Springer, (2023)Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)., , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 433-437. Springer, (2021)C for Yourself: Comparison of Front-End Techniques for Formal Verification., , und . FormaliSE@ICSE, Seite 1-11. ACM, (2022)Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification., , , , und . LSFA/HCVS, Volume 402 von EPTCS, Seite 105-117. (2023)Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)., , , , und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 474-478. Springer, (2022)Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)., , , , , , , und . TACAS (3), Volume 14572 von Lecture Notes in Computer Science, Seite 412-417. Springer, (2024)EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)., , , , , , , und . TACAS (3), Volume 14572 von Lecture Notes in Computer Science, Seite 371-375. Springer, (2024)Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers., , , , und . TACAS (3), Volume 14572 von Lecture Notes in Computer Science, Seite 129-149. Springer, (2024)