Sebastiaan J. C. Joosten

According to our database, Sebastiaan J. C. Joosten authored at least 34 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3.

Anthony Brogni, Sebastiaan J. C. Joosten

CoRR, 2023

2021

Gale-Stewart Games.

Sebastiaan J. C. Joosten

Arch. Formal Proofs, 2021

2020

Improving Performance of the VerCors Program Verifier.

Henk Mulder, Marieke Huisman, Sebastiaan J. C. Joosten

Proceedings of the Deductive Software Verification: Future Perspectives, 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

J. Autom. Reason., 2020

A Verified Implementation of Algebraic Numbers in Isabelle/HOL.

Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

J. Autom. Reason., 2020

A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

J. Autom. Reason., 2020

Automated Verification of Parallel Nested DFS.

Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Formal Verification of Parallel Prefix Sum.

Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Universal Turing Machine.

Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten

Arch. Formal Proofs, 2019

2018

Finding models through graph saturation.

Sebastiaan J. C. Joosten

J. Log. Algebraic Methods Program., 2018

Graph Saturation.

Sebastiaan J. C. Joosten

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

Arch. Formal Proofs, 2018

A verified LLL algorithm.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2018

A Formalization of the LLL Basis Reduction Algorithm.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

An exercise in verifying sequential programs with VerCors.

Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Static Code Verification Through Process Models.

Sebastiaan J. C. Joosten, Marieke Huisman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Reasoning About JML: Differences Between KeY and OpenJML.

Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten

Proceedings of the Integrated Formal Methods - 14th International Conference, 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

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

Towards Reliable Concurrent Software.

Marieke Huisman, Sebastiaan J. C. Joosten

Proceedings of the Principled Software Development, 2018

2017

Subresultants.

Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2017

A formalization of the Berlekamp-Zassenhaus factorization algorithm.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

Certifying Safety and Termination Proofs for Integer Transition Systems.

Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Proceedings of the Automated Deduction - CADE 26, 2017

Parsing and Printing of and with Triples.

Sebastiaan J. C. Joosten

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

The Factorization Algorithm of Berlekamp and Zassenhaus.

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

Arch. Formal Proofs, 2016

2015

Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics.

Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs.

Sebastiaan J. C. Joosten, Julien Schmaltz

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Type Checking by Domain Analysis in Ampersand.

Stef M. M. Joosten, Sebastiaan J. C. Joosten

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems.

Sebastiaan J. C. Joosten, Cezary Kaliszyk, Josef Urban

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

Scalable liveness verification for communication fabrics.

Sebastiaan J. C. Joosten, Julien Schmaltz

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

A Macro for Reusing Abstract Functions and Theorems

Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz

Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013

Generation of inductive invariants from register transfer level designs of communication fabrics.

Sebastiaan J. C. Joosten, Julien Schmaltz

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Relaxation of 3-partition instances.

Sebastiaan J. C. Joosten, Hans Zantema

Proceedings of the 12th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2013

Formal Deadlock Verification for Click Circuits.

Freek Verbeek, Sebastiaan J. C. Joosten, Julien Schmaltz

Proceedings of the 19th IEEE International Symposium on Asynchronous Circuits and Systems, 2013

2011

Ampersand - Applying Relation Algebra in Practice.

Gerard Michels, Sebastiaan J. C. Joosten, Jaap van der Woude, Stef Joosten

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011