Photo of Sebastiaan Jozef Christiaan Joosten

Sebastiaan Jozef Christiaan Joosten

dr.ir.

20172019
If you made any changes in Pure these will be visible here soon.

Research Output 2017 2019

7 Citations (Scopus)

A formalization of the Berlekamp-Zassenhaus factorization algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 2017, CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), p. 17-29 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Factorization
Polynomials
Experiments
1 Citation (Scopus)
34 Downloads (Pure)

A Formalization of the LLL Basis Reduction Algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 4 Jul 2018, Interactive Theorem Proving: 9th International Conference, ITP 2018. Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018. Proceedings. Avigad, J. & Mahboubi, A. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science; vol. 10895).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Formalization
LLL Algorithm
Computer Algebra
Number theory
Soundness
1 Citation (Scopus)
22 Downloads (Pure)

An Exercise in Verifying Sequential Programs with VerCors

Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M., 16 Jul 2018. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
File editors
Data structures
80 Downloads (Pure)

A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving

Divasón, J., Joosten, S. J. C., Thiemann, R. & Yamada, A., Jul 2018, 16th International Workshop on Termination: WST 2018, July 18-19. 2018, Oxford, UK. Lucas, S. (ed.). p. 30-34 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
18 Downloads (Pure)

A verified factorization algorithm for integer polynomials with polynomial complexity

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 6 Feb 2018, In : Archive of Formal Proofs. 79 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Polynomial Complexity
Factorization
Polynomial
Integer
Polynomial time
2 Downloads (Pure)

A Verified Implementation of Algebraic Numbers in Isabelle/HOL

Joosten, S. J. C., Thiemann, R. & Yamada, A., 9 Dec 2018, In : Journal of automated reasoning. 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Polynomials
Factorization
17 Downloads (Pure)

A verified LLL algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 2018, In : Archive of Formal Proofs. 2018

Research output: Contribution to journalArticleAcademic

Open Access
File
Polynomials
Number theory
Textbooks
Computer science
Computational complexity
1 Citation (Scopus)
6 Downloads (Pure)

Certifying safety and termination proofs for integer transition systems

Brockschmidt, M., Joosten, S. JC., Thiemann, R. & Yamada, A., 2017, Automated Deduction - CADE 26 International Conference on Automated Deduction: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017. Proceedings. de Moura, L. (ed.). Cham: Springer, p. 454-471 18 p. (Lecture Notes in Artificial Intelligence; vol. 10395).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Computer systems
Formal languages
13 Downloads (Pure)

Efficient certification of complexity proofs: formalizing the Perron--Frobenius theorem (invited talk paper)

Divasón, J., Joosten, S., Kuncar, O., Thiemann, R. & Yamada, A., 2018, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs. p. 2-13 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
7 Downloads (Pure)

Finding models through graph saturation

Joosten, S. J. C., Nov 2018, In : Journal of Logical and Algebraic Methods in Programming. 100, p. 98-112 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Saturation
Invariant
Graph in graph theory
Chemical analysis
Graph Rewriting

Graph Saturation

Joosten, S. J. C., 23 Nov 2018, In : Archive of Formal Proofs. 2018, 89 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
1 Citation (Scopus)
9 Downloads (Pure)

Parsing and Printing of and with Triples

Joosten, S. JC., 2017, Relational and algebraic methods in computer science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017. Proceedings. Höfner, P., Pous, D. & Struth, G. (eds.). Cham: Springer, p. 159-176 18 p. (Lecture Notes in Computer Science; vol. 10226).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Context free grammars
XML
Printing
11 Downloads (Pure)

Reasoning About JML: Differences Between KeY and OpenJML

Boerman, J., Huisman, M. & Joosten, S. J. C., 5 Sep 2018, Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018. Proceedings. Furia, C. A. & Winter, K. (eds.). Cham: Springer, p. 30-46 17 p. 3. (Lecture Notes in Computer Science; vol. 11023).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specifications
Specification languages
Interoperability
Semantics
Formal verification
12 Downloads (Pure)

Static Code Verification Through Process Models

Joosten, S. J. C. & Huisman, M., 31 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 343-354 12 p. (Lecture Notes in Computer Science; vol. 11246).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Model checking
7 Downloads (Pure)

Subresultants

Joosten, S., Thiemann, R. & Yamada, A., 6 Apr 2017, In : Archive of Formal Proofs. 28 p.

Research output: Contribution to journalArticleAcademic

Open Access
File
Subresultants
Greatest common divisor of polynomials
Remainder
Efficient Algorithms
Polynomial
11 Downloads (Pure)

Towards Reliable Concurrent Software

Huisman, M. & Joosten, S. J. C., 2018, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). Cham: Springer, p. 129-146 18 p. (Principled Software Development).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Automation
17 Downloads (Pure)

Universal Turing Machine and Computability Theory in Isabelle/HOL

Xu, J., Zhang, X., Urban, C. & Joosten, S. J. C., 1 Feb 2019, In : Archive of Formal Proofs.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Computability Theory
Turing Machine
Halting Problem
Recursive Functions
Undecidability