default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexander 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. J. Syst. Softw. 82(2): 207-228 (2009) - [j53]Fernando Castor Filho, Alexander B. Romanovsky, Cecília M. F. Rubira:
Improving reliability of cooperative concurrent systems with exception flow analysis. J. Syst. Softw. 82(5): 874-890 (2009) - [c99]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky:
Patterns for Refinement Automation. FMCO 2009: 70-88 - [c98]Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth:
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. ICECCS 2009: 68-77 - [c97]Yuhui Chen, Alexander B. Romanovsky, Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk:
Benchmarking Dependability of a System Biology Application. ICECCS 2009: 146-153 - [c96]Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky:
Modal Systems: Specification, Refinement and Realisation. ICFEM 2009: 601-619 - [c95]Alexei Iliasov, Alexander B. Romanovsky, Fernando Luís Dotti:
Structuring Specifications with Modes. LADC 2009: 81-88 - [p2]Alexei Iliasov, Budi Arief, Alexander B. Romanovsky:
Step-Wise Development of Resilient Ambient Campus Scenarios. Methods, Models and Tools for Fault Tolerance 2009: 297-323 - [p1]Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander B. Romanovsky:
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. Methods, Models and Tools for Fault Tolerance 2009: 324-341 - [e18]Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science 5454, Springer 2009, ISBN 978-3-642-00866-5 [contents] - 2008
- [j52]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
Special issue: Engineering Fault Tolerant Systems. Comput. Syst. Sci. Eng. 23(5) (2008) - [j51]Yuhui Chen, Alexander B. Romanovsky:
Improving the Dependability of Web Services Integration. IT Prof. 10(3): 29-35 (2008) - [j50]Alexander B. Romanovsky:
DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. ACM SIGSOFT Softw. Eng. Notes 33(6): 1-3 (2008) - [j49]Cidiane Lobato, Alessandro Garcia, Alexander B. Romanovsky, Carlos José Pereira de Lucena:
An aspect-oriented software architecture for code mobility. Softw. Pract. Exp. 38(13): 1365-1392 (2008) - [c94]Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko:
How to Enhance UDDI with Dependability Capabilities. COMPSAC 2008: 1023-1028 - [c93]Alexei Iliasov, Alexander B. Romanovsky:
Refinement Patterns for Fault Tolerant Systems. EDCC 2008: 167-176 - [c92]Vyacheslav Kharchenko, Chris Phillips, Peter T. Popov, Oksana Pomorova, Alexander B. Romanovsky, Elena Troubitsyna:
MASTAC: new curriculum for master and doctoral studies in critical software and computing. SEESE@ICSE 2008: 59-64 - [c91]Karl M. Göschka, Svein O. Hallsteinsen, Rui Oliveira, Alexander B. Romanovsky:
Special track on Dependable and Adaptive Distributed Systems: editorial message. SAC 2008: 2167-2168 - [c90]Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky:
Formal development of cooperative exception handling for mobile agent systems. SERENE 2008: 39-48 - [c89]Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Yuhui Chen, Alexander B. Romanovsky:
The threat of uncertainty in service-oriented architecture. SERENE 2008: 49-54 - [c88]Alexander B. Romanovsky:
DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. SERENE 2008: 117-119 - [c87]Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Alexey Mikhaylichenko:
Experimenting with exception propagation mechanisms in service-oriented architecture. Workshop on Exception Handling 2008: 1-7 - [e17]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008. ACM 2008, ISBN 978-1-60558-275-7 [contents] - [i5]Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi:
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. Organic Computing - Controlled Self-organization 2008 - [i4]Alexander B. Romanovsky:
DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity.. ERCIM News 2008(74) (2008) - 2007
- [j48]Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander B. Romanovsky:
On composing Dependable Web Services using undependable web components. Int. J. Simul. Process. Model. 3(1/2): 45-54 (2007) - [j47]Alexander B. Romanovsky:
A looming fault tolerance software crisis? ACM SIGSOFT Softw. Eng. Notes 32(2): 1-4 (2007) - [c86]Alexei Iliasov, Alexander B. Romanovsky, Budi Arief:
A Framework for Open Distributed System Design. COMPSAC (2) 2007: 658-674 - [c85]Alexander B. Romanovsky:
On Exceptions, Exception Handling, Requirements and Software Lifecycle. HASE 2007: 301 - [c84]Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna:
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. ISORC 2007: 141-145 - [c83]Barbara Gallina, Nicolas Guelfi, Alexander B. Romanovsky:
Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. ISSRE 2007: 29-38 - [c82]Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi:
A metadata-based architectural model for dynamically resilient systems. SAC 2007: 566-572 - [c81]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE 2007: 617-618 - [c80]Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
Architecting Fault Tolerant Systems. WICSA 2007: 43 - [e16]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA]. Lecture Notes in Computer Science 4615, Springer 2007, ISBN 978-3-540-74033-9 [contents] - [e15]Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky:
Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]. Lecture Notes in Computer Science 4408, Springer 2007, ISBN 978-3-540-73130-6 [contents] - [e14]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007. ACM 2007, ISBN 978-1-59593-725-4 [contents] - 2006
- [j46]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Architecting dependable systems. J. Syst. Softw. 79(10): 1359-1360 (2006) - [j45]Alessandro Garcia, Holger Giese, Alexander B. Romanovsky, Ricardo Choren, Ho-fung Leung, Carlos José Pereira de Lucena, Florian Klein, Eric Platon:
Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report. ACM SIGSOFT Softw. Eng. Notes 31(5): 24-32 (2006) - [c79]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Workshop on Architecting Dependable Systems (WADS). DSN 2006: 592 - [c78]Alexei Iliasov, Alexander B. Romanovsky:
Structured Coordination Spaces for Fault Tolerant Mobile Agents. Advanced Topics in Exception Handling Techniques 2006: 181-199 - [c77]Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos José Pereira de Lucena, Holger Giese, Alexander B. Romanovsky:
Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS). ICSE 2006: 1022-1023 - [c76]Peter Li, Yuhui Chen, Alexander B. Romanovsky:
Measuring the Dependability of Web Services for Use in e-Science Experiments. ISAS 2006: 193-205 - [c75]Maxime Monod, Jörg Kienzle, Alexander B. Romanovsky:
Looking Ahead in Open Multithreaded Transactions. ISORC 2006: 53-63 - [c74]Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo:
CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE 2006: 385-394 - [c73]Cidiane Lobato, Alessandro Garcia, Carlos Lucena, Alexander B. Romanovsky:
A modular implementation framework for code mobility. Mobility Conference 2006: 57 - [c72]Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky:
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. RODIN Book 2006: 168-188 - [c71]Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky:
Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book 2006: 241-260 - [c70]Karl M. Göschka, Svein O. Hallsteinsen, Rui Oliveira, Alexander B. Romanovsky:
Editorial message: special track on dependable and adaptive distributed systems. SAC 2006: 668-669 - [c69]Fernando Castor Filho, Alexander B. Romanovsky, Cecília M. F. Rubira:
Verification of coordinated exception handling. SAC 2006: 680-685 - [c68]Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos Lucena, Holger Giese, Alexander B. Romanovsky:
Introduction to the SELMAS 2006. SELMAS 2006: 1-4 - [c67]Budi Arief, Alexei Iliasov, Alexander B. Romanovsky:
On Developing Open Mobile Fault Tolerant Agent Systems. SELMAS (LNCS) 2006: 21-40 - [c66]Budi Arief, Alexei Iliasov, Alexander B. Romanovsky:
On using the CAMA framework for developing open mobile fault tolerant agent systems. SELMAS 2006: 29-36 - [c65]Karla Damasceno, Nélio Cacho, Alessandro F. Garcia, Alexander B. Romanovsky, Carlos Lucena:
Context-aware exception handling in mobile agent systems: the MoCA case. SELMAS 2006: 37-44 - [c64]Nélio Cacho, Karla Damasceno, Alessandro F. Garcia, Alexander B. Romanovsky, Carlos José Pereira de Lucena:
Exception Handling in Context-Aware Agent Systems: A Case Study. SELMAS (LNCS) 2006: 57-76 - [e13]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006. Dagstuhl Seminar Proceedings 06121, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [e12]Christophe Dony, Jørgen Lindskov Knudsen, Alexander B. Romanovsky, Anand Tripathi:
Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops). Lecture Notes in Computer Science 4119, Springer 2006, ISBN 3-540-37443-4 [contents] - [e11]Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Lecture Notes in Computer Science 4157, Springer 2006, ISBN 3-540-48265-2 [contents] - [e10]Alessandro F. Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Paolo Giorgini, Tom Holvoet, Alexander B. Romanovsky:
Software Engineering for Multi-Agent Systems IV, Research Issues and Practical Applications [the book is a result of SELMAS 2005]. Lecture Notes in Computer Science 3914, Springer 2006, ISBN 3-540-33580-3 [contents] - [e9]Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky:
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, SELMAS '06, Shanghai, China, May 22-23, 2006. ACM 2006 [contents] - [i3]Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky:
06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science 2006 - [i2]Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky:
06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science 2006 - 2005
- [j44]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
The Atomic Manifesto. J. Univers. Comput. Sci. 11(5): 636-651 (2005) - [j43]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues:
The atomic manifesto: a story in four quarks. SIGMOD Rec. 34(1): 63-69 (2005) - [j42]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues:
The atomic manifesto: a story in four quarks. ACM SIGOPS Oper. Syst. Rev. 39(2): 41-46 (2005) - [j41]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
ICSE 2004 workshop on architecting dependable systems. ACM SIGSOFT Softw. Eng. Notes 30(1): 3 (2005) - [j40]Alessandro Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky, Holger Giese, Danny Weyns, Tom Holvoet, Paolo Giorgini:
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-8 (2005) - [j39]Alessandro Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky, Tom Holvoet, Paolo Giorgini:
Software engineering for large-scale multi-agent systems - SELMAS'05. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-2 (2005) - [j38]Rogério de Lemos, Alexander B. Romanovsky:
ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005). ACM SIGSOFT Softw. Eng. Notes 30(4): 1-4 (2005) - [c63]Alexei Iliasov, Alexander B. Romanovsky:
Exception Handling in Coordination-Based Mobile Environments. COMPSAC (1) 2005: 341-350 - [c62]Alessandro F. Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky, Tom Holvoet, Paolo Giorgini:
Software engineering for large-scale multi-agent systems - SELMAS'05. ICSE 2005: 682 - [c61]Rogério de Lemos, Alexander B. Romanovsky:
Workshop on architecting dependable systems (WADS 2005). ICSE 2005: 691 - [c60]Alessandro F. Garcia, Ricardo Choren, Carlos Lucena, Alexander B. Romanovsky, Tom Holvoet, Paolo Giorgini:
Software engineering for large-scale multi-agent systems - SELMAS'05. SELMAS 2005: 1:1-1:2 - [c59]Tom Anderson, Mei Feng, Steve Riddle, Alexander B. Romanovsky:
Error Recovery for a Boiler System with OTS PID Controller. WORDS 2005: 113-120 - [e8]Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky:
Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3409, Springer 2005, ISBN 3-540-25053-0 [contents] - [e7]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops]. Lecture Notes in Computer Science 3549, Springer 2005, ISBN 3-540-28968-2 [contents] - [e6]Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Alexander B. Romanovsky:
Software Engineering for Multi-Agent Systems III, Research Issues and Practical Applications [the book is a result of SELMAS 2004]. Lecture Notes in Computer Science 3390, Springer 2005, ISBN 3-540-24843-9 [contents] - 2004
- [j37]Ricardo Choren, Alessandro Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander B. Romanovsky, Jaelson Brelaz de Castro, Rogério de Lemos, Danny Weyns:
Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report. ACM SIGSOFT Softw. Eng. Notes 29(5): 1-10 (2004) - [c58]Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander B. Romanovsky, Massimo Tivoli:
Towards an Engineering Approach to Component Adaptation. Architecting Systems with Trustworthy Components 2004: 193-215 - [c57]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Twin Workshops on Architecting Dependable Systems (WADS 2004). DSN 2004: 901 - [c56]Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Peter T. Popov, Alexander B. Romanovsky:
Dependable Composite Web Services with Components Upgraded Online. WADS 2004: 92-121 - [c55]Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander B. Romanovsky:
Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04. ICSE 2004: 752-753 - [c54]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Twin Workshops on Architecting Dependable Systems (WADS 2004). ICSE 2004: 758 - [c53]Tom Anderson, Brian Randell, Alexander B. Romanovsky:
Wrapping the future. IFIP Congress Topical Sessions 2004: 165-173 - [e5]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
Atomicity in System Design and Execution, 25.04. - 30.04.2004. Dagstuhl Seminar Proceedings 04181, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - [e4]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems]. Lecture Notes in Computer Science 3069, Springer 2004, ISBN 3-540-23168-4 [contents] - [e3]Carlos José Pereira de Lucena, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar:
Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications [the book is a result of SELMAS 2003]. Lecture Notes in Computer Science 2940, Springer 2004, ISBN 3-540-21182-9 [contents] - [i1]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues:
The Atomic Manifesto: a Story in Four Quarks. Atomicity in System Design and Execution 2004 - 2003
- [j36]Alessandro Garcia, José Alberto R. P. Sardinha, Carlos José Pereira de Lucena, Jaelson Brelaz de Castro, Julio César Sampaio do Prado Leite, Ruy Luiz Milidiú, Alexander B. Romanovsky, Martin L. Griss, Rogério de Lemos, Anna Perini:
Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report. ACM SIGSOFT Softw. Eng. Notes 28(6): 1 (2003) - [j35]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
ICSE 2003 workshop on software architectures for dependable systems. ACM SIGSOFT Softw. Eng. Notes 28(6): 8 (2003) - [c52]Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky:
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance. Ada-Europe 2003: 208-219 - [c51]Alexander B. Romanovsky, Christophe Dony, Anand Tripathi, Jørgen Lindskov Knudsen:
Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms. ECOOP Workshops 2003: 1-10 - [c50]Tom Anderson, Mei Feng, Steve Riddle, Alexander B. Romanovsky:
Protective Wrapper Development: A Case Study. ICCBSS 2003: 1-14 - [c49]Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos:
A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers. WADS 2003: 144-166 - [c48]Carlos José Pereira de Lucena, José Alberto R. P. Sardinha, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar, Donald D. Cowan:
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003. ICSE 2003: 771-772 - [c47]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
ICSE 2003 Workshop on Software Architectures for Dependable Systems. ICSE 2003: 781-782 - [c46]Alexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo:
Structuring Integrated Web Applications for Fault Tolerance. ISADS 2003: 99-106 - [c45]Paulo Asterio de Castro Guerra, Alexander B. Romanovsky, Rogério de Lemos:
Integrating COTS Software Components into Dependable Software Architectures. ISORC 2003: 139-142 - [c44]Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos:
A fault-tolerant software architecture for COTS-based software systems. ESEC / SIGSOFT FSE 2003: 375-378 - [c43]Ferda Tartanoglu, Valérie Issarny, Alexander B. Romanovsky, Nicole Lévy:
Coordinated Forward Error Recovery for Composite Web Services. SRDS 2003: 167-176 - [c42]Avelino F. Zorzo, Panayiotis Periorellis, Alexander B. Romanovsky:
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. WORDS 2003: 288-295 - [e2]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems]. Lecture Notes in Computer Science 2677, Springer 2003, ISBN 978-3-540-40727-0 [contents] - 2002
- [j34]Alexander B. Romanovsky:
On version state recovery and adjudication in class diversity. Comput. Syst. Sci. Eng. 17(3): 159-168 (2002) - [j33]Jörg Kienzle, Alexander B. Romanovsky:
Framework based on design patterns for providing persistence in object-oriented programming languages. IEE Proc. Softw. 149(3): 77-85 (2002) - [j32]Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke:
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers 51(2): 164-179 (2002) - [c41]Alexander B. Romanovsky, Iain Smith:
Dependable On-Line Upgrading of Distributed Systems. COMPSAC 2002: 975-976 - [c40]Cliff B. Jones, Alexander B. Romanovsky, Ian Welch:
A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC 2002: 1000-1005 - [c39]Cliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch:
Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. FIDJI 2002: 73-86 - [c38]Giovanna Di Marzo Serugendo, Alexander B. Romanovsky:
Designing Fault-Tolerant Mobile Systems. FIDJI 2002: 185-201 - [c37]Ferda Tartanoglu, Valérie Issarny, Alexander B. Romanovsky, Nicole Lévy:
Dependability in the Web Services Architecture. WADS 2002: 90-109 - [c36]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Architectural Mismatch Tolerance. WADS 2002: 175-194 - [c35]Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
ICSE 2002 workshop on architecting dependable systems. ICSE 2002: 673-674 - [c34]Jie Xu, Brian Randell, Alexander B. Romanovsky:
A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 207-214 - [c33]Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky:
Auction System Design Using Open Multithreaded Transactions. WORDS 2002: 95-104 - 2001
- [j31]Rogério de Lemos, Alexander B. Romanovsky:
Exception handling in the software lifecycle. Comput. Syst. Sci. Eng. 16(2): 119-133 (2001) - [j30]Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev:
Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. 16(3): 173-182 (2001) - [j29]Alexander B. Romanovsky, Avelino F. Zorzo:
A distributed coordinated atomic action scheme. Comput. Syst. Sci. Eng. 16(4): 237-247 (2001) - [j28]Alexander B. Romanovsky, Paul D. Ezhilchelvan:
Conversations with fixed and potential participants. J. Syst. Archit. 47(2): 193-196 (2001) - [j27]Alessandro F. Garcia, Cecília M. F. Rubira, Alexander B. Romanovsky, Jie Xu:
A comparative study of exception handling mechanisms for building dependable object-oriented software. J. Syst. Softw. 59(2): 197-222 (2001) - [j26]Alexander B. Romanovsky:
Coordinated atomic actions: how to remain ACID in the modern world. ACM SIGSOFT Softw. Eng. Notes 26(2): 66-68 (2001) - [c32]Jörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez:
Transaction Support for Ada. Ada-Europe 2001: 290-304 - [c31]Alexander B. Romanovsky:
Exception Handling in Component-Based System Development. COMPSAC 2001: 580- - [c30]Ciarán Bryce, Alexander B. Romanovsky:
7th Workshop on Mobile Object Systems. ECOOP Workshops 2001: 165-168 - [c29]Peter T. Popov, Lorenzo Strigini, Steve Riddle, Alexander B. Romanovsky:
On Systematic Design of Protectors for Employing OTS Items. EUROMICRO 2001: 22-29 - [c28]Karl-Erwin Großpietsch, Alexander B. Romanovsky:
An Evolutionary and Adaptive Approach for n-Version Programming. EUROMICRO 2001: 182- - [c27]Delano M. Beder, Cecília M. F. Rubira, Brian Randell, Alexander B. Romanovsky:
On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. ISORC 2001: 103-112 - [c26]Ian Welch, Robert J. Stroud, Alexander B. Romanovsky:
Aspects of Exceptions at the Meta-level. Reflection 2001: 280-281 - [c25]Alexander B. Romanovsky:
Looking Ahead in Atomic Actions with Exception Handling. SRDS 2001: 142-151 - [c24]Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky:
Open Multithreaded Transactions: Keeping Threads and Exceptions under Control. WORDS 2001: 197-205 - [e1]Alexander B. Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi:
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop). Lecture Notes in Computer Science 2022, Springer 2001, ISBN 3-540-41952-7 [contents] - 2000
- [j25]Alexander B. Romanovsky:
Faulty version recovery in object-oriented N-version programming. IEE Proc. Softw. 147(3): 81-90 (2000) - [j24]Alexander B. Romanovsky:
Extending conventional languages by distributed/concurrent exception resolution. J. Syst. Archit. 46(1): 79-95 (2000) - [j23]Delano M. Beder, Alexander B. Romanovsky, Brian Randell, C. Richard Snow, Robert J. Stroud:
An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. ACM SIGOPS Oper. Syst. Rev. 34(4): 21-31 (2000) - [j22]Jie Xu, Alexander B. Romanovsky, Brian Randell:
Concurrent Exception Handling and Resolution in Distributed Object Systems. IEEE Trans. Parallel Distributed Syst. 11(10): 1019-1032 (2000) - [j21]Dewayne E. Perry, Alexander B. Romanovsky, Anand Tripathi:
Guest Editors' Introduction-Current Trends in Exception Handling. IEEE Trans. Software Eng. 26(9): 817-819 (2000) - [j20]Dewayne E. Perry, Alexander B. Romanovsky, Anand Tripathi:
Guest Editors' Introduction - Current Trends in Exception Handling. IEEE Trans. Software Eng. 26(10): 921-922 (2000) - [c23]Jörg Kienzle, Alexander B. Romanovsky:
On Persistent and Reliable Streaming in Ada. Ada-Europe 2000: 82-95 - [c22]Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky:
Using COALA to Develop a Distributed Object-Based Application. DOA 2000: 195-208 - [c21]Alexander B. Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi:
Exception Handling in Object Oriented Systems. ECOOP Workshops 2000: 16-31 - [c20]Anna Mikhailova, Alexander B. Romanovsky:
Supporting Evolution of Interface Exceptions. Advances in Exception Handling Techniques 2000: 94-110 - [c19]Alexander B. Romanovsky, Jörg Kienzle:
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems. Advances in Exception Handling Techniques 2000: 147-164 - [c18]Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev:
On developing and verifying design abstractions for reliable concurrent programming in Ada. IRTAW 2000: 48-55 - [c17]Jörg Kienzle, Alexander B. Romanovsky:
Combining tasking and transactions, part II: open multithreaded transactions. IRTAW 2000: 67-74 - [c16]Alexander B. Romanovsky:
An Exception Handling Framework for N-Version Programming in Object-Oriented Systems. ISORC 2000: 226-233
1990 – 1999
- 1999
- [j19]Alexander B. Romanovsky:
On Structuring Cooperative and Competitive Concurrent Systems. Comput. J. 42(8): 627-637 (1999) - [j18]Alexander B. Romanovsky, Avelino Francisco Zorzo:
Coordinated atomic actions as a technique for implementing distributed gamma computation. J. Syst. Archit. 45(15): 1357-1374 (1999) - [j17]Alexander B. Romanovsky:
Class diversity support in object-oriented languages. J. Syst. Softw. 48(1): 43-57 (1999) - [j16]Avelino F. Zorzo, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch:
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Softw. Pract. Exp. 29(8): 677-697 (1999) - [c15]Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke:
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS 1999: 68-75 - [c14]Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo:
Formal Development and Validation of Java Dependable Distributed Systems. ICECCS 1999: 98-108 - [c13]Paul D. Ezhilchelvan, Alexander B. Romanovsky:
Engineering Look-ahead in Distributed Conversations. ISADS 1999: 142-149 - [c12]Rogério de Lemos, Alexander B. Romanovsky:
Exception Handling in a Cooperative Object-Oriented Approach. ISORC 1999: 3-13 - [c11]Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky:
Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. SAFECOMP 1999: 272-285 - [c10]Alexander B. Romanovsky:
Abstract Object State and Version Recovery in N-Version Programming. TOOLS (29) 1999: 86-95 - 1998
- [j15]Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky:
Distributed Atomic Actions in Ada 95. Comput. J. 41(7): 486-502 (1998) - [j14]Alexander B. Romanovsky:
A study of atomic action schemes intended for standard Ada. J. Syst. Softw. 43(1): 29-44 (1998) - [c9]Jie Xu, Alexander B. Romanovsky, Brian Randell:
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. ICDCS 1998: 12-21 - [c8]Alexander B. Romanovsky, Jie Xu, Brian Randell:
Exception Handling in Object-Oriented Real-Time Distributed Systems. ISORC 1998: 32-42 - [c7]Rogério de Lemos, Alexander B. Romanovsky:
Coordinated Atomic Actions in Modelling Objects Cooperation. ISORC 1998: 152-161 - 1997
- [j13]Alexander B. Romanovsky:
Practical Exception Handling and Resolution in Concurrent Programs. Comput. Lang. 23(1): 43-58 (1997) - [j12]Lorenzo Strigini, Felicita Di Giandomenico, Alexander B. Romanovsky:
Coordinated backward between client processes and data servers. IEE Proc. Softw. Eng. 144(2): 134-146 (1997) - [j11]Alexander B. Romanovsky, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo:
Implementation of blocking coordinated atomic actions based on forward error recovery. J. Syst. Archit. 43(10): 687-699 (1997) - [j10]Alexander B. Romanovsky:
Conversational Group Service. ACM SIGOPS Oper. Syst. Rev. 31(1): 54-63 (1997) - [j9]Alexander B. Romanovsky, Avelino F. Zorzo:
On Distribution of Coordinated Atomic Actions. ACM SIGOPS Oper. Syst. Rev. 31(4): 63-71 (1997) - [c6]Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings:
On Programming Atomic Actions in Ada 95. Ada-Europe 1997: 254-265 - 1996
- [j8]Alexander B. Romanovsky:
Application specific conversation schemes for ADA programs. Microprocess. Microprogramming 41(10): 703-713 (1996) - [c5]Jie Xu, Alexander B. Romanovsky, Brian Randell:
Exception Handling and Resolution in Distributed Object-oriented Systems. ICDCS 1996: 545-553 - 1995
- [j7]Alexander B. Romanovsky:
Conversations of Objects. Comput. Lang. 21(3/4): 147-163 (1995) - [j6]Alexander B. Romanovsky, Lorenzo Strigini:
Backward error recovery via conversations in Ada. Softw. Eng. J. 10(6): 219-232 (1995) - [j5]Alexander B. Romanovsky:
How to make a recoverable server by synchronization code inheriting. OOPS Messenger 6(1): 7-13 (1995) - [j4]Alexander B. Romanovsky:
Software Diversity as a Way to Well-Structured Concurrent Software. ACM SIGOPS Oper. Syst. Rev. 29(3): 85-90 (1995) - [c4]Jie Xu, Brian Randell, Alexander B. Romanovsky, Cecília M. F. Rubira, Robert J. Stroud, Zhixue Wu:
Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. FTCS 1995: 499-508 - 1994
- [j3]Alexander B. Romanovsky:
The problems of designing a conversation scheme for concurrent object oriented languages. Microprocess. Microprogramming 40(10-12): 897-900 (1994) - [j2]Alexander B. Romanovsky:
About Conversations for Concurrent OO Languages. ACM SIGPLAN Notices 29(9): 17-21 (1994) - 1993
- [j1]Alexander B. Romanovsky:
Fault Tolerance: Synchronization of Redundancy. ACM SIGOPS Oper. Syst. Rev. 27(4): 58-66 (1993) - 1992
- [c3]Alexander B. Romanovsky:
Synchronization as a framework for distributed system fault-tolerance design. ACM SIGOPS European Workshop 1992 - [c2]Alexander B. Romanovsky, I. V. Shturtz, V. R. Vassilyev:
Designing Fault-Tolerant Objects in Object-Oriented Programming. TOOLS (7) 1992: 199-205 - 1990
- [c1]Alexander B. Romanovsky, I. V. Sturtz:
Transparent structurization of parallel processes for backward recovery. SPDP 1990: 698-706
Coauthor Index
[c163] [j78] [j77] [c162] [c161] [j76] [j75] [i17] [c160] [c158] [c157] [c156] [c151] [c149] [c140] [c139] [c138] [c137] [c136] [i11] [c129] [c127] [c126] [c124] [j60] [c123] [c121] [c120] [c118] [j58] [c116] [c115] [c112] [c110] [c109] [c108] [c106] [c105] [c102] [c101] [c99] [c96] [c95] [p2] [c93] [c90] [c86] [c84] [c78] [c72] [c71] [c67] [c66] [c63]
Vyacheslav S. Kharchenko
aka: Vyacheslav Kharchenko
aka: Vyacheslav Kharchenko
Carlos José Pereira de Lucena
aka: Carlos Lucena
aka: Carlos Lucena
Alexandre Yakovlev
aka: Alex Yakovlev
aka: Alex Yakovlev
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
