( en | de | ru )

 

Disambiguierung von "Bingham, Jesse D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifiable hierarchical protocols with network invariants on parametric systems.

, , und . FMCAD, Seite 101-108. IEEE, (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.

Bingham Tembe

Karsten Bingham

Mark Bingham

Bingham Tembe

Ella Bingham

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Non-Interference Lemmas for Parameterized Model Checking.. FMCAD, Seite 1-8. IEEE, (2008)Industrial strength refinement checking., , , und . FMCAD, Seite 180-183. IEEE, (2009)Toward a decidable notion of sequential consistency., , und . SPAA, Seite 304-313. ACM, (2003)Verifiable hierarchical protocols with network invariants on parametric systems., , und . FMCAD, Seite 101-108. IEEE, (2016)Hybrid one-dimensional reversible cellular automata are regular., und . Discret. Appl. Math., 155 (18): 2555-2566 (2007)An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures., , und . VMCAI, Volume 4349 von Lecture Notes in Computer Science, Seite 106-121. Springer, (2007)Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings., und . PDPTA, CSREA Press, (2000)Semi-formal Bounded Model Checking., und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 280-294. Springer, (2002)Empirically Efficient Verification for a Class of Infinite-State Systems., und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 77-92. Springer, (2005)Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values., , , , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 427-439. Springer, (2004)