( en | de | ru )

 

Disambiguierung von "Katz, Guy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Initial Wise Development Environment for Behavioral Models.

, , , und . MODELSWARD, Seite 600-612. SciTePress, (2016)

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.

Guy Katz

Olga Guyot

Thomas Guyet

Karl Guyot

Peter Guyot

 

Weitere Publikationen von Autoren mit dem selben Namen

ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems., , , , , , und . Sci. Comput. Program., (2017)Relaxing Synchronization Constraints in Behavioral Programs., , und . LPAR, Volume 8312 von Lecture Notes in Computer Science, Seite 355-372. Springer, (2013)Toward Scalable Verification for Safety-Critical Deep Networks., , , , , und . CoRR, (2018)Efficient Distributed Execution of Multi-component Scenario-Based Models., , , , , und . MODELSWARD (Revised Selected Papers), Volume 880 von Communications in Computer and Information Science, Seite 449-483. Springer, (2017)Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks., , , , und . CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 97-117. Springer, (2017)Wise Computing: Towards Endowing System Development with True Wisdom., , , und . CoRR, (2015)On composing and proving the correctness of reactive behavior., , , , , und . EMSOFT, Seite 13:1-13:10. IEEE, (2013)On the Succinctness of Idioms for Concurrent Programming., , , , und . CONCUR, Volume 42 von LIPIcs, Seite 85-99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)An SMT-Based Approach for Verifying Binarized Neural Networks., , , und . CoRR, (2020)Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures., und . AGERE!@SPLASH, Seite 95-108. ACM, (2014)