Paulius Stankaitis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2016–2022
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | IFM | Reachability Analysis and Simulation for Hybridised Event-B Models. | Yamine At Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis |
| 2022 | ISoLA | Data-Driven Reachability Analysis of Digital Twin FMI Models. | Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis |
| 2019 | ICECCS | Modelling Hybrid Train Speed Controller using Proof and Refinement. | Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine At Ameur, Alexei Iliasov, Alexander B. Romanovsky |
| 2017 | ISSRE | Safety Verification of Modern Railway Signalling with the SafeCap Platform. | Paulius Stankaitis, Alexei Iliasov |
| 2016 | ICFEM | Proving Event-B Models with Reusable Generic Lemmas. | Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky |