Author of the publication

Clause Replication and Reuse in Incremental Temporal Induction.

, , , and . ICECCS, page 108-115. IEEE Computer Society, (2014)

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.

 

Other publications of authors with the same name

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification., , , and . IEEE Trans. Software Eng., 46 (5): 549-565 (2020)Maxterm Covering for Satisfiability., , , , and . IEEE Trans. Computers, 61 (3): 420-426 (2012)Model and Practice of Crowd-Based Education., , , , and . APWeb/WAIM Workshops, volume 11268 of Lecture Notes in Computer Science, page 293-305. Springer, (2018)Compiling FLres on Finite Words., , and . SETTA, volume 12153 of Lecture Notes in Computer Science, page 108-123. Springer, (2020)Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information., , and . TASE, page 23-26. IEEE Computer Society, (2013)Guide Fuzzing with Multi-Factor Potential Analysis., , , and . QRS Companion, page 477-482. IEEE, (2018)Extend Rchecker for Accurate Analysis of Real Embedded Projects., , , and . QRS Companion, page 256-261. IEEE, (2021)Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs., , , , and . QRS Companion, page 465-471. IEEE, (2020)Scheduling constraint based abstraction refinement for weak memory models., , , and . ASE, page 645-655. ACM, (2018)Clause Replication and Reuse in Incremental Temporal Induction., , , and . ICECCS, page 108-115. IEEE Computer Society, (2014)