Sebastiaan J. C. Joosten

38 papers A 3B 4C 7Journal 15Unranked 8

Year	Rank	Type	Title / Venue / Authors
2024	C	`conf`	Data Migration Under a Changing Schema in Ampersand. RAMiCS Sebastiaan J. C. Joosten, Stef Joosten
2024	J	`jnl`	Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3. Fundam. Informaticae Anthony Brogni, Sebastiaan J. C. Joosten
2023	J	`jnl`	Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3. CoRR Anthony Brogni, Sebastiaan J. C. Joosten
2021	J	`jnl`	Gale-Stewart Games. Arch. Formal Proofs Sebastiaan J. C. Joosten
2021	J	`jnl`	Student-made online discrete math drills: lightning talk. J. Comput. Sci. Coll. Sebastiaan J. C. Joosten
2020	J	`jnl`	A Verified Implementation of Algebraic Numbers in Isabelle/HOL. J. Autom. Reason. Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
2020	J	`jnl`	A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. J. Autom. Reason. Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
2020	—	`conf`	Automated Verification of Parallel Nested DFS. TACAS (1) Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol
2020	—	`conf`	Formal Verification of Parallel Prefix Sum. NFM Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman
2020	J	`jnl`	Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. J. Autom. Reason. René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada
2020	—	`ch.`	Improving Performance of the VerCors Program Verifier. 20 Years of KeY Henk Mulder, Marieke Huisman, Sebastiaan J. C. Joosten
2019	J	`jnl`	Universal Turing Machine. Arch. Formal Proofs Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten
2018	B	`conf`	A Formalization of the LLL Basis Reduction Algorithm. ITP Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
2018	J	`jnl`	A verified LLL algorithm. Arch. Formal Proofs Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
2018	J	`jnl`	A verified factorization algorithm for integer polynomials with polynomial complexity. Arch. Formal Proofs Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
2018	—	`conf`	An exercise in verifying sequential programs with VerCors. ISSTA/ECOOP Workshops Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman
2018	B	`conf`	Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). CPP Jose Divasón, Sebastiaan J. C. Joosten, Ondrej Kuncar, René Thiemann, Akihisa Yamada
2018	J	`jnl`	Finding models through graph saturation. CoRR Sebastiaan J. C. Joosten
2018	J	`jnl`	Finding models through graph saturation. J. Log. Algebraic Methods Program. Sebastiaan J. C. Joosten
2018	J	`jnl`	Graph Saturation. Arch. Formal Proofs Sebastiaan J. C. Joosten
2018	B	`conf`	Reasoning About JML: Differences Between KeY and OpenJML. IFM Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten
2018	—	`conf`	Static Code Verification Through Process Models. ISoLA (3) Sebastiaan J. C. Joosten, Marieke Huisman
2018	—	`conf`	Towards Reliable Concurrent Software. Principled Software Development Marieke Huisman, Sebastiaan J. C. Joosten
2017	B	`conf`	A formalization of the Berlekamp-Zassenhaus factorization algorithm. CPP Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
2017	A	`conf`	Certifying Safety and Termination Proofs for Integer Transition Systems. CADE Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
2017	C	`conf`	Parsing and Printing of and with Triples. RAMiCS Sebastiaan J. C. Joosten
2017	J	`jnl`	Subresultants. Arch. Formal Proofs Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
2016	J	`jnl`	The Factorization Algorithm of Berlekamp and Zassenhaus. Arch. Formal Proofs Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
2015	A	`conf`	Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs. DATE Sebastiaan J. C. Joosten, Julien Schmaltz
2015	C	`conf`	Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. MEMOCODE Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz
2015	C	`conf`	Type Checking by Domain Analysis in Ampersand. RAMiCS Stef M. M. Joosten, Sebastiaan J. C. Joosten
2014	—	`conf`	Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems. ACL2 Sebastiaan J. C. Joosten, Cezary Kaliszyk, Josef Urban
2014	A	`conf`	Scalable liveness verification for communication fabrics. DATE Sebastiaan J. C. Joosten, Julien Schmaltz
2013	—	`conf`	A Macro for Reusing Abstract Functions and Theorems ACL2 Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz
2013	—	`conf`	Formal Deadlock Verification for Click Circuits. ASYNC Freek Verbeek, Sebastiaan J. C. Joosten, Julien Schmaltz
2013	C	`conf`	Generation of inductive invariants from register transfer level designs of communication fabrics. MEMOCODE Sebastiaan J. C. Joosten, Julien Schmaltz
2013	C	`conf`	Relaxation of 3-partition instances. CTW Sebastiaan J. C. Joosten, Hans Zantema
2011	C	`conf`	Ampersand - Applying Relation Algebra in Practice. RAMiCS Gerard Michels, Sebastiaan J. C. Joosten, Jaap van der Woude, Stef Joosten