John A. van der Poll

According to our database, John A. van der Poll authored at least 43 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

The Role of 4IR-5IR Leadership-Management in the Adoption of Formal Methods.

John Andrew van der Poll

Syst., August, 2024

2023

A Control Framework for a Secure Internet of Things within Small-, Medium-, and Micro-Sized Enterprises in a Developing Economy.

Tebogo Mhlongo, John Andrew van der Poll, Tebogo Sethibe

Comput., June, 2023

An Improved User Requirements Notation (URN) Models' Construction Approach.

Cyrille Dongmo, John Andrew van der Poll

Syst., 2023

Towards a Conceptual Framework for Data Management in Business Intelligence.

Ramakolote Judas Mositsa, John Andrew van der Poll, Cyrille Dongmo

Inf., 2023

The Applicability of Automated Testing Frameworks for Mobile Application Testing: A Systematic Literature Review.

Natnael Gonfa Berihun, Cyrille Dongmo, John Andrew van der Poll

Comput., 2023

2022

A Framework for Knowledge Management System Adoption in Small and Medium Enterprises.

Werner Richardt van Zyl, Sanchen Henning, John Andrew van der Poll

Comput., 2022

A Research Agenda for Embedding 4IR Technologies in the Leadership Management of Formal Methods.

John Andrew van der Poll

Proceedings of the International Conference on Computational Science and Computational Intelligence, 2022

2021

Towards a Framework to Address Enterprise Resource Planning (ERP) Challenges.

Stephen Kwame Senaya, John Andrew van der Poll, Marthie A. Schoeman

Proceedings of Sixth International Congress on Information and Communication Technology, 2021

Digitalisation Practices in South-African State-Owned Enterprises: A Framework for Rapid Adoption of Digital Solutions.

Thapedi Malope, John Andrew van der Poll, Ozias Ncube

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

2020

The impact of task-technology fit on the organisational commitment of mobile knowledge workers in South Africa.

Michelle Elizabeth Robberts, John Andrew van der Poll, Klarissa Engelbrecht

Proceedings of the SAICSIT '20: Conference of the South African Institute of Computer Scientists and Information Technologists 2020, 2020

2019

Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations.

Kobamelo Moremedi, John Andrew van der Poll

Int. J. Data Min. Model. Manag., 2019

2018

The Project Management Information System as Enabler for ICT4D Achievement at Capability Maturity Level 2 and Above.

Mark Jonathan Corrigan, John Andrew van der Poll, Emmanuel Samuel Mtsweni

Proceedings of the Locally Relevant ICT Research, 2018

2017

Post cloud computing implementation benefits and challenges realised for a South African technology company.

Michael Kudakwashe Chihande, John Andrew van der Poll

Proceedings of the 2017 Conference on Information Communication Technology and Society (ICTAS), 2017

Security Failure Trends of Cloud Computing.

Zachariah Pabi Gariba, John Andrew van der Poll

Proceedings of the 3rd IEEE International Conference on Collaboration and Internet Computing, 2017

2016

Implementing Deterministic Finite State Machines using Guard-Stage-Milestone.

Mike A. Marin, Hugo Lotriet, John A. van der Poll

Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2016

2015

Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau.

Mapetlwane Litha Mokwana, John Andrew van der Poll

Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 2015

Metrics for the Case Management Modeling and Notation (CMMN) Specification.

Mike A. Marin, Hugo Lotriet, John A. van der Poll

Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 2015

Managing Globally Distributed Software Development Projects using Virtual Teams: A Middle East Case Study.

Nelson Denhere, Tertia Hörne, John Andrew van der Poll

Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 2015

The Role of Cloud Computing in Addressing SME Challenges in South Africa.

Nkosi Kumalo, John Andrew van der Poll

Proceedings of the 2015 International Conference on Cloud Computing Research and Innovation, 2015

2014

Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs).

Cyrille Dongmo, John Andrew van der Poll

Int. J. Softw. Eng. Knowl. Eng., 2014

Measuring Method Complexity of the Case Management Modeling and Notation (CMMN).

Mike A. Marin, Hugo Lotriet, John A. van der Poll

Proceedings of the Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014, 2014

An Ant-based Mobile Agent Approach to Resource Discovery in Grid Computing.

Devendra Gengan, Marthie A. Schoeman, John A. van der Poll

Proceedings of the Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014, 2014

Towards a model on security challenges during closed source software to OSS migrations.

Olusegun Ademolu Ajigini, John A. van der Poll, Jan H. Kroeze

Proceedings of the 9th International Conference for Internet Technology and Secured Transactions, 2014

A Framework to Assist Organizations with IT Adoption Governance.

Osden Jokonya, Jan H. Kroeze, John A. van der Poll

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2013

The failure of watchdog schemes in MANET security: a case of an intelligent black-hole.

Elisha O. Ochola, Mariki M. Eloff, John A. van der Poll

Proceedings of the 2013 South African Institute for Computer Scientists and Information Technologists, 2013

Transforming Formal Specification Constructs into Diagrammatic Notations.

Kobamelo Moremedi, John Andrew van der Poll

Proceedings of the Model and Data Engineering - Third International Conference, 2013

Democratic detection of malicious behaviour in MANET: A voting process.

Elisha O. Ochola, Mariki M. Eloff, John A. van der Poll

Proceedings of the 2013 Information Security for South Africa, 2013

A Framework to Analyze E-Government OSS Adoption Benefits.

Osden Jokonya, Jan H. Kroeze, John A. van der Poll

Proceedings of the 19th Americas Conference on Information Systems, 2013

2012

Towards a framework for decision making regarding IT adoption.

Osden Jokonya, Jan H. Kroeze, John A. van der Poll

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Mobile Ad-hoc Network Security Challenges Under AODV Routing Protocol.

Elisha Oketch Ochola, Mariki M. Eloff, John A. van der Poll

Proceedings of the Ninth International Network Conference (INC 2012), 2012

2011

Evaluating software specifications by comparison.

Cyrille Dongmo, John Andrew van der Poll

Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

Towards the formalisation of object-oriented methodologies.

Ayodele A. Adesina-Ojo, John A. van der Poll, Lucas M. Venter

Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

2010

Formal methods in software development: a road less travelled.

John A. van der Poll

South Afr. Comput. J., 2010

A four-way framework for validating a specification.

Cyrille Dongmo, John Andrew van der Poll

Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2010

2009

Use Case Maps as an Aid in the Construction of a Formal Specification.

Cyrille Dongmo, John Andrew van der Poll

Proceedings of the Modelling, 2009

A virtual integrated network emulator on XEN (viNEX).

Abraham Mukosi Mukwevho, John Andrew van der Poll, Robert Mark Jolliffe

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

2008

Planning as model checking: the performance of ProB vs NuSMV.

Tertia Hörne, John A. van der Poll

Proceedings of the 2008 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, 2008

2007

Validating Reasoning Heuristics Using Next-Generation Theorem-Provers.

Paul S. Steyn, John A. van der Poll

Proceedings of the Modelling, 2007

2005

HCI pattern semantics in XML: a pragmatic approach.

Ashraf Gaffar, Ahmed Seffah, John A. van der Poll

ACM SIGSOFT Softw. Eng. Notes, 2005

Enhancing the established strategy for constructing a Z specification.

John A. van der Poll, Paula Kotzé

South Afr. Comput. J., 2005

2004

Automated Support for Enterprise Information Systems.

John A. van der Poll, Paula Kotzé, Willem Adrian Labuschagne

J. Univers. Comput. Sci., 2004

Reasoning about the Properties of an Enterprise Information System.

John A. van der Poll, Paula Kotzé

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

2003

A multi-level marketing case study : specifying forests and trees in Z.

John A. van der Poll, Paula Kotzé

South Afr. Comput. J., 2003