Sebastiaan J. C. Joosten

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 25

Top Topics

Formal Verification

Shallow Parsing

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Sebastiaan J. C. Joosten, Stef Joosten
Data Migration Under a Changing Schema in Ampersand. RAMiCS (2024)
Anthony Brogni, Sebastiaan J. C. Joosten
Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3. CoRR (2023)
Sebastiaan J. C. Joosten
Gale-Stewart Games. Arch. Formal Proofs 2021 (2021)
Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol
Automated Verification of Parallel Nested DFS. TACAS (1) (2020)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. J. Autom. Reason. 64 (4) (2020)
René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. J. Autom. Reason. 64 (5) (2020)
Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A Verified Implementation of Algebraic Numbers in Isabelle/HOL. J. Autom. Reason. 64 (3) (2020)
Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman
Formal Verification of Parallel Prefix Sum. NFM (2020)
Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten
Universal Turing Machine. Arch. Formal Proofs 2019 (2019)
Sebastiaan J. C. Joosten, Marieke Huisman
Static Code Verification Through Process Models. ISoLA (3) (2018)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A verified LLL algorithm. Arch. Formal Proofs 2018 (2018)
Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten
Reasoning About JML: Differences Between KeY and OpenJML. IFM (2018)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A verified factorization algorithm for integer polynomials with polynomial complexity. Arch. Formal Proofs 2018 (2018)
Sebastiaan J. C. Joosten
Finding models through graph saturation. CoRR (2018)
Jose Divasón, Sebastiaan J. C. Joosten, Ondrej Kuncar, René Thiemann, Akihisa Yamada
Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). CPP (2018)
Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman
An exercise in verifying sequential programs with VerCors. ISSTA/ECOOP Workshops (2018)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A Formalization of the LLL Basis Reduction Algorithm. ITP (2018)
Marieke Huisman, Sebastiaan J. C. Joosten
Towards Reliable Concurrent Software. Principled Software Development (2018)
Sebastiaan J. C. Joosten
Finding models through graph saturation. J. Log. Algebraic Methods Program. 100 (2018)
Sebastiaan J. C. Joosten
Graph Saturation. Arch. Formal Proofs 2018 (2018)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A formalization of the Berlekamp-Zassenhaus factorization algorithm. CPP (2017)
Sebastiaan J. C. Joosten
Parsing and Printing of and with Triples. RAMiCS (2017)
Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
Certifying Safety and Termination Proofs for Integer Transition Systems. CADE (2017)
Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
Subresultants. Arch. Formal Proofs 2017 (2017)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
The Factorization Algorithm of Berlekamp and Zassenhaus. Arch. Formal Proofs 2016 (2016)
Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz
Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. MEMOCODE (2015)
Sebastiaan J. C. Joosten, Julien Schmaltz
Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs. DATE (2015)
Stef M. M. Joosten, Sebastiaan J. C. Joosten
Type Checking by Domain Analysis in Ampersand. RAMiCS (2015)
Sebastiaan J. C. Joosten, Julien Schmaltz
Scalable liveness verification for communication fabrics. DATE (2014)
Sebastiaan J. C. Joosten, Cezary Kaliszyk, Josef Urban
Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems. ACL2 (2014)
Freek Verbeek, Sebastiaan J. C. Joosten, Julien Schmaltz
Formal Deadlock Verification for Click Circuits. ASYNC (2013)
Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz
A Macro for Reusing Abstract Functions and Theorems ACL2 (2013)
Sebastiaan J. C. Joosten, Hans Zantema
Relaxation of 3-partition instances. CTW (2013)
Sebastiaan J. C. Joosten, Julien Schmaltz
Generation of inductive invariants from register transfer level designs of communication fabrics. MEMOCODE (2013)
Gerard Michels, Sebastiaan J. C. Joosten, Jaap van der Woude, Stef Joosten
Ampersand - Applying Relation Algebra in Practice. RAMiCS (2011)