A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. - Alessandro de Gennaro; Paulius Stankaitis; Andrey Mokhov (ACSD, 2015)

Rodin Platform Why3 Plug-In. - Alexei Iliasov; Paulius Stankaitis; David Adjepon-Yamoah; Alexander B. Romanovsky (ABZ, 2016)

Proving Event-B Models with Reusable Generic Lemmas. - Alexei Iliasov; Paulius Stankaitis; Alexander B. Romanovsky (ICFEM, 2016)

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

Safety Verification of Heterogeneous Railway Networks. - Paulius Stankaitis; Alexei Iliasov (RSSRail, 2016)

Automating Verification of Event-B Models. - Paulius Stankaitis; Alexei Iliasov; David Adjepon-Yamoah; Alexander B. Romanovsky (CoRR, 2016)

Safety Verification of Modern Railway Signalling with the SafeCap Platform. - Paulius Stankaitis; Alexei Iliasov (ISSRE Workshops, 2017)

Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks. - Paulius Stankaitis; Alexei Iliasov (RSSRail, 2017)

A Refinement Based Method for Developing Distributed Protocols. - Paulius Stankaitis; Alexei Iliasov; Yamine Aït Ameur; Tsutomu Kobayashi; Fuyuki Ishikawa; Alexander B. Romanovsky (HASE, 2019)

Modelling Hybrid Train Speed Controller using Proof and Refinement. - Paulius Stankaitis; Guillaume Dupont; Neeraj Kumar Singh 001; Yamine Aït Ameur; Alexei Iliasov; Alexander B. Romanovsky (ICECCS, 2019)

Efficient composition of scenario-based hardware specifications. - Alessandro de Gennaro; Paulius Stankaitis; Andrey Mokhov (IET Comput. Digit. Tech., 2019)

Formal Distributed Protocol Development for Reservation of Railway Sections. - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (ABZ, 2020)

A refinement-based development of a distributed signalling system. - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (Formal Aspects Comput., 2021)

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

Data-Driven Reachability Analysis of Digital Twin FMI Models. - Sergiy Bogomolov; John S. Fitzgerald; Sadegh Soudjani; Paulius Stankaitis (ISoLA (4), 2022)

Online Reachability Analysis and Space Convexification for Autonomous Racing. - Sergiy Bogomolov; Taylor T. Johnson; Diego Manzanas Lopez; Patrick Musau; Paulius Stankaitis (FMAS@iFM, 2023)

A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. - Yamine Aït-Ameur; Sergiy Bogomolov; Guillaume Dupont; Alexei Iliasov; Alexander B. Romanovsky; Paulius Stankaitis (Formal Aspects Comput., 2023)

Reachability analysis of FMI models using data-driven dynamic sensitivity. - Sergiy Bogomolov; Cláudio Gomes 001; Carlos Ignacio Isasa Martin; Sadegh Soudjani; Paulius Stankaitis; Thomas Wright (Simul., 2025)