Sebastiaan J. C. Joosten
Sebastiaan J. C. Joosten
Verifierad e-postadress på dartmouth.edu - Startsida
Titel
Citeras av
Citeras av
År
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
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
112017
Relaxations of the 3-partition problem
SJC Joosten
University of Twente, 2011
9*2011
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
82018
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
82018
Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
S Joosten, C Kaliszyk, J Urban
ACL2 Workhop 152, 77-85, 2014
82014
Formal verification of parallel prefix sum
M Safari, W Oortwijn, S Joosten, M Huisman
NASA Formal Methods Symposium, 170-186, 2020
72020
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
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 64 (4), 699-735, 2020
62020
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
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
Automated verification of parallel nested DFS
W Oortwijn, M Huisman, SJC Joosten, J van de Pol
Tools and Algorithms for the Construction and Analysis of Systems. 26th …, 2020
32020
Reasoning about JML: differences between KeY and OpenJML
J Boerman, M Huisman, S Joosten
International Conference on Integrated Formal Methods, 30-46, 2018
32018
Static code verification through process models
S Joosten, M Huisman
International Symposium on Leveraging Applications of Formal Methods, 343-354, 2018
22018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20