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

2019
21 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
2018
1 Citation (Scopus)
40 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)
35 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
86 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
3 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
18 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)
21 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
18 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
15 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
20 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
15 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
2017
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
2 Citations (Scopus)
15 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
1 Citation (Scopus)
14 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
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