Specification and verification of reconfiguration protocols in grid component systems

Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. in: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006) Los Alamitos, USA IEEE . pp. 450-455

Chapter titleSpecification and verification of reconfiguration protocols in grid component systems
AuthorsBasso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M.
Abstract

In this work we present an approach for the formal specification and verification of the reconfiguration protocols in Grid component systems. We consider Fractal, a modular and extensible component model. As a specification tool we invoke a specific temporal language, separated clausal normal form, which has been shown to be capable of expressing any ECTL+ expression thus, we are able to express the complex fairness properties of a component system. The structure of the normal enables us to directly apply the deductive verification technique, temporal resolution defined in the framework of branching-time temporal logic.

Book titleProceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006)
Page range450-455
Year2006
PublisherIEEE
Publication dates
Published2006
Place of publicationLos Alamitos, USA
ISBN1424401968
Digital Object Identifier (DOI)https://doi.org/10.1109/IS.2006.348461
File

Related outputs

Preprint: A foggy minefield: Experiences of regulation among developers of AI and other medical software in the UK, survey and focus group study
Henry W.W. Potts, Paulina Bondaronek, Ana Luisa Neves, Alex Bolotov, Lucie Burgess, Jona Shehu, Gabriella Spinellli, Emanuela Volpi and Austen El-Osta 2024. Preprint: A foggy minefield: Experiences of regulation among developers of AI and other medical software in the UK, survey and focus group study. medRxiv. https://doi.org/10.1101/2024.08.25.24312551

A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification
Oca, Josu, Hermo, Montserrat and Bolotov, Alexander 2024. A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification. 2024 Design, Automation & Test in Europe Conference & Exhibition. Valencia, Spain 25 - 27 Mar 2024 IEEE . pp. 1-2 https://doi.org/10.23919/date58400.2024.10546630

Applications Model: A High-Level Design Model for Rich Web-Based Applications
Dissanayake, Nalaka and Bolotov, Alexander 2024. Applications Model: A High-Level Design Model for Rich Web-Based Applications. 19th International Conference on Evaluation of Novel Approaches to Software Engineering. Angers, France 28 - 29 Apr 2024 SCITEPRESS – Science and Technology Publications. https://doi.org/10.5220/0012605600003687

Digital Health Evidence Generation Ontology Prototype
Bolotov, A. 2023. Digital Health Evidence Generation Ontology Prototype.

The Invention of Electronic Digital Computing - Plenary Panel Summary
Atanasoff, John V., Bell, Gordon, Boyanov, Kiril L., Call, Charles G., Chang, Carl K., Conte, Thomas, Getov, Vladimir, Gustafson, John L., Kasahara, Hironori, Milojicic, Dejan and Williams, Michael R. 2023. The Invention of Electronic Digital Computing - Plenary Panel Summary. 2023 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA). Chicago, IL, USA 05 - 06 Jul 2023 IEEE . https://doi.org/10.1109/jva60410.2023.00011

High-level Design Models for Rich Web-based Applications
Dissanayake, N.R., Bolotov, A. and Courtenage, S. 2023. High-level Design Models for Rich Web-based Applications. Showcasing Research at the School of Computer Science and Engineering. Regent cinema, Regent street, London 22 Nov 2023 University of Westminster.

Design Methodoolgy for Rich Web-based Appllications
Dissanayake, N.R., Bolotov, A. and Courtenage, S. 2023. Design Methodoolgy for Rich Web-based Appllications.

A Conceptual Framework to Predict Disease Progressions in Patients with Chronic Kidney Disease, Using Machine Learning and Process Mining
Kandasamy, Nichalini, Chaussalet, Thierry and Basukoski, Artie 2023. A Conceptual Framework to Predict Disease Progressions in Patients with Chronic Kidney Disease, Using Machine Learning and Process Mining. in: Healthcare Transformation with Informatics and Artificial Intelligence IOS Press. pp. 190-193

Discovering Process Models from Patient Notes
Banziger, R.B., Basukoski, A. and Chaussalet, T.J. 2023. Discovering Process Models from Patient Notes. 23rd International Conference on Computational Science (ICCS-23). Prague 03 - 05 Jul 2023 Springer. https://doi.org/10.1007/978-3-031-36024-4_18

Tableaux and Sequent Calculi for CTL and ECTL: Satisfiability Test with Certifying Proofs and Models
Bolotov, A., Garcia-Closas, M., Lucio, P. and Abuin, A. 2023. Tableaux and Sequent Calculi for CTL and ECTL: Satisfiability Test with Certifying Proofs and Models. Journal of Logical and Algebraic Methods in Programming. 130 100828. https://doi.org/10.1016/j.jlamp.2022.100828

Toward a reference architecture based science gateway framework with embedded e‐learning support
Pierantoni, G., Kiss, T., Bolotov, A., Kagialis, D., James DesLauriers, Ullah, A., Chen, H., Chan You Fee, D., Dang, H., Kovacs, J., Belehaki, A., Herekakis, T., Tsagouri, I. and Gesing, S. 2023. Toward a reference architecture based science gateway framework with embedded e‐learning support. Concurrency and Computation: Practice and Experience. 35 (18) e6872. https://doi.org/10.1002/cpe.6872

The Digital Health Evidence Generator
Bolotov, A., Volpi, E. and Chan You Fee, D. 2022. The Digital Health Evidence Generator. University of Westminster. https://doi.org/10.34737/w6866

Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction Purposes
Yerashenia, N., Chan You Fee, D. and Bolotov, A. 2022. Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction Purposes. 24th IEEE International Conference on Business Informatics (IEEE CBI 2022). Amsterdam 15 - 17 Jun 2022 IEEE . https://doi.org/10.1109/CBI54897.2022.00013

Sharing Data Collections and Models for Ionosphere, Thermosphere and Plasmasphere Research
Kiss, T., Pierantoni, G., Kagialis, D., Bolotov, A., Chan You Fee, D., Belehaki, A. and Galkin, I. 2022. Sharing Data Collections and Models for Ionosphere, Thermosphere and Plasmasphere Research. IWSG 2022. Trento, Italy 15 - 17 Jun 2022

Proceedings of the 5th Student-STAFF Research Conference
Bolotov, A. Bolotov, A. (ed.) 2022. Proceedings of the 5th Student-STAFF Research Conference. University of Westminster.

On the Expressive Power of the Normal Form for Branching-Time Temporal Logics
Bolotov, Alexander 2022. On the Expressive Power of the Normal Form for Branching-Time Temporal Logics. Electronic Proceedings in Theoretical Computer Science. 358, pp. 254-269. https://doi.org/10.4204/eptcs.358.19

Comparative analysis of clustering-based remaining-time predictive process monitoring approaches
Ogunbiyi, O., Basukoski, A. and Chaussalet, T.J. 2022. Comparative analysis of clustering-based remaining-time predictive process monitoring approaches. International Journal of Business Process Integration and Management. 10 (3/4), pp. 230-241. https://doi.org/10.1504/IJBPIM.2021.124023

Layered-MAC: An Energy-Protected and Efficient Protocol for Wireless Sensor Networks
Udoh, E. and Getov, Vladimir 2021. Layered-MAC: An Energy-Protected and Efficient Protocol for Wireless Sensor Networks. Tang, D., Zhong, J. and Zhou, D. (ed.) EAI MobileWare 2021. Online 22 - 24 Oct 2021 Springer. https://doi.org/10.1007/978-3-030-98671-1_4

Insights Into the Origins of the IEEE Computer Society and the Invention of Electronic Digital Computing
Getov, Vladimir 2021. Insights Into the Origins of the IEEE Computer Society and the Invention of Electronic Digital Computing. IEEE Computer. 54 (8), pp. 13-18. https://doi.org/10.1109/MC.2021.3084067

PITHIA-NRF e-Science Centre – A Science Gateway based on Cloud-based Reference Architectures
Pierantoni, G., Kiss, T. and Bolotov, A. 2021. PITHIA-NRF e-Science Centre – A Science Gateway based on Cloud-based Reference Architectures. 13th International Workshop on Science Gateways. Virtual event 10 - 11 Jun 2021 CEUR Workshop Proceedings.

Incorporating spatial context into remaining-time predictive process monitoring
Ogunbiyi, Niyi, Basukoski, Artie and Chaussalet, Thierry 2021. Incorporating spatial context into remaining-time predictive process monitoring. 36th Annual ACM Symposium on Applied Computing. Virtual Event Republic of Korea 22 - 26 Mar 2021 ACM. https://doi.org/10.1145/3412841.3441933

An Exploration of Ethical Decision Making with Intelligence Augmentation
Ogunbiyi, O., Basukoski, A. and Chaussalet, T.J. 2021. An Exploration of Ethical Decision Making with Intelligence Augmentation. Social Sciences. 10 (2) 57. https://doi.org/10.3390/socsci10020057

SMARTEST - knowledge and learning repository
Bolotov, A., Pierantoni, G., Chan You Fee, D., Wojtunik, D., Ivanauskaite, G., Tait, C., Makadicy, W., Wasowski, T., Kulczynska, A. and Yerashenia, N. 2020. SMARTEST - knowledge and learning repository . University of Westminster.

Investigating the Diffusion of Workload-Induced Stress—A Simulation Approach
Ogunbiyi, O., Basukoski, A. and Chaussalet, T.J. 2020. Investigating the Diffusion of Workload-Induced Stress—A Simulation Approach. Information. 12 (1) 11. https://doi.org/10.3390/info12010011

