Paul B. Jackson

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Optimization Problems

Top Venues

Publications

Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
Transforming Optimization Problems into Disciplined Convex Programming Form. CICM (2024)
Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants. J. Autom. Reason. 63 (4) (2019)
Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger
Compositional Taylor Model Based Validated Integration. SYNASC (2018)
Marco Elver, Christopher J. Banks, Paul B. Jackson, Vijay Nagarajan
VerC3: A library for explicit state synthesis of concurrent systems. DATE (2018)
Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. NFM (2017)
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
Verification of a lazy cache coherence protocol against a weak memory model. CoRR (2017)
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
Verification of a lazy cache coherence protocol against a weak memory model. FMCAD (2017)
Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer
A Method for Invariant Generation for Polynomial Continuous Systems. VMCAI (2016)
Andrew Sogokon, Paul B. Jackson
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. FM (2015)
Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson
Verifying Hybrid Systems Involving Transcendental Functions. NASA Formal Methods (2014)
Paul B. Jackson, Florian Schanda, Angela Wallenburg
Auditing User-Provided Axioms in Software Verification Conditions. FMICS (2013)
Grant Olney Passmore, Paul B. Jackson
Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase. CiE (2012)
Grant Olney Passmore, Leonardo Mendonça de Moura, Paul B. Jackson
Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops. Decision Procedures in Software, Hardware and Bioware (2010)
Grant Olney Passmore, Paul B. Jackson
Combined Decision Techniques for the Existential Theory of the Reals. Calculemus/MKM (2009)
Paul B. Jackson, Daniel Sheridan
A Compact Linear Translation for Bounded Model Checking. Electron. Notes Theor. Comput. Sci. 174 (3) (2007)
Paul B. Jackson, Daniel Sheridan
Clause Form Conversions for Boolean Circuits. SAT (Selected Papers (2004)
Paul B. Jackson
Total-Correctness Refinement for Sequential Reactive Systems. TPHOLs (2000)
Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe
Constructively formalizing automata theory. Proof, Language, and Interaction (2000)
Paul B. Jackson
Verifying a Garbage Collection Algorithm. TPHOLs (1998)
Paul B. Jackson
Exploring Abstract Algebra in Constructive Type Theory. CADE (1994)
Paul B. Jackson
Nuprl and Its Use in Circuit Design. TPCD (1992)