| Ampersand G Michels, S Joosten, J Woude, S Joosten International Conference on Relational and Algebraic Methods in Computer …, 2011 | 30 | 2011 |
| 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 | 18 | 2017 |
| 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 | 13 | 2014 |
| 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 | 12 | 2017 |
| Formal verification of parallel prefix sum M Safari, W Oortwijn, S Joosten, M Huisman NASA Formal Methods Symposium, 170-186, 2020 | 10 | 2020 |
| 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 | 9 | 2018 |
| 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 | 9 | 2018 |
| 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 | 9 | 2018 |
| 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 | 8 | 2015 |
| Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems S Joosten, C Kaliszyk, J Urban ACL2 Workhop 152, 77-85, 2014 | 8 | 2014 |
| 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 | 7 | 2020 |
| 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 | 7 | 2015 |
| Formal deadlock verification for click circuits F Verbeek, S Joosten, J Schmaltz 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems …, 2013 | 7 | 2013 |
| Parsing and Printing of and with Triples SJC Joosten International Conference on Relational and Algebraic Methods in Computer …, 2017 | 6 | 2017 |
| Type checking by domain analysis in ampersand SMM Joosten, SJC Joosten International Conference on Relational and Algebraic Methods in Computer …, 2015 | 6 | 2015 |
| 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 | 6 | 2013 |
| Reasoning about JML: differences between KeY and OpenJML J Boerman, M Huisman, S Joosten International Conference on Integrated Formal Methods, 30-46, 2018 | 5 | 2018 |
| 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 | 3 | 2020 |
| A verified implementation of algebraic numbers in Isabelle/HOL SJC Joosten, R Thiemann, A Yamada Journal of automated reasoning 64 (3), 363-389, 2020 | 3 | 2020 |
Akihisa YamadaNational Institute of Advanced Industrial Science and Technology (AIST), JapanVerified email at aist.go.jp