Proceedings of the 4th Student-STAFF Research Conference 2020 School of Computer Science and Engineering SSRC2020
Bolotov, A. Bolotov, A. (ed.) 2020. Proceedings of the 4th Student-STAFF Research Conference 2020 School of Computer Science and Engineering SSRC2020. University of Westminster.

Performance and Energy-Tuning Methodology for Wireless Sensor Networks Using TunableMAC
Udoh, E. and Getov, Vladimir 2020. Performance and Energy-Tuning Methodology for Wireless Sensor Networks Using TunableMAC. IEEE Int. Conference on Communications, Computing, Cybersecurity, and Informatics, CCCI 2020. Virtual - online 03 - 05 Nov 2020 IEEE . https://doi.org/10.1109/CCCI49893.2020.9256744

Investigating Social Contextual Factors in Remaining-Time Predictive Process Monitoring—A Survival Analysis Approach
Ogunbiyi, N., Basukoski, A. and Chaussalet, T.J. 2020. Investigating Social Contextual Factors in Remaining-Time Predictive Process Monitoring—A Survival Analysis Approach. Algorithms. 13 (11), p. e267. https://doi.org/10.3390/a13110267

One-pass Context-based Tableaux Systems for CTL and ECTL
Abuin, A., Bolotov, A., Hermo, M. and Lucio, P. 2020. One-pass Context-based Tableaux Systems for CTL and ECTL. 27th International Symposium on Temporal Representation and Reasoning. Bozen-Bolzano, Italy 23 - 25 Sep 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. https://doi.org/10.4230/LIPIcs.TIME.2020.14

Science Gateways with Embedded Ontology-based E-learning Support
Kiss, T., Bolotov, A., Pierantoni, G., Deslauriers, J., MOSA, A., Kagialis, D., Terstyanszky, G. and Chan You Fee, D. 2020. Science Gateways with Embedded Ontology-based E-learning Support. Gesing, S., Taylor, I. and Barclay, I (ed.) 12th International Workshop on Science Gateways. On-line 10 - 11 Jun 2020 CEUR Workshop Proceedings.

Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model
Yerashenia, N., Bolotov, A., Chan You Fee, D. and Pierantoni, G. 2020. Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model. 22nd IEEE International Conference on Business Informatics (IEEE CBI 2020) . Antwerp, Belgium 22 - 24 Jun 2020 IEEE . https://doi.org/10.1109/CBI49978.2020.00015

Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+
Bolotov, A., Hermo, M. and Lucio, P. 2020. Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+. Theoretical Computer Science. 813, pp. 428-451. https://doi.org/10.1016/j.tcs.2020.02.015

Application Performance of Physical System Simulations
Getov, Vladimir, Kogge, Peter M. and Conte, Thomas M. 2020. Application Performance of Physical System Simulations. in: Foster, I., Joubert, G.R., Kucera, L., Nagel, W.E. and Peters, F.J. (ed.) Parallel Computing: Technology Trends IOS Press. pp. 251-260

Towards Architectural Design Method for Rich Web-based Applications
Dissanayake, N.R., Bolotov, A. and Courtenage, S. 2019. Towards Architectural Design Method for Rich Web-based Applications. 2019 CSE Doctoral Conference. University of Westminster May 2019

Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach
Bolotov, A., Hermo, M. and Lucio, P. 2019. Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. 19th Spanish Conference on Programming and Computer Languages. Sep 2019 Spanish Society of Software Engineering and Software Development Technologies.

Proceedings of the Automated Reasoning Workshop (ARW 2019)
Bolotov, A. and Kammueller, F. 2019. Proceedings of the Automated Reasoning Workshop (ARW 2019). London

Creating an Intelligent System for Bankruptcy Detection: Semantic data Analysis Integrating Graph Database and Financial Ontology
Yerashenia, N. and Bolotov, A. 2019. Creating an Intelligent System for Bankruptcy Detection: Semantic data Analysis Integrating Graph Database and Financial Ontology. Automated Reasoning Workshop 2019: Bridging the Gap between Theory and Practice. University of Middlesex 02 - 03 Sep 2019 Middlesex University.

Towards Certified Model Checking for PLTL using One-pass Tableaux
Abuin, A., Bolotov, A., de Cerio, U., Hermo, M. and Lucio, P. 2019. Towards Certified Model Checking for PLTL using One-pass Tableaux. 26th International Symposium on Temporal Representation and Reasoning, TIME 2019. Malaga, Spain 16 - 19 Oct 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. https://doi.org/10.4230/LIPIcs.TIME.2019.12

Computational Modelling for Bankruptcy Prediction: Semantic data Analysis Integrating Graph Database and Financial Ontology
Yerashenia, N. and Bolotov, A. 2019. Computational Modelling for Bankruptcy Prediction: Semantic data Analysis Integrating Graph Database and Financial Ontology. 21st IEEE Conference on Business Informatics. Moscow, Russian Federation 15 - 17 Jul 2019 IEEE . https://doi.org/10.1109/CBI.2019.00017

Enabled: Educational Network Amplifying Learning Experience (EnAbled)
Bolotov, A., Pierantoni, G., Chan You Fee, D., Wisudha, A. and Abduraimova, Z. 2018. Enabled: Educational Network Amplifying Learning Experience (EnAbled). Kensington Olimpia 12 Oct 2018

Tuning Natural Deduction Proof Search by Analytic Methods
Bolotov, A. and Gorchakov, A. 2018. Tuning Natural Deduction Proof Search by Analytic Methods. The 25th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Cambridge Apr 2018 University of Cambridge.

A tree-style one-pass tableau for an extension of ECTL+
Bolotov, A., Hermo, M. and Lucio, P. 2018. A tree-style one-pass tableau for an extension of ECTL+. The 25th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Cambridge Apr 2018 University of Cambridge.

EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths
Bolotov, A., Pierantoni, G., Wisudha, A., Abduraimova, Z. and Chan You Fee, D. 2018. EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths. EC-TEL Practitioner Proceedings 2018: 13th European Conference On Technology Enhanced Learning. Leeds, UK 03 - 06 Sep 2018 CEUR.

Extending fairness expressibility of ECTL+: a tree-style one-pass tableau approach
Bolotov, A., Hermo, M. and Lucio, P. 2018. Extending fairness expressibility of ECTL+: a tree-style one-pass tableau approach. 25th International Symposium on Temporal Representation and Reasoning, TIME-2018. Warsaw, Poland 15 - 17 Oct 2018 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.TIME.2018.5

Transformation of UML Activity Diagram for Enhanced Reasoning
Chishti, I., Basukoski, A., Chaussalet, T.J. and Beeknoo, N. 2018. Transformation of UML Activity Diagram for Enhanced Reasoning. Future Technologies Conference 2018. Vancouver, Canada 13 - 14 Nov 2018 Springer. https://doi.org/10.1007/978-3-030-02683-7_33

Decentralised Workload Scheduler for Resource Allocation in Computational Clusters
Sliwko, L. and Getov, Vladimir 2018. Decentralised Workload Scheduler for Resource Allocation in Computational Clusters. London University of Westminster.

The 30th Anniversary of the Supercomputing Conference: Bringing the Future Closer - Supercomputing History and the Immortality of Now
Dongarra, J., Getov, Vladimir and Walsh, K. 2018. The 30th Anniversary of the Supercomputing Conference: Bringing the Future Closer - Supercomputing History and the Immortality of Now. IEEE Computer. 51 (10), pp. 74-85. https://doi.org/10.1109/MC.2018.3971352

Discovering Business Processes in CRM Systems by leveraging unstructured text data
Banziger, R.B., Basukoski, A. and Chaussalet, T.J. 2018. Discovering Business Processes in CRM Systems by leveraging unstructured text data. The 4th IEEE International Conference on Data Science and Systems (DSS-2018). Exeter, UK 28 - 30 Jun 2018 IEEE . https://doi.org/10.1109/HPCC/SmartCity/DSS.2018.00257

Proactive Energy-Efficiency: Evaluation of Duty-Cycled MAC Protocols in Wireless Sensor Networks
Udoh, E. and Getov, Vladimir 2018. Proactive Energy-Efficiency: Evaluation of Duty-Cycled MAC Protocols in Wireless Sensor Networks. CITS 2018: The 2018 International Conference on Computer, Information and Telecommunication Systems. Colmar, France 11 - 13 Jul 2018 IEEE . https://doi.org/10.1109/CITS.2018.8440194

Performance Analysis of Denial-of-Sleep Attack-Prone MAC Protocols in Wireless Sensor Networks
Udoh, E. and Getov, Vladimir 2018. Performance Analysis of Denial-of-Sleep Attack-Prone MAC Protocols in Wireless Sensor Networks. UKSim: AMSS 20th International Conference on Modelling & Simulation. Cambridge, UK 27 - 29 Mar 2018 IEEE . https://doi.org/10.1109/UKSim.2018.00038

Enabled: Educational Network Amplifying Learning Experience (EnAbled)
Bolotov, A., Pierantoni, G., Wisudha, A., Abduraimova, Z. and Chan You Fee, D. 2018. Enabled: Educational Network Amplifying Learning Experience (EnAbled).

Modeling Patient Flows: A Temporal Logic Approach
Chishti, I., Basukoski, A. and Chaussalet, T.J. 2018. Modeling Patient Flows: A Temporal Logic Approach. Journal On Computing. 6 (1) 1516. https://doi.org/10.5176/2251-3043_6.1.107

Paracomplete logic Kl: natural deduction, its automation, complexity and applications
Bolotov, A., Kozhemiachenko, D. and Shangin, V. 2018. Paracomplete logic Kl: natural deduction, its automation, complexity and applications. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 5 (1), pp. 221-261.

Transfer Cost of Virtual Machine Live Migration in Cloud Systems
Sliwko, L. and Getov, Vladimir 2017. Transfer Cost of Virtual Machine Live Migration in Cloud Systems. London

Modeling and Optimizing Patient Flows
Chishti, I., Basukoski, A. and Chaussalet, T.J. 2017. Modeling and Optimizing Patient Flows. 8th Annual International Conference on ICT: Big Data, Cloud & Security. Singapore 21 - 22 Aug 2017 Global Science & Technology Forum. https://doi.org/10.5176/2251-2136_ICT-BDCS17.52

WEIGHTBIT: An advancement in wearable technology
Guida, D. and Basukoski, A. 2017. WEIGHTBIT: An advancement in wearable technology. IEEE 30th International Symposium on Computer-Based Medical Systems. Thessaloniki, Greece 22 - 24 Jun 2017 IEEE . https://doi.org/10.1109/CBMS.2017.85

Application-Specific Energy Modeling of Multi-Core Processors
Getov, Vladimir, Macduff, M., Kerbyson, D.J. and Hoisie, A. 2017. Application-Specific Energy Modeling of Multi-Core Processors. in: Fox, G., Getov, V., Grandinetti, L., Joubert, G.R. and Sterling, T. (ed.) New Frontiers in High Performance Computing and Big Data IOS Press. pp. 35-54

On the Complexity of the Natural Deduction Proof Search Algorithm
Bolotov, A., Shangin, V. and Kozhemiachenko, D. 2017. On the Complexity of the Natural Deduction Proof Search Algorithm. ARW2017 - 24th Automated Reasoning Workshop. Bristol 03 - 04 Apr 2017 University of Bristol Technical Report.

Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩
Bolotov, A. and Shangin, V. 2016. Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩. Hustadt, U. (ed.) Automated Reasoning Workshop 2016: Bridging the Gap between Theory and Practice (ARW 2016). Liverpool 19 - 20 May 2016 Automated Reasoning Workshop.

Discovering of System’s Invariants by Temporal Reasoning
Bolotov, A. 2016. Discovering of System’s Invariants by Temporal Reasoning. The International Conference on Innovations in Info-business and Technology (ICIIT). Colombo, Sri Lanka 04 - 04 Mar 2016 Informatics Institute of Technology.

New Frontiers in Energy-Efficient Computing
Getov, Vladimir, Hoisie, Adolfy and Bose, Pradip 2016. New Frontiers in Energy-Efficient Computing. IEEE Computer. 49 (10), pp. 14-18. https://doi.org/10.1109/MC.2016.315

Sensor Intelligence for Tackling Energy-Drain Attacks on Wireless Sensor Networks
Udoh, E., Getov, Vladimir and Bolotov, A. 2016. Sensor Intelligence for Tackling Energy-Drain Attacks on Wireless Sensor Networks. The 23rd Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Liverpool 19 - 20 May 2016 Automated Reasoning Workshop.

AGOCS – Accurate Google Cloud Simulator Framework
Sliwko, L. and Getov, Vladimir 2016. AGOCS – Accurate Google Cloud Simulator Framework. 16th IEEE International Conference on Scalable Computing and Communications. Toulouse, France 18 - 21 Jul 2016 IEEE . https://doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0095

A general framework for Business Process Modelling (BPM) based on Formal Temporal Theory with an application to Hospital Patient flows
Chishti, I., Chaussalet, T.J. and Basukoski, A. 2016. A general framework for Business Process Modelling (BPM) based on Formal Temporal Theory with an application to Hospital Patient flows. 8th IMA International Conference on Quantitative Modelling in the Management of Health and Social Care. Asia House, London 21 - 23 Mar 2016 Institute of Mathematics and its Applications.

Business Process Modelling based on formal temporal theory with an application to hospital patient flows
Chishti, I., Basukoski, A. and Chaussalet, T.J. 2016. Business Process Modelling based on formal temporal theory with an application to hospital patient flows. 8th IMA International Conference on Quantitative Modelling in the Management of Health and Social Care. Asia House, London 21 - 23 Mar 2016 Institute of Mathematics and its Applications.

Context-aware Approach for Determining the Threshold Price in Name-Your-Own-Price Channels
Nimalasena, A. and Getov, Vladimir 2016. Context-aware Approach for Determining the Threshold Price in Name-Your-Own-Price Channels. in: Context-Aware Systems and Applications Springer. pp. 83-93

A Meta-Heuristic Load Balancer for Cloud Computing Systems
Sliwko, L. and Getov, Vladimir 2015. A Meta-Heuristic Load Balancer for Cloud Computing Systems. 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC). Taichung, Taiwan 01 Jul 2015 IEEE . https://doi.org/10.1109/COMPSAC.2015.223

Towards an Application-Specific Thermal Energy Model of Current Processors
Getov, Vladimir, Kerbyson, D.J., Macduff, M. and Hoisie, A. 2015. Towards an Application-Specific Thermal Energy Model of Current Processors. E2SC2015. Austin, TX, USA 15 Nov 2015 ACM. https://doi.org/10.1145/2834800.2834805

Workload Schedulers - Genesis, Algorithms and Comparisons
Sliwko, L. and Getov, Vladimir 2015. Workload Schedulers - Genesis, Algorithms and Comparisons. International Journal of Computer Science and Software Engineering. 4 (6), pp. 141-155.

Scientific Grand Challenges: Toward Exascale Supercomputing and Beyond
Getov, Vladimir 2015. Scientific Grand Challenges: Toward Exascale Supercomputing and Beyond. IEEE Computer. 48 (11), pp. 12-14. https://doi.org/10.1109/MC.2015.341

Distributed Agent-Based Load Balancer for Cloud Computing
Sliwko, L., Getov, Vladimir and Bolotov, A. 2015. Distributed Agent-Based Load Balancer for Cloud Computing. The 22nd Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. University of Birmingham 09 Apr 2015 Automated Reasoning Workshop.

Context-Aware Framework for Performance Tuning via Multi-action Evaluation
Nimalasena, A. and Getov, Vladimir 2015. Context-Aware Framework for Performance Tuning via Multi-action Evaluation. in: 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC) Taichung, Taiwan IEEE . pp. 318 - 323

Socratic Proofs for Propositional Linear-Time Logic
Urbanski, M., Bolotov, A., Shangin, V. and Grigoriev, O. 2014. Socratic Proofs for Propositional Linear-Time Logic. Bolotov, A. (ed.) Joint Automated Reasoning Workshop and Deduktionstreffen. Vienna 23 - 24 Jul 2014 IJCAR.

Tackling Incomplete System Specifcations Using Natural Deduction in the Paracomplete Setting
Bolotov, A. and Shangin, V. 2014. Tackling Incomplete System Specifcations Using Natural Deduction in the Paracomplete Setting. COMPSAC 2014. Vasteras, Sweden Jul 2014 IEEE . https://doi.org/10.1109/COMPSAC.2014.15

Natural Deduction in a Paracomplete Setting
Bolotov, A. and Shangin, V. 2014. Natural Deduction in a Paracomplete Setting. Logical Investigations. 20, pp. 224-247.

Performance Tuning of Database Systems Using a Context-aware Approach
Nimalasena, A. and Getov, Vladimir 2014. Performance Tuning of Database Systems Using a Context-aware Approach. in: Proc. 9th International Conference on Computer Engineering & Systems (ICCES) Cairo IEEE . pp. 98 - 103

A few notes on Amdahl’s law
Getov, Vladimir 2013. A few notes on Amdahl’s law. Computer. 46 (12), p. 45.

Computing laws: origins, standing, and impact
Getov, Vladimir 2013. Computing laws: origins, standing, and impact. Computer. 46 (12), pp. 24-25. https://doi.org/10.1109/MC.2013.421

System evolution for unknown context through multi-action evaluation
Nimalasena, A. and Getov, Vladimir 2013. System evolution for unknown context through multi-action evaluation. in: Proceedings of 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops (COMPSACW) IEEE . pp. 271-276

Topic 2: performance prediction and evaluation
Hoisie, A., Gerndt, M., Benedict, S., Fahringer, T., Getov, Vladimir and Pakin, S. 2013. Topic 2: performance prediction and evaluation. in: Wolf, F., Mohr, B. and an Mey, D. (ed.) Proceedings of EuroPar 2013 Parallel Processing: 19th International Conference, Aachen, Germany, August 26-30, 2013 Springer.

Cloud adoption issues: interoperability and security
Getov, Vladimir 2013. Cloud adoption issues: interoperability and security. in: Catlett, C., Gentzsch, W., Grandinetti, L., Joubert, G.R. and Vazquez-Poletti, J.L. (ed.) Clouds, big data and data-intensive computing IOS Press.

Smart computational grids: infrastructure for tackling global integration challenges
Getov, Vladimir 2012. Smart computational grids: infrastructure for tackling global integration challenges. Electronic Specifier.

Computing in Asia: a sampling of recent success stories
Chang, C.K., Getov, Vladimir and Sung, K. 2012. Computing in Asia: a sampling of recent success stories. Computer. 45 (6), pp. 23-25. https://doi.org/10.1109/MC.2012.203

Hybrid cloud adoption issues are a case in point for the need for industry regulation of cloud computing
Getov, Vladimir 2012. Hybrid cloud adoption issues are a case in point for the need for industry regulation of cloud computing. Business Computing World.

Natural deduction system in paraconsistent setting: proof search for PCont
Bolotov, A. and Shangin, V. 2012. Natural deduction system in paraconsistent setting: proof search for PCont. Journal of Intelligent Systems. 21 (1), pp. 1-24. https://doi.org/10.1515/jisys-2011-0021

Process-driven biometric identification by means of autonomic grid components
Weigold, T., Aldinucci, M., Danelutto, M. and Getov, Vladimir 2012. Process-driven biometric identification by means of autonomic grid components. International Journal of Autonomous and Adaptive Communications Systems. 5 (3), pp. 274-291. https://doi.org/10.1504/IJAACS.2012.047659

Security as a service in smart clouds: opportunities and concerns
Getov, Vladimir 2012. Security as a service in smart clouds: opportunities and concerns. IEEE COMPSAC 2012. Izmir, Turkey 16th - 20th July 2012 pp. 373-379 https://doi.org/10.1109/COMPSAC.2012.112

Plenary panel description: challenges towards the global adoption of cloud computing
Getov, Vladimir 2012. Plenary panel description: challenges towards the global adoption of cloud computing. IEEE COMPSAC 2012. Izmir, Turkey 16th - 20th July 2012 pp. 372 https://doi.org/10.1109/COMPSAC.2012.111

Characterizing application-architecture co-design by suitability functions
Getov, Vladimir 2012. Characterizing application-architecture co-design by suitability functions. in: Bode, A., Hoisie, A., Kranzlmüller, D. and Nagel, W.E. (ed.) Co-design of systems and applications for exascale Dagstuhl Reports.

WMIN-MOBILE: a mobile learning platform for information and service provision
Economou, D., Keable-Crouch, A., Bouki, V., Basukoski, A. and Getov, Vladimir 2012. WMIN-MOBILE: a mobile learning platform for information and service provision. in: Venkatasubramanian, N., Getov, Vladimir and Steglich, S. (ed.) Mobile wireless middleware, operating systems and applications: 4th international ICST conference, Mobilware 2011. London, UK, June 2011. Revised selected papers. Springer.

CoreGRID/ERCIM workshop on grids, clouds and P2P computing: CGWS2011
Danelutto, M., Desprez, F., Getov, Vladimir and Ziegler, W. 2012. CoreGRID/ERCIM workshop on grids, clouds and P2P computing: CGWS2011. in: Alexander, M., D'Ambra, P., Belloum, A., Bosilca, G., Cannataro, M., Danelutto, M., Di Martino, B., Gerndt, M., Jeannot, E., Namyst, R., Roman, J., Scott, S.L., Larsson Traff, J., Vallee, G. and Weidendorfer, J. (ed.) EuroPar 2011 Workshops Springer.

Codesign for systems and applications: charting the path to exascale computing
Getov, Vladimir, Hoisie, A. and Wasserman, H. 2011. Codesign for systems and applications: charting the path to exascale computing. Computer. 44 (11), pp. 19-21. https://doi.org/10.1109/MC.2011.334

Navigating the cloud computing landscape: technologies, services, and adopters
Srinivasan, S. and Getov, Vladimir 2011. Navigating the cloud computing landscape: technologies, services, and adopters. Computer. 44 (3), pp. 22-23. https://doi.org/10.1109/MC.2011.91

From invisible grids to smart cloud computing
Getov, Vladimir and Srinivasan, S. 2011. From invisible grids to smart cloud computing. in: Guarracino, M.R., Vivien, F., Traff, J.L., Cannatoro, M., Danelutto, M., Hast, A., Perla, F., Knupfer, A., Di Martino, B. and Alexander, M. (ed.) Euro-Par 2010 Parallel Processing Workshops Springer.

Component-oriented approaches for software development in the extreme-scale computing era
Getov, Vladimir 2011. Component-oriented approaches for software development in the extreme-scale computing era. in: Foster, I., Gentzsch, W., Grandinetti, L. and Joubert, G.R. (ed.) High performance computing: from grids and clouds to exascale IOS Press.

Natural deduction system in paraconsistent setting: proof search for PCont
Bolotov, A. and Shangin, V. 2011. Natural deduction system in paraconsistent setting: proof search for PCont. In the Proceedings of the 5th Indian International Conference on Artificial Intelligence (IICAI-2011). Tumkur, Karnataka State, India 14th - 16th December 2011 pp. 630-638

Natural deduction in the setting of paraconsistent logic
Bolotov, A. 2011. Natural deduction in the setting of paraconsistent logic. 18th Automated Reasoning Workshop 2011 (ARW2011). University of Glasgow 11th - 12th April 2011

Handling periodic properties: deductive verification for quantified temporal logic specifications
Bolotov, A. 2011. Handling periodic properties: deductive verification for quantified temporal logic specifications. in: 2011 5th international conference on secure software integration and reliability improvement companion IEEE . pp. 179-186

Software development productivity: challenges and future trends
Getov, Vladimir 2010. Software development productivity: challenges and future trends. in: 2010 IEEE 34th Annual Computer Software and Applications Conference (COMPSAC) IEEE . pp. 2-7

Safety and liveness of component-oriented protocols: a feasibility study
Paurobally, S., Bolotov, A. and Getov, Vladimir 2010. Safety and liveness of component-oriented protocols: a feasibility study. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.

Towards symbolic reasoning from subsymbolic sensory information
Bolotov, A., Gupta, G. and Psarrou, A. 2010. Towards symbolic reasoning from subsymbolic sensory information. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.

Invariant-free deduction for CTL*: the tableau method
Bolotov, A., Gaintzarain, J. and Lucio, P. 2010. Invariant-free deduction for CTL*: the tableau method. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.

Integrating formal reasoning into component-based approach to reconfigurable distributed systems
Basso, A. 2010. Integrating formal reasoning into component-based approach to reconfigurable distributed systems. PhD thesis University of Westminster School of Electronics and Computer Science https://doi.org/10.34737/90499

Extreme-scale computing–where 'just more of the same' does not work
Hoisie, A. and Getov, Vladimir 2009. Extreme-scale computing–where 'just more of the same' does not work. Computer. 42 (11), pp. 24-26. https://doi.org/10.1109/MC.2009.354

GCM: a grid extension to Fractal for autonomous distributed components
Baude, F., Caromel, D., Dalmasso, C., Danelutto, M., Getov, Vladimir, Henrio, L. and Pérez, C. 2009. GCM: a grid extension to Fractal for autonomous distributed components. Annals of Telecommunications. 64 (1-2), pp. 5-24. https://doi.org/10.1007/s12243-008-0068-8

Integrating autonomic grid components and process-driven business applications
Weigold, T., Aldinucci, M., Danelutto, M. and Getov, Vladimir 2009. Integrating autonomic grid components and process-driven business applications. in: Vasilakos, A.V., Beraldi, R., Friedman, R. and Mamei, M. (ed.) Autonomic computing and communications systems: third international ICST conference, autonomics 2009, Limassol, Cyprus, September 9-11, 2009, revised selected papers Berlin / Heidelberg Springer.

Multi-agent systems as instrumentation tools for e-business and e-society
Bolotov, A. and Maltseva, S. 2009. Multi-agent systems as instrumentation tools for e-business and e-society. Russian Internet Week. Moscow, Russia December 2009

Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL)
Bolotov, A. and Grigoriev, O. 2009. Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL). in: Hustadt, U. (ed.) Proceedings of the Automated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdom University of Liverpool Department of Computer Science.

Natural deduction calculus for quantified propositional linear-time temporal logic
Bolotov, A. and Grigoriev, O. 2009. Natural deduction calculus for quantified propositional linear-time temporal logic. University of Westminster.

Combining computation tree logic and deontic logic in natural deduction style calculus
Bolotov, A. and Grigoriev, O. 2009. Combining computation tree logic and deontic logic in natural deduction style calculus. University of Westminster.

Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus
Bolotov, A., Basso, A. and Grigoriev, O. 2009. Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus. in: Proceedings of the 4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, SIT, Tumkur, India IICAI. pp. 166-185

On the "until induction" in natural deduction for PLTL
Bolotov, A. 2009. On the "until induction" in natural deduction for PLTL. in: International conference "6th Smirnov's Readings in Logic" June 17-19, 2009, Moscow, Russia Faculty of Philosophy, Lomonosov Moscow State University.

Temporal specification and deductive verification of a distributed component model and its environment
Basso, A., Bolotov, A. and Getov, Vladimir 2009. Temporal specification and deductive verification of a distributed component model and its environment. in: Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009 (SSIRI 2009) IEEE . pp. 379-386

State-based behavior specification for GCM systems
Basso, A., Bolotov, A. and Getov, Vladimir 2009. State-based behavior specification for GCM systems. in: Hustadt, U. (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon University of Liverpool Department of Computer Science.

Special roundtable discussion: 70 years electronic digital computing that changed the world
Atanasoff, J.V., Bell, G., Call, C., Chang, C.K., Geselowitz, M., Getov, Vladimir, Gowen, R.J., Gustafson, J. and Williams, M. 2009. Special roundtable discussion: 70 years electronic digital computing that changed the world. in: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference IEEE . pp. lvi-lvii

e-Science: the added value for modern discovery
Getov, Vladimir 2008. e-Science: the added value for modern discovery. Computer. 41 (11), pp. 30-31. https://doi.org/10.1109/MC.2008.460

Dynamic reconfiguration of GCM components
Basso, A., Bolotov, A., Getov, Vladimir and Henrio, L. 2008. Dynamic reconfiguration of GCM components. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0173

HLA component based environment for distributed multiscale simulations
Rycerz, K., Bubak, M., Sloot, P.M.A. and Getov, Vladimir 2008. HLA component based environment for distributed multiscale simulations. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0137

Dynamic service-based integration of mobile clusters in grids
Isaiadis, S., Getov, Vladimir, Kelley, I. and Taylor, I. 2008. Dynamic service-based integration of mobile clusters in grids. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0094

Advanced Grid programming with components: a biometric identification case study
Weigold, T., Buhler, P., Thiyagalingam, J., Basukoski, A. and Getov, Vladimir 2008. Advanced Grid programming with components: a biometric identification case study. in: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 28 July - 1 August 2008, Turku, Finland: COMPSAC 2008 Los Alamitos, USA IEEE . pp. 401-408

Domain-specific metadata for model validation and performance optimisation
Thiyagalingam, J., Getov, Vladimir, Penagiotidi, S., Beckmann, O. and Darlington, J. 2008. Domain-specific metadata for model validation and performance optimisation. in: Gorlatch, S., Bubak, M. and Priol, T. (ed.) Achievements in European Research on Grid Systems: Proceedings of the CoreGRID Integration Workshop 2006, October 19-20, Krakow, Poland Berlin, Germany Springer. pp. 165-177

A component-based integrated toolkit
Tejedor, E., Badia, R.M., Kielmann, T. and Getov, Vladimir 2008. A component-based integrated toolkit. in: Danelutto, M., Fragopoulou, P. and Getov, Vladimir (ed.) Making grids work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece Springer. pp. 139-151

Transaction-oriented simulation in ad hoc grids: design and experience
Krafft, G. and Getov, Vladimir 2008. Transaction-oriented simulation in ad hoc grids: design and experience. in: Smari, W.W. (ed.) Proceedings of the 2008 High Performance Computing & Simulation Conference (HPCS 2008), 3 - 6 June 2008, Nicosia, Cyprus European Council for Modelling and Simulation. pp. 38-44

Dynamic service-based integration Of mobile clusters in Grids
Isaiadis, S., Getov, Vladimir, Kelley, I. and Taylor, I. 2008. Dynamic service-based integration Of mobile clusters in Grids. in: Gorlatch, S., Fragopoulou, P. and Priol, T. (ed.) Grid computing: achievements and prospects Springer.

Evaluation of dynamic clustering architecture for utilising mobile resources
Isaiadis, S. and Getov, Vladimir 2008. Evaluation of dynamic clustering architecture for utilising mobile resources. in: Burkhart, H. (ed.) Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, February 12 – 14, 2008, Innsbruck, Austria (PDCN 2008) Acta Press. pp. 117-125

Integrated framework for development and execution of component-based Grid applications
Getov, Vladimir 2008. Integrated framework for development and execution of component-based Grid applications. in: IEEE International Symposium on Parallel and Distributed Processing, 2008. IPDPS 2008 IEEE .

Automating natural deduction for temporal logic
Bolotov, A., Grigoriev, O. and Shangin, V. 2008. Automating natural deduction for temporal logic. in: Glymour, C., Wang, W. and Westerstahl, D. (ed.) Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science King's College Publications.

Natural deduction system for linear time temporal logic
Bolotov, A., Basukoski, A., Gregoryev, O. and Shangin, V. 2008. Natural deduction system for linear time temporal logic. in: Logical Investigations Moscow Nauka.

Tackling ”until induction” in natural deduction for PLTL
Bolotov, A. 2008. Tackling ”until induction” in natural deduction for PLTL. in: Dennis, L.A. and Sorge, V. (ed.) Proceedings of the automated reasoning workshop 2008 University of Birmingham. pp. 12-13

Tackling "until induction" in natural deduction for PLTL
Bolotov, A. 2008. Tackling "until induction" in natural deduction for PLTL. in: Proceedings of the 15th workshop on automated reasoning: bridging the gap between theory and practice: CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK Birmingham School of Computer Science.

Design and implementation of a hybrid P2P-based Grid resource discovery system
Basukoski, A., Getov, Vladimir, Thiyagalingam, J. and Isaiadis, S. 2008. Design and implementation of a hybrid P2P-based Grid resource discovery system. in: Danelutto, M., Fragopoulou, P. and Getov, Vladimir (ed.) Making grids work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece Springer.

Methodology for component-based development of grid applications
Basukoski, A., Buhler, P., Getov, Vladimir, Isaiadis, S. and Weigold, T. 2008. Methodology for component-based development of grid applications. in: Compframe/Hpc-Geco Workshop: Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance New York, NY, USA ACM.

Behavioural model of component-based Grid environments
Basso, A., Bolotov, A. and Getov, Vladimir 2008. Behavioural model of component-based Grid environments. in: Priol, T. and Vanneschi, M. (ed.) From grids to service and pervasive computing Springer. pp. 19-30

Automata-based formal specification of stateful systems
Basso, A., Bolotov, A. and Getov, Vladimir 2008. Automata-based formal specification of stateful systems. in: Dennis, L.A. and Sorge, V. (ed.) Proceedings of the automated reasoning workshop 2008 University of Birmingham. pp. 6-7

Automata based formal specification of stateful systems
Basso, A., Bolotov, A. and Getov, Vladimir 2008. Automata based formal specification of stateful systems. in: Proceedings of the 15th workshop on automated reasoning: bridging the gap between theory and practice: CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK Birmingham School of Computer Science.

Towards GCM re-configuration – extending specification by norm
Basso, A. and Bolotov, A. 2008. Towards GCM re-configuration – extending specification by norm. in: Danelutto, M., Fragopoulou, P. and Getov, Vladimir (ed.) Making grids work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece New York, NY, USA Springer. pp. 17-29

Proceedings of the CoreGRID Workshop on Grid Systems, Tools and Environments, 1st December 2006, Sophia-Antipolis, France
Badia, R.M., Baude, F., Getov, Vladimir, Kielmann, T. and Taylor, I. 2007. Proceedings of the CoreGRID Workshop on Grid Systems, Tools and Environments, 1st December 2006, Sophia-Antipolis, France. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0103

Problem solving environment for distributed interactive applications
Rycerz, K., Bubak, M., Sloot, P.M.A. and Getov, Vladimir 2007. Problem solving environment for distributed interactive applications. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0107

Domain-specific metadata for model validation and performance optimisation
Thiyagalingam, J., Getov, Vladimir, Panagiotidi, S., Beckmann, O. and Darlington, J. 2007. Domain-specific metadata for model validation and performance optimisation. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0068

Design support for componentising and grid-enabling scientific applications
Parlavantzas, N., Getov, Vladimir, Morel, M., Baude, F. and Caromel, D. 2007. Design support for componentising and grid-enabling scientific applications. in: Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing New York, NY, USA ACM. pp. 31-38

Letters to the editor
Getov, Vladimir 2007. Letters to the editor. Solid-State Circuits Newsletter. 12 (4), p. 2. https://doi.org/10.1109/N-SSC.2007.4785647

Corrections
Getov, Vladimir 2007. Corrections. Solid-State Circuits Newsletter. 12 (4), p. 2. https://doi.org/10.1109/N-SSC.2007.4785648

A Simpler formulation of natural deduction calculus for linear-time temporal logic
Bolotov, A., Grigoriev, O. and Shangin, V. 2007. A Simpler formulation of natural deduction calculus for linear-time temporal logic. in: Bhanu, P. (ed.) Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. IICAI 2007 India IICAI. pp. 1253-1266

Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL
Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL. in: Proceedings of the "Smirnov's Readings", VI International Conference (in Russian) Moscow, Russia Moscow State University.

Automating natural deduction for linear-time temporal logic
Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Automating natural deduction for linear-time temporal logic. in: 14th International Symposium on Temporal Representation and Reasoning (TIME'07)), 28-30 June 2007, Alicante, Spain Los Alamitos, USA IEEE . pp. 47-58

Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing
Bernholdt, D. and Getov, Vladimir 2007. Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing. New York, NY, USA ACM.

Automating natural deduction for temporal logic
Bolotov, A., Grigoriev, O. and Shangin, V. 2007. Automating natural deduction for temporal logic. in: Proceedings of the 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, ARW 2007. London Imperial College.

Verification of distributed hierarchical components
Barros, T., Henrio, L. and Madelaine, E. 2006. Verification of distributed hierarchical components. Electronic Notes in Theoretical Computer Science. 160, pp. 41-55. https://doi.org/10.1016/j.entcs.2006.05.014

A clausal resolution method for extended computation tree logic ECTL
Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for extended computation tree logic ECTL. Journal of Applied Logic. 4 (2), pp. 141-167. https://doi.org/10.1016/j.jal.2005.06.003

Specification and verification of reconfiguration protocols in grid component systems
Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0042

Componentising a scientific application for the grid
Parlavantzas, N., Morel, M., Baude, F., Huet, F., Caromel, D. and Getov, Vladimir 2006. Componentising a scientific application for the grid. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0031

A clausal resolution method for branching-time logic ECTL+
Bolotov, A. and Basukoski, A. 2006. A clausal resolution method for branching-time logic ECTL+. Annals of Mathematics and Artificial Intelligence. 46 (3), pp. 235-263. https://doi.org/10.1007/s10472-006-9018-1

Mapping "heavy" scientific applications on a lightweight grid infrastructure
Kirchev, L., Blyantov, M., Georgiev, V., Boyanov, K., Taylor, I., Harrison, A., Isaiadis, S., Getov, Vladimir and Currle-Linde, N. 2006. Mapping "heavy" scientific applications on a lightweight grid infrastructure. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0024

Security models for lightweight grid architectures
Kirchev, L., Blyantov, M., Georgiev, V., Boyanov, K., Malawski, M., Bubak, M., Isaiadis, S. and Getov, Vladimir 2006. Security models for lightweight grid architectures. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0023

Lightweight grid platform: design methodology
Badia, R.M., Beckmann, O., Bubak, M., Caromel, D., Getov, Vladimir, Henrio, L., Isaiadis, S., Lazarov, V., Malawski, M., Panagiotidi, S., Parlavantzas, N. and Thiyagalingam, J. 2006. Lightweight grid platform: design methodology. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0020

Specification and Verification of Reconfiguration Protocols in Grid Component Systems
Bolotov, A., Getov, Vladimir, Basso, A. and Basukoski, A. 2006. Specification and Verification of Reconfiguration Protocols in Grid Component Systems. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010 University of Bristol Technical Report.

A metadata extracting tool for software components in grid applications
Thiyagalingam, J. and Getov, Vladimir 2006. A metadata extracting tool for software components in grid applications. in: IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06) Los Alamitos, USA IEEE . pp. 189-196

Dependability in hybrid grid systems: a virtual clusters approach
Isaiadis, S. and Getov, Vladimir 2006. Dependability in hybrid grid systems: a virtual clusters approach. in: JVA '06. IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing, 2006. Los Alamitos, USA IEEE . pp. 52-57

Search and Check: problem solving by problem reduction
Bolotov, A., Lupkowski, P. and Urbanski, M. 2006. Search and Check: problem solving by problem reduction. in: Artificial Intelligence and Soft Computing ICAISC 2006: 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings Polish Neural Networks Society.

Natural deduction calculus for computation tree logic
Bolotov, A., Grigoriev, O. and Shangin, V. 2006. Natural deduction calculus for computation tree logic. in: IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06) Los Alamitos, USA IEEE . pp. 175-183

Natural deduction calculus for linear-time temporal logic
Bolotov, A., Basukoski, A., Grigoriev, O. and Shangin, V. 2006. Natural deduction calculus for linear-time temporal logic. in: Fisher, M., van der Hoek, W., Konev, B. and Lisitsa, A. (ed.) Logics in artificial intelligence: 10th European conference, JELIA 2006: Liverpool, UK September 13-15 2006: proceedings Berlin, Germany Springer.

Alternating automata and temporal logic normal forms
Dixon, C., Bolotov, A. and Fisher, M. 2005. Alternating automata and temporal logic normal forms. Annals of Pure and Applied Logic. 135 (1-3), pp. 263-285. https://doi.org/10.1016/j.apal.2005.03.002

Towards building a generic grid services platform: a components-oriented approach
Thiyagalingam, J., Isaiadis, S. and Getov, Vladimir 2005. Towards building a generic grid services platform: a components-oriented approach. in: Getov, Vladimir and Kielmann, T. (ed.) Component models and systems for grid applications: proceedings of the Workshop on Component Models and Systems for Grid Applications held June 26, 2004 in Saint Malo, France New York, USA Springer. pp. 39-56

An architecture for a portable grid-enabled engine
Long, B. and Getov, Vladimir 2005. An architecture for a portable grid-enabled engine. in: Getov, Vladimir and Kielmann, T. (ed.) Component models and systems for grid applications: proceedings of the Workshop on Component Models and Systems for Grid Applications held June 26, 2004 in Saint Malo, France New York, USA Springer. pp. 125-141

A lightweight platform for integration of mobile devices into pervasive grids
Isaiadis, S. and Getov, Vladimir 2005. A lightweight platform for integration of mobile devices into pervasive grids. in: Yang, L.T., Rana, O.F., Di Martino, B. and Dongarra, J. (ed.) High Performance Computing and Communcations: First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings Berlin, Germany Springer.

Integrating mobile devices into the grid: design considerations and evaluation
Isaiadis, S. and Getov, Vladimir 2005. Integrating mobile devices into the grid: design considerations and evaluation. in: Cunha, J.C. and Medeiros, P.D. (ed.) 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005: proceedings Berlin, Germany Springer.

Normative agents: formal analysis and applications
Bolotov, A. and Svigkos, I. 2005. Normative agents: formal analysis and applications. in: Proceedings of the International Conference Business at the Heart of Central Asia: Critical Issues of Competition and Competitiveness Westminster International University in Tashkent.

Proof-searching algorithm in first order classical natural deduction calculus
Bolotov, A., Bocharov, V., Gorchakov, A. and Shangin, V. 2005. Proof-searching algorithm in first order classical natural deduction calculus. in: Hajek, P., Valdes-Villanueva, L. and Westerstahl, D. (ed.) Logic, methodology and philosophy of science: proceedings of the twelfth international congress King's College Publications.

Automated first order natural deduction
Bolotov, A., Bocharov, V., Gorchakov, A. and Shangin, V. 2005. Automated first order natural deduction. in: Prasad, B. (ed.) Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22, 2005. IICAI 2005 ISCAI. pp. 1292-1311

A hybrid message logging-CIC protocol for constrained checkpointability
Baude, F., Caromel, D., Delbe, C. and Henrio, L. 2005. A hybrid message logging-CIC protocol for constrained checkpointability. in: Cunha, J.C. and Medeiros, P.D. (ed.) Euro-Par 2005 parallel processing: 11th international Euro-Par conference, Lisbon, Portugal, August 30 - September 2, 2005: proceedings Berlin, Germany Springer.

Search strategies for resolution in CTL-type logics: extension and complexity
Basukoski, A. and Bolotov, A. 2005. Search strategies for resolution in CTL-type logics: extension and complexity. in: 12th International Symposium on Temporal Representation and Reasoning, 2005: TIME 2005 Los Alamitos, USA IEEE . pp. 195-197

Behavioural models for hierarchical components
Barros, T., Henrio, L. and Madelaine, E. 2005. Behavioural models for hierarchical components. in: Model checking software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, proceedings Berlin, Germany Springer.

Developing grid services with Jini and JXTA
Rana, O.F., Getov, Vladimir, Sharakan, E., Newhouse, R.J. and Allan, S.J. 2004. Developing grid services with Jini and JXTA. in: ICCC 2004: Proceedings of the 16th International Conference on Computer Communication Beijing, China Publishing House of the Electronics Industry. pp. 1402-1408

Computational grid and web services: concepts, functionalities and comparisons
Getov, Vladimir, Puliafito, A. and Rana, O.F. 2004. Computational grid and web services: concepts, functionalities and comparisons. in: ICCC 2004: Proceedings of the 16th International Conference on Computer Communication Beijing, China Publishing House of the Electronics Industry. pp. 10-15

Improving quality of service in application clusters
Corsava, S. and Getov, Vladimir 2004. Improving quality of service in application clusters. in: Pan, Y. and Yang, L.T. (ed.) Parallel and distributed scientific and engineering computing: practice and experience New York, USA Nova Science Publishers. pp. 157-174

Let the computer prove it
Bolotov, A., Bocharov, V., Gorchakov, A., Makarov, V. and Shangin, V. 2004. Let the computer prove it. Moscow, Russia Nauka.

A clausal resolution method for branching-time logic ECTL+
Bolotov, A. and Basukoski, A. 2004. A clausal resolution method for branching-time logic ECTL+. in: Combi, C. (ed.) 11th International Symposium on Temporal Representation and Reasoning: (TIME 2004), Tatihou, Normandie, France, 1-3 July 2004 IEEE . pp. 140-147

The relationship between Temporal Logic, Normal Form and Alternating Automata
Dixon, C., Bolotov, A. and Fisher, M. 2003. The relationship between Temporal Logic, Normal Form and Alternating Automata. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010

Performance evaluation of hybrid parallel programming paradigms
Prabhakar, A. and Getov, Vladimir 2003. Performance evaluation of hybrid parallel programming paradigms. in: Getov, Vladimir, Gerndt, M., Hoisie, A., Malony, A. and Miller, B. (ed.) Performance analysis and grid computing: selected articles from the Workshop on Performance Analysis and Distributed Computing, August 19-23, 2002, Dagstuhl, Germany Boston, USA Kluwer Academic. pp. 57-76

Using Java for plasma PIC simulations
Lu, Q., Getov, Vladimir and Wang, S. 2003. Using Java for plasma PIC simulations. in: International Parallel and Distributed Processing Symposium, 2003: proceedings. USA IEEE . pp. 7-13

Mixed language high-performance computing for plasma simulations
Lu, Q. and Getov, Vladimir 2003. Mixed language high-performance computing for plasma simulations. Scientific Programming. 11 (1), pp. 57-66.

Intelligent fault tolerant architecture for cluster computing: a high level overview
Corsava, S. and Getov, Vladimir 2003. Intelligent fault tolerant architecture for cluster computing: a high level overview. in: Hamza, M.H. (ed.) Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria IASTED/ACTA Press. pp. 501-506

Intelligent architecture for automatic resource allocation in computer clusters
Corsava, S. and Getov, Vladimir 2003. Intelligent architecture for automatic resource allocation in computer clusters. in: International Parallel and Distributed Processing Symposium (IPDPS'03): proceedings USA IEEE . pp. 201-208

Improving quality of service in application clusters
Corsava, S. and Getov, Vladimir 2003. Improving quality of service in application clusters. in: International Parallel and Distributed Processing Symposium (IPDPS'03): proceedings USA IEEE . pp. 253-260

Cluster infrastructure for biological and health related research
Corsava, S. and Getov, Vladimir 2003. Cluster infrastructure for biological and health related research. in: 3rd IEEE International Symposium on Cluster Computing and the Grid (Ccgrid 2003) USA IEEE . pp. 574-581

Autonomous agents-based security infrastructure
Corsava, S. and Getov, Vladimir 2003. Autonomous agents-based security infrastructure. in: Computational Science and Its Applications: ICCSA 2003 Berlin, Germany Springer.

Agent-based service management in large datacentres and grids
Corsava, S. and Getov, Vladimir 2003. Agent-based service management in large datacentres and grids. in: 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid (Ccgrid 2003) USA IEEE . pp. 633-640

A clausal resolution for extended computation tree logic ECTL
Bolotov, A. 2003. A clausal resolution for extended computation tree logic ECTL. in: Reynolds, M. and Sattar, A. (ed.) Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003 USA IEEE . pp. 107-117

On the relationship between w-automata and temporal logic normal forms
Bolotov, A., Fisher, M. and Dixon, C. 2002. On the relationship between w-automata and temporal logic normal forms. Journal of Logic and Computation. 12 (4), pp. 561-581. https://doi.org/10.1093/logcom/12.4.561

Clausal resolution in a logic of rational agency
Dixon, C., Fisher, M. and Bolotov, A. 2002. Clausal resolution in a logic of rational agency. Artificial Intelligence: an international journal. 139 (1), pp. 47-89. https://doi.org/10.1016/S0004-3702(02)00196-0

Towards Automated Generation of Beliefs in BDI Logics.
Basukoski, A. and Bolotov, A. 2002. Towards Automated Generation of Beliefs in BDI Logics. Automated Reasoning Workshop ARW2002. Imperial College, London Imperial College.

Towards Automated Generation of Beliefs in BDI Logics
Basukoski, A. and Bolotov, A. 2002. Towards Automated Generation of Beliefs in BDI Logics. UK Automated Reasoning Workshop (ARW). Imperial College.

Performance comparisons of basic openMP constructs
Prabhakar, A., Getov, Vladimir and Chapman, B. 2002. Performance comparisons of basic openMP constructs. in: Zima, H.P., Joe, K., Sato, M., Seo, Y. and Shimasaki, M. (ed.) High performance computing : 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002: proceedings Berlin, Germany Springer.

Assignment schemes for replicated services in Jini
Georgiev, V. and Getov, Vladimir 2002. Assignment schemes for replicated services in Jini. in: Ferenc, V. and Podhorszki, N. (ed.) Proceedings of the 10th Euromicro Workshop on Parallel, Distributed, and Network-based Processing: Canary Islands, Spain, January 9-11, 2002 Los Alamitos, USA IEEE . pp. 129-136

Simulation of replicated services in Jini
Corsava, S. and Getov, Vladimir 2002. Simulation of replicated services in Jini. in: Tentner, A. (ed.) Proceedings of the High Performance Computing Symposium - HPC 2002 : 2002 Advanced Simulation Technologies Conference, San Diego, California, Mission Valley Marriott, April 14-18, 2002 San Diego, USA Simulation Councils. pp. 227-232

Multiparadigm communications in Java for grid computing
Getov, Vladimir, von Laszewski, G., Philippsen, M. and Foster, I. 2001. Multiparadigm communications in Java for grid computing. Communications of the ACM. 44 (10), pp. 118-125. https://doi.org/10.1145/383845.383872

JavaGrande - high performance computing with Java
Philippsen, M., Boisvert, R.F., Getov, Vladimir, Pozo, R., Moreira, J.E., Gannon, D. and Fox, G.C. 2001. JavaGrande - high performance computing with Java. in: Sørevik, T., Manne, F., Moe, R. and Gebremedhin, A.H. (ed.) Applied parallel computing. New paradigms for HPC in industry and academia: 5th International Workshop, PARA 2000 Bergen, Norway, June 18–20, 2000 proceedings Berlin ; London Springer.

Java communications for large-scale parallel computing
Getov, Vladimir and Philippsen, M. 2001. Java communications for large-scale parallel computing. in: Margenov, S., Waʹsniewski, J. and Yalamov, P. (ed.) Large-scale scientific computing: Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 revised papers Berlin ; London Springer.

Message-passing computing with Java: performance evaluation and comparisons
Getov, Vladimir, Lu, Q., Thomas, M. and Williams, M. 2001. Message-passing computing with Java: performance evaluation and comparisons. in: Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001 IEEE . pp. 173-177

A mixed-language programming methodology for high performance Java computing
Getov, Vladimir 2001. A mixed-language programming methodology for high performance Java computing. in: Boisvert, R.F. and Tang, P.T.P. (ed.) The architecture of scientific software: IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software, October 2-4, 2000, Ottawa, Canada London, UK Kluwer Academic. pp. 351-364

Guest editorial: Java in high-performance computing
Getov, Vladimir 2001. Guest editorial: Java in high-performance computing. Future Generation Computer Systems. 18 (2), pp. v-vi. https://doi.org/10.1016/S0167-739X(01)00065-6

Programming languages, models, and methods
Kelly, P.H.J., Gorlatch, S., Baden, S. and Getov, Vladimir 2000. Programming languages, models, and methods. in: Bode, A., Ludwig, T., Karl, W. and Wismuller, R. (ed.) Euro-Par 2000 Parallel Processing Springer.

Panel on Metacomputing
Getov, Vladimir, Kacsuk, P., Kesselman, C., Kloeckner, K., Laforenza, D. and Vajda, F. 2000. Panel on Metacomputing. in: Proceedings: 8th Euromicro Workshop on Parallel and Distributed Processing, January 19-21, 2000 IEEE . pp. 254

Aspects of portability and distributed execution for JNI-wrapped message passing libraries
Getov, Vladimir, Gray, P. and Sunderam, V.S. 2000. Aspects of portability and distributed execution for JNI-wrapped message passing libraries. Concurrency: Practice and Experience. 12 (11), pp. 1039-1050. https://doi.org/10.1002/1096-9128(200009)12:11<1039::AID-CPE519>3.0.CO;2-B

MPJ: MPI-like message passing for Java
Carpenter, B., Getov, Vladimir, Judd, G., Skjellum, A. and Fox, G.C. 2000. MPJ: MPI-like message passing for Java. Concurrency: Practice and Experience. 12 (11), pp. 1019-1038. https://doi.org/10.1002/1096-9128(200009)12:11<1019::AID-CPE518>3.0.CO;2-G

Obituaries: Roger Hockney
Getov, Vladimir 1999. Obituaries: Roger Hockney. SIAM News. 32 (5).

Design issues for efficient implementation of MPI in Java
Judd, G., Clement, M., Snell, Q. and Getov, Vladimir 1999. Design issues for efficient implementation of MPI in Java. in: Proceedings of the ACM 1999 conference on Java Grande New York ACM. pp. 58-65

Performance optimisations of the NPB FT kernel by special-purpose unroller
Getov, Vladimir, Wei, Y., Carter, L. and Gatlin, K.S. 1999. Performance optimisations of the NPB FT kernel by special-purpose unroller. in: Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing (PDP '99) IEEE . pp. 84-88

MPI and Java-MPI: contrasts and comparisons of low-level communication performance
Getov, Vladimir, Gray, P. and Sunderam, V.S. 1999. MPI and Java-MPI: contrasts and comparisons of low-level communication performance. in: Proceedings of the 1999 ACM/IEEE conference on Supercomputing New York ACM/IEEE. pp. 58-65

Multi-language programming environments for high performance Java computing
Getov, Vladimir, Gray, P., Mintchev, S. and Sunderam, V.S. 1999. Multi-language programming environments for high performance Java computing. Scientific Programming. 7 (2), pp. 139-146.

A programming environment for high-performance computing in Java
Getov, Vladimir, Flynn-Hummel, S. and Mintchev, S. 1999. A programming environment for high-performance computing in Java. in: Allan, R., Guest, M.F., Simpson, A.D., Henty, D.S. and Nicole, D. (ed.) High performance computing New York Kluwer Academic / Phenum Publishers. pp. 559-568

MPI for Java
Carpenter, B., Getov, Vladimir, Judd, G., Skjellum, A. and Fox, G.C. 1999. MPI for Java. in: Proceedings of MPIDC’99 Conference MPI SoftTech Press. pp. 123-132

MPI for Java: position document and draft API specification
Carpenter, B., Bryan, Getov, Vladimir, Vladimir, Judd, G., Glenn, Skjellum, A., Anthony and Fox, G.C. 1998. MPI for Java: position document and draft API specification. JGF-TR-03 Java Grande Forum.

High-performance parallel programming in Java: exploiting native libraries
Getov, Vladimir, Flynn-Hummel, S. and Mintchev, S. 1998. High-performance parallel programming in Java: exploiting native libraries. Concurrency: Practice and Experience. 10 (11), pp. 863-872. https://doi.org/10.1002/(SICI)1096-9128(199809/11)10:11/13<863::AID-CPE387>3.0.CO;2-7

Low-level benchmarking: performance profiles
Hockney, R.W. and Getov, Vladimir 1998. Low-level benchmarking: performance profiles. in: Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing (PDP '98) IEEE . pp. 50-56

Towards portable message passing in Java: binding MPI
Mintchev, S. and Getov, Vladimir 1997. Towards portable message passing in Java: binding MPI. in: Bubak, M., Dongarra, J. and Wagniewski, J. (ed.) Recent advances in parallel virtual machine and message passing interface: 4th European PVM/MPI Users' Group Meeting Cracow, Poland, November 3–5, 1997 proceedings Berlin ; London Springer.

PMPI: high-level message passing in Fortran77 and C
Mintchev, S. and Getov, Vladimir 1997. PMPI: high-level message passing in Fortran77 and C. in: Hertzberger, B. and Sloot, P.M.A. (ed.) High-Performance Computing and Networking: International Conference and Exhibition Vienna, Austria, April 28–30, 1997 proceedings Berlin ; London Springer.

Automatic binding of native scientific libraries to Java
Mintchev, S. and Getov, Vladimir 1997. Automatic binding of native scientific libraries to Java. in: Ishikawa, Y., Oldehoeft, R.R., Reynders, J.V.W. and Tholburn, M. (ed.) Scientific computing in object-oriented parallel environments: first international conference, ISCOPE 97 Marina del Rey, California, USA December 8–11, 1997 proceedings Berlin ; London Springer.

Message-passing performance of parallel computers
Getov, Vladimir, Hernandez, E. and Hey, T. 1997. Message-passing performance of parallel computers. in: Lengauer, C., Griebl, M. and Gorlatch, S. (ed.) Euro-Par'97 Parallel Processing: Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 proceedings Berlin ; London Springer.

Massively parallel computing in Java
Getov, Vladimir, Flynn-Hummel, S. and Mintchev, S. 1997. Massively parallel computing in Java. in: Proceedings of the Third Working Conference on Massively Parallel Programming Models, 1997 IEEE . pp. 112-117

Benchmarking the cache memory effect
Getov, Vladimir 1996. Benchmarking the cache memory effect. in: Dongarra, J., Madsen, K. and Wasniewski, J. (ed.) Applied Parallel Computing Computations in Physics, Chemistry and Engineering Science: Berlin ; London Springer.

The GENESIS distributed memory benchmarks. Part 2: COMMS1, TRANS1, FFT1 and QCD2 benchmarks on the suprenum and IPSC/860 computers
Hey, T., Hockney, R.W., Getov, Vladimir, Wolton, I.C., Merlin, J. and Allwright, J. 1995. The GENESIS distributed memory benchmarks. Part 2: COMMS1, TRANS1, FFT1 and QCD2 benchmarks on the suprenum and IPSC/860 computers. Concurrency: Practice and Experience. 7 (6), pp. 543-570. https://doi.org/10.1002/cpe.4330070603

Performance characterisation of the cache memory effect
Getov, Vladimir 1995. Performance characterisation of the cache memory effect. Supercomputer. XI (4), pp. 31-49.

Benchmarking for distributed memory parallel systems: gaining insight from numbers
Addison, C., Getov, Vladimir, Hey, T., Hockney, R.W. and Wolton, I.C. 1994. Benchmarking for distributed memory parallel systems: gaining insight from numbers. Parallel Computing. 20 (10-11), pp. 1653-1668. https://doi.org/10.1016/0167-8191(94)90063-9

Comparison of HPF-like Systems
Getov, Vladimir, Brandes, T., Chapman, B., Dunlop, A., Hey, T. and Pritchard, D. 1994. Comparison of HPF-like Systems. Deliverable Report D4.3.a, ESPRIT Project P6643 PPPE.

PARKBENCH Report -1: Public International Benchmarks for Parallel Computers, Technical Report: UT-CS-93-213
Bailey, D., Berry, M., Dongarra, J., Getov, Vladimir, Haupt, T., Hey, T., Hockney, R.W. and Walker, D. 1994. PARKBENCH Report -1: Public International Benchmarks for Parallel Computers, Technical Report: UT-CS-93-213. Knoxville, USA University of Tennessee.

PARKBENCH Report - 1: Public international benchmarks for parallel computers
Bailey, D., Berry, M., Dongarra, J., Getov, Vladimir, Haupt, T., Hey, T., Hockney, R.W. and Walker, D. 1994. PARKBENCH Report - 1: Public international benchmarks for parallel computers. Scientific Programming. 3 (2), pp. 101-146.

Performance visualisation in a portable parallel programming environment
Glendining, I., Getov, Vladimir, Hey, T., Hockney, R.W. and Wolton, I.C. 1993. Performance visualisation in a portable parallel programming environment. in: Kotsis, G. and Haring, G. (ed.) Performance measurement and visualization of parallel systems Amsterdam ; New York Elsevier.

Performance analysis of distributed applications by suitability functions
Getov, Vladimir, Hockney, R.W. and Hey, T. 1993. Performance analysis of distributed applications by suitability functions. in: Proceedings of Programming Models for Massively Parallel Computers, 1993 IEEE . pp. 191-197

Comparative performance analysis of uniformly distributed applications
Getov, Vladimir and Hockney, R.W. 1993. Comparative performance analysis of uniformly distributed applications. in: Proceedings of the Euromicro Workshop on Parallel and Distributed Processing 1993 IEEE . pp. 259-262

The GENESIS distributed memory benchmarks
Getov, Vladimir, Hey, T., Hockney, R.W. and Wolton, I.C. 1993. The GENESIS distributed memory benchmarks. in: 1993 Research Journal Department of Electronics and Computer Science, University of Southampton. pp. 98-101

The GENESIS benchmark suite: current state and results
Getov, Vladimir, Hey, T., Hockney, R.W. and Wolton, I.C. 1993. The GENESIS benchmark suite: current state and results. in: Proceedings of Workshop on Performance Evaluation of Parallel Systems - PEPS'93 Coventry Printers. pp. 182-190

The GENESIS benchmark suite manual. Release 2
Getov, Vladimir, Hey, T., Hockney, R.W. and Wolton, I.C. 1993. The GENESIS benchmark suite manual. Release 2. SNARC, University of Southampton.

The GENESIS distributed-memory benchmarks
Addison, C., Getov, Vladimir, Hey, T., Hockney, R.W. and Wolton, I.C. 1993. The GENESIS distributed-memory benchmarks. in: Dongarra, J. and Gentzscg, W. (ed.) Computer benchmarks Amsterdam ; London Elsevier.

The GENESIS distributed-memory benchmarks. Part 1: Methodology and general relativity benchmark with results for the SUPRENUM computer
Addison, C., Allwright, J., Binsted, N., Bishop, N., Carpenter, B., Dalloz, P., Gee, D., Getov, Vladimir, Hey, T., Hockney, R.W., Lemke, M., Merlin, J., Pinches, P., Scott, C. and Wolton, I. 1993. The GENESIS distributed-memory benchmarks. Part 1: Methodology and general relativity benchmark with results for the SUPRENUM computer. Concurrency: Practice and Experience. 5 (1), pp. 1-22. https://doi.org/10.1002/cpe.4330050102

The scientist and his time
Bolotov, A. and Zaitzev, D. 1993. The scientist and his time. Moscow University Bulletin. 5, pp. 1-12.

Final report on benchmark suite
Wolton, I.C., Getov, Vladimir, Hockney, R.W. and Hey, T. 1992. Final report on benchmark suite. Working paper D2.5.1, ESPRIT Project P2702 GENESIS.

Mid-term report on benchmark suite
Wolton, I.C., Getov, Vladimir, Hockney, R.W. and Hey, T. 1992. Mid-term report on benchmark suite. Working paper D2.5.1, ESPRIT Project P2702 GENESIS.

Benchmarking for MPP procurement. Mid-term report
Getov, Vladimir 1992. Benchmarking for MPP procurement. Mid-term report. University of Southampton.

1-Dimensional parallel FFT benchmark on SUPRENUM
Getov, Vladimir 1992. 1-Dimensional parallel FFT benchmark on SUPRENUM. in: PARLE '92 Parallel Architectures and Languages Europe: 4th International PARLE Conference Paris, France, June 15–18, 1992 proceedings Berlin ; London Springer.

Simulation facility of distributed memory system with 'mad postman' communication network
Getov, Vladimir and Jesshope, C.R. 1991. Simulation facility of distributed memory system with 'mad postman' communication network. in: Bode, A. (ed.) Distributed memory computing: 2nd European Conference, EDMCC2 Munich, FRG, April 22–24, 1991 proceedings Berlin ; London Springer.

Evaluation facility for high-speed network systems
Simonski, K., Getov, Vladimir and Arabadjiski, Y. 1990. Evaluation facility for high-speed network systems. Informatik Informationen Reporte. 10, pp. 48-62.

Architecture of a high-speed network interconnection unit
Kardjiev, T. and Getov, Vladimir 1990. Architecture of a high-speed network interconnection unit. Informatik Informationen Reporte. 6, pp. 93-100.

Permalink - https://westminsterresearch.westminster.ac.uk/item/923z0/specification-and-verification-of-reconfiguration-protocols-in-grid-component-systems


Share this

Usage statistics

158 total views
187 total downloads
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.