| 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 | 31 | 2011 |
| 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 | 24 | 2020 |
| 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 | 20 | 2017 |
| Reasoning about JML: differences between KeY and OpenJML J Boerman, M Huisman, S Joosten Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 14 | 2018 |
| Applying the V model and axiomatic design in the domain of IT architecture practice D Tarenskeen, R Bakker, S Joosten Procedia CIRP 34, 263-268, 2015 | 14 | 2015 |
| 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 | 14 | 2014 |
| 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 | 12 | 2017 |
| 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 | 11 | 2018 |
| Relaxations of the 3-partition problem SJC Joosten University of Twente, 2011 | 11* | 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 | 10 | 2018 |
| 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 | 10 | 2018 |
| 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 | 10 | 2015 |
| 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 | 9 | 2020 |
| 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 | 9 | 2020 |
| Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems S Joosten, C Kaliszyk, J Urban ACL2 Workhop 152, 77-85, 2014 | 9 | 2014 |
| 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 | 8 | 2015 |
| Formal deadlock verification for click circuits F Verbeek, S Joosten, J Schmaltz 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems …, 2013 | 8 | 2013 |
| Type checking by domain analysis in ampersand SMM Joosten, SJC Joosten Relational and Algebraic Methods in Computer Science: 15th International …, 2015 | 7 | 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 | 7 | 2013 |
| Parsing and Printing of and with Triples SJC Joosten Relational and Algebraic Methods in Computer Science: 16th International …, 2017 | 6 | 2017 |
Jose DivasónUniversidad de La RiojaVerified email at unirioja.es
