The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alexander B. Romanovsky" ( http://dblp.L3S.de/Authors/Alexander_B._Romanovsky )

URL (Homepage):  http://homepages.cs.ncl.ac.uk/alexander.romanovsky/  Author page on DBLP  Author page in RDF  Community of Alexander B. Romanovsky in ASPL-2

Publication years (Num. hits)
1990-1997 (18) 1998-1999 (15) 2000-2001 (28) 2002-2003 (26) 2004-2005 (25) 2006 (21) 2007-2008 (27) 2009-2010 (18) 2011-2013 (25) 2014-2015 (17) 2016-2017 (28) 2018-2019 (13)
Publication types (Num. hits)
article(76) book(2) incollection(7) inproceedings(154) proceedings(22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 171 occurrences of 90 keywords

Results
Found 262 publication records. Showing 261 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Flavio Primo, Paolo Missier, Alexander B. Romanovsky, Mickael Figueredo, Nélio Cacho A customisable pipeline for continuously harvesting socially-minded Twitter users. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings Search on Bibsonomy RSSRail The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Flavio Primo, Paolo Missier, Alexander B. Romanovsky, Mickael Figueredo, Nélio Cacho A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users. Search on Bibsonomy ICWE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky A Refinement Based Method for Developing Distributed Protocols. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis Quantitative Validation of Formal Domain Models. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ashur Rafiev, Mohammed A. N. Al-Hayanni, Fei Xia, Rishad A. Shafik, Alexander B. Romanovsky, Alex Yakovlev Speedup and Power Scaling Models for Heterogeneous Many-Core Systems. Search on Bibsonomy IEEE Trans. Multi-Scale Computing Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Leonardo 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. Search on Bibsonomy Inf. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter Garraghan, Renyu Yang, Zhenyu Wen, Alexander B. Romanovsky, Jie Xu 0007, Rajkumar Buyya, Rajiv Ranjan Emergent Failures: Rethinking Cloud Reliability at Scale. Search on Bibsonomy IEEE Cloud Computing The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina Cost-aware Scheduling of Software Processes Execution in the Cloud. Search on Bibsonomy MODELSWARD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Juliana Oliveira, Hivana Macedo, Nélio Cacho, Alexander B. Romanovsky DroidEH: An Exception Handling Mechanism for Android Applications. Search on Bibsonomy ISSRE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky Formal Verification of Signalling Programs with SafeCap. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arthur Souza, Nélio Cacho, Ayman Noor, Prem Prakash Jayaraman, Alexander B. Romanovsky, Rajiv Ranjan Osmotic Monitoring of Microservices between the Edge and Cloud. Search on Bibsonomy HPCC/SmartCity/DSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arthur 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. Search on Bibsonomy SOCA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo 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. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky Enabling GSD Task Allocation via Cloud-based Software Processes. Search on Bibsonomy IJNDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhenyu Wen, Jacek Cala, Paul Watson 0001, Alexander B. Romanovsky Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds. Search on Bibsonomy IEEE Trans. Services Computing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fei Xia, Ashur Rafiev, Ali Aalsaud, Mohammed A. N. 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. Search on Bibsonomy IEEE Computer The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Thierry Lecomte, Alexander B. Romanovsky (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings Search on Bibsonomy RSSRail The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk, Oleksandr Biloborodov Experience Report: Study of Vulnerabilities of Enterprise Operating Systems. Search on Bibsonomy ISSRE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paolo 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. Search on Bibsonomy ICWE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luke J. W. Martin, Alexander B. Romanovsky An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. Search on Bibsonomy EDCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rem Gensh, Ashur Rafiev, Fei Xia, Alexander B. Romanovsky, Alex Yakovlev Modelling for Systems with Holistic Fault Tolerance. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luke J. W. Martin, Alexander B. Romanovsky Stochastic Activity Networks for the Verification of Knowledge Bases. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky, Elena Troubitsyna (eds.) Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rem Gensh, Ashur Rafiev, Alexander B. Romanovsky, Alessandro F. Garcia, Fei Xia, Alex Yakovlev Architecting Holistic Fault Tolerance. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander B. Romanovsky, Alexandre Yakovlev Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky Enabling GSD Task Allocation via Cloud-Based Software Processes. Search on Bibsonomy SERA (selected papers) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paolo 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. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky Automating Verification of Event-B Models. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Thierry Lecomte, Ralf Pinger, Alexander B. Romanovsky (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings Search on Bibsonomy RSSRail The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky EXE-SPEM: Towards Cloud-based Executable Software Process Models. Search on Bibsonomy MODELSWARD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ashur 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. Search on Bibsonomy FDL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky Proving Event-B Models with Reusable Generic Lemmas. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg Towards Cloud-Based Enactment of Safety-Related Processes. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paolo 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. Search on Bibsonomy ICWE Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina Software Development in the Post-PC Era: Towards Software Development as a Service. Search on Bibsonomy PROFES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luke J. W. Martin, Alexander B. Romanovsky A Formal Approach to Designing Reliable Advisory Systems. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis Formalisation-Driven Development of Safety-Critical Systems. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Alexander B. Romanovsky Formal Analysis of Railway Signalling Data. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rem Gensh, Alexander B. Romanovsky, Alex Yakovlev On structuring holistic fault tolerance. Search on Bibsonomy MODULARITY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky Rodin Platform Why3 Plug-In. Search on Bibsonomy ABZ The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Adjepon-Yamoah, Alexander B. Romanovsky, Alexei Iliasov A reactive architecture for cloud-based system engineering. Search on Bibsonomy ICSSP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Olga Tarasyuk, Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Vitalii Ruban The Impact of Consistency on System Latency in Fault Tolerant Internet Computing. Search on Bibsonomy DAIS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky From Requirements Engineering to Safety Assurance: Refinement Approach. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhenyu Wen, Jacek Cala, Paul Watson 0001, Alexander B. Romanovsky Cost Effective, Reliable, and Secure Workflow Deployment over Federated Clouds. Search on Bibsonomy CLOUD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rem Gensh, Alexander B. Romanovsky, Alex Yakovlev Engineering Cross-Layer Fault Tolerance in Many-Core Systems. Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander B. Romanovsky, Alexandre Yakovlev A Formal Specification and Prototyping Language for Multi-core System Management. Search on Bibsonomy PDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alex Yakovlev Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrey Mokhov, Alexei Iliasov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev, Alexander B. Romanovsky Synthesis of Processor Instruction Sets from High-Level ISA Specifications. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cliff B. Jones, Alexander B. Romanovsky Special issue on Automated Verification of Critical Systems (AVoCS'11). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fuyuki Ishikawa, Alexander B. Romanovsky Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14). Search on Bibsonomy NII Shonan Meet. Rep. The full citation details ... 2014 DBLP  BibTeX  RDF
1Alexander B. Romanovsky, Marc-Olivier Killijian The Tenth European Dependable Computer Conference. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Sami Alajrami, Alexander B. Romanovsky, Paul Watson 0001, Andreas Roth 0001 Towards Cloud-Based Software Process Modelling and Enactment. Search on Bibsonomy CloudMDE@MoDELS The full citation details ... 2014 DBLP  BibTeX  RDF
1Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. Search on Bibsonomy ES4CPS@DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky Practical Formal Methods in Railways - The SafeCap Approach. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ilya Lopatkin, Alexander B. Romanovsky Rigorous Development of Fault-Tolerant Systems through Co-refinement. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Roberto Palacin, Alexander B. Romanovsky Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ashur 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. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anatoliy Gorbenko, Alexander B. Romanovsky Time-Outing Internet Services. Search on Bibsonomy IEEE Security & Privacy The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala Developing mode-rich satellite software by refinement in Event-B. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky, Martyn Thomas (eds.) Industrial Deployment of System Engineering Methods Search on Bibsonomy 2013 DBLP  DOI  BibTeX  RDF
1Martyn Thomas, Alexander B. Romanovsky Industrial Software Engineering and Formal Methods. Search on Bibsonomy Industrial Deployment of System Engineering Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martyn Thomas, Alexander B. Romanovsky Introducing Formal Methods into Existing Industrial Practices. Search on Bibsonomy Industrial Deployment of System Engineering Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky After and Outside DEPLOY: The DEPLOY Ecosystem. Search on Bibsonomy Industrial Deployment of System Engineering Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky Integrated Project DEPLOY. Search on Bibsonomy Industrial Deployment of System Engineering Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky, Martyn Thomas Introduction. Search on Bibsonomy Industrial Deployment of System Engineering Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zoe Andrews, John S. Fitzgerald, Richard John Payne, Alexander B. Romanovsky Fault modelling for systems of systems. Search on Bibsonomy ISADS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky The SafeCap Platform for Modelling Railway Safety and Capacity. Search on Bibsonomy SAFECOMP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky The SafeCap Project on Railway Safety Verification and Capacity Simulation. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko (eds.) Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zoe Andrews, Richard John Payne, Alexander B. Romanovsky, André Didier, Alexandre Mota 0001 Model-based development of fault tolerant systems of systems. Search on Bibsonomy SysCon The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fuyuki Ishikawa, Alexander B. Romanovsky Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012) Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Alexander B. Romanovsky Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anatoliy 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. Search on Bibsonomy EDCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Olga Tarasyuk Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala Augmenting Event-B modelling with real-time verification. Search on Bibsonomy FormSERA@ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel Preface. Search on Bibsonomy ECEASST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky Formal Derivation of a Distributed Program in Event B. Search on Bibsonomy ICFEM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky Rigorous Development of Dependable Systems Using Fault Tolerance Views. Search on Bibsonomy ISSRE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky, Tullio Vardanega (eds.) Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings Search on Bibsonomy Ada-Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexander B. Romanovsky Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna Patterns for Representing FMEA in Formal Specification of Control Systems. Search on Bibsonomy HASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander B. Romanovsky An Introduction to Software Engineering and Fault Tolerance Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Alessandro Garcia, Alexander B. Romanovsky, Valérie Issarny Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth 0001 Patterns for Modelling Time and Consistency in Business Information Systems. Search on Bibsonomy ICECCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexei 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. Search on Bibsonomy SAFECOMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky MetaSelf: an architecture and a development method for dependable self-* systems. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF design-time and run-time adaptation, metadata, policies, self-adaptation, self-organisation, control loop
1Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk, Yuhui Chen, Alexander B. Romanovsky Real Distribution of Response Time Instability in Service-Oriented Architecture. Search on Bibsonomy SRDS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF service-oriented architecture, response time, instability, distribution law
1Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala Developing Mode-Rich Satellite Software by Refinement in Event B. Search on Bibsonomy FMICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala Supporting Reuse in Event B Development: Modularisation Approach. Search on Bibsonomy ASM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fernando Castor Filho, Alexander B. Romanovsky, Cecília M. F. Rubira Improving reliability of cooperative concurrent systems with exception flow analysis. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alfredo 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. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky Patterns for Refinement Automation. Search on Bibsonomy FMCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Alexander B. Romanovsky, Fernando Luís Dotti Structuring Specifications with Modes. Search on Bibsonomy LADC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky Modal Systems: Specification, Refinement and Realisation. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yuhui Chen, Alexander B. Romanovsky, Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk Benchmarking Dependability of a System Biology Application. Search on Bibsonomy ICECCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth 0001 Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Search on Bibsonomy ICECCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Budi Arief, Alexander B. Romanovsky Step-Wise Development of Resilient Ambient Campus Scenarios. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander B. Romanovsky Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 261 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license