Follow
Sebastiaan J. C. Joosten
Title
Cited by
Cited by
Year
Ampersand
G Michels, S Joosten, J Woude, S Joosten
International Conference on Relational and Algebraic Methods in Computer …, 2011
302011
A formalization of the Berlekamp-Zassenhaus factorization algorithm
J Divasón, S Joosten, R Thiemann, A Yamada
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
182017
WickedXmas: Designing and Verifying on-chip Communication Fabrics
SJC Joosten, F Verbeek, J Schmaltz
International Workshop on Design and Implementation of Formal Tools and …, 2014
132014
Certifying safety and termination proofs for integer transition systems
M Brockschmidt, SJC Joosten, R Thiemann, A Yamada
International Conference on Automated Deduction, 454-471, 2017
122017
Formal verification of parallel prefix sum
M Safari, W Oortwijn, S Joosten, M Huisman
NASA Formal Methods Symposium, 170-186, 2020
102020
An exercise in verifying sequential programs with VerCors
SJC Joosten, W Oortwijn, M Safari, M Huisman
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 40-45, 2018
92018
A formalization of the LLL basis reduction algorithm
J Divasón, S Joosten, R Thiemann, A Yamada
International Conference on Interactive Theorem Proving, 160-177, 2018
92018
Efficient certification of complexity proofs: formalizing the Perron–Frobenius theorem (invited talk paper)
J Divasón, S Joosten, O Kunčar, R Thiemann, A Yamada
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
92018
Relaxations of the 3-partition problem
SJC Joosten
University of Twente, 2011
9*2011
Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs
SJC Joosten, J Schmaltz
Design, Automation & Test in Europe, 1413-1418, 2015
82015
Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
S Joosten, C Kaliszyk, J Urban
ACL2 Workhop 152, 77-85, 2014
82014
A verified implementation of the Berlekamp–Zassenhaus factorization algorithm
J Divasón, SJC Joosten, R Thiemann, A Yamada
Journal of Automated Reasoning 64 (4), 699-735, 2020
72020
Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics
S Wouda, SJC Joosten, J Schmaltz
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
72015
Formal deadlock verification for click circuits
F Verbeek, S Joosten, J Schmaltz
2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems …, 2013
72013
Parsing and Printing of and with Triples
SJC Joosten
International Conference on Relational and Algebraic Methods in Computer …, 2017
62017
Type checking by domain analysis in ampersand
SMM Joosten, SJC Joosten
International Conference on Relational and Algebraic Methods in Computer …, 2015
62015
Generation of inductive invariants from register transfer level designs of communication fabrics
SJC Joosten, J Schmaltz
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013
62013
Reasoning about JML: differences between KeY and OpenJML
J Boerman, M Huisman, S Joosten
International Conference on Integrated Formal Methods, 30-46, 2018
52018
Automated verification of parallel nested DFS
W Oortwijn, M Huisman, SJC Joosten, J Pol
International Conference on Tools and Algorithms for the Construction and …, 2020
32020
A verified implementation of algebraic numbers in Isabelle/HOL
SJC Joosten, R Thiemann, A Yamada
Journal of automated reasoning 64 (3), 363-389, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20