| 2020 | TACAS | Automated Verification of Parallel Nested DFS. | Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol |
| 2018 | CPP | Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). | Jose Divasn, Sebastiaan J. C. Joosten, Ondrej Kuncar, Ren Thiemann, Akihisa Yamada |
| 2018 | IFM | Reasoning About JML: Differences Between KeY and OpenJML. | Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten |
| 2018 | ISoLA | Static Code Verification Through Process Models. | Sebastiaan J. C. Joosten, Marieke Huisman |
| 2018 | ISSTA | An exercise in verifying sequential programs with VerCors. | Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman |
| 2018 | ITP | A Formalization of the LLL Basis Reduction Algorithm. | Jose Divasn, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada |
| 2017 | CADE | Certifying Safety and Termination Proofs for Integer Transition Systems. | Marc Brockschmidt, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada |
| 2017 | CPP | A formalization of the Berlekamp-Zassenhaus factorization algorithm. | Jose Divasn, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada |
| 2015 | DATE | Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs. | Sebastiaan J. C. Joosten, Julien Schmaltz |
| 2015 | MEMOCODE | Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. | Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz |
| 2014 | DATE | Scalable liveness verification for communication fabrics. | Sebastiaan J. C. Joosten, Julien Schmaltz |
| 2013 | MEMOCODE | Generation of inductive invariants from register transfer level designs of communication fabrics. | Sebastiaan J. C. Joosten, Julien Schmaltz |