


default search action
Alexander B. Romanovsky
Person information
- affiliation: Newcastle University, School of Computing Science, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c163]Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky:
Safety Invariant Engineering for Interlocking Verification. SAFECOMP 2024: 68-83 - 2023
- [j78]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): 3:1 (2023) - [j77]Alexei Iliasov, Dominic Taylor
, Linas Laibinis
, Alexander B. Romanovsky
:
Practical Verification of Railway Signalling Programs. IEEE Trans. Dependable Secur. Comput. 20(1): 695-707 (2023) - [c162]Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
:
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. RSSRail 2023: 117-127 - 2022
- [c161]Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky
:
Safety Invariant Verification that Meets Engineers' Expectations. RSSRail 2022: 20-31 - 2021
- [j76]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): 1009-1036 (2021) - [j75]Linas Laibinis
, Alexei Iliasov, Alexander B. Romanovsky
:
Mutation Testing for Rule-Based Verification of Railway Signaling Data. IEEE Trans. Reliab. 70(2): 676-691 (2021) - [j74]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): 1235-1271 (2021) - [i17]Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky:
SafeCap: from formal verification of railway interlocking to its certification. CoRR abs/2108.10091 (2021) - [i16]Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo:
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. CoRR abs/2111.06339 (2021) - 2020
- [j73]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): 133-148 (2020) - [j72]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): 1507-1518 (2020) - [j71]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): 1093-1107 (2020) - [j70]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): 129-143 (2020) - [j69]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): 22-39 (2020) - [c160]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: 203-219 - [c159]Anatoliy Gorbenko
, Alexander B. Romanovsky
, Olga Tarasyuk:
Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking Approach. EDCC Workshops 2020: 168-184
2010 – 2019
- 2019
- [j68]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) - [c158]Alexei Iliasov, Alexander B. Romanovsky
, Linas Laibinis:
Quantitative Validation of Formal Domain Models. HASE 2019: 17-24 - [c157]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: 90-97 - [c156]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: 107-113 - [c155]Flavio Primo
, Paolo Missier
, Alexander B. Romanovsky
, Mickael Figueredo, Nélio Cacho:
A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users. ICWE 2019: 91-106 - [e27]Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Lecture Notes in Computer Science 11495, Springer 2019, ISBN 978-3-030-18743-9 [contents] - [e26]Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings. Lecture Notes in Computer Science 11698, Springer 2019, ISBN 978-3-030-26600-4 [contents] - [e25]Alexander B. Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings. Lecture Notes in Computer Science 11699, Springer 2019, ISBN 978-3-030-26249-5 [contents] - [i15]Flavio Primo, Paolo Missier, Alexander B. Romanovsky, Mickael Figueredo, Nélio Cacho:
A customisable pipeline for continuously harvesting socially-minded Twitter users. CoRR abs/1903.07061 (2019) - 2018
- [j67]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): 12-21 (2018) - [j66]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: 26-42 (2018) - [j65]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): 436-449 (2018) - [c154]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: 758-765 - [c153]Juliana Oliveira
, Hivana Macedo, Nélio Cacho, Alexander B. Romanovsky
:
DroidEH: An Exception Handling Mechanism for Android Applications. ISSRE 2018: 200-211 - [c152]Sami Alajrami, Alexander B. Romanovsky
, Barbara Gallina:
Cost-aware Scheduling of Software Processes Execution in the Cloud. MODELSWARD 2018: 203-212 - [c151]Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
:
Formal Verification of Signalling Programs with SafeCap. SAFECOMP 2018: 91-106 - [c150]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: 145-152 - [i14]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) - 2017
- [j64]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): 34-45 (2017) - [j63]Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
:
Enabling GSD Task Allocation via Cloud-based Software Processes. Int. J. Networked Distributed Comput. 5(4): 221-232 (2017) - [j62]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): 929-941 (2017) - [c149]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: 80-85 - [c148]Luke J. W. Martin, Alexander B. Romanovsky
:
An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. EDCC 2017: 107-110 - [c147]Rem Gensh, Ashur Rafiev, Alexander B. Romanovsky
, Alessandro F. Garcia, Fei Xia, Alex Yakovlev:
Architecting Holistic Fault Tolerance. HASE 2017: 5-8 - [c146]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: 437-445 - [c145]Anatoliy Gorbenko
, Alexander B. Romanovsky
, Olga Tarasyuk
, Oleksandr Biloborodov:
Experience Report: Study of Vulnerabilities of Enterprise Operating Systems. ISSRE 2017: 205-215 - [c144]Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
:
Enabling GSD Task Allocation via Cloud-Based Software Processes. SERA (selected papers) 2017: 179-192 - [c143]Luke J. W. Martin, Alexander B. Romanovsky
:
Stochastic Activity Networks for the Verification of Knowledge Bases. SERENE 2017: 37-44 - [c142]Rem Gensh, Ashur Rafiev, Fei Xia, Alexander B. Romanovsky
, Alex Yakovlev:
Modelling for Systems with Holistic Fault Tolerance. SERENE 2017: 169-183 - [e24]Alessandro Fantechi, Thierry Lecomte
, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Lecture Notes in Computer Science 10598, Springer 2017, ISBN 978-3-319-68498-7 [contents] - [e23]Alexander B. Romanovsky, Elena Troubitsyna:
Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. Lecture Notes in Computer Science 10479, Springer 2017, ISBN 978-3-319-65947-3 [contents] - [i13]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 abs/1703.03928 (2017) - 2016
- [c141]Rem Gensh, Alexander B. Romanovsky
, Alex Yakovlev
:
On structuring holistic fault tolerance. MODULARITY 2016: 130-133 - [c140]Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky
:
Rodin Platform Why3 Plug-In. ABZ 2016: 275-281 - [c139]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: 1-7 - [c138]Alexei Iliasov, Alexander B. Romanovsky
:
Formal Analysis of Railway Signalling Data. HASE 2016: 70-77 - [c137]Alexei Iliasov, Alexander B. Romanovsky
, Elena Troubitsyna, Linas Laibinis:
Formalisation-Driven Development of Safety-Critical Systems. HASE 2016: 165-172 - [c136]Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky
:
Proving Event-B Models with Reusable Generic Lemmas. ICFEM 2016: 210-225 - [c135]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: 80-92 - [c134]Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
:
EXE-SPEM: Towards Cloud-based Executable Software Process Models. MODELSWARD 2016: 517-526 - [c133]Sami Alajrami, Alexander B. Romanovsky
, Barbara Gallina:
Software Development in the Post-PC Era: Towards Software Development as a Service. PROFES 2016: 662-671 - [c132]Sami Alajrami, Barbara Gallina, Irfan Sljivo
, Alexander B. Romanovsky
, Petter Isberg:
Towards Cloud-Based Enactment of Safety-Related Processes. SAFECOMP 2016: 309-321 - [c131]Luke J. W. Martin, Alexander B. Romanovsky
:
A Formal Approach to Designing Reliable Advisory Systems. SERENE 2016: 28-42 - [e22]Thierry Lecomte
, Ralf Pinger, Alexander B. Romanovsky
:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. Lecture Notes in Computer Science 9707, Springer 2016, ISBN 978-3-319-33950-4 [contents] - [i12]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 abs/1605.00968 (2016) - [i11]Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky:
Automating Verification of Event-B Models. CoRR abs/1611.02923 (2016) - 2015
- [c130]Zhenyu Wen, Jacek Cala, Paul Watson
, Alexander B. Romanovsky
:
Cost Effective, Reliable, and Secure Workflow Deployment over Federated Clouds. CLOUD 2015: 604-612 - [c129]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: 110-119 - [c128]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: 179-192 - [c127]David Adjepon-Yamoah, Alexander B. Romanovsky
, Alexei Iliasov:
A reactive architecture for cloud-based system engineering. ICSSP 2015: 77-81 - [c126]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: 696-700 - [c125]Rem Gensh, Alexander B. Romanovsky
, Alex Yakovlev
:
Engineering Cross-Layer Fault Tolerance in Many-Core Systems. SERENE 2015: 62-70 - [c124]Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky
:
From Requirements Engineering to Safety Assurance: Refinement Approach. SETTA 2015: 201-216 - 2014
- [j61]Cliff B. Jones
, Alexander B. Romanovsky
:
Special issue on Automated Verification of Critical Systems (AVoCS'11). Sci. Comput. Program. 82: 1 (2014) - [j60]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): 1552-1566 (2014) - [c123]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: 122-131 - [c122]Ilya Lopatkin, Alexander B. Romanovsky
:
Rigorous Development of Fault-Tolerant Systems through Co-refinement. Ada-Europe 2014: 11-26 - [c121]Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
:
Practical Formal Methods in Railways - The SafeCap Approach. Ada-Europe 2014: 177-192 - [c120]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: 21 - [c119]Sami Alajrami, Alexander B. Romanovsky, Paul Watson, Andreas Roth:
Towards Cloud-Based Software Process Modelling and Enactment. CloudMDE@MoDELS 2014: 6-15 - [c118]Alexei Iliasov, Roberto Palacin, Alexander B. Romanovsky
:
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. SERENE 2014: 131-138 - [i10]Alexander B. Romanovsky, Marc-Olivier Killijian:
The Tenth European Dependable Computer Conference. CoRR abs/1405.2998 (2014) - [i9]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) - 2013
- [j59]Anatoliy Gorbenko
, Alexander B. Romanovsky
:
Time-Outing Internet Services. IEEE Secur. Priv. 11(2): 68-71 (2013) - [j58]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): 884-905 (2013) - [c117]Zoe Andrews, John S. Fitzgerald
, Richard John Payne, Alexander B. Romanovsky
:
Fault modelling for systems of systems. ISADS 2013: 1-8 - [c116]Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
:
The SafeCap Platform for Modelling Railway Safety and Capacity. SAFECOMP 2013: 130-137 - [c115]Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
:
The SafeCap Project on Railway Safety Verification and Capacity Simulation. SERENE 2013: 125-132 - [c114]Zoe Andrews, Richard John Payne, Alexander B. Romanovsky
, André Didier
, Alexandre Mota:
Model-based development of fault tolerant systems of systems. SysCon 2013: 356-363 - [p7]Alexander B. Romanovsky
, Martyn Thomas:
Introduction. Industrial Deployment of System Engineering Methods 2013: 1-3 - [p6]Alexander B. Romanovsky
:
Integrated Project DEPLOY. Industrial Deployment of System Engineering Methods 2013: 5-12 - [p5]Martyn Thomas, Alexander B. Romanovsky
:
Introducing Formal Methods into Existing Industrial Practices. Industrial Deployment of System Engineering Methods 2013: 145-156 - [p4]Alexander B. Romanovsky
:
After and Outside DEPLOY: The DEPLOY Ecosystem. Industrial Deployment of System Engineering Methods 2013: 197-202 - [p3]Martyn Thomas, Alexander B. Romanovsky
:
Industrial Software Engineering and Formal Methods. Industrial Deployment of System Engineering Methods 2013: 203-210 - [e21]Alexander B. Romanovsky
, Martyn Thomas:
Industrial Deployment of System Engineering Methods. Springer 2013, ISBN 978-3-642-33169-5 [contents] - [e20]Anatoliy Gorbenko
, Alexander B. Romanovsky
, Vyacheslav S. Kharchenko
:
Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Lecture Notes in Computer Science 8166, Springer 2013, ISBN 978-3-642-40893-9 [contents] - [i8]Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna:
Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). Dagstuhl Reports 3(1): 30-46 (2013) - 2012
- [j57]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): 1-4 (2012) - [c113]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: 185-190 - [c112]Alexei Iliasov, Alexander B. Romanovsky
, Linas Laibinis, Elena Troubitsyna, Timo Latvala:
Augmenting Event-B modelling with real-time verification. FormSERA@ICSE 2012: 51-57 - [c111]Anatoliy Gorbenko
, Alexander B. Romanovsky
, Vyacheslav S. Kharchenko
, Olga Tarasyuk
:
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling. SERENE 2012: 121-133 - [i7]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 abs/1211.2259 (2012) - 2011
- [j56]Alexander B. Romanovsky
, Cliff B. Jones, Jens Bendisposto, Michael Leuschel:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011) - [c110]Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
, Yuliya Prokhorova, Elena Troubitsyna:
Patterns for Representing FMEA in Formal Specification of Control Systems. HASE 2011: 146-151 - [c109]Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky
:
Formal Derivation of a Distributed Program in Event B. ICFEM 2011: 420-436 - [c108]Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
:
Rigorous Development of Dependable Systems Using Fault Tolerance Views. ISSRE 2011: 180-189 - [c107]Anatoliy Gorbenko
, Vyacheslav S. Kharchenko
, Olga Tarasyuk
, Alexander B. Romanovsky
:
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. SERENE 2011: 145-155 - [e19]Alexander B. Romanovsky, Tullio Vardanega
:
Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6652, Springer 2011, ISBN 978-3-642-21337-3 [contents] - 2010
- [j55]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): 147-149 (2010) - [c106]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: 174-188 - [c105]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: 50-66 - [c104]Jeremy W. Bryans
, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth:
Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS 2010: 105-114 - [c103]Giovanna Di Marzo Serugendo
, John S. Fitzgerald
, Alexander B. Romanovsky
:
MetaSelf: an architecture and a development method for dependable self-* systems. SAC 2010: 457-461 - [c102]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: 126-141 - [c101]Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
:
On fault tolerance reuse during refinement. SERENE 2010: 22-31 - [c100]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: 92-99 - [i6]Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander B. Romanovsky:
An Introduction to Software Engineering and Fault Tolerance. CoRR abs/1011.1551 (2010)
2000 – 2009
- 2009
- [j54]Alfredo Capozucca
, Nicolas Guelfi, Patrizio Pelliccione
, Alexander B. Romanovsky
, Avelino Francisco Zorzo
:
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study.