Maksym Bortin

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 8

Top Topics

Ubiquitous Environments

Imperative Programs

Top Venues

Arch. Formal Proofs

Sci. Comput. Program.

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

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