Ampersand - Applying Relation Algebra in Practice. - Gerard Michels; Sebastiaan J. C. Joosten; Jaap van der Woude; Stef Joosten (RAMiCS, 2011)

Formal Deadlock Verification for Click Circuits. - Freek Verbeek; Sebastiaan J. C. Joosten; Julien Schmaltz (ASYNC, 2013)

Relaxation of 3-partition instances. - Sebastiaan J. C. Joosten; Hans Zantema (CTW, 2013)

Generation of inductive invariants from register transfer level designs of communication fabrics. - Sebastiaan J. C. Joosten; Julien Schmaltz (MEMOCODE, 2013)

A Macro for Reusing Abstract Functions and Theorems - Sebastiaan J. C. Joosten; Bernard van Gastel; Julien Schmaltz (ACL2, 2013)

Scalable liveness verification for communication fabrics. - Sebastiaan J. C. Joosten; Julien Schmaltz (DATE, 2014)

Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems. - Sebastiaan J. C. Joosten; Cezary Kaliszyk; Josef Urban (ACL2, 2014)

Type Checking by Domain Analysis in Ampersand. - Stef M. M. Joosten; Sebastiaan J. C. Joosten (RAMiCS, 2015)

Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs. - Sebastiaan J. C. Joosten; Julien Schmaltz (DATE, 2015)

Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. - Sanne Wouda; Sebastiaan J. C. Joosten; Julien Schmaltz (MEMOCODE, 2015)

The Factorization Algorithm of Berlekamp and Zassenhaus. - Jose Divasón; Sebastiaan J. C. Joosten; René Thiemann; Akihisa Yamada 002 (Arch. Formal Proofs, 2016)

Parsing and Printing of and with Triples. - Sebastiaan J. C. Joosten (RAMiCS, 2017)

Certifying Safety and Termination Proofs for Integer Transition Systems. - Marc Brockschmidt; Sebastiaan J. C. Joosten; René Thiemann; Akihisa Yamada 002 (CADE, 2017)

A formalization of the Berlekamp-Zassenhaus factorization algorithm. - Jose Divasón; Sebastiaan J. C. Joosten; René Thiemann; Akihisa Yamada 002 (CPP, 2017)

Subresultants. - Sebastiaan J. C. Joosten; René Thiemann; Akihisa Yamada 002 (Arch. Formal Proofs, 2017)

Towards Reliable Concurrent Software. - Marieke Huisman; Sebastiaan J. C. Joosten (Principled Software Development, 2018)

Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). - Jose Divasón; Sebastiaan J. C. Joosten; Ondrej Kuncar; René Thiemann; Akihisa Yamada 002 (CPP, 2018)

Reasoning About JML: Differences Between KeY and OpenJML. - Jan Boerman; Marieke Huisman; Sebastiaan J. C. Joosten (IFM, 2018)

Static Code Verification Through Process Models. - Sebastiaan J. C. Joosten; Marieke Huisman (ISoLA (3), 2018)

An exercise in verifying sequential programs with VerCors. - Sebastiaan J. C. Joosten; Wytse Oortwijn; Mohsen Safari; Marieke Huisman (ISSTA/ECOOP Workshops, 2018)

A Formalization of the LLL Basis Reduction Algorithm. - Jose Divasón; Sebastiaan J. C. Joosten; René Thiemann; Akihisa Yamada 002 (ITP, 2018)

A verified LLL algorithm. - Jose Divasón; Sebastiaan J. C. Joosten; René Thiemann; Akihisa Yamada 002 (Arch. Formal Proofs, 2018)

A verified factorization algorithm for integer polynomials with polynomial complexity. - Jose Divasón; Sebastiaan J. C. Joosten; René Thiemann; Akihisa Yamada 002 (Arch. Formal Proofs, 2018)

Graph Saturation. - Sebastiaan J. C. Joosten (Arch. Formal Proofs, 2018)

Finding models through graph saturation. - Sebastiaan J. C. Joosten (J. Log. Algebraic Methods Program., 2018)

Universal Turing Machine. - Jian Xu; Xingyuan Zhang; Christian Urban; Sebastiaan J. C. Joosten (Arch. Formal Proofs, 2019)

Formal Verification of Parallel Prefix Sum. - Mohsen Safari; Wytse Oortwijn; Sebastiaan J. C. Joosten; Marieke Huisman (NFM, 2020)

Automated Verification of Parallel Nested DFS. - Wytse Oortwijn; Marieke Huisman; Sebastiaan J. C. Joosten; Jaco van de Pol (TACAS (1), 2020)

A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. - Jose Divasón; Sebastiaan J. C. Joosten; René Thiemann; Akihisa Yamada 002 (J. Autom. Reason., 2020)

A Verified Implementation of Algebraic Numbers in Isabelle/HOL. - Sebastiaan J. C. Joosten; René Thiemann; Akihisa Yamada 002 (J. Autom. Reason., 2020)

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. - René Thiemann; Ralph Bottesch; Jose Divasón; Max W. Haslbeck; Sebastiaan J. C. Joosten; Akihisa Yamada 002 (J. Autom. Reason., 2020)

Improving Performance of the VerCors Program Verifier. - Henk Mulder; Marieke Huisman; Sebastiaan J. C. Joosten (20 Years of KeY, 2020)

Gale-Stewart Games. - Sebastiaan J. C. Joosten (Arch. Formal Proofs, 2021)

Student-made online discrete math drills: lightning talk. - Sebastiaan J. C. Joosten (J. Comput. Sci. Coll., 2021)

Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3. - Anthony Brogni; Sebastiaan J. C. Joosten (CoRR, 2023)

Data Migration Under a Changing Schema in Ampersand. - Sebastiaan J. C. Joosten; Stef Joosten (RAMiCS, 2024)