( en | de | ru )

 

Disambiguierung von "Tripakis, Stavros"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constrained synthesis from component libraries.

, , und . Sci. Comput. Program., (2019)

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.

Stavros Tripakis

Stavros Arabatzis

Stavros Vlizos

Stavros Konstantinides

Stavros Kirkopoulos

 

Weitere Publikationen von Autoren mit dem selben Namen

Safe Environmental Envelopes of Discrete Systems., , , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 326-350. Springer, (2023)Mapping Synthesis for Hyperproperties., , , und . CSF, Seite 486-500. IEEE, (2022)On Neural Network Equivalence Checking Using SMT Solvers., , , und . FORMATS, Volume 13465 von Lecture Notes in Computer Science, Seite 237-257. Springer, (2022)When Do We (Not) Need Complex Assume-Guarantee Rules?, , und . ACSD, Seite 30-39. IEEE Computer Society, (2015)Metrics and methods for robustness evaluation of neural networks with generative models., , und . CoRR, (2020)Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations., , und . IECON, Seite 1970-1975. IEEE, (2015)Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems., , und . CSF, Seite 380-395. IEEE, (2022)Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+., , und . FMCAD, Seite 273-283. IEEE, (2022)Decoupled Fitness Criteria for Reactive Systems., und . SEFM, Volume 14323 von Lecture Notes in Computer Science, Seite 85-105. Springer, (2023)Mechanically Proving Determinacy of Hierarchical Block Diagram Translations., , und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 577-600. Springer, (2019)