Paul B. Jackson

25 papers A* 1A 2B 3C 3Misc 1Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2024 C conf
Transforming Optimization Problems into Disciplined Convex Programming Form.
CICM
Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
2019 J jnl
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants.
J. Autom. Reason.
Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson
2018 Misc conf
Compositional Taylor Model Based Validated Integration.
SYNASC
Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger
2018 A conf
VerC3: A library for explicit state synthesis of concurrent systems.
DATE
Marco Elver, Christopher J. Banks, Paul B. Jackson, Vijay Nagarajan
2017 B conf
Verification of a lazy cache coherence protocol against a weak memory model.
FMCAD
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
2017 J jnl
Verification of a lazy cache coherence protocol against a weak memory model.
CoRR
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
2017 — conf
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants.
NFM
Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson
2016 B conf
A Method for Invariant Generation for Polynomial Continuous Systems.
VMCAI
Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer
2015 B conf
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems.
FM
Andrew Sogokon, Paul B. Jackson
2014 — conf
Verifying Hybrid Systems Involving Transcendental Functions.
NASA Formal Methods
Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson
2013 C conf
Auditing User-Provided Axioms in Software Verification Conditions.
FMICS
Paul B. Jackson, Florian Schanda, Angela Wallenburg
2012 C conf
Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase.
CiE
Grant Olney Passmore, Paul B. Jackson
2010 A* ed.
Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
CAV
Tayssir Touili, Byron Cook, Paul B. Jackson
2010 — conf
Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.
Decision Procedures in Software, Hardware and Bioware
Grant Olney Passmore, Leonardo Mendonça de Moura, Paul B. Jackson
2009 — conf
Combined Decision Techniques for the Existential Theory of the Reals.
Calculemus/MKM
Grant Olney Passmore, Paul B. Jackson
2006 — conf
A Compact Linear Translation for Bounded Model Checking.
BMC@FLoC
Paul B. Jackson, Daniel Sheridan
2006 — ch.
Nuprl.
The Seventeen Provers of the World
Paul B. Jackson
2004 — conf
Clause Form Conversions for Boolean Circuits.
SAT (Selected Papers
Paul B. Jackson, Daniel Sheridan
2001 — ed.
Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings
TPHOLs
Richard J. Boulton, Paul B. Jackson
2000 — conf
Constructively formalizing automata theory.
Proof, Language, and Interaction
Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe
2000 — conf
Total-Correctness Refinement for Sequential Reactive Systems.
TPHOLs
Paul B. Jackson
1998 — conf
Verifying a Garbage Collection Algorithm.
TPHOLs
Paul B. Jackson
1995 — —
Enhancing the NUPRL Proof Development System and Applying it to Computational Abstract Algebra.
Paul B. Jackson
1994 A conf
Exploring Abstract Algebra in Constructive Type Theory.
CADE
Paul B. Jackson
1992 — conf
Nuprl and Its Use in Circuit Design.
TPCD
Paul B. Jackson