logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

Alexander Romanovsky

newcastle university - uk

30H-index
496Paper Count
4.5KCitation Count
Published Papers 26
Publication Date
logo
Proof Semantics of Railway Interlocking
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errLaibinis, Linas; Iliasov, Alexei; Romanovsky, Alexander
errShare
errSave
Configurable Interlocking Verification
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errIliasov, Alexei; Taylor, Dominic; Laibinis, Linas; Romanovsky, Alexander
errShare
errSave
Practical Verification of Railway Signalling Programs
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-01-01
err9
errOAAI
errIliasov, Alexei; Taylor, Dominic; Laibinis, Linas; Romanovsky, Alexander
errShare
errSave
Mutation Testing for Rule-Based Verification of Railway Signaling Data
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2021-06-01
err6
errOAAI
errLaibinis, Linas; Iliasov, Alexei; Romanovsky, Alexander
errShare
errSave
PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2020-10-01
err8
errOAAI
errAl-hayanni, Mohammed A. Noaman; Rafiev, Ashur; Xia, Fei; Shafik, Rishad; Romanovsky, Alexander; Yakovlev, Alex
errShare
errSave
Dynamically Partitioning Workflow over Federated Clouds for Optimising the Monetary Cost and Handling Run-Time Failures
errIEEE TRANSACTIONS ON CLOUD COMPUTING
IF5
err2020-10-01
err15
errOAAI
errWen, Zhenyu; Qasha, Rawaa; Li, Zequn; Ranjan, Rajiv; Watson, Paul; Romanovsky, Alexander
errShare
errSave
From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2020-03-01
err9
errOAAI
errGorbenko, Anatoliy; Romanovsky, Alexander; Tarasyuk, Olga; Biloborodov, Oleksandr
errShare
errSave
GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed Clouds
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2020-01-01
err34
errOAAI
errWen, Zhenyu; Lin, Tao; Yang, Renyu; Ji, Shouling; Ranjan, Rajiv; Romanovsky, Alexander; Lin, Changting; Xu, Jie
errShare
errSave
Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistency
errJOURNAL OF NETWORK AND COMPUTER APPLICATIONS
IF8
err2019-11-01
err6
errOAAI
errGorbenko, Anatoliy; Romanovsky, Alexander; Tarasyuk, Olga
errShare
errSave
VazaDengue: An information system for preventing and combating mosquito-borne diseases with social networks
errenterprise information systems
IF3.4
err2018-06-01
err25
errOAAI
errSousa, Leonardo; de Mello, Rafael; Cedrim, Diego; Garcia, Alessandro; Missier, Paolo; Uchoa, Anderson; Oliveira, Anderson; Romanovsky, Alexander
errShare
errSave
Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds
errIEEE TRANSACTIONS ON SERVICES COMPUTING
IF5.8
err2017-11-01
err56
errOAAI
errWen, Zhenyu; Cala, Jacek; Watson, Paul; Romanovsky, Alexander
errShare
errSave
Synthesis of Processor Instruction Sets from High-Level ISA Specifications
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2014-06-01
err6
errOAAI
errMokhov, Andrey; Iliasov, Alexei; Sokolov, Danil; Rykunov, Maxim; Yakovlev, Alex; Romanovsky, Alexander
errShare
errSave
Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2010-03-01
err0
PREAI
errGarcia, Alessandro; Romanovsky, Alexander; Issarny, Valerie
errShare
errSave
Improving reliability of cooperative concurrent systems with exception flow analysis
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2009-05-01
err4
PREAI
errCastor Filho, Fernando; Romanovsky, Alexander; Rubira, Cecilia Mary F.
errShare
errSave
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2009-02-01
err3
errOAAI
errCapozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio; Romanovsky, Alexander; Zorzo, Avelino F.
errShare
errSave
Architecting dependable systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2006-10-01
err2
PREAI
errde Lemos, Rogrio; Gacek, Cristina; Romanovsky, Alexander
errShare
errSave
Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2002-01-01
err17
errOAAI
errXu, J; Randell, B; Romanovsky, A; Stroud, RJ; Zorzo, AF; Canver, E; von Henke, F
errShare
errSave
A comparative study of exception handling mechanisms for building dependable object-oriented software
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2001-11-01
err88
PREAI
errGarcia, AF; Rubira, CMF; Romanovsky, A; Xu, J
errShare
errSave
Conversations with fixed and potential participants
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2001-02-01
err0
PREAI
errRomanovsky, A; Ezhilchelvan, P
errShare
errSave
Current trends in exception handling
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2000-10-01
err12
errOAAI
errPerry, DE; Romanovsky, A; Tripathi, A
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
R
Rajiv Ranjan
H-index: 73 · Papers: 545
J
Jianliang Xu
H-index: 53 · Papers: 572
纪
纪守领 (Shouling Ji)
H-index: 47 · Papers: 467
V
Valérie Issarny
H-index: 40 · Papers: 397
B
Brian Randell
H-index: 39 · Papers: 300
View more