| 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 | 11 | 2019 |
| 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 | 11 | 2019 |
| 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 | 9 | 2015 |
| 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 | 6 | 2016 |
| 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 | 5 | 2021 |
| Algebraic Specifications of ARM Cortex M0+ Instruction Set P Stankaitis Bachelor Degree thesis, 2014 | 5 | 2014 |
| 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 | 4 | 2022 |
| 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 | 3 | 2021 |
| 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 | 2 | 2022 |
| 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 | 1 | 2020 |
| Efficient composition of scenario‐based hardware specifications A de Gennaro, P Stankaitis, A Mokhov IET Computers & Digital Techniques 13 (2), 57-69, 2019 | 1 | 2019 |
| 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 |
Alexei IliasovNewcastle University, School of Computing ScienceVerified email at newcastle.ac.uk
