Alexander B. Romanovsky

ORCID

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 56

Top Venues

Publications

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
Practical Verification of Railway Signalling Programs. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. 35 (1) (2023)
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. RSSRail (2023)
Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky
Safety Invariant Verification that Meets Engineers' Expectations. RSSRail (2022)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
A refinement-based development of a distributed signalling system. Formal Aspects Comput. 33 (6) (2021)
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. CoRR (2021)
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
SafeCap: from formal verification of railway interlocking to its certification. CoRR (2021)
Flavio Primo, Alexander B. Romanovsky, Rafael Maiani de Mello, Alessandro F. Garcia, Paolo Missier
A customisable pipeline for the semi-automated discovery of online activists and social campaigns on Twitter. World Wide Web 24 (4) (2021)
Linas Laibinis, Alexei Iliasov, Alexander B. Romanovsky
Mutation Testing for Rule-Based Verification of Railway Signaling Data. IEEE Trans. Reliab. 70 (2) (2021)
Zhenyu Wen, Rawaa Qasha, Zequn Li, Rajiv Ranjan, Paul Watson, Alexander B. Romanovsky
Dynamically Partitioning Workflow over Federated Clouds for Optimising the Monetary Cost and Handling Run-Time Failures. IEEE Trans. Cloud Comput. 8 (4) (2020)
Mohammed A. Noaman Al-Hayanni, Ashur Rafiev, Fei Xia, Rishad A. Shafik, Alexander B. Romanovsky, Alex Yakovlev
PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems. IEEE Trans. Computers 69 (10) (2020)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ (2020)
Zhenyu Wen, Tao Lin, Renyu Yang, Shouling Ji, Rajiv Ranjan, Alexander B. Romanovsky, Chang-Ting Lin, Jie Xu
GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed Clouds. IEEE Trans. Parallel Distributed Syst. 31 (1) (2020)
Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk
Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking Approach. EDCC Workshops (2020)
Mohammed A. Noaman Al-Hayanni, Fei Xia, Ashur Rafiev, Alexander B. Romanovsky, Rishad A. Shafik, Alex Yakovlev
Amdahl's law in the context of heterogeneous many-core systems - a survey. IET Comput. Digit. Tech. 14 (4) (2020)
Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk, Oleksandr Biloborodov
From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures. IEEE Trans. Reliab. 69 (1) (2020)
Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS (2019)
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis
Quantitative Validation of Formal Domain Models. HASE (2019)
Flavio Primo, Paolo Missier, Alexander B. Romanovsky, Mickael Figueredo, Nélio Cacho
A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users. ICWE (2019)
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
A Refinement Based Method for Developing Distributed Protocols. HASE (2019)
Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk
Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistency. J. Netw. Comput. Appl. 146 (2019)
Flavio Primo, Paolo Missier, Alexander B. Romanovsky, Mickael Figueredo, Nélio Cacho
A customisable pipeline for continuously harvesting socially-minded Twitter users. CoRR (2019)
Leonardo da Silva Sousa, Rafael Maiani de Mello, Diego Cedrim, Alessandro Garcia, Paolo Missier, Anderson G. Uchôa, Anderson Oliveira, Alexander B. Romanovsky
VazaDengue: An information system for preventing and combating mosquito-borne diseases with social networks. Inf. Syst. 75 (2018)
Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina
Cost-aware Scheduling of Software Processes Execution in the Cloud. MODELSWARD (2018)
Peter Garraghan, Renyu Yang, Zhenyu Wen, Alexander B. Romanovsky, Jie Xu, Rajkumar Buyya, Rajiv Ranjan
Emergent Failures: Rethinking Cloud Reliability at Scale. IEEE Cloud Comput. 5 (5) (2018)
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
Formal Verification of Signalling Programs with SafeCap. SAFECOMP (2018)
Juliana Oliveira, Hivana Macedo, Nélio Cacho, Alexander B. Romanovsky
DroidEH: An Exception Handling Mechanism for Android Applications. ISSRE (2018)
Fuyuki Ishikawa, Alexander B. Romanovsky, Thierry Lecomte
Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16). NII Shonan Meet. Rep. 2018 (2018)
Arthur Souza, Nélio Cacho, Ayman Noor, Prem Prakash Jayaraman, Alexander B. Romanovsky, Rajiv Ranjan
Osmotic Monitoring of Microservices between the Edge and Cloud. HPCC/SmartCity/DSS (2018)
Arthur Souza, Zhenyu Wen, Nélio Cacho, Alexander B. Romanovsky, Philip James, Rajiv Ranjan
Using Osmotic Services Composition for Dynamic Load Balancing of Smart City Applications. SOCA (2018)
Ashur Rafiev, Mohammed A. Noaman Al-Hayanni, Fei Xia, Rishad A. Shafik, Alexander B. Romanovsky, Alex Yakovlev
Speedup and Power Scaling Models for Heterogeneous Many-Core Systems. IEEE Trans. Multi Scale Comput. Syst. 4 (3) (2018)
Rem Gensh, Ashur Rafiev, Alexander B. Romanovsky, Alessandro F. Garcia, Fei Xia, Alex Yakovlev
Architecting Holistic Fault Tolerance. HASE (2017)
Zhenyu Wen, Jacek Cala, Paul Watson, Alexander B. Romanovsky
Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds. IEEE Trans. Serv. Comput. 10 (6) (2017)
Luke J. W. Martin, Alexander B. Romanovsky
Stochastic Activity Networks for the Verification of Knowledge Bases. SERENE (2017)
Paolo Missier, Callum McClean, Jonathan Carlton, Diego Cedrim, Leonardo da Silva Sousa, Alessandro F. Garcia, Alexandre Plastino, Alexander B. Romanovsky
Recruiting from the network: discovering Twitter users who can help combat Zika epidemics. CoRR (2017)
Fei Xia, Ashur Rafiev, Ali Aalsaud, Mohammed A. Noaman Al-Hayanni, James J. Davis, Joshua M. Levine, Andrey Mokhov, Alexander B. Romanovsky, Rishad A. Shafik, Alex Yakovlev, Sheng Yang
Voltage, Throughput, Power, Reliability, and Multicore Scaling. Computer 50 (8) (2017)
Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
Enabling GSD Task Allocation via Cloud-based Software Processes. Int. J. Networked Distributed Comput. 5 (4) (2017)
Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk, Oleksandr Biloborodov
Experience Report: Study of Vulnerabilities of Enterprise Operating Systems. ISSRE (2017)
Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
Enabling GSD Task Allocation via Cloud-Based Software Processes. SERA (selected papers) (2017)
Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander B. Romanovsky, Alexandre Yakovlev
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. ACSD (2017)
Paolo Missier, Callum McClean, Jonathan Carlton, Diego Cedrim, Leonardo da Silva Sousa, Alessandro F. Garcia, Alexandre Plastino, Alexander B. Romanovsky
Recruiting from the Network: Discovering Twitter Users Who Can Help Combat Zika Epidemics. ICWE (2017)
Luke J. W. Martin, Alexander B. Romanovsky
An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. EDCC (2017)
Rem Gensh, Ashur Rafiev, Fei Xia, Alexander B. Romanovsky, Alex Yakovlev
Modelling for Systems with Holistic Fault Tolerance. SERENE (2017)
Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg
Towards Cloud-Based Enactment of Safety-Related Processes. SAFECOMP (2016)
Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky
Proving Event-B Models with Reusable Generic Lemmas. ICFEM (2016)
Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alexandre Yakovlev
Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. FDL (2016)
Luke J. W. Martin, Alexander B. Romanovsky
A Formal Approach to Designing Reliable Advisory Systems. SERENE (2016)
Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis
Formalisation-Driven Development of Safety-Critical Systems. HASE (2016)
Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina
Software Development in the Post-PC Era: Towards Software Development as a Service. PROFES (2016)
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky
Rodin Platform Why3 Plug-In. ABZ (2016)
Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky
Automating Verification of Event-B Models. CoRR (2016)
Paolo Missier, Alexander B. Romanovsky, Tudor Miu, Atinder Pal, Michael Daniilakis, Alessandro F. Garcia, Diego Cedrim, Leonardo da Silva Sousa
Tracking Dengue Epidemics Using Twitter Content Classification and Topic Modelling. ICWE Workshops (2016)
Paolo Missier, Alexander B. Romanovsky, Tudor Miu, Atinder Pal, Michael Daniilakis, Alessandro F. Garcia, Diego Cedrim, Leonardo da Silva Sousa
Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling. CoRR (2016)
Alexei Iliasov, Alexander B. Romanovsky
Formal Analysis of Railway Signalling Data. HASE (2016)
Rem Gensh, Alexander B. Romanovsky, Alex Yakovlev
On structuring holistic fault tolerance. MODULARITY (2016)
Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
EXE-SPEM: Towards Cloud-based Executable Software Process Models. MODELSWARD (2016)
Olga Tarasyuk, Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Vitalii Ruban
The Impact of Consistency on System Latency in Fault Tolerant Internet Computing. DAIS (2015)
Zhenyu Wen, Jacek Cala, Paul Watson, Alexander B. Romanovsky
Cost Effective, Reliable, and Secure Workflow Deployment over Federated Clouds. CLOUD (2015)
Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander B. Romanovsky, Alexandre Yakovlev
A Formal Specification and Prototyping Language for Multi-core System Management. PDP (2015)
David Adjepon-Yamoah, Alexander B. Romanovsky, Alexei Iliasov
A reactive architecture for cloud-based system engineering. ICSSP (2015)
Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky
From Requirements Engineering to Safety Assurance: Refinement Approach. SETTA (2015)
Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alex Yakovlev
Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. ACSD (2015)
Rem Gensh, Alexander B. Romanovsky, Alex Yakovlev
Engineering Cross-Layer Fault Tolerance in Many-Core Systems. SERENE (2015)
Sami Alajrami, Alexander B. Romanovsky, Paul Watson, Andreas Roth
Towards Cloud-Based Software Process Modelling and Enactment. CloudMDE@MoDELS (2014)
Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. ACSD (2014)
Andrey Mokhov, Alexei Iliasov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev, Alexander B. Romanovsky
Synthesis of Processor Instruction Sets from High-Level ISA Specifications. IEEE Trans. Computers 63 (6) (2014)
Cliff B. Jones, Alexander B. Romanovsky
Special issue on Automated Verification of Critical Systems (AVoCS'11). Sci. Comput. Program. 82 (2014)
Fuyuki Ishikawa, Alexander B. Romanovsky
Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14). NII Shonan Meet. Rep. 2014 (2014)
Alexander B. Romanovsky, Marc-Olivier Killijian
The Tenth European Dependable Computer Conference. CoRR (2014)
Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev
ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. ES4CPS@DATE (2014)
Ilya Lopatkin, Alexander B. Romanovsky
Rigorous Development of Fault-Tolerant Systems through Co-refinement. Ada-Europe (2014)
Alexei Iliasov, Roberto Palacin, Alexander B. Romanovsky
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. SERENE (2014)
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
Practical Formal Methods in Railways - The SafeCap Approach. Ada-Europe (2014)
Zoe Andrews, John S. Fitzgerald, Richard John Payne, Alexander B. Romanovsky
Fault modelling for systems of systems. ISADS (2013)
Anatoliy Gorbenko, Alexander B. Romanovsky
Time-Outing Internet Services. IEEE Secur. Priv. 11 (2) (2013)
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
The SafeCap Platform for Modelling Railway Safety and Capacity. SAFECOMP (2013)
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
The SafeCap Project on Railway Safety Verification and Capacity Simulation. SERENE (2013)
Zoe Andrews, Richard John Payne, Alexander B. Romanovsky, André Didier, Alexandre Mota
Model-based development of fault tolerant systems of systems. SysCon (2013)
Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna
Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). Dagstuhl Reports 3 (1) (2013)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. 78 (7) (2013)
Alexander B. Romanovsky
Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project. ACM SIGSOFT Softw. Eng. Notes 37 (5) (2012)
Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk, Alexander B. Romanovsky
Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time. EDCC (2012)
Fuyuki Ishikawa, Alexander B. Romanovsky
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012) CoRR (2012)
Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Olga Tarasyuk
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling. SERENE (2012)
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala
Augmenting Event-B modelling with real-time verification. FormSERA@ICSE (2012)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems. HASE (2011)
Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexander B. Romanovsky
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. SERENE (2011)
Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
Rigorous Development of Dependable Systems Using Fault Tolerance Views. ISSRE (2011)
Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky
Formal Derivation of a Distributed Program in Event B. ICFEM (2011)
Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander B. Romanovsky
An Introduction to Software Engineering and Fault Tolerance CoRR (2010)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
On fault tolerance reuse during refinement. SERENE (2010)
Alessandro Garcia, Alexander B. Romanovsky, Valérie Issarny
Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance. IEEE Trans. Software Eng. 36 (2) (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS (2010)
Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth
Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS (2010)
Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk, Yuhui Chen, Alexander B. Romanovsky
Real Distribution of Response Time Instability in Service-Oriented Architecture. SRDS (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP (2010)
Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky
MetaSelf: an architecture and a development method for dependable self-* systems. SAC (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Supporting Reuse in Event B Development: Modularisation Approach. ASM (2010)
Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky
Modal Systems: Specification, Refinement and Realisation. ICFEM (2009)

Alexander B. Romanovsky.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander B. Romanovsky