( en | de | ru )

 

Disambiguierung von "Schneider, Joshua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic.

, und . Arch. Formal Proofs, (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.

Joshua Migdal

Joshua Sempebwa

Joshua Cordes

Joshua Amavi

Joshua Müller

 

Weitere Publikationen von Autoren mit dem selben Namen

Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows., , und . Arch. Formal Proofs, (2020)Monitoring the Internet Computer., , , , , , und . FM, Volume 14000 von Lecture Notes in Computer Science, Seite 383-402. Springer, (2023)Verified First-Order Monitoring with Recursive Rules., , , , und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 236-253. Springer, (2022)A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic., , , , , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 432-453. Springer, (2020)Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic., und . Arch. Formal Proofs, (2019)VeriMon: A Formally Verified Monitoring Tool., , , , , , , , , und 3 andere Autor(en). ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 1-6. Springer, (2022)Scalable Online Monitoring of Distributed Systems., , , und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 197-220. Springer, (2020)A Benchmark Generator for Online First-Order Monitoring., und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 482-494. Springer, (2020)Scalable and Trustworthy Monitoring.. ETH Zurich, Zürich, Switzerland, (2023)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/614295).Scalable Online First-Order Monitoring., , , , und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 353-371. Springer, (2018)