Follow
Paulius Stankaitis
Paulius Stankaitis
Lecturer in AI/Data Science
Verified email at stir.ac.uk
Title
Cited by
Cited by
Year
Rodin platform why3 plug-in
A Iliasov, P Stankaitis, D Adjepon-Yamoah, A Romanovsky
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th Internationalá…, 2016
15*2016
Modelling hybrid train speed controller using proof and refinement
P Stankaitis, G Dupont, NK Singh, Y Ait-Ameur, A Iliasov, A Romanovsky
2019 24th International conference on engineering of complex computerá…, 2019
112019
A refinement based method for developing distributed protocols
P Stankaitis, A Iliasov, Y Ait-Ameur, T Kobayashi, F Ishikawa, ...
2019 IEEE 19th International Symposium on High Assurance Systems Engineeringá…, 2019
112019
A heuristic algorithm for deriving compact models of processor instruction sets
A De Gennaro, P Stankaitis, A Mokhov
2015 15th International Conference on Application of Concurrency to Systemá…, 2015
92015
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems
Y A´t-Ameur, S Bogomolov, G Dupont, A Iliasov, A Romanovsky, ...
Formal Aspects of Computing, 2023
6*2023
Static verification of railway schema and interlocking design data
A Iliasov, P Stankaitis, D Adjepon-Yamoah
Reliability, Safety, and Security of Railway Systems. Modelling, Analysisá…, 2016
62016
Safety verification of heterogeneous railway networks
P Stankaitis, A Iliasov
Reliability, Safety, and Security of Railway Systems. Modelling, Analysisá…, 2016
6*2016
Tuning Robotti: the machine-assisted exploration of parameter spaces in multi-models of a cyber-physical system
S Bogomolov, J Fitzgerald, FF Foldager, C Gamble, PG Larsen, K Pierce, ...
Proceedings of the 18th International Overture Workshop, 50-64, 2021
52021
Algebraic Specifications of ARM Cortex M0+ Instruction Set
P Stankaitis
Bachelor Degree thesis, 2014
52014
Reachability analysis and simulation for hybridised event-B models
Y A´t-Ameur, S Bogomolov, G Dupont, NK Singh, P Stankaitis
International Conference on Integrated Formal Methods, 109-128, 2022
42022
A refinement-based development of a distributed signalling system
P Stankaitis, A Iliasov, T Kobayashi, Y A´t-Ameur, F Ishikawa, ...
Formal Aspects of Computing 33 (6), 1009-1036, 2021
32021
Data-driven reachability analysis of digital twin FMI models
S Bogomolov, J Fitzgerald, S Soudjani, P Stankaitis
International Symposium on Leveraging Applications of Formal Methods, 139-158, 2022
22022
Formal distributed protocol development for reservation of railway sections
P Stankaitis, A Iliasov, T Kobayashi, Y A´t-Ameur, F Ishikawa, ...
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulmá…, 2020
12020
Efficient composition of scenario‐based hardware specifications
A de Gennaro, P Stankaitis, A Mokhov
IET Computers & Digital Techniques 13 (2), 57-69, 2019
12019
Online Reachability Analysis and Space Convexification for Autonomous Racing
S Bogomolov, TT Johnson, DM Lopez, P Musau, P Stankaitis
arXiv preprint arXiv:2311.09781, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–15