( en | de | ru )

 

Disambiguierung von "Wang, Bow-Yaw"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesize Models for Quantitative Analysis Using Automata Learning.

, , , , , und . NETYS, Volume 11704 von Lecture Notes in Computer Science, Seite 75-92. Springer, (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.

Hansen Bow

Sadaat Ali Yawar

Shantaram Yawalkar

Sadaat Ali Yawar

Manssur Yawari-Baigwand

 

Weitere Publikationen von Autoren mit dem selben Namen

Complete SAT-Based Model Checking for Context-Free Processes., und . Int. J. Found. Comput. Sci., 21 (2): 115-134 (2010)Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates., , , , und . APLAS, Volume 6461 von Lecture Notes in Computer Science, Seite 328-343. Springer, (2010)Verifying Network Protocol Implementations by Symbolic Refinement Checking., und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 169-181. Springer, (2001)Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference., , , und . TACAS, Volume 6605 von Lecture Notes in Computer Science, Seite 205-219. Springer, (2011)"Next" Heuristic for On-the-Fly Model Checking., und . CONCUR, Volume 1664 von Lecture Notes in Computer Science, Seite 98-113. Springer, (1999)Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation., , , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 658-674. Springer, (2015)A Finite Exact Representation of Register Automata Configurations., , und . INFINITY, Volume 140 von EPTCS, Seite 16-34. (2013)An Executable Sequential Specification for Spark Aggregation., , , , , und . NETYS, Volume 10299 von Lecture Notes in Computer Science, Seite 421-438. (2017)PSpec: a formal specification language for fine-grained control on distributed data analytics., , , , , und . ICSE (Companion Volume), Seite 300-302. IEEE Computer Society, (2017)Automated Assume-Guarantee Reasoning through Implicit Learning., , , , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 511-526. Springer, (2010)