Follow
Sebastiaan J. C. Joosten
Sebastiaan J. C. Joosten
Lecturer, University of Minnesota
Verified email at dartmouth.edu - Homepage
Title
Cited by
Cited by
Year
Ampersand: Applying relation algebra in practice
G Michels, S Joosten, J van der Woude, S Joosten
Relational and Algebraic Methods in Computer Science: 12th International …, 2011
312011
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
202017
Formal verification of parallel prefix sum
M Safari, W Oortwijn, S Joosten, M Huisman
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
172020
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
142014
Certifying safety and termination proofs for integer transition systems
M Brockschmidt, SJC Joosten, R Thiemann, A Yamada
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
132017
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
112018
Reasoning about JML: differences between KeY and OpenJML
J Boerman, M Huisman, S Joosten
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
112018
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
102015
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
92020
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
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
92018
Relaxations of the 3-partition problem
SJC Joosten
University of Twente, 2011
9*2011
Automated verification of parallel nested DFS
W Oortwijn, M Huisman, SJC Joosten, J van de Pol
International Conference on Tools and Algorithms for the Construction and …, 2020
82020
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
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
Type checking by domain analysis in ampersand
SMM Joosten, SJC Joosten
Relational and Algebraic Methods in Computer Science: 15th International …, 2015
72015
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
72013
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
Relational and Algebraic Methods in Computer Science: 16th International …, 2017
62017
A verified implementation of algebraic numbers in Isabelle/HOL
SJC Joosten, R Thiemann, A Yamada
Journal of automated reasoning 64 (3), 363-389, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20