( en | de | ru )

 

Disambiguierung von "Becchi, Anna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Searching for i-Good Lemmas to Accelerate Safety Model Checking.

, , , , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 288-308. 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.

Heike Anna Brücker

Dirk Annacker

Thomas Annan

Carola Annas

John A Anna Selva

 

Weitere Publikationen von Autoren mit dem selben Namen

A Conversion Procedure for NNC Polyhedra., und . CoRR, (2017)Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)., , , , und . Dagstuhl Reports, 13 (7): 66-95 (2023)Searching for i-Good Lemmas to Accelerate Safety Model Checking., , , , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 288-308. Springer, (2023)PPLite: Zero-overhead encoding of NNC polyhedra., und . Inf. Comput., (2020)Synthesis of P-Stable Abstractions., , und . SEFM, Volume 12310 von Lecture Notes in Computer Science, Seite 214-230. Springer, (2020)SMT-Based Stability Verification of an Industrial Switched PI Control Systems., , , , , , , , und . DSN-W, Seite 243-250. IEEE, (2023)Reverse engineering with P-stable Abstractions., , und . OVERLAY@GandALF, Volume 2987 von CEUR Workshop Proceedings, Seite 91-95. CEUR-WS.org, (2021)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)Revisiting Polyhedral Analysis for Hybrid Systems., und . SAS, Volume 11822 von Lecture Notes in Computer Science, Seite 183-202. Springer, (2019)A Direct Encoding for NNC Polyhedra., und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 230-248. Springer, (2018)