Alexander B. Romanovsky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
82
Venues
25
Active years
1996–2024
Best venue rank
A*
Where they publish
- A*ICSE14 papers
- CISORC9 papers
- BSAFECOMP6 papers
- BCOMPSAC6 papers
- BICECCS5 papers
- AISSRE5 papers
- MulticonferenceSAC5 papers
- UnrankedEDCC4 papers
- BICWE3 papers
- CICFEM3 papers
- CISADS3 papers
- BSRDS3 papers
- CMODELSWARD2 papers
- ADSN2 papers
- AICDCS2 papers
- CHPCC1 paper
- CSERA1 paper
- CFDL1 paper
- BPROFES1 paper
- CDAIS1 paper
- CPDP1 paper
- NationalSETTA1 paper
- ADATE1 paper
- AMODELS1 paper
- CFMICS1 paper
Papers
82 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | Safety Invariant Engineering for Interlocking Verification. | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
| 2020 | EDCC | Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking Approach. | Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk |
| 2019 | ICECCS | Modelling Hybrid Train Speed Controller using Proof and Refinement. | Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine At Ameur, Alexei Iliasov, Alexander B. Romanovsky |
| 2019 | ICWE | A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users. | Flavio Primo, Paolo Missier, Alexander B. Romanovsky, Mickael Figueredo, Nlio Cacho |
| 2018 | HPCC | Osmotic Monitoring of Microservices between the Edge and Cloud. | Arthur Souza, Nlio Cacho, Ayman Noor, Prem Prakash Jayaraman, Alexander B. Romanovsky, Rajiv Ranjan |
| 2018 | ISSRE | DroidEH: An Exception Handling Mechanism for Android Applications. | Juliana Oliveira, Hivana Macedo, Nlio Cacho, Alexander B. Romanovsky |
| 2018 | MODELSWARD | Cost-aware Scheduling of Software Processes Execution in the Cloud. | Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina |
| 2018 | SAFECOMP | Formal Verification of Signalling Programs with SafeCap. | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
| 2017 | EDCC | An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. | Luke J. W. Martin, Alexander B. Romanovsky |
| 2017 | ICWE | Recruiting from the Network: Discovering Twitter Users Who Can Help Combat Zika Epidemics. | Paolo Missier, Callum McClean, Jonathan Carlton, Diego Cedrim, Leonardo da Silva Sousa, Alessandro F. Garcia, Alexandre Plastino, Alexander B. Romanovsky |
| 2017 | ISSRE | Experience Report: Study of Vulnerabilities of Enterprise Operating Systems. | Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk, Oleksandr Biloborodov |
| 2017 | SERA | Enabling GSD Task Allocation via Cloud-Based Software Processes. | Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky |
| 2016 | FDL | Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. | Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alexandre Yakovlev |
| 2016 | ICFEM | Proving Event-B Models with Reusable Generic Lemmas. | Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky |
| 2016 | ICWE | Tracking Dengue Epidemics Using Twitter Content Classification and Topic Modelling. | Paolo Missier, Alexander B. Romanovsky, Tudor Miu, Atinder Pal, Michael Daniilakis, Alessandro F. Garcia, Diego Cedrim, Leonardo da Silva Sousa |
| 2016 | MODELSWARD | EXE-SPEM: Towards Cloud-based Executable Software Process Models. | Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky |
| 2016 | PROFES | Software Development in the Post-PC Era: Towards Software Development as a Service. | Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina |
| 2016 | SAFECOMP | Towards Cloud-Based Enactment of Safety-Related Processes. | Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg |
| 2015 | DAIS | The Impact of Consistency on System Latency in Fault Tolerant Internet Computing. | Olga Tarasyuk, Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Vitalii Ruban |
| 2015 | PDP | A Formal Specification and Prototyping Language for Multi-core System Management. | Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander B. Romanovsky, Alexandre Yakovlev |
| 2015 | SETTA | From Requirements Engineering to Safety Assurance: Refinement Approach. | Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky |
| 2014 | DATE | ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. | Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev |
| 2014 | MODELS | Towards Cloud-Based Software Process Modelling and Enactment. | Sami Alajrami, Alexander B. Romanovsky, Paul Watson, Andreas Roth |
| 2013 | ISADS | Fault modelling for systems of systems. | Zoe Andrews, John S. Fitzgerald, Richard John Payne, Alexander B. Romanovsky |
| 2013 | SAFECOMP | The SafeCap Platform for Modelling Railway Safety and Capacity. | Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky |
| 2012 | EDCC | Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time. | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk, Alexander B. Romanovsky |
| 2012 | ICSE | Augmenting Event-B modelling with real-time verification. | Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala |
| 2011 | ICFEM | Formal Derivation of a Distributed Program in Event B. | Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky |
| 2011 | ISSRE | Rigorous Development of Dependable Systems Using Fault Tolerance Views. | Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky |
| 2010 | FMICS | Developing Mode-Rich Satellite Software by Refinement in Event B. | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
| 2010 | ICECCS | Patterns for Modelling Time and Consistency in Business Information Systems. | Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth |
| 2010 | SAC | MetaSelf: an architecture and a development method for dependable self-* systems. | Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky |
| 2010 | SAFECOMP | Verifying Mode Consistency for On-Board Satellite Software. | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Visnen, Dubravka Ilic, Timo Latvala |
| 2010 | SRDS | Real Distribution of Response Time Instability in Service-Oriented Architecture. | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk, Yuhui Chen, Alexander B. Romanovsky |
| 2009 | ICECCS | Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. | Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth |
| 2009 | ICECCS | Benchmarking Dependability of a System Biology Application. | Yuhui Chen, Alexander B. Romanovsky, Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk |
| 2009 | ICFEM | Modal Systems: Specification, Refinement and Realisation. | Fernando Lus Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky |
| 2008 | COMPSAC | How to Enhance UDDI with Dependability Capabilities. | Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko |
| 2008 | EDCC | Refinement Patterns for Fault Tolerant Systems. | Alexei Iliasov, Alexander B. Romanovsky |
| 2008 | ICSE | MASTAC: new curriculum for master and doctoral studies in critical software and computing. | Vyacheslav Kharchenko, Chris Phillips, Peter T. Popov, Oksana Pomorova, Alexander B. Romanovsky, Elena Troubitsyna |
| 2008 | SAC | Special track on Dependable and Adaptive Distributed Systems: editorial message. | Karl M. Gschka, Svein O. Hallsteinsen, Rui Oliveira, Alexander B. Romanovsky |
| 2007 | COMPSAC | A Framework for Open Distributed System Design. | Alexei Iliasov, Alexander B. Romanovsky, Budi Arief |
| 2007 | ISORC | On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. | Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna |
| 2007 | ISSRE | Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. | Barbara Gallina, Nicolas Guelfi, Alexander B. Romanovsky |
| 2007 | SAC | A metadata-based architectural model for dynamically resilient systems. | Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi |
| 2006 | DSN | Workshop on Architecting Dependable Systems (WADS). | Rogrio de Lemos, Cristina Gacek, Alexander B. Romanovsky |
| 2006 | ICSE | Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS). | Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos Jos Pereira de Lucena, Holger Giese, Alexander B. Romanovsky |
| 2006 | ISORC | Looking Ahead in Open Multithreaded Transactions. | Maxime Monod, Jrg Kienzle, Alexander B. Romanovsky |
| 2006 | ISSRE | CAA-DRIP: a framework for implementing Coordinated Atomic Actions. | Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo |
| 2006 | SAC | Verification of coordinated exception handling. | Fernando Castor Filho, Alexander B. Romanovsky, Ceclia M. F. Rubira |
| 2006 | SAC | Editorial message: special track on dependable and adaptive distributed systems. | Karl M. Gschka, Svein O. Hallsteinsen, Rui Oliveira, Alexander B. Romanovsky |
| 2005 | COMPSAC | Exception Handling in Coordination-Based Mobile Environments. | Alexei Iliasov, Alexander B. Romanovsky |
| 2005 | ICSE | Software engineering for large-scale multi-agent systems - SELMAS'05. | Alessandro F. Garcia, Ricardo Choren, Carlos Jos Pereira de Lucena, Alexander B. Romanovsky, Tom Holvoet, Paolo Giorgini |
| 2005 | ICSE | Workshop on architecting dependable systems (WADS 2005). | Rogrio de Lemos, Alexander B. Romanovsky |
| 2004 | DSN | Twin Workshops on Architecting Dependable Systems (WADS 2004). | Rogrio de Lemos, Cristina Gacek, Alexander B. Romanovsky |
| 2004 | ICSE | Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04. | Ricardo Choren, Alessandro F. Garcia, Carlos Jos Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander B. Romanovsky |
| 2004 | ICSE | Dependable Composite Web Services with Components Upgraded Online. | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Peter T. Popov, Alexander B. Romanovsky |
| 2004 | ICSE | Twin Workshops on Architecting Dependable Systems (WADS 2004). | Rogrio de Lemos, Cristina Gacek, Alexander B. Romanovsky |
| 2003 | ISADS | Structuring Integrated Web Applications for Fault Tolerance. | Alexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo |
| 2003 | ICSE | A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers. | Paulo Asterio de Castro Guerra, Ceclia M. F. Rubira, Alexander B. Romanovsky, Rogrio de Lemos |
| 2003 | ICSE | ICSE 2003 Workshop on Software Architectures for Dependable Systems. | Rogrio de Lemos, Cristina Gacek, Alexander B. Romanovsky |
| 2003 | ICSE | Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003. | 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 | ISORC | Integrating COTS Software Components into Dependable Software Architectures. | Paulo Asterio de Castro Guerra, Alexander B. Romanovsky, Rogrio de Lemos |
| 2003 | SRDS | Coordinated Forward Error Recovery for Composite Web Services. | Ferda Tartanoglu, Valrie Issarny, Alexander B. Romanovsky, Nicole Lvy |
| 2002 | COMPSAC | A Structured Approach to Handling On-Line Interface Upgrades. | Cliff B. Jones, Alexander B. Romanovsky, Ian Welch |
| 2002 | COMPSAC | Dependable On-Line Upgrading of Distributed Systems. | Alexander B. Romanovsky, Iain Smith |
| 2002 | ICSE | ICSE 2002 workshop on architecting dependable systems. | Rogrio de Lemos, Cristina Gacek, Alexander B. Romanovsky |
| 2002 | ICSE | Architectural Mismatch Tolerance. | Rogrio de Lemos, Cristina Gacek, Alexander B. Romanovsky |
| 2002 | ICSE | Dependability in the Web Services Architecture. | Ferda Tartanoglu, Valrie Issarny, Alexander B. Romanovsky, Nicole Lvy |
| 2002 | ISORC | A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. | Jie Xu, Brian Randell, Alexander B. Romanovsky |
| 2001 | COMPSAC | Exception Handling in Component-Based System Development. | Alexander B. Romanovsky |
| 2001 | ISORC | On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. | Delano M. Beder, Ceclia M. F. Rubira, Brian Randell, Alexander B. Romanovsky |
| 2001 | SRDS | Looking Ahead in Atomic Actions with Exception Handling. | Alexander B. Romanovsky |
| 2000 | ISORC | An Exception Handling Framework for N-Version Programming in Object-Oriented Systems. | Alexander B. Romanovsky |
| 1999 | ICECCS | Formal Development and Validation of Java Dependable Distributed Systems. | Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo |
| 1999 | ISADS | Engineering Look-ahead in Distributed Conversations. | Paul D. Ezhilchelvan, Alexander B. Romanovsky |
| 1999 | ISORC | Exception Handling in a Cooperative Object-Oriented Approach. | Rogrio de Lemos, Alexander B. Romanovsky |
| 1999 | SAFECOMP | Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. | Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky |
| 1998 | ICDCS | Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. | Jie Xu, Alexander B. Romanovsky, Brian Randell |
| 1998 | ISORC | Coordinated Atomic Actions in Modelling Objects Cooperation. | Rogrio de Lemos, Alexander B. Romanovsky |
| 1998 | ISORC | Exception Handling in Object-Oriented Real-Time Distributed Systems. | Alexander B. Romanovsky, Jie Xu, Brian Randell |
| 1996 | ICDCS | Exception Handling and Resolution in Distributed Object-oriented Systems. | Jie Xu, Alexander B. Romanovsky, Brian Randell |