Paulius Stankaitis

18 papers B 2C 3Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Reachability analysis of FMI models using data-driven dynamic sensitivity.
Simul.
Sergiy Bogomolov, Cláudio Gomes, Carlos Ignacio Isasa Martin, Sadegh Soudjani, Paulius Stankaitis, Thomas Wright
2023 J jnl
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems.
Formal Aspects Comput.
Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
2023 — conf
Online Reachability Analysis and Space Convexification for Autonomous Racing.
FMAS@iFM
Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis
2022 — conf
Data-Driven Reachability Analysis of Digital Twin FMI Models.
ISoLA (4)
Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis
2022 B conf
Reachability Analysis and Simulation for Hybridised Event-B Models.
IFM
Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
2021 J jnl
A refinement-based development of a distributed signalling system.
Formal Aspects Comput.
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
2020 C conf
Formal Distributed Protocol Development for Reservation of Railway Sections.
ABZ
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
2019 — conf
A Refinement Based Method for Developing Distributed Protocols.
HASE
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
2019 J jnl
Efficient composition of scenario-based hardware specifications.
IET Comput. Digit. Tech.
Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov
2019 B conf
Modelling Hybrid Train Speed Controller using Proof and Refinement.
ICECCS
Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
2017 — conf
Safety Verification of Modern Railway Signalling with the SafeCap Platform.
ISSRE Workshops
Paulius Stankaitis, Alexei Iliasov
2017 — conf
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks.
RSSRail
Paulius Stankaitis, Alexei Iliasov
2016 J jnl
Automating Verification of Event-B Models.
CoRR
Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky
2016 C conf
Proving Event-B Models with Reusable Generic Lemmas.
ICFEM
Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky
2016 C conf
Rodin Platform Why3 Plug-In.
ABZ
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky
2016 — conf
Safety Verification of Heterogeneous Railway Networks.
RSSRail
Paulius Stankaitis, Alexei Iliasov
2016 — conf
Static Verification of Railway Schema and Interlocking Design Data.
RSSRail
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah
2015 — conf
A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets.
ACSD
Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov