Alexander B. Romanovsky - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 119

2023

A Refinement-based Formal Development of Cyber-physical Railway Signalling SystemsYamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis. fac, 35(1), March 2023. [doi]

Practical Verification of Railway Signalling ProgramsAlexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky. tdsc, 20(1):695-707, 2023. [doi]

2022

Safety Invariant Verification that Meets Engineers' ExpectationsAlexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky. rssrail 2022: 20-31 [doi]

2021

2020

Amdahl's law in the context of heterogeneous many-core systems - a surveyMohammed A. Noaman Al-Hayanni, Fei Xia, Ashur Rafiev, Alexander B. Romanovsky, Rishad A. Shafik, Alex Yakovlev. iet-cdt, 14(4):133-148, 2020. [doi]

PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core SystemsMohammed A. Noaman Al-Hayanni, Ashur Rafiev, Fei Xia, Rishad A. Shafik, Alexander B. Romanovsky, Alex Yakovlev. TC, 69(10):1507-1518, 2020. [doi]

From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant ArchitecturesAnatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk, Oleksandr Biloborodov. tr, 69(1):22-39, 2020. [doi]

Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking ApproachAnatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk. edcc 2020: 168-184 [doi]

Formal Distributed Protocol Development for Reservation of Railway SectionsPaulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky. asm 2020: 203-219 [doi]

Dynamically Partitioning Workflow over Federated Clouds for Optimising the Monetary Cost and Handling Run-Time FailuresZhenyu Wen, Rawaa Qasha, Zequn Li, Rajiv Ranjan, Paul Watson 0001, Alexander B. Romanovsky. tcc, 8(4):1093-1107, 2020. [doi]

GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed CloudsZhenyu Wen, Tao Lin, Renyu Yang, Shouling Ji, Rajiv Ranjan, Alexander B. Romanovsky, Chang-Ting Lin, Jie Xu 0007. tpds, 31(1):129-143, 2020. [doi]

2019

Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistencyAnatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk. jnca, 146, 2019. [doi]

Quantitative Validation of Formal Domain ModelsAlexei Iliasov, Alexander B. Romanovsky, Linas Laibinis. hase 2019: 17-24 [doi]

A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter UsersFlavio Primo, Paolo Missier, Alexander B. Romanovsky, Mickael Figueredo, Nélio Cacho. ICWE 2019: 91-106 [doi]

A Refinement Based Method for Developing Distributed ProtocolsPaulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky. hase 2019: 90-97 [doi]

Modelling Hybrid Train Speed Controller using Proof and RefinementPaulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky. ICECCS 2019: 107-113 [doi]

2018

Cost-aware Scheduling of Software Processes Execution in the CloudSami Alajrami, Alexander B. Romanovsky, Barbara Gallina. modelsward 2018: 203-212 [doi]

VazaDengue: An information system for preventing and combating mosquito-borne diseases with social networksLeonardo da Silva Sousa, Rafael Maiani de Mello, Diego Cedrim, Alessandro Garcia, Paolo Missier, Anderson G. Uchôa, Anderson Oliveira, Alexander B. Romanovsky. is, 75:26-42, 2018. [doi]

Emergent Failures: Rethinking Cloud Reliability at ScalePeter Garraghan, Renyu Yang, Zhenyu Wen, Alexander B. Romanovsky, Jie Xu 0007, Rajkumar Buyya, Rajiv Ranjan. cloudcomp, 5(5):12-21, 2018. [doi]

Formal Verification of Signalling Programs with SafeCapAlexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky. safecomp 2018: 91-106 [doi]

Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16)Fuyuki Ishikawa, Alexander B. Romanovsky, Thierry Lecomte. shonan-reports, 2018, 2018. [doi]

DroidEH: An Exception Handling Mechanism for Android ApplicationsJuliana Oliveira, Hivana Macedo, Nélio Cacho, Alexander B. Romanovsky. issre 2018: 200-211 [doi]

Speedup and Power Scaling Models for Heterogeneous Many-Core SystemsAshur Rafiev, Mohammed A. N. Al-Hayanni, Fei Xia, Rishad A. Shafik, Alexander B. Romanovsky, Alex Yakovlev. tmscs, 4(3):436-449, 2018. [doi]

Osmotic Monitoring of Microservices between the Edge and CloudArthur Souza, Nélio Cacho, Ayman Noor, Prem Prakash Jayaraman, Alexander B. Romanovsky, Rajiv Ranjan. hpcc 2018: 758-765 [doi]

Using Osmotic Services Composition for Dynamic Load Balancing of Smart City ApplicationsArthur Souza, Zhenyu Wen, Nélio Cacho, Alexander B. Romanovsky, Philip James, Rajiv Ranjan. soca 2018: 145-152 [doi]

2017

Enabling GSD Task Allocation via Cloud-Based Software ProcessesSami Alajrami, Barbara Gallina, Alexander B. Romanovsky. sera 2018: 179-192 [doi]

Enabling GSD Task Allocation via Cloud-based Software ProcessesSami Alajrami, Barbara Gallina, Alexander B. Romanovsky. ijndc, 5(4):221-232, 2017. [doi]

2014

Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14)Fuyuki Ishikawa, Alexander B. Romanovsky. shonan-reports, 2014, 2014. [doi]

2010

On fault tolerance reuse during refinementIlya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky. SERENE 2010: 22-31 [doi]

2008

MASTAC: new curriculum for master and doctoral studies in critical software and computingVyacheslav Kharchenko, Chris Phillips, Peter T. Popov, Oksana Pomorova, Alexander B. Romanovsky, Elena Troubitsyna. ICSE 2008: 59-64 [doi]

2006

2005

Software engineering for large-scale multi-agent systems - SELMAS'05Alessandro F. Garcia 0001, Ricardo Choren, Carlos Lucena, Alexander B. Romanovsky, Tom Holvoet, Paolo Giorgini. selmas 2005: [doi]

Workshop on architecting dependable systems (WADS 2005)Rogério de Lemos, Alexander B. Romanovsky. ICSE 2005: 691 [doi]

Software engineering for large-scale multi-agent systems - SELMAS 05Alessandro F. Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky, Tom Holvoet, Paolo Giorgini. ICSE 2005: 682 [doi]

Exception Handling in Coordination-Based Mobile EnvironmentsAlexei Iliasov, Alexander B. Romanovsky. compsac 2005: 341-350 [doi]

The atomic manifesto: a story in four quarksCliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues. sigops, 39(2):41-46, 2005. [doi]

The Atomic ManifestoCliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum. jucs, 11(5):636-651, 2005. [doi]

2004

2003

Protective Wrapper Development: A Case StudyTom Anderson, Mei Feng, Steve Riddle, Alexander B. Romanovsky. iccbss 2003: 1-14 [doi]

A fault-tolerant software architecture for COTS-based software systemsPaulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos. ESEC/FSE 2003: 375-378 [doi]

A Dependable Architecture for COTS-Based Software Systems Using Protective WrappersPaulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos. ICSE 2004: 144-166 [doi]

Integrating COTS Software Components into Dependable Software ArchitecturesPaulo Asterio de Castro Guerra, Alexander B. Romanovsky, Rogério de Lemos. isorc 2003: 139-142 [doi]

ICSE 2003 Workshop on Software Architectures for Dependable SystemsRogério de Lemos, Cristina Gacek, Alexander B. Romanovsky. ICSE 2003: 781-782 [doi]

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2003Carlos José Pereira de Lucena, José Alberto R. P. Sardinha, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar, Donald D. Cowan. ICSE 2003: 771-772 [doi]

Transactions and Groups as Generic Building Blocks for Software Fault ToleranceMarta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky. Ada-Europe 2003: 208-219 [doi]

Structuring Integrated Web Applications for Fault ToleranceAlexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo. isads 2003: 99-106 [doi]

Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming ParadigmsAlexander B. Romanovsky, Christophe Dony, Anand Tripathi, Jørgen Lindskov Knudsen. ECOOPW 2004: 1-10 [doi]

Coordinated Forward Error Recovery for Composite Web ServicesFerda Tartanoglu, Valérie Issarny, Alexander B. Romanovsky, Nicole Lévy. srds 2003: 167-176 [doi]

2002

ICSE 2002 workshop on architecting dependable systemsRogério de Lemos, Cristina Gacek, Alexander B. Romanovsky. ICSE 2002: 673-674 [doi]

A Structured Approach to Handling On-Line Interface UpgradesCliff B. Jones, Alexander B. Romanovsky, Ian Welch. compsac 2002: 1000-1005 [doi]

Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of SystemsCliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch. fidji 2003: 73-86 [doi]

Auction System Design Using Open Multithreaded TransactionsJörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky. words 2002: 95-104 [doi]

Framework based on design patterns for providing persistence in object-oriented programming languagesJörg Kienzle, Alexander B. Romanovsky. iee, 149(3):77-85, 2002.

Dependable On-Line Upgrading of Distributed SystemsAlexander B. Romanovsky, Iain Smith. compsac 2002: 975-976 [doi]

On version state recovery and adjudication in class diversityAlexander B. Romanovsky. csse, 17(3):159-168, 2002.

Designing Fault-Tolerant Mobile SystemsGiovanna Di Marzo Serugendo, Alexander B. Romanovsky. fidji 2003: 185-201 [doi]

A Generic Approach to Structuring and Implementing Complex Fault-Tolerant SoftwareJie Xu, Brian Randell, Alexander B. Romanovsky. isorc 2002: 207-214 [doi]

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic ActionsJie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. TC, 51(2):164-179, 2002. [doi]

2001

On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex SystemsDelano M. Beder, Cecília M. F. Rubira, Brian Randell, Alexander B. Romanovsky. isorc 2001: 103-112 [doi]

7th Workshop on Mobile Object SystemsCiarán Bryce, Alexander B. Romanovsky. ECOOPW 2002: 165-168 [doi]

Modelling and verification of an atomic action protocol implemented in AdaAlan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev. csse, 16(3):173-182, 2001.

Exception handling in the software lifecycleRogério de Lemos, Alexander B. Romanovsky. csse, 16(2):119-133, 2001.

A comparative study of exception handling mechanisms for building dependable object-oriented softwareAlessandro F. Garcia, Cecília M. F. Rubira, Alexander B. Romanovsky, Jie Xu. jss, 59(2):197-222, 2001. [doi]

An Evolutionary and Adaptive Approach for n-Version ProgrammingKarl-Erwin Großpietsch, Alexander B. Romanovsky. euromicro 2001: 182 [doi]

Transaction Support for AdaJörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez. Ada-Europe 2001: 290-304 [doi]

Open Multithreaded Transactions: Keeping Threads and Exceptions under ControlJörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky. words 2001: 197-205 [doi]

On Systematic Design of Protectors for Employing OTS ItemsPeter T. Popov, Lorenzo Strigini, Steve Riddle, Alexander B. Romanovsky. euromicro 2001: 22-29 [doi]

A distributed coordinated atomic action schemeAlexander B. Romanovsky, Avelino F. Zorzo. csse, 16(4):237-247, 2001.

Exception Handling in Component-Based System DevelopmentAlexander B. Romanovsky. compsac 2001: 580 [doi]

Looking Ahead in Atomic Actions with Exception HandlingAlexander B. Romanovsky. srds 2001: 142-151 [doi]

Aspects of Exceptions at the Meta-levelIan Welch, Robert J. Stroud, Alexander B. Romanovsky. reflection 2001: 280-281 [doi]

2000

On developing and verifying design abstractions for reliable concurrent programming in AdaAlan Burns 0001, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev. irtaw 2001: 48-55 [doi]

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway SchedulingDelano M. Beder, Alexander B. Romanovsky, Brian Randell, C. Richard Snow, Robert J. Stroud. sigops, 34(4):21-31, 2000.

On Persistent and Reliable Streaming in AdaJörg Kienzle, Alexander B. Romanovsky. Ada-Europe 2000: 82-95

Combining tasking and transactions, part II: open multithreaded transactionsJörg Kienzle, Alexander B. Romanovsky. irtaw 2001: 67-74 [doi]

Supporting Evolution of Interface ExceptionsAnna Mikhailova, Alexander B. Romanovsky. ecoopwException 2001: 94-110 [doi]

Guest Editors Introduction - Current Trends in Exception HandlingDewayne E. Perry, Alexander B. Romanovsky, Anand Tripathi. TSE, 26(10):921-922, 2000. [doi]

Guest Editors Introduction-Current Trends in Exception HandlingDewayne E. Perry, Alexander B. Romanovsky, Anand Tripathi. TSE, 26(9):817-819, 2000. [doi]

Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented SystemsAlexander B. Romanovsky, Jörg Kienzle. ecoopwException 2001: 147-164 [doi]

Exception Handling in Object Oriented SystemsAlexander B. Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi. ECOOPW 2000: 16-31 [doi]

An Exception Handling Framework for N-Version Programming in Object-Oriented SystemsAlexander B. Romanovsky. isorc 2000: 226-233 [doi]

Using COALA to Develop a Distributed Object-Based ApplicationJulie Vachon, Nicolas Guelfi, Alexander B. Romanovsky. doa 2000: 195-208 [doi]

Concurrent Exception Handling and Resolution in Distributed Object SystemsJie Xu, Alexander B. Romanovsky, Brian Randell. tpds, 11(10):1019-1032, 2000. [doi]

1999

Exception Handling in a Cooperative Object-Oriented ApproachRogério de Lemos, Alexander B. Romanovsky. isorc 1999: 3-13 [doi]

Engineering Look-ahead in Distributed ConversationsPaul D. Ezhilchelvan, Alexander B. Romanovsky. isads 1999: 142 [doi]

Choosing Effective Methods for Design Diversity - How to Progress from Intuition to SciencePeter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky. safecomp 1999: 272-285 [doi]

Class diversity support in object-oriented languagesAlexander B. Romanovsky. jss, 48(1):43-57, 1999. [doi]

On Structuring Cooperative and Competitive Concurrent SystemsAlexander B. Romanovsky. cj, 42(8):627-637, 1999.

Formal Development and Validation of Java Dependable Distributed SystemsGiovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo. ICECCS 1999: 98-108 [doi]

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic ActionsJie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. ftcs 1999: 68-75 [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Alexander B. Romanovsky'

Viewing Publication 1 - 100 from 119

2023

2022

2021

2020

2019

2018

2017

2014

2010

2008

2006

2005

2004

2003

2002

2001

2000

1999

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Alexander B. Romanovsky'

Viewing Publication 1 - 100 from 119

2023

2022

2021

2020

2019

2018

2017

2014

2010

2008

2006

2005

2004

2003

2002

2001

2000

1999

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1