Paulius Stankaitis

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 16

Top Topics

Statistical Models

Refinement Process

Reachability Analysis

Top Venues

Formal Aspects Comput.

Publications

Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. 35 (1) (2023)
Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis
Online Reachability Analysis and Space Convexification for Autonomous Racing. CoRR (2023)
Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
Reachability Analysis and Simulation for Hybridised Event-B Models. IFM (2022)
Sergiy Bogomolov, John Fitzgerald, Sadegh Soudjani, Paulius Stankaitis
Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (4) (2022)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
A refinement-based development of a distributed signalling system. Formal Aspects Comput. 33 (6) (2021)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ (2020)
Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov
Efficient composition of scenario-based hardware specifications. IET Comput. Digit. Tech. 13 (2) (2019)
Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS (2019)
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
A Refinement Based Method for Developing Distributed Protocols. HASE (2019)
Paulius Stankaitis, Alexei Iliasov
Safety Verification of Modern Railway Signalling with the SafeCap Platform. ISSRE Workshops (2017)
Paulius Stankaitis, Alexei Iliasov
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks. RSSRail (2017)
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah
Static Verification of Railway Schema and Interlocking Design Data. RSSRail (2016)
Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky
Proving Event-B Models with Reusable Generic Lemmas. ICFEM (2016)
Paulius Stankaitis, Alexei Iliasov
Safety Verification of Heterogeneous Railway Networks. RSSRail (2016)
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky
Rodin Platform Why3 Plug-In. ABZ (2016)
Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky
Automating Verification of Event-B Models. CoRR (2016)
Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov
A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. ACSD (2015)