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, 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, Rodin Platform Why3 Plug-in. ABZ, 2016. and Alexander Romanovsky.
- Alexei Iliasov, Paulius Stankaitis and 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.