Monitoring Distributed Systems. - Jeffrey Joyce; Greg Lomow; Konrad Slind; Brian W. Unger (ACM Trans. Comput. Syst., 1987)

Adding New Rules to an LCF-style Logic Implementation. - Konrad Slind (TPHOLs, 1992)

AC Unification in HOL90. - Konrad Slind (HUG, 1993)

A Parameterized Proof Manager. - Konrad Slind (TPHOLs, 1994)

I/Q Automata in Isabelle/HOL. - Tobias Nipkow; Konrad Slind (TYPES, 1994)

Function Definition in Higher-Order Logic. - Konrad Slind (TPHOLs, 1996)

Derivation and Use of Induction Schemes in Higher-Order Logic. - Konrad Slind (TPHOLs, 1997)

Treating Partiality in a Logic of Total Functions. - Olaf Müller; Konrad Slind (Comput. J., 1997)

System Description: An Interface Between CLAM and HOL. - Konrad Slind; Michael J. C. Gordon; Richard J. Boulton; Alan Bundy (CADE, 1998)

Iterative Dialogue and Automated Proofs. - Konrad Slind; Richard J. Boulton (FroCoS, 1998)

An Interface between Clam and HOL. - Richard J. Boulton; Konrad Slind; Alan Bundy; Michael J. C. Gordon (TPHOLs, 1998)

Reasoning about terminating functional programs. - Konrad Slind (1999)

Wellfounded Schematic Definitions. - Konrad Slind (CADE, 2000)

Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions. - Richard J. Boulton; Konrad Slind (Computational Logic, 2000)

The PROSPER Toolkit. - Louise A. Dennis; Graham Collins; Michael Norrish; Richard J. Boulton; Konrad Slind; Graham Robinson; Michael J. C. Gordon; Thomas F. Melham (TACAS, 2000)

Another Look at Nested Recursion. - Konrad Slind (TPHOLs, 2000)

A Thread of HOL Development. - Michael Norrish; Konrad Slind (Comput. J., 2002)

Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving. - Michael J. C. Gordon; Joe Hurd; Konrad Slind (CHARME, 2003)

Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. - Yue Yang; Ganesh Gopalakrishnan; Gary Lindstrom; Konrad Slind (CHARME, 2003)

Applications of Polytypism in Theorem Proving. - Konrad Slind; Joe Hurd (TPHOLs, 2003)

The PROSPER toolkit. - Louise A. Dennis; Graham Collins; Michael Norrish; Richard J. Boulton; Konrad Slind; Thomas F. Melham (Int. J. Softw. Tools Technol. Transf., 2003)

Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. - Yue Yang; Ganesh Gopalakrishnan; Gary Lindstrom; Konrad Slind (IPDPS, 2004)

Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. - Sudhindra Pandav; Konrad Slind; Ganesh Gopalakrishnan (CHARME, 2005)

Functional Correctness Proofs of Encryption Algorithms. - Jianjun Duan; Joe Hurd; Guodong Li; Scott Owens; Konrad Slind; Junxing Zhang (LPAR, 2005)

Proof Pearl: Using Combinators to Manipulate let-Expressions in Proof. - Michael Norrish; Konrad Slind (TPHOLs, 2005)

Automatic Formal Synthesis of Hardware from Higher Order Logic. - Mike Gordon; Juliano Iyoda; Scott Owens; Konrad Slind (AVoCS, 2005)

Live sequence charts applied to hardware requirements specification and verification. - Annette Bunker; Ganesh Gopalakrishnan; Konrad Slind (Int. J. Softw. Tools Technol. Transf., 2005)

HOL. - John Harrison 001; Konrad Slind; Rob Arthan (The Seventeen Provers of the World, 2006)

Compilation as Rewriting in Higher Order Logic. - Guodong Li; Konrad Slind (CADE, 2007)

Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. - Guodong Li; Scott Owens; Konrad Slind (ESOP, 2007)

Proof Pearl: Wellfounded Induction on the Ordinals Up to epsilon 0. - Matt Kaufmann; Konrad Slind (TPHOLs, 2007)

Proof producing synthesis of arithmetic and cryptographic hardware. - Konrad Slind; Scott Owens; Juliano Iyoda; Mike Gordon (Formal Aspects Comput., 2007)

Machine-Code Verification for Multiple Architectures - An Application of Decompilation into Logic. - Magnus O. Myreen; Michael J. C. Gordon; Konrad Slind (FMCAD, 2008)

Trusted Source Translation of a Total Function Language. - Guodong Li; Konrad Slind (TACAS, 2008)

A Brief Overview of HOL4. - Konrad Slind; Michael Norrish (TPHOLs, 2008)

Adapting functional programs to higher order logic. - Scott Owens; Konrad Slind (High. Order Symb. Comput., 2008)

Extensible Proof-Producing Compilation. - Magnus O. Myreen; Konrad Slind; Michael J. C. Gordon (CC, 2009)

Computer Assisted Reasoning. - Richard J. Boulton; Joe Hurd; Konrad Slind (J. Autom. Reason., 2009)

Compiling Higher Order Logic by Proof. - Konrad Slind; Guodong Li; Scott Owens (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)

Decompilation into logic - Improved. - Magnus O. Myreen; Michael J. C. Gordon; Konrad Slind (FMCAD, 2012)

A DSL for cross-domain security. - David S. Hardin; Konrad Slind; Michael W. Whalen; Tuan-Hung Pham (HILT, 2012)

The Guardol Language and Verification System. - David S. Hardin; Konrad Slind; Michael W. Whalen; Tuan-Hung Pham (TACAS, 2012)

A Step-Indexing Approach to Partial Functions - David A. Greve; Konrad Slind (ACL2, 2013)

Resolute: an assurance case language for architecture models. - Andrew Gacek; John Backes; Darren D. Cofer; Konrad Slind; Mike Whalen (HILT, 2014)

Qualification of Formal Methods Tools (Dagstuhl Seminar 15182). - Darren D. Cofer; Gerwin Klein; Konrad Slind; Virginie Wiels (Dagstuhl Reports, 2015)

A High-Assurance, High-Performance Hardware-Based Cross-Domain System. - David S. Hardin; Konrad Slind; Mark Bortz; James Potts; Scott Owens (SAFECOMP, 2016)

Qualification of a Model Checker for Avionics Software Verification. - Lucas G. Wagner; Alain Mebsout; Cesare Tinelli; Darren D. Cofer; Konrad Slind (NFM, 2017)

Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems. - David S. Hardin; Konrad Slind (ACL2, 2018)

Specifying Message Formats with Contiguity Types. - Konrad Slind (ITP, 2021)

Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations. - David S. Hardin; Konrad L. Slind (SP (Workshops), 2021)

Cyberassured Systems Engineering at Scale. - Darren D. Cofer; Isaac Amundson; Junaid Babar; David S. Hardin; Konrad Slind; Perry Alexander; John Hatcliff; Robby; Gerwin Klein; Corey Lewis; Eric Mercer; John Shackleton (IEEE Secur. Priv., 2022)

Model-driven development for the seL4 microkernel using the HAMR framework. - Jason Belt; John Hatcliff; Robby; John Shackleton; Jim Carciofini; Todd Carpenter; Eric Mercer; Isaac Amundson; Junaid Babar; Darren D. Cofer; David S. Hardin; Karl Hoech; et al. (J. Syst. Archit., 2023)

Synthesizing verified components for cyber assured systems engineering. - Eric Mercer; Konrad Slind; Isaac Amundson; Darren D. Cofer; Junaid Babar; David S. Hardin (Softw. Syst. Model., 2023)