( en | de | ru )

 

Disambiguation of "Bingham, Jesse D."

Author of the publication

copydeleteadd this publication to your clipboard
Industrial strength refinement checking.

, , , and . FMCAD, page 180-183. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bingham Tembe

Karsten Bingham

Mark Bingham

Bingham Tembe

Ella Bingham

 

Other publications of authors with the same name

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