E-LIB Suche - Ergebnisse für: Romanovsky, Alexander

1

A Refinement-based Formal Development of Cyber-physical Rai..:

Aït-Ameur, Yamine ; Bogomolov, Sergiy ; Dupont, Guillaume...
Formal Aspects of Computing. 35 (2023) 1 - p. 1-1 , 2023

2

The SafeCap Trajectory: Industry-Driven Improvement of an I..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Iliasov, Alexei ; Taylor, Dominic ; Laibinis, Linas. - p. 117-127 , 2023

Link: https://doi.org/10.1007/..

3

Practical Verification of Railway Signalling Programs:

Iliasov, Alexei ; Taylor, Dominic ; Laibinis, Linas.
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 1 - p. 695-707 , 2023

Link: https://doi.org/10.1109/..

4

Safety Invariant Verification that Meets Engineers' Expecta..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Iliasov, Alexei ; Laibinis, Linas ; Taylor, Dominic.. - p. 20-31 , 2022

Link: https://doi.org/10.1007/..

5

A customisable pipeline for the semi-automated discovery of..:

Primo, Flavio ; Romanovsky, Alexander ; de Mello, Rafael..
World Wide Web. 24 (2021) 4 - p. 1235-1271 , 2021

Link: https://doi.org/10.1007/..

6

A refinement-based development of a distributed signalling ..:

Stankaitis, Paulius ; Iliasov, Alexei ; Kobayashi, Tsutomu...
Formal Aspects of Computing. 33 (2021) 6 - p. 1009-1036 , 2021

Link: https://doi.org/10.1007/..

7

Low-Complexity Run-time Management of Concurrent Workloads ..:

Aalsaud, Ali ; Xia, Fei ; Rafiev, Ashur...
Journal of Low Power Electronics and Applications. 10 (2020) 3 - p. 25 , 2020

Link: https://doi.org/10.3390/..

8

Amdahl's law in the context of heterogeneous many‐core syst..:

Al‐hayanni, Mohammed A. Noaman ; Xia, Fei ; Rafiev, Ashur...
IET Computers & Digital Techniques. 14 (2020) 4 - p. 133-148 , 2020

Link: https://doi.org/10.1049/..

9

Formal Distributed Protocol Development for Reservation of ..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Stankaitis, Paulius ; Iliasov, Alexei ; Kobayashi, Tsutomu... - p. 203-219 , 2020

Link: https://doi.org/10.1007/..

10

Interplaying Cassandra NoSQL Consistency and Performance: A..:

, In: Communications in Computer and Information Science; Dependable Computing - EDCC 2020 Workshops,

Gorbenko, Anatoliy ; Romanovsky, Alexander ; Tarasyuk, Olga - p. 168-184 , 2020

Link: https://doi.org/10.1007/..

11

GA-Par: Dependable Microservice Orchestration Framework for..:

Wen, Zhenyu ; Lin, Tao ; Yang, Renyu...
IEEE Transactions on Parallel and Distributed Systems. 31 (2020) 1 - p. 129-143 , 2020

Link: https://doi.org/10.1109/..

12

Dynamically Partitioning Workflow over Federated Clouds for..:

Wen, Zhenyu ; Qasha, Rawaa ; Li, Zequn...
IEEE Transactions on Cloud Computing. 8 (2020) 4 - p. 1093-1107 , 2020

Link: https://doi.org/10.1109/..

13

PARMA: Parallelization-Aware Run-Time Management for Energy..:

Al-hayanni, Mohammed A. Noaman ; Rafiev, Ashur ; Xia, Fei...
IEEE Transactions on Computers. 69 (2020) 10 - p. 1507-1518 , 2020

Link: https://doi.org/10.1109/..

14

Computer Safety, Reliability, and Security: SAFECOMP 2019 W..

Programming and Software Engineering, 11699

Romanovsky, Alexander ; Troubitsyna, Elena ; Gashi, Ilir.. - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

15

Reliability, Safety, and Security of Railway Systems. Model..

Programming and Software Engineering, 11495

Collart-Dutilleul, Simon ; Lecomte, Thierry ; Romanovsky, Alexander - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..