- 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.
- Alessandro de Gennaro, Paulius Stankaitis and Andrey Mokhov. Efficient Composition of Scenario-based Hardware Specifications. IET Computers & Digital Techniques, 2018.
- Alexei Iliasov, Paulius Stankaitis, and Alexander Romanovsky. Rodin Platform Why3 Plug-in. ABZ, 2016.
- 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.