logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Alexander Romanovsky

newcastle university - uk

30H指数
496论文数
4.5K被引数
收录论文 26
发表时间
logo
Proof Semantics of Railway Interlocking铁路联锁的证明语义
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errLaibinis, Linas; Iliasov, Alexei; Romanovsky, Alexander
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed CloudsGa-par: 用于地理分布式云的可靠微服务编排框架
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
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.
err分享
err收藏
Architecting dependable systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2006-10-01
err2
PREAI
errde Lemos, Rogrio; Gacek, Cristina; Romanovsky, Alexander
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Conversations with fixed and potential participants
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2001-02-01
err0
PREAI
errRomanovsky, A; Ezhilchelvan, P
err分享
err收藏
Current trends in exception handling
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2000-10-01
err12
errOAAI
errPerry, DE; Romanovsky, A; Tripathi, A
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Rajiv Ranjan
H 指数: 73 · 论文数: 542
J
Jianliang Xu
H 指数: 53 · 论文数: 572
纪
纪守领 (Shouling Ji)
H 指数: 47 · 论文数: 463
V
Valérie Issarny
H 指数: 40 · 论文数: 397
B
Brian Randell
H 指数: 39 · 论文数: 300
查看更多