Maksym Bortin

12 papers B 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Structured development of implementations for divide-and-conquer specifications.
Sci. Comput. Program.
Maksym Bortin
2022 J jnl
From THE BOOK: Two Squares via Involutions.
Arch. Formal Proofs
Maksym Bortin
2022 — conf
Synthesis of Implementations for Divide-and-Conquer Specifications.
SBMF
Maksym Bortin
2020 J jnl
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs.
CoRR
Maksym Bortin
2018 B conf
Towards verifying ethereum smart contract bytecode in Isabelle/HOL.
CPP
Sidney Amani, Myriam Bégel, Maksym Bortin, Mark Staples
2017 B conf
Complx: a verification framework for concurrent imperative programs.
CPP
Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong
2016 J jnl
A formalisation of the Cocke-Younger-Kasami algorithm.
Arch. Formal Proofs
Maksym Bortin
2016 J jnl
COMPLX: A Verification Framework for Concurrent Imperative Programs.
Arch. Formal Proofs
Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong
2010 — —
An approach to the extension of a theorem prover by advanced structuring mechanisms.
Maksym Bortin
2010 — conf
Structured Formal Development with Quotient Types in Isabelle/HOL.
AISC/MKM/Calculemus
Maksym Bortin, Christoph Lüth
2006 J jnl
Structured Formal Development in Isabelle.
Nord. J. Comput.
Maksym Bortin, Einar Broch Johnsen, Christoph Lüth
2004 — conf
A First Step Towards Formal Verification of Security Policy Properties for RBAC.
QSIC
Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr