Alexander B. Romanovsky
Orcid: 0000-0002-4076-3331Affiliations:
- Newcastle University, School of Computing Science, UK
According to our database1,
Alexander B. Romanovsky
authored at least 250 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Formal Aspects Comput., March, 2023
IEEE Trans. Dependable Secur. Comput., 2023
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023
2022
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022
2021
A customisable pipeline for the semi-automated discovery of online activists and social campaigns on Twitter.
World Wide Web, 2021
IEEE Trans. Reliab., 2021
Formal Aspects Comput., 2021
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems.
CoRR, 2021
CoRR, 2021
2020
From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures.
IEEE Trans. Reliab., 2020
IEEE Trans. Parallel Distributed Syst., 2020
Dynamically Partitioning Workflow over Federated Clouds for Optimising the Monetary Cost and Handling Run-Time Failures.
IEEE Trans. Cloud Comput., 2020
PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems.
IEEE Trans. Computers, 2020
IET Comput. Digit. Tech., 2020
Proceedings of the Dependable Computing - EDCC 2020 Workshops, 2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
2019
Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistency.
J. Netw. Comput. Appl., 2019
Proceedings of the Web Engineering - 19th International Conference, 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
2018
IEEE Trans. Multi Scale Comput. Syst., 2018
Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16).
NII Shonan Meet. Rep., 2018
VazaDengue: An information system for preventing and combating mosquito-borne diseases with social networks.
Inf. Syst., 2018
Using Osmotic Services Composition for Dynamic Load Balancing of Smart City Applications.
Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018
Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, 2018
2017
IEEE Trans. Serv. Comput., 2017
Int. J. Networked Distributed Comput., 2017
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017
Recruiting from the Network: Discovering Twitter Users Who Can Help Combat Zika Epidemics.
Proceedings of the Web Engineering - 17th International Conference, 2017
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017
Proceedings of the 13th European Dependable Computing Conference, 2017
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
2016
Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
Proceedings of the Product-Focused Software Process Improvement, 2016
Proceedings of the MODELSWARD 2016, 2016
Proceedings of the Current Trends in Web Engineering, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
Proceedings of the 15th International Conference on Modularity, 2016
2015
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
Proceedings of the 2015 International Conference on Software and System Process, 2015
Proceedings of the Distributed Applications and Interoperable Systems, 2015
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015
2014
IEEE Trans. Computers, 2014
Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14).
NII Shonan Meet. Rep., 2014
Sci. Comput. Program., 2014
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation.
Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014
Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014
Proceedings of the International Workshop on Engineering Simulations for Cyber-Physical Systems, 2014
Proceedings of the Reliable Software Technologies, 2014
Proceedings of the Reliable Software Technologies, 2014
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
2013
Sci. Comput. Program., 2013
Dagstuhl Reports, 2013
Proceedings of the IEEE International Systems Conference, 2013
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013
Proceedings of the Computer Safety, Reliability, and Security, 2013
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
2012
Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project.
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
CoRR, 2012
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012
2011
Proceedings of the Software Engineering for Resilient Systems, 2011
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
2010
Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance.
IEEE Trans. Software Eng., 2010
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010
Proceedings of the Computer Safety, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
Proceedings of the Abstract State Machines, 2010
2009
Proceedings of the Methods, 2009
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.
Proceedings of the Methods, 2009
Improving reliability of cooperative concurrent systems with exception flow analysis.
J. Syst. Softw., 2009
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study.
J. Syst. Softw., 2009
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
2008
DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability.
ACM SIGSOFT Softw. Eng. Notes, 2008
DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity..
ERCIM News, 2008
Special issue: Engineering Fault Tolerant Systems.
Comput. Syst. Sci. Eng., 2008
Experimenting with exception propagation mechanisms in service-oriented architecture.
Proceedings of the 4th International Workshop on Exception Handling, 2008
Proceedings of the SERENE 2008, 2008
Proceedings of the SERENE 2008, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
MASTAC: new curriculum for master and doctoral studies in critical software and computing.
Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, 2008
Proceedings of the Seventh European Dependable Computing Conference, 2008
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems.
Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
2007
Int. J. Simul. Process. Model., 2007
Proceedings of the Sixth Working IEEE / IFIP Conference on Software Architecture (WICSA 2007), 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.
Proceedings of the ISSRE 2007, 2007
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
2006
Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2006
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006
Proceedings of the Software Engineering for Multi-Agent Systems V, 2006
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006
Proceedings of the Software Engineering for Multi-Agent Systems V, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006
Proceedings of the 3rd international conference on Mobile technology, 2006
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006
Proceedings of the Service Availability, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006
Proceedings of the Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006
Proceedings of the Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006
2005
ACM SIGSOFT Softw. Eng. Notes, 2005
ACM SIGSOFT Softw. Eng. Notes, 2005
ACM SIGSOFT Softw. Eng. Notes, 2005
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2005
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
2004
Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2004
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Twin Workshops on Architecting Dependable Systems (WADS 2004).
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the Architecting Systems with Trustworthy Components, 2004
2003
ACM SIGSOFT Softw. Eng. Notes, 2003
Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2003
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003
Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003
Proceedings of the 25th International Conference on Software Engineering, 2003
Proceedings of the Architecting Dependable Systems II, 2003
Proceedings of the COTS-Based Software Systems, Second International Conference, 2003
Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms.
Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003
Proceedings of the Reliable Software Technologies, 2003
2002
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.
IEEE Trans. Computers, 2002
Framework based on design patterns for providing persistence in object-oriented programming languages.
IEE Proc. Softw., 2002
On version state recovery and adjudication in class diversity.
Comput. Syst. Sci. Eng., 2002
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002
Proceedings of the 24th International Conference on Software Engineering, 2002
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002
Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
ACM SIGSOFT Softw. Eng. Notes, 2001
A comparative study of exception handling mechanisms for building dependable object-oriented software.
J. Syst. Softw., 2001
A distributed coordinated atomic action scheme.
Comput. Syst. Sci. Eng., 2001
Exception handling in the software lifecycle.
Comput. Syst. Sci. Eng., 2001
Modelling and verification of an atomic action protocol implemented in Ada.
Comput. Syst. Sci. Eng., 2001
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001
Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001
On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001
2000
IEEE Trans. Software Eng., 2000
IEEE Trans. Parallel Distributed Syst., 2000
An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.
ACM SIGOPS Oper. Syst. Rev., 2000
J. Syst. Archit., 2000
IEE Proc. Softw., 2000
An Exception Handling Framework for N-Version Programming in Object-Oriented Systems.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000
Proceedings of the 10th International Workshop on Real-Time Ada, 2000
On developing and verifying design abstractions for reliable concurrent programming in Ada.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems.
Proceedings of the Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), 2000
Proceedings of the Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), 2000
Proceedings of the Object-Oriented Technology, 2000
Proceedings of the International Symposium on Distributed Objects and Applications, 2000
Proceedings of the Reliable Software Technologies, 2000
1999
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study.
Softw. Pract. Exp., 1999
Coordinated atomic actions as a technique for implementing distributed gamma computation.
J. Syst. Archit., 1999
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999
Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science.
Proceedings of the Computer Safety, 1999
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999
Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.
Proceedings of the Digest of Papers: FTCS-29, 1999
1998
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998
1997
Implementation of blocking coordinated atomic actions based on forward error recovery.
J. Syst. Archit., 1997
IEE Proc. Softw. Eng., 1997
Comput. Lang., 1997
Proceedings of the Reliable Software Technologies, 1997
1996
Microprocess. Microprogramming, 1996
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996
1995
ACM SIGOPS Oper. Syst. Rev., 1995
OOPS Messenger, 1995
Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery.
Proceedings of the Digest of Papers: FTCS-25, 1995
1994
The problems of designing a conversation scheme for concurrent object oriented languages.
Microprocess. Microprogramming, 1994
1993
1992
Designing Fault-Tolerant Objects in Object-Oriented Programming.
Proceedings of the TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, 1992
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992
1990
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990