Sebastiaan J. C. Joosten
Title
Cited by
Cited by
Year
Ampersand
G Michels, S Joosten, J van der Woude, S Joosten
International Conference on Relational and Algebraic Methods in Computer …, 2011
292011
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
172017
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
112017
Relaxations of the 3-partition problem
SJC Joosten
University of Twente, 2011
9*2011
Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
S Joosten, C Kaliszyk, J Urban
ACL2 Workhop 152, 77-85, 2014
82014
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
72018
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
72015
A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm
J Divasón, SJC Joosten, R Thiemann, A Yamada
Journal of Automated Reasoning, 1-37, 2019
62019
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
62018
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
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
62015
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
52018
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
52013
Formal deadlock verification for click circuits
F Verbeek, S Joosten, J Schmaltz
2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems …, 2013
52013
Formal verification of parallel prefix sum
M Safari, W Oortwijn, S Joosten, M Huisman
NASA Formal Methods Symposium, 170-186, 2020
42020
Static code verification through process models
S Joosten, M Huisman
International Symposium on Leveraging Applications of Formal Methods, 343-354, 2018
22018
Finding models through graph saturation
SJC Joosten
Journal of Logical and Algebraic Methods in Programming 100, 98-112, 2018
22018
Scalable liveness verification for communication fabrics
SJC Joosten, J Schmaltz
Design, Automation & Test in Europe, 113, 2014
22014
The system can't perform the operation now. Try again later.
Articles 1–20