- Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. J. Autom. Reason. 64(4): 699-735 (2020) - Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
A Verified Implementation of Algebraic Numbers in Isabelle/HOL. J. Autom. Reason. 64(3): 363-389 (2020) - René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada:
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. J. Autom. Reason. 64(5): 827-856 (2020) - Abhishta Abhishta, Wouter van Heeswijk, Marianne Junger, Lambert J. M. Nieuwenhuis, Reinoud Joosten:
Why would we get attacked? An analysis of attacker's aims behind DDoS attacks. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 11(2): 3-22 (2020) - Evan Goris, Joost J. Joosten:
Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical Theories. J. Symb. Log. 85(1): 1-25 (2020) - Eduardo Hermo Reyes, Joost J. Joosten:
The Logic of Turing Progressions. Notre Dame J. Formal Log. 61(1): 155-180 (2020) - Ana de Almeida Borges, Joost J. Joosten:
Quantified Reflection Calculus with One Modality. AiML 2020: 13-32 - Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman:
Formal Verification of Parallel Prefix Sum. NFM 2020: 170-186 - Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol:
Automated Verification of Parallel Nested DFS. TACAS (1) 2020: 247-265 - Henk Mulder, Marieke Huisman, Sebastiaan J. C. Joosten:
Improving Performance of the VerCors Program Verifier. 20 Years of KeY 2020: 65-82 - Adán Cabello, Joost J. Joosten:
Hidden variables simulating quantum contextuality increasingly violate the Holevo bound. CoRR abs/2004.10654 (2020) - 2019
- Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten:
Universal Turing Machine. Arch. Formal Proofs 2019 (2019) - Lloyd Rutledge, Erik Bouwer, Stef Joosten:
Rule Style: Patterns of and Extensions to Data System User Interface Specification for Business Rule Violations. BMSD 2019: 3-16 - Abhishta Abhishta, Marianne Junger, Reinoud Joosten, Lambert J. M. Nieuwenhuis:
A Note on Analysing the Attacker Aims Behind DDoS Attacks. IDC 2019: 255-265 - Abhishta Abhishta, Reinoud Joosten, Sergey Dragomiretskiy, Lambert J. M. Nieuwenhuis:
Impact of Successful DDoS Attacks on a Major Crypto-Currency Exchange. PDP 2019: 379-384 - Abhishta Abhishta, Marianne Junger, Reinoud Joosten, Lambert J. M. Nieuwenhuis:
Victim Routine Influences the Number of DDoS Attacks: Evidence from Dutch Educational Network. IEEE Symposium on Security and Privacy Workshops 2019: 242-247 - Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten:
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. TIME 2019: 6:1-6:16 - Silvester Draaijer, Desirée Joosten-ten Brinke, Eric Ras:
Technology Enhanced Assessment - 21st International Conference, TEA 2018, Amsterdam, The Netherlands, December 10-11, 2018, Revised Selected Papers. Communications in Computer and Information Science 1014, Springer 2019, ISBN 978-3-030-25263-2 [contents] - 2018
- Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
A verified LLL algorithm. Arch. Formal Proofs 2018 (2018) - Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
A verified factorization algorithm for integer polynomials with polynomial complexity. Arch. Formal Proofs 2018 (2018) - Sebastiaan J. C. Joosten:
Graph Saturation. Arch. Formal Proofs 2018 (2018) - David Fernández-Duque, Joost J. Joosten:
The omega-rule interpretation of transfinite provability logic. Ann. Pure Appl. Log. 169(4): 333-371 (2018) - Sebastiaan J. C. Joosten:
Finding models through graph saturation. J. Log. Algebraic Methods Program. 100: 98-112 (2018) - Stef Joosten:
Relation Algebra as programming language using the Ampersand compiler. J. Log. Algebraic Methods Program. 100: 113-129 (2018) - Ana de Almeida Borges, Joost J. Joosten:
The Worm Calculus. Advances in Modal Logic 2018: 13-27 - Eduardo Hermo Reyes, Joost J. Joosten:
Relational Semantics for the Turing Schmerl Calculus. Advances in Modal Logic 2018: 327-346 - Marieke Huisman, Sebastiaan J. C. Joosten:
Towards Reliable Concurrent Software. Principled Software Development 2018: 129-146 - Jose Divasón, Sebastiaan J. C. Joosten, Ondrej Kuncar, René Thiemann, Akihisa Yamada:
Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). CPP 2018: 2-13 - Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten:
Reasoning About JML: Differences Between KeY and OpenJML. IFM 2018: 30-46 - Sebastiaan J. C. Joosten, Marieke Huisman:
Static Code Verification Through Process Models. ISoLA (3) 2018: 343-354