( en | de | ru )

 

Disambiguierung von "Griggio, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).

, , , und . Dagstuhl Reports, 12 (2): 67-86 (2022)

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.

Alberto Griggio

Alberto Fierro

Alberto Moreira

Alberto Coda

Alberto Ricco

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking., , und . CoRR, (2024)New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)., , , und . Dagstuhl Reports, 12 (2): 67-86 (2022)Automatic Discovery of Fair Paths in Infinite-State Transition Systems., , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 32-47. Springer, (2021)Analysis of Cyclic Fault Propagation via ASP., , , , und . LPNMR, Volume 13416 von Lecture Notes in Computer Science, Seite 470-483. Springer, (2022)A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System., , , , , , , , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 240-254. Springer, (2020)The VMT-LIB Language and Tools., , und . CoRR, (2021)LTL falsification in infinite-state systems., , und . Inf. Comput., 289 (Part): 104977 (2022)Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization., , , , und . SC-square@SIAM AG, Volume 2460 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays., , , , und . TACAS (1), Volume 12651 von Lecture Notes in Computer Science, Seite 113-132. Springer, (2021)Certifying Proofs for LTL Model Checking., , und . FMCAD, Seite 1-9. IEEE, (2018)