Paul B. Jackson

25 papers A* 1A 2B 3C 3Misc 1Journal 2Unranked 10

Year	Rank	Type	Title / 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