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
282011
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
Relaxations of the 3-partition problem
SJC Joosten
University of Twente, 2011
9*2011
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
82017
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
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
Type checking by domain analysis in ampersand
SMM Joosten, SJC Joosten
International Conference on Relational and Algebraic Methods in Computer …, 2015
62015
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
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
Parsing and printing of and with triples
SJC Joosten
International Conference on Relational and Algebraic Methods in Computer …, 2017
52017
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
52015
Formal deadlock verification for click circuits
F Verbeek, S Joosten, J Schmaltz
2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems …, 2013
52013
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
42013
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
A macro for reusing abstract functions and theorems
SJC Joosten, B van Gastel, J Schmaltz
ACL2 Workshop 2013, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20