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

Filter
Conference contribution
2018
83 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
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
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
18 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
14 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)
14 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)
13 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