Publications

Journal Publications

• Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander Romanovsky and Paulius Stankaitis (alphabetical order). A refinement-based formal development of cyber-physical railway signalling systems. Formal Aspects of Computing, 2022.

• Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Fuyuki Ishikawa, Alexander Romanovsky. A refinement-based development of a distributed signalling system. Formal Aspects of Computing, 2021.

• Alessandro de Gennaro, Paulius Stankaitis and Andrey Mokhov. Efficient Composition of Scenario-based Hardware Specifications. IET Computers & Digital Techniques, 2018.

Conference Publications

 

• Sergiy Bogomolov, John Fitzgerald, Sadegh Soudjani and Paulius Stankaitis (alphabetical order). Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (Accepted), 2022.

• Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh and Paulius Stankaitis (alphabetical order). Reachability Analysis and Simulation for Hybridised Event-B Models. iFM, 2022

• Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Fuyuki Ishikawa, Alexander Romanovsky. Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ, 2020.

• Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Ait-Ameur, Alexei Iliasov, Alexander Romanovsky. Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS, 2019.

• Paulius Stankaitis, Alexei Iliasov, Yamine Ait-Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander Romanovsky. A Refinement Based Method for Developing Distributed Protocols. HASE, 2019.

• Alexei Iliasov, Paulius Stankaitis,  David Adjepon-Yamoah and Alexander Romanovsky. Rodin Platform Why3 Plug-in. ABZ, 2016.

• Alexei Iliasov, Paulius Stankaitis and David Adjepon-Yamoah. Static Verification of Railway Schema and Interlocking Design Data. RSSRail, 2016.

• Alexei Iliasov, Paulius Stankaitis and Alexander Romanovsky. Proving Event-B Models with Reusable Generic Lemmas. ICFEM, 2016.

• Alessandro de Gennaro, Paulius Stankaitis and Andrey Mokhov. A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. ACSD, 2015.

Dissertations

• Paulius Stankaitis. A Formal Methodology for Engineering Heterogeneous Railway Signalling Systems. PhD Computer Science Thesis, 2021.

• Paulius Stankaitis. Automating Verification of Event-B Models. MPhil Computer Science Thesis,  2016.

• Paulius Stankaitis. Algebraic Specifications of ARM Cortex M0+ Instruction Set. BEng (Hons) Electronic Engineering Thesis, 2014.