( en | de | ru )

 

Disambiguation of "Cox, Arlen"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking Regular Language Constraints.

, and . CoRR, (2017)

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.

Kirsten Cox

Raymond Cox

Raymond Cox

Carsten Cox

Günter Cox

 

Other publications of authors with the same name

Binary-Decision-Diagrams for Set Abstraction.. CoRR, (2015)QUIC Graphs: Relational Invariant Generation for Containers., , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 401-425. Springer, (2013)A Bit Too Precise? Bounded Verification of Quantized Digital Filters., , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 33-47. Springer, (2012)EUFicient Reachability in Software with Arrays., , and . FMCAD, page 57-66. IEEE, (2020)Diagnosing Abstraction Failure for Separation Logic-Based Analyses., , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 155-173. Springer, (2012)Model Checking Regular Language Constraints., and . CoRR, (2017)QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers., , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 866-873. Springer, (2014)Volume-Based Merge Heuristics for Disjunctive Numeric Domains., , and . SAS, volume 11002 of Lecture Notes in Computer Science, page 383-401. Springer, (2018)A bit too precise? Verification of quantized digital filters., , and . Int. J. Softw. Tools Technol. Transf., 16 (2): 175-190 (2014)