Alexander Romanovsky
Newcastle University
H-index: 35
Europe-United Kingdom
Top articles of Alexander Romanovsky
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A refinement-based formal development of cyber-physical railway signalling systems | Formal Aspects of Computing | Yamine Aït-Ameur Sergiy Bogomolov Guillaume Dupont Alexei Iliasov Alexander Romanovsky | 2023/1/12 |
Automated verification of railway signalling data | DAMSS: 14th conference on data analysis methods for software systems, Druskininkai, Lithuania, November 30-December 2, 2023. | Alexei Iliasov Dominic Taylor Linas Laibinis Alexander Romanovsky | 2023 |
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool | Alexei Iliasov Dominic Taylor Linas Laibinis Alexander Romanovsky | 2023/9/27 | |
Safety invariant verification that meets engineers’ expectations | Alexei Iliasov Linas Laibinis Dominic Taylor Ilya Lopatkin Alexander Romanovsky | 2022/5/20 | |
Practical verification of railway signalling programs | IEEE Transactions on Dependable and Secure Computing | Alexei Iliasov Dominic Taylor Linas Laibinis Alexander Romanovsky | 2022/1/10 |
Formal verification of railway interlocking and its safety case | Safety-critical Systems Symposium 2022 | Alexei Iliasov Dominic Taylor Linas Laibinis Alexander Romanovsky | 2022 |
A refinement-based development of a distributed signalling system | Formal Aspects of Computing | Paulius Stankaitis Alexei Iliasov Tsutomu Kobayashi Yamine Aït-Ameur Fuyuki Ishikawa | 2021/12 |
A Formal Methodology for Engineering Heterogeneous Railway Signalling Systems | Paulius Stankaitis | 2021 | |
Supporting and controlling complex concurrency in fault-tolerant distributed systems | arXiv preprint arXiv:2111.06339 | Jie Xu Brian Randell Alexander Romanovsky Robert J Stroud Avelino F Zorzo | 2021/11/11 |
SafeCap: from formal verification of railway interlocking to its certification. | CoRR | Alexei Iliasov Dominic Taylor Linas Laibinis Alexander Romanovsky | 2021 |
Industrial-Strength Verification of Solid State Interlocking Programs | arXiv preprint arXiv:2108.10091 | Alexei Iliasov Dominic Taylor Linas Laibinis Alexander Romanovsky | 2021/8/23 |
A customisable pipeline for the semi-automated discovery of online activists and social campaigns on Twitter | World Wide Web | Flavio Primo Alexander Romanovsky Rafael de Mello Alessandro Garcia Paolo Missier | 2021/7 |
Mutation testing for rule-based verification of railway signaling data | IEEE Transactions on Reliability | Linas Laibinis Alexei Iliasov Alexander Romanovsky | 2021/1/14 |
Interplaying Cassandra NoSQL consistency and performance: A benchmarking approach | Anatoliy Gorbenko Alexander Romanovsky Olga Tarasyuk | 2020 | |
Formal distributed protocol development for reservation of railway sections | Paulius Stankaitis Alexei Iliasov Tsutomu Kobayashi Yamine Aït-Ameur Fuyuki Ishikawa | 2020 | |
Low-Complexity Run-time Management of Concurrent Workloads for Energy-Efficient Multi-Core Systems | Journal of Low Power Electronics and Applications | Ali Aalsaud Fei Xia Ashur Rafiev Rishad Shafik Alexander Romanovsky | 2020/8/25 |
Amdahl's law in the context of heterogeneous many‐core systems–a survey | Mohammed A Noaman Al‐hayanni Fei Xia Ashur Rafiev Alexander Romanovsky Rishad Shafik | 2020/7 | |
PARMA: Parallelization-aware run-time management for energy-efficient many-core systems | IEEE Transactions on Computers | Mohammed A Noaman Al-Hayanni Ashur Rafiev Fei Xia Rishad Shafik Alexander Romanovsky | 2020/2/24 |