Paulius Stankaitis

According to our database, Paulius Stankaitis authored at least 17 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., March, 2023

Online Reachability Analysis and Space Convexification for Autonomous Racing.

Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

2022

Data-Driven Reachability Analysis of Digital Twin FMI Models.

Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Reachability Analysis and Simulation for Hybridised Event-B Models.

Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

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

2020

Formal Distributed Protocol Development for Reservation of Railway Sections.

Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Efficient composition of scenario-based hardware specifications.

Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov

IET Comput. Digit. Tech., 2019

Modelling Hybrid Train Speed Controller using Proof and Refinement.

Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

A Refinement Based Method for Developing Distributed Protocols.

Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2017

Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks.

Paulius Stankaitis, Alexei Iliasov

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Safety Verification of Modern Railway Signalling with the SafeCap Platform.

Paulius Stankaitis, Alexei Iliasov

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2016

Automating Verification of Event-B Models.

Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky

CoRR, 2016

Safety Verification of Heterogeneous Railway Networks.

Paulius Stankaitis, Alexei Iliasov

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Static Verification of Railway Schema and Interlocking Design Data.

Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Proving Event-B Models with Reusable Generic Lemmas.

Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky

Proceedings of the Formal Methods and Software Engineering, 2016

Rodin Platform Why3 Plug-In.

Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets.

Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015