Alexander B. Romanovsky

294 papers A* 8A 9B 32C 23Misc 16Journal 91Unranked 87

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Configurable Interlocking Verification. RSSRail Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
2025	C	`conf`	Proof Semantics of Railway Interlocking. ABZ Linas Laibinis, Alexei Iliasov, Alexander B. Romanovsky
2024	B	`conf`	Safety Invariant Engineering for Interlocking Verification. SAFECOMP Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
2023	J	`jnl`	A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
2023	J	`jnl`	Practical Verification of Railway Signalling Programs. IEEE Trans. Dependable Secur. Comput. Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
2023	—	`conf`	The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. RSSRail Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
2022	—	`conf`	Safety Invariant Verification that Meets Engineers' Expectations. RSSRail Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky
2021	J	`jnl`	A customisable pipeline for the semi-automated discovery of online activists and social campaigns on Twitter. World Wide Web Flavio Primo, Alexander B. Romanovsky, Rafael Maiani de Mello, Alessandro F. Garcia, Paolo Missier
2021	J	`jnl`	A refinement-based development of a distributed signalling system. Formal Aspects Comput. Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
2021	J	`jnl`	Mutation Testing for Rule-Based Verification of Railway Signaling Data. IEEE Trans. Reliab. Linas Laibinis, Alexei Iliasov, Alexander B. Romanovsky
2021	J	`jnl`	SafeCap: from formal verification of railway interlocking to its certification. CoRR Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
2021	J	`jnl`	Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. CoRR Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo
2020	J	`jnl`	Amdahl's law in the context of heterogeneous many-core systems - a survey. IET Comput. Digit. Tech. Mohammed A. Noaman Al-Hayanni, Fei Xia, Ashur Rafiev, Alexander B. Romanovsky, Rishad A. Shafik, Alex Yakovlev
2020	J	`jnl`	Dynamically Partitioning Workflow over Federated Clouds for Optimising the Monetary Cost and Handling Run-Time Failures. IEEE Trans. Cloud Comput. Zhenyu Wen, Rawaa Qasha, Zequn Li, Rajiv Ranjan, Paul Watson, Alexander B. Romanovsky
2020	C	`conf`	Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
2020	J	`jnl`	From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures. IEEE Trans. Reliab. Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk, Oleksandr Biloborodov
2020	J	`jnl`	GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed Clouds. IEEE Trans. Parallel Distributed Syst. Zhenyu Wen, Tao Lin, Renyu Yang, Shouling Ji, Rajiv Ranjan, Alexander B. Romanovsky, Chang-Ting Lin, Jie Xu
2020	—	`conf`	Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking Approach. EDCC Workshops Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk
2020	J	`jnl`	PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems. IEEE Trans. Computers Mohammed A. Noaman Al-Hayanni, Ashur Rafiev, Fei Xia, Rishad A. Shafik, Alexander B. Romanovsky, Alex Yakovlev
2019	B	`conf`	A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users. ICWE Flavio Primo, Paolo Missier, Alexander B. Romanovsky, Mickael Figueredo, Nélio Cacho
2019	—	`conf`	A Refinement Based Method for Developing Distributed Protocols. HASE Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
2019	J	`jnl`	A customisable pipeline for continuously harvesting socially-minded Twitter users. CoRR Flavio Primo, Paolo Missier, Alexander B. Romanovsky, Mickael Figueredo, Nélio Cacho
2019	B	`ed.`	Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings SAFECOMP Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch
2019	—	`ed.`	Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings SAFECOMP Workshops Alexander B. Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
2019	J	`jnl`	Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistency. J. Netw. Comput. Appl. Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk
2019	B	`conf`	Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
2019	—	`conf`	Quantitative Validation of Formal Domain Models. HASE Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis
2019	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings RSSRail Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky
2018	C	`conf`	Cost-aware Scheduling of Software Processes Execution in the Cloud. MODELSWARD Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina
2018	A	`conf`	DroidEH: An Exception Handling Mechanism for Android Applications. ISSRE Juliana Oliveira, Hivana Macedo, Nélio Cacho, Alexander B. Romanovsky
2018	J	`jnl`	Emergent Failures: Rethinking Cloud Reliability at Scale. IEEE Cloud Comput. Peter Garraghan, Renyu Yang, Zhenyu Wen, Alexander B. Romanovsky, Jie Xu, Rajkumar Buyya, Rajiv Ranjan
2018	B	`conf`	Formal Verification of Signalling Programs with SafeCap. SAFECOMP Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
2018	—	`conf`	Osmotic Monitoring of Microservices between the Edge and Cloud. HPCC/SmartCity/DSS Arthur Souza, Nélio Cacho, Ayman Noor, Prem Prakash Jayaraman, Alexander B. Romanovsky, Rajiv Ranjan
2018	J	`jnl`	Speedup and Power Scaling Models for Heterogeneous Many-Core Systems. IEEE Trans. Multi Scale Comput. Syst. Ashur Rafiev, Mohammed A. Noaman Al-Hayanni, Fei Xia, Rishad A. Shafik, Alexander B. Romanovsky, Alex Yakovlev
2018	J	`jnl`	Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16). NII Shonan Meet. Rep. Fuyuki Ishikawa, Alexander B. Romanovsky, Thierry Lecomte
2018	—	`conf`	Using Osmotic Services Composition for Dynamic Load Balancing of Smart City Applications. SOCA Arthur Souza, Zhenyu Wen, Nélio Cacho, Alexander B. Romanovsky, Philip James, Rajiv Ranjan
2018	J	`jnl`	VazaDengue: An information system for preventing and combating mosquito-borne diseases with social networks. Inf. Syst. Leonardo da Silva Sousa, Rafael Maiani de Mello, Diego Cedrim, Alessandro Garcia, Paolo Missier, Anderson G. Uchôa, Anderson Oliveira, Alexander B. Romanovsky
2017	Misc	`conf`	An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. EDCC Luke J. W. Martin, Alexander B. Romanovsky
2017	—	`conf`	Architecting Holistic Fault Tolerance. HASE Rem Gensh, Ashur Rafiev, Alexander B. Romanovsky, Alessandro F. Garcia, Fei Xia, Alex Yakovlev
2017	J	`jnl`	Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds. IEEE Trans. Serv. Comput. Zhenyu Wen, Jacek Cala, Paul Watson, Alexander B. Romanovsky
2017	—	`conf`	Enabling GSD Task Allocation via Cloud-Based Software Processes. SERA (selected papers) Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
2017	J	`jnl`	Enabling GSD Task Allocation via Cloud-based Software Processes. Int. J. Networked Distributed Comput. Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
2017	A	`conf`	Experience Report: Study of Vulnerabilities of Enterprise Operating Systems. ISSRE Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk, Oleksandr Biloborodov
2017	—	`conf`	Modelling for Systems with Holistic Fault Tolerance. SERENE Rem Gensh, Ashur Rafiev, Fei Xia, Alexander B. Romanovsky, Alex Yakovlev
2017	B	`conf`	Recruiting from the Network: Discovering Twitter Users Who Can Help Combat Zika Epidemics. ICWE Paolo Missier, Callum McClean, Jonathan Carlton, Diego Cedrim, Leonardo da Silva Sousa, Alessandro F. Garcia, Alexandre Plastino, Alexander B. Romanovsky
2017	J	`jnl`	Recruiting from the network: discovering Twitter users who can help combat Zika epidemics. CoRR Paolo Missier, Callum McClean, Jonathan Carlton, Diego Cedrim, Leonardo da Silva Sousa, Alessandro F. Garcia, Alexandre Plastino, Alexander B. Romanovsky
2017	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings RSSRail Alessandro Fantechi, Thierry Lecomte, Alexander B. Romanovsky
2017	—	`conf`	Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. ACSD Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander B. Romanovsky, Alexandre Yakovlev
2017	—	`ed.`	Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings SERENE Alexander B. Romanovsky, Elena Troubitsyna
2017	—	`conf`	Stochastic Activity Networks for the Verification of Knowledge Bases. SERENE Luke J. W. Martin, Alexander B. Romanovsky
2017	J	`jnl`	Voltage, Throughput, Power, Reliability, and Multicore Scaling. Computer 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
2016	—	`conf`	A Formal Approach to Designing Reliable Advisory Systems. SERENE Luke J. W. Martin, Alexander B. Romanovsky
2016	J	`jnl`	Automating Verification of Event-B Models. CoRR Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky
2016	C	`conf`	EXE-SPEM: Towards Cloud-based Executable Software Process Models. MODELSWARD Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
2016	—	`conf`	Formal Analysis of Railway Signalling Data. HASE Alexei Iliasov, Alexander B. Romanovsky
2016	—	`conf`	Formalisation-Driven Development of Safety-Critical Systems. HASE Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis
2016	—	`conf`	On structuring holistic fault tolerance. MODULARITY Rem Gensh, Alexander B. Romanovsky, Alex Yakovlev
2016	C	`conf`	Proving Event-B Models with Reusable Generic Lemmas. ICFEM Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky
2016	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings RSSRail Thierry Lecomte, Ralf Pinger, Alexander B. Romanovsky
2016	C	`conf`	Rodin Platform Why3 Plug-In. ABZ Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky
2016	C	`conf`	Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. FDL Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alexandre Yakovlev
2016	B	`conf`	Software Development in the Post-PC Era: Towards Software Development as a Service. PROFES Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina
2016	B	`conf`	Towards Cloud-Based Enactment of Safety-Related Processes. SAFECOMP Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg
2016	—	`conf`	Tracking Dengue Epidemics Using Twitter Content Classification and Topic Modelling. ICWE Workshops Paolo Missier, Alexander B. Romanovsky, Tudor Miu, Atinder Pal, Michael Daniilakis, Alessandro F. Garcia, Diego Cedrim, Leonardo da Silva Sousa
2016	J	`jnl`	Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling. CoRR Paolo Missier, Alexander B. Romanovsky, Tudor Miu, Atinder Pal, Michael Daniilakis, Alessandro F. Garcia, Diego Cedrim, Leonardo da Silva Sousa
2015	C	`conf`	A Formal Specification and Prototyping Language for Multi-core System Management. PDP Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander B. Romanovsky, Alexandre Yakovlev
2015	B	`conf`	A reactive architecture for cloud-based system engineering. ICSSP David Adjepon-Yamoah, Alexander B. Romanovsky, Alexei Iliasov
2015	B	`conf`	Cost Effective, Reliable, and Secure Workflow Deployment over Federated Clouds. CLOUD Zhenyu Wen, Jacek Cala, Paul Watson, Alexander B. Romanovsky
2015	—	`conf`	Engineering Cross-Layer Fault Tolerance in Many-Core Systems. SERENE Rem Gensh, Alexander B. Romanovsky, Alex Yakovlev
2015	Misc	`conf`	From Requirements Engineering to Safety Assurance: Refinement Approach. SETTA Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky
2015	—	`conf`	Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. ACSD Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alex Yakovlev
2015	C	`conf`	The Impact of Consistency on System Latency in Fault Tolerant Internet Computing. DAIS Olga Tarasyuk, Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Vitalii Ruban
2014	—	`conf`	Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. SERENE Alexei Iliasov, Roberto Palacin, Alexander B. Romanovsky
2014	—	`conf`	ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. ES4CPS@DATE Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev
2014	Misc	`conf`	Practical Formal Methods in Railways - The SafeCap Approach. Ada-Europe Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
2014	Misc	`conf`	Rigorous Development of Fault-Tolerant Systems through Co-refinement. Ada-Europe Ilya Lopatkin, Alexander B. Romanovsky
2014	J	`jnl`	Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14). NII Shonan Meet. Rep. Fuyuki Ishikawa, Alexander B. Romanovsky
2014	J	`jnl`	Special issue on Automated Verification of Critical Systems (AVoCS'11). Sci. Comput. Program. Cliff B. Jones, Alexander B. Romanovsky
2014	—	`conf`	Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. ACSD Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev
2014	J	`jnl`	Synthesis of Processor Instruction Sets from High-Level ISA Specifications. IEEE Trans. Computers Andrey Mokhov, Alexei Iliasov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev, Alexander B. Romanovsky
2014	J	`jnl`	The Tenth European Dependable Computer Conference. CoRR Alexander B. Romanovsky, Marc-Olivier Killijian
2014	—	`conf`	Towards Cloud-Based Software Process Modelling and Enactment. CloudMDE@MoDELS Sami Alajrami, Alexander B. Romanovsky, Paul Watson, Andreas Roth
2013	—	`ch.`	After and Outside DEPLOY: The DEPLOY Ecosystem. Industrial Deployment of System Engineering Methods Alexander B. Romanovsky
2013	J	`jnl`	Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2013	J	`jnl`	Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). Dagstuhl Reports Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna
2013	C	`conf`	Fault modelling for systems of systems. ISADS Zoe Andrews, John S. Fitzgerald, Richard John Payne, Alexander B. Romanovsky
2013	—	`book`	Industrial Deployment of System Engineering Methods Alexander B. Romanovsky, Martyn Thomas
2013	—	`ch.`	Industrial Software Engineering and Formal Methods. Industrial Deployment of System Engineering Methods Martyn Thomas, Alexander B. Romanovsky
2013	—	`ch.`	Integrated Project DEPLOY. Industrial Deployment of System Engineering Methods Alexander B. Romanovsky
2013	—	`ch.`	Introducing Formal Methods into Existing Industrial Practices. Industrial Deployment of System Engineering Methods Martyn Thomas, Alexander B. Romanovsky
2013	—	`ch.`	Introduction. Industrial Deployment of System Engineering Methods Alexander B. Romanovsky, Martyn Thomas
2013	—	`conf`	Model-based development of fault tolerant systems of systems. SysCon Zoe Andrews, Richard John Payne, Alexander B. Romanovsky, André Didier, Alexandre Mota
2013	—	`ed.`	Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings SERENE Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko
2013	B	`conf`	The SafeCap Platform for Modelling Railway Safety and Capacity. SAFECOMP Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
2013	—	`conf`	The SafeCap Project on Railway Safety Verification and Capacity Simulation. SERENE Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
2013	J	`jnl`	Time-Outing Internet Services. IEEE Secur. Priv. Anatoliy Gorbenko, Alexander B. Romanovsky
2012	—	`conf`	Augmenting Event-B modelling with real-time verification. FormSERA@ICSE Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala
2012	—	`conf`	Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling. SERENE Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Olga Tarasyuk
2012	J	`jnl`	Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project. ACM SIGSOFT Softw. Eng. Notes Alexander B. Romanovsky
2012	Misc	`conf`	Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time. EDCC Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk, Alexander B. Romanovsky
2012	J	`jnl`	Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012) CoRR Fuyuki Ishikawa, Alexander B. Romanovsky
2011	C	`conf`	Formal Derivation of a Distributed Program in Event B. ICFEM Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky
2011	—	`conf`	Patterns for Representing FMEA in Formal Specification of Control Systems. HASE Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
2011	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel
2011	Misc	`ed.`	Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings Ada-Europe Alexander B. Romanovsky, Tullio Vardanega
2011	A	`conf`	Rigorous Development of Dependable Systems Using Fault Tolerance Views. ISSRE Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
2011	—	`conf`	Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. SERENE Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexander B. Romanovsky
2010	J	`jnl`	An Introduction to Software Engineering and Fault Tolerance CoRR Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander B. Romanovsky
2010	C	`conf`	Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2010	J	`jnl`	Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance. IEEE Trans. Software Eng. Alessandro Garcia, Alexander B. Romanovsky, Valérie Issarny
2010	Misc	`conf`	MetaSelf: an architecture and a development method for dependable self-* systems. SAC Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky
2010	—	`conf`	On fault tolerance reuse during refinement. SERENE Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
2010	B	`conf`	Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth
2010	B	`conf`	Real Distribution of Response Time Instability in Service-Oriented Architecture. SRDS Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk, Yuhui Chen, Alexander B. Romanovsky
2010	—	`conf`	Supporting Reuse in Event B Development: Modularisation Approach. ASM Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2010	B	`conf`	Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
2009	B	`conf`	Benchmarking Dependability of a System Biology Application. ICECCS Yuhui Chen, Alexander B. Romanovsky, Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk
2009	B	`conf`	Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. ICECCS Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth
2009	J	`jnl`	Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. J. Syst. Softw. Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino Francisco Zorzo
2009	J	`jnl`	Improving reliability of cooperative concurrent systems with exception flow analysis. J. Syst. Softw. Fernando Castor Filho, Alexander B. Romanovsky, Cecília M. F. Rubira
2009	—	`book`	Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna
2009	C	`conf`	Modal Systems: Specification, Refinement and Realisation. ICFEM Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky
2009	—	`conf`	Patterns for Refinement Automation. FMCO Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky
2009	—	`ch.`	Step-Wise Development of Resilient Ambient Campus Scenarios. Methods, Models and Tools for Fault Tolerance Alexei Iliasov, Budi Arief, Alexander B. Romanovsky
2009	—	`conf`	Structuring Specifications with Modes. LADC Alexei Iliasov, Alexander B. Romanovsky, Fernando Luís Dotti
2009	—	`ch.`	Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. Methods, Models and Tools for Fault Tolerance Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander B. Romanovsky
2008	—	`conf`	A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. Organic Computing - Controlled Self-organization Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi
2008	J	`jnl`	An aspect-oriented software architecture for code mobility. Softw. Pract. Exp. Cidiane Lobato, Alessandro Garcia, Alexander B. Romanovsky, Carlos José Pereira de Lucena
2008	J	`jnl`	DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity.. ERCIM News Alexander B. Romanovsky
2008	—	`conf`	DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. SERENE Alexander B. Romanovsky
2008	J	`jnl`	DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. ACM SIGSOFT Softw. Eng. Notes Alexander B. Romanovsky
2008	—	`conf`	Experimenting with exception propagation mechanisms in service-oriented architecture. Workshop on Exception Handling Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Alexey Mikhaylichenko
2008	—	`conf`	Formal development of cooperative exception handling for mobile agent systems. SERENE Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky
2008	B	`conf`	How to Enhance UDDI with Dependability Capabilities. COMPSAC Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko
2008	J	`jnl`	Improving the Dependability of Web Services Integration. IT Prof. Yuhui Chen, Alexander B. Romanovsky
2008	—	`conf`	MASTAC: new curriculum for master and doctoral studies in critical software and computing. SEESE@ICSE Vyacheslav Kharchenko, Chris Phillips, Peter T. Popov, Oksana Pomorova, Alexander B. Romanovsky, Elena Troubitsyna
2008	Misc	`conf`	Refinement Patterns for Fault Tolerant Systems. EDCC Alexei Iliasov, Alexander B. Romanovsky
2008	—	`ed.`	SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008 SERENE Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
2008	J	`jnl`	Special issue: Engineering Fault Tolerant Systems. Comput. Syst. Sci. Eng. Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
2008	Misc	`conf`	Special track on Dependable and Adaptive Distributed Systems: editorial message. SAC Karl M. Göschka, Svein O. Hallsteinsen, Rui Oliveira, Alexander B. Romanovsky
2008	—	`conf`	The threat of uncertainty in service-oriented architecture. SERENE Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Yuhui Chen, Alexander B. Romanovsky
2007	—	`conf`	A Framework for Open Distributed System Design. COMPSAC (2) Alexei Iliasov, Alexander B. Romanovsky, Budi Arief
2007	J	`jnl`	A looming fault tolerance software crisis? ACM SIGSOFT Softw. Eng. Notes Alexander B. Romanovsky
2007	Misc	`conf`	A metadata-based architectural model for dynamically resilient systems. SAC Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi
2007	B	`ed.`	Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA] WADS Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2007	—	`conf`	Architecting Fault Tolerant Systems. WICSA Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
2007	A	`conf`	Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. ISSRE Barbara Gallina, Nicolas Guelfi, Alexander B. Romanovsky
2007	—	`conf`	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
2007	—	`conf`	On Exceptions, Exception Handling, Requirements and Software Lifecycle. HASE Alexander B. Romanovsky
2007	C	`conf`	On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. ISORC Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna
2007	J	`jnl`	On composing Dependable Web Services using undependable web components. Int. J. Simul. Process. Model. Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander B. Romanovsky
2007	—	`ed.`	Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 EFTS Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
2007	—	`ed.`	Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]. SELMAS (LNCS) Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky
2006	—	`conf`	06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky
2006	—	`conf`	06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky
2006	—	`conf`	A modular implementation framework for code mobility. Mobility Conference Cidiane Lobato, Alessandro Garcia, Carlos Lucena, Alexander B. Romanovsky
2006	—	`ed.`	Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops) Advanced Topics in Exception Handling Techniques Christophe Dony, Jørgen Lindskov Knudsen, Alexander B. Romanovsky, Anand Tripathi
2006	J	`jnl`	Architecting dependable systems. J. Syst. Softw. Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2006	—	`ed.`	Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006 Atomicity: A Unifying Concept in Computer Science Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum
2006	A	`conf`	CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo
2006	—	`conf`	Context-aware exception handling in mobile agent systems: the MoCA case. SELMAS Karla Damasceno, Nélio Cacho, Alessandro F. Garcia, Alexander B. Romanovsky, Carlos Lucena
2006	Misc	`conf`	Editorial message: special track on dependable and adaptive distributed systems. SAC Karl M. Göschka, Svein O. Hallsteinsen, Rui Oliveira, Alexander B. Romanovsky
2006	—	`conf`	Exception Handling in Context-Aware Agent Systems: A Case Study. SELMAS (LNCS) Nélio Cacho, Karla Damasceno, Alessandro F. Garcia, Alexander B. Romanovsky, Carlos José Pereira de Lucena
2006	A*	`conf`	Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS). ICSE Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos José Pereira de Lucena, Holger Giese, Alexander B. Romanovsky
2006	—	`conf`	Introduction to the SELMAS 2006. SELMAS Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos Lucena, Holger Giese, Alexander B. Romanovsky
2006	C	`conf`	Looking Ahead in Open Multithreaded Transactions. ISORC Maxime Monod, Jörg Kienzle, Alexander B. Romanovsky
2006	—	`conf`	Measuring the Dependability of Web Services for Use in e-Science Experiments. ISAS Peter Li, Yuhui Chen, Alexander B. Romanovsky
2006	—	`conf`	On Developing Open Mobile Fault Tolerant Agent Systems. SELMAS (LNCS) Budi Arief, Alexei Iliasov, Alexander B. Romanovsky
2006	—	`conf`	On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. RODIN Book Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky
2006	—	`conf`	On using the CAMA framework for developing open mobile fault tolerant agent systems. SELMAS Budi Arief, Alexei Iliasov, Alexander B. Romanovsky
2006	—	`ed.`	Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, SELMAS '06, Shanghai, China, May 22-23, 2006 SELMAS Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky
2006	—	`ed.`	Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] RODIN Book Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna
2006	—	`conf`	Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky
2006	—	`ed.`	Software Engineering for Multi-Agent Systems IV, Research Issues and Practical Applications [the book is a result of SELMAS 2005]. SELMAS (LNCS) Alessandro F. Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Paolo Giorgini, Tom Holvoet, Alexander B. Romanovsky
2006	J	`jnl`	Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report. ACM SIGSOFT Softw. Eng. Notes Alessandro Garcia, Holger Giese, Alexander B. Romanovsky, Ricardo Choren, Ho-fung Leung, Carlos José Pereira de Lucena, Florian Klein, Eric Platon
2006	—	`conf`	Structured Coordination Spaces for Fault Tolerant Mobile Agents. Advanced Topics in Exception Handling Techniques Alexei Iliasov, Alexander B. Romanovsky
2006	Misc	`conf`	Verification of coordinated exception handling. SAC Fernando Castor Filho, Alexander B. Romanovsky, Cecília M. F. Rubira
2006	A	`conf`	Workshop on Architecting Dependable Systems (WADS). DSN Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2005	B	`ed.`	Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops] WADS Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2005	—	`conf`	Error Recovery for a Boiler System with OTS PID Controller. WORDS Tom Anderson, Mei Feng, Steve Riddle, Alexander B. Romanovsky
2005	—	`conf`	Exception Handling in Coordination-Based Mobile Environments. COMPSAC (1) Alexei Iliasov, Alexander B. Romanovsky
2005	J	`jnl`	ICSE 2004 workshop on architecting dependable systems. ACM SIGSOFT Softw. Eng. Notes Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2005	J	`jnl`	ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005). ACM SIGSOFT Softw. Eng. Notes Rogério de Lemos, Alexander B. Romanovsky
2005	—	`ed.`	Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers FIDJI Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky
2005	J	`jnl`	Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report. ACM SIGSOFT Softw. Eng. Notes Alessandro Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky, Holger Giese, Danny Weyns, Tom Holvoet, Paolo Giorgini
2005	—	`ed.`	Software Engineering for Multi-Agent Systems III, Research Issues and Practical Applications [the book is a result of SELMAS 2004]. SELMAS Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Alexander B. Romanovsky
2005	A*	`conf`	Software engineering for large-scale multi-agent systems - SELMAS'05. ICSE Alessandro F. Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky, Tom Holvoet, Paolo Giorgini
2005	—	`conf`	Software engineering for large-scale multi-agent systems - SELMAS'05. SELMAS Alessandro F. Garcia, Ricardo Choren, Carlos Lucena, Alexander B. Romanovsky, Tom Holvoet, Paolo Giorgini
2005	J	`jnl`	Software engineering for large-scale multi-agent systems - SELMAS'05. ACM SIGSOFT Softw. Eng. Notes Alessandro Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky, Tom Holvoet, Paolo Giorgini
2005	J	`jnl`	The Atomic Manifesto. J. Univers. Comput. Sci. Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum
2005	J	`jnl`	The atomic manifesto: a story in four quarks. SIGMOD Rec. 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
2005	J	`jnl`	The atomic manifesto: a story in four quarks. ACM SIGOPS Oper. Syst. Rev. 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
2005	A*	`conf`	Workshop on architecting dependable systems (WADS 2005). ICSE Rogério de Lemos, Alexander B. Romanovsky
2004	B	`ed.`	Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems] WADS Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2004	—	`ed.`	Atomicity in System Design and Execution, 25.04. - 30.04.2004 Atomicity in System Design and Execution Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum
2004	B	`conf`	Dependable Composite Web Services with Components Upgraded Online. WADS Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Peter T. Popov, Alexander B. Romanovsky
2004	A*	`conf`	Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04. ICSE Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander B. Romanovsky
2004	—	`ed.`	Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications [the book is a result of SELMAS 2003] SELMAS Carlos José Pereira de Lucena, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar
2004	J	`jnl`	Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report. ACM SIGSOFT Softw. Eng. Notes 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
2004	—	`conf`	The Atomic Manifesto: a Story in Four Quarks. Atomicity in System Design and Execution 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
2004	—	`conf`	Towards an Engineering Approach to Component Adaptation. Architecting Systems with Trustworthy Components Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander B. Romanovsky, Massimo Tivoli
2004	A	`conf`	Twin Workshops on Architecting Dependable Systems (WADS 2004). DSN Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2004	A*	`conf`	Twin Workshops on Architecting Dependable Systems (WADS 2004). ICSE Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2004	—	`conf`	Wrapping the future. IFIP Congress Topical Sessions Tom Anderson, Brian Randell, Alexander B. Romanovsky
2003	B	`conf`	A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers. WADS Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos
2003	—	`conf`	A fault-tolerant software architecture for COTS-based software systems. ESEC / SIGSOFT FSE Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos
2003	B	`ed.`	Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems] WADS Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2003	B	`conf`	Coordinated Forward Error Recovery for Composite Web Services. SRDS Ferda Tartanoglu, Valérie Issarny, Alexander B. Romanovsky, Nicole Lévy
2003	—	`conf`	Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms. ECOOP Workshops Alexander B. Romanovsky, Christophe Dony, Anand Tripathi, Jørgen Lindskov Knudsen
2003	A*	`conf`	ICSE 2003 Workshop on Software Architectures for Dependable Systems. ICSE Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2003	J	`jnl`	ICSE 2003 workshop on software architectures for dependable systems. ACM SIGSOFT Softw. Eng. Notes Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2003	C	`conf`	Integrating COTS Software Components into Dependable Software Architectures. ISORC Paulo Asterio de Castro Guerra, Alexander B. Romanovsky, Rogério de Lemos
2003	—	`conf`	Protective Wrapper Development: A Case Study. ICCBSS Tom Anderson, Mei Feng, Steve Riddle, Alexander B. Romanovsky
2003	A*	`conf`	Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003. ICSE 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
2003	J	`jnl`	Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report. ACM SIGSOFT Softw. Eng. Notes 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
2003	C	`conf`	Structuring Integrated Web Applications for Fault Tolerance. ISADS Alexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo
2003	Misc	`conf`	Transactions and Groups as Generic Building Blocks for Software Fault Tolerance. Ada-Europe Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky
2003	—	`conf`	Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. WORDS Avelino F. Zorzo, Panayiotis Periorellis, Alexander B. Romanovsky
2002	—	`conf`	A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. Symposium on Object-Oriented Real-Time Distributed Computing Jie Xu, Brian Randell, Alexander B. Romanovsky
2002	B	`conf`	A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC Cliff B. Jones, Alexander B. Romanovsky, Ian Welch
2002	B	`conf`	Architectural Mismatch Tolerance. WADS Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2002	—	`conf`	Auction System Design Using Open Multithreaded Transactions. WORDS Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky
2002	B	`conf`	Dependability in the Web Services Architecture. WADS Ferda Tartanoglu, Valérie Issarny, Alexander B. Romanovsky, Nicole Lévy
2002	B	`conf`	Dependable On-Line Upgrading of Distributed Systems. COMPSAC Alexander B. Romanovsky, Iain Smith
2002	—	`conf`	Designing Fault-Tolerant Mobile Systems. FIDJI Giovanna Di Marzo Serugendo, Alexander B. Romanovsky
2002	J	`jnl`	Framework based on design patterns for providing persistence in object-oriented programming languages. IEE Proc. Softw. Jörg Kienzle, Alexander B. Romanovsky
2002	A*	`conf`	ICSE 2002 workshop on architecting dependable systems. ICSE Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
2002	J	`jnl`	On version state recovery and adjudication in class diversity. Comput. Syst. Sci. Eng. Alexander B. Romanovsky
2002	J	`jnl`	Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
2002	—	`conf`	Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. FIDJI Cliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch
2001	—	`conf`	7th Workshop on Mobile Object Systems. ECOOP Workshops Ciarán Bryce, Alexander B. Romanovsky
2001	J	`jnl`	A comparative study of exception handling mechanisms for building dependable object-oriented software. J. Syst. Softw. Alessandro F. Garcia, Cecília M. F. Rubira, Alexander B. Romanovsky, Jie Xu
2001	J	`jnl`	A distributed coordinated atomic action scheme. Comput. Syst. Sci. Eng. Alexander B. Romanovsky, Avelino F. Zorzo
2001	—	`ed.`	Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop) Advances in Exception Handling Techniques Alexander B. Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi
2001	—	`conf`	An Evolutionary and Adaptive Approach for n-Version Programming. EUROMICRO Karl-Erwin Großpietsch, Alexander B. Romanovsky
2001	—	`conf`	Aspects of Exceptions at the Meta-level. Reflection Ian Welch, Robert J. Stroud, Alexander B. Romanovsky
2001	J	`jnl`	Conversations with fixed and potential participants. J. Syst. Archit. Alexander B. Romanovsky, Paul D. Ezhilchelvan
2001	J	`jnl`	Coordinated atomic actions: how to remain ACID in the modern world. ACM SIGSOFT Softw. Eng. Notes Alexander B. Romanovsky
2001	B	`conf`	Exception Handling in Component-Based System Development. COMPSAC Alexander B. Romanovsky
2001	J	`jnl`	Exception handling in the software lifecycle. Comput. Syst. Sci. Eng. Rogério de Lemos, Alexander B. Romanovsky
2001	B	`conf`	Looking Ahead in Atomic Actions with Exception Handling. SRDS Alexander B. Romanovsky
2001	J	`jnl`	Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2001	C	`conf`	On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. ISORC Delano M. Beder, Cecília M. F. Rubira, Brian Randell, Alexander B. Romanovsky
2001	—	`conf`	On Systematic Design of Protectors for Employing OTS Items. EUROMICRO Peter T. Popov, Lorenzo Strigini, Steve Riddle, Alexander B. Romanovsky
2001	—	`conf`	Open Multithreaded Transactions: Keeping Threads and Exceptions under Control. WORDS Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky
2001	Misc	`conf`	Transaction Support for Ada. Ada-Europe Jörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez
2000	—	`conf`	Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems. Advances in Exception Handling Techniques Alexander B. Romanovsky, Jörg Kienzle
2000	J	`jnl`	An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. ACM SIGOPS Oper. Syst. Rev. Delano M. Beder, Alexander B. Romanovsky, Brian Randell, C. Richard Snow, Robert J. Stroud
2000	C	`conf`	An Exception Handling Framework for N-Version Programming in Object-Oriented Systems. ISORC Alexander B. Romanovsky
2000	—	`conf`	Combining tasking and transactions, part II: open multithreaded transactions. IRTAW Jörg Kienzle, Alexander B. Romanovsky
2000	J	`jnl`	Concurrent Exception Handling and Resolution in Distributed Object Systems. IEEE Trans. Parallel Distributed Syst. Jie Xu, Alexander B. Romanovsky, Brian Randell
2000	—	`conf`	Exception Handling in Object Oriented Systems. ECOOP Workshops Alexander B. Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi
2000	J	`jnl`	Extending conventional languages by distributed/concurrent exception resolution. J. Syst. Archit. Alexander B. Romanovsky
2000	J	`jnl`	Faulty version recovery in object-oriented N-version programming. IEE Proc. Softw. Alexander B. Romanovsky
2000	J	`jnl`	Guest Editors' Introduction - Current Trends in Exception Handling. IEEE Trans. Software Eng. Dewayne E. Perry, Alexander B. Romanovsky, Anand Tripathi
2000	J	`jnl`	Guest Editors' Introduction-Current Trends in Exception Handling. IEEE Trans. Software Eng. Dewayne E. Perry, Alexander B. Romanovsky, Anand Tripathi
2000	Misc	`conf`	On Persistent and Reliable Streaming in Ada. Ada-Europe Jörg Kienzle, Alexander B. Romanovsky
2000	—	`conf`	On developing and verifying design abstractions for reliable concurrent programming in Ada. IRTAW Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2000	—	`conf`	Supporting Evolution of Interface Exceptions. Advances in Exception Handling Techniques Anna Mikhailova, Alexander B. Romanovsky
2000	—	`conf`	Using COALA to Develop a Distributed Object-Based Application. DOA Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky
1999	—	`conf`	Abstract Object State and Version Recovery in N-Version Programming. TOOLS (29) Alexander B. Romanovsky
1999	B	`conf`	Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. SAFECOMP Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky
1999	J	`jnl`	Class diversity support in object-oriented languages. J. Syst. Softw. Alexander B. Romanovsky
1999	J	`jnl`	Coordinated atomic actions as a technique for implementing distributed gamma computation. J. Syst. Archit. Alexander B. Romanovsky, Avelino Francisco Zorzo
1999	C	`conf`	Engineering Look-ahead in Distributed Conversations. ISADS Paul D. Ezhilchelvan, Alexander B. Romanovsky
1999	C	`conf`	Exception Handling in a Cooperative Object-Oriented Approach. ISORC Rogério de Lemos, Alexander B. Romanovsky
1999	B	`conf`	Formal Development and Validation of Java Dependable Distributed Systems. ICECCS Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo
1999	J	`jnl`	On Structuring Cooperative and Competitive Concurrent Systems. Comput. J. Alexander B. Romanovsky
1999	—	`conf`	Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
1999	J	`jnl`	Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Softw. Pract. Exp. Avelino F. Zorzo, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch
1998	J	`jnl`	A study of atomic action schemes intended for standard Ada. J. Syst. Softw. Alexander B. Romanovsky
1998	C	`conf`	Coordinated Atomic Actions in Modelling Objects Cooperation. ISORC Rogério de Lemos, Alexander B. Romanovsky
1998	A	`conf`	Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. ICDCS Jie Xu, Alexander B. Romanovsky, Brian Randell
1998	J	`jnl`	Distributed Atomic Actions in Ada 95. Comput. J. Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky
1998	C	`conf`	Exception Handling in Object-Oriented Real-Time Distributed Systems. ISORC Alexander B. Romanovsky, Jie Xu, Brian Randell
1997	J	`jnl`	Conversational Group Service. ACM SIGOPS Oper. Syst. Rev. Alexander B. Romanovsky
1997	J	`jnl`	Coordinated backward between client processes and data servers. IEE Proc. Softw. Eng. Lorenzo Strigini, Felicita Di Giandomenico, Alexander B. Romanovsky
1997	J	`jnl`	Implementation of blocking coordinated atomic actions based on forward error recovery. J. Syst. Archit. Alexander B. Romanovsky, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo
1997	J	`jnl`	On Distribution of Coordinated Atomic Actions. ACM SIGOPS Oper. Syst. Rev. Alexander B. Romanovsky, Avelino F. Zorzo
1997	Misc	`conf`	On Programming Atomic Actions in Ada 95. Ada-Europe Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings
1997	J	`jnl`	Practical Exception Handling and Resolution in Concurrent Programs. Comput. Lang. Alexander B. Romanovsky
1996	J	`jnl`	Application specific conversation schemes for ADA programs. Microprocess. Microprogramming Alexander B. Romanovsky
1996	A	`conf`	Exception Handling and Resolution in Distributed Object-oriented Systems. ICDCS Jie Xu, Alexander B. Romanovsky, Brian Randell
1995	J	`jnl`	Backward error recovery via conversations in Ada. Softw. Eng. J. Alexander B. Romanovsky, Lorenzo Strigini
1995	J	`jnl`	Conversations of Objects. Comput. Lang. Alexander B. Romanovsky
1995	—	`conf`	Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. FTCS Jie Xu, Brian Randell, Alexander B. Romanovsky, Cecília M. F. Rubira, Robert J. Stroud, Zhixue Wu
1995	J	`jnl`	How to make a recoverable server by synchronization code inheriting. OOPS Messenger Alexander B. Romanovsky
1995	J	`jnl`	Software Diversity as a Way to Well-Structured Concurrent Software. ACM SIGOPS Oper. Syst. Rev. Alexander B. Romanovsky
1994	J	`jnl`	About Conversations for Concurrent OO Languages. ACM SIGPLAN Notices Alexander B. Romanovsky
1994	J	`jnl`	The problems of designing a conversation scheme for concurrent object oriented languages. Microprocess. Microprogramming Alexander B. Romanovsky
1993	J	`jnl`	Fault Tolerance: Synchronization of Redundancy. ACM SIGOPS Oper. Syst. Rev. Alexander B. Romanovsky
1992	—	`conf`	Designing Fault-Tolerant Objects in Object-Oriented Programming. TOOLS (7) Alexander B. Romanovsky, I. V. Shturtz, V. R. Vassilyev
1992	—	`conf`	Synchronization as a framework for distributed system fault-tolerance design. ACM SIGOPS European Workshop Alexander B. Romanovsky
1990	—	`conf`	Transparent structurization of parallel processes for backward recovery. SPDP Alexander B. Romanovsky, I. V. Sturtz