John A. van der Poll

20 papers C 1Journal 5Unranked 14

Year	Rank	Type	Title / Venue / Authors
2016	—	`conf`	Implementing Deterministic Finite State Machines using Guard-Stage-Milestone. SAICSIT Mike A. Marin, Hugo Lotriet, John A. van der Poll
2015	—	`conf`	Metrics for the Case Management Modeling and Notation (CMMN) Specification. SAICSIT Mike A. Marin, Hugo Lotriet, John A. van der Poll
2014	C	`conf`	A Framework to Assist Organizations with IT Adoption Governance. CloudCom Osden Jokonya, Jan H. Kroeze, John A. van der Poll
2014	—	`conf`	An Ant-based Mobile Agent Approach to Resource Discovery in Grid Computing. SAICSIT Devendra Gengan, Marthie A. Schoeman, John A. van der Poll
2014	—	`conf`	Measuring Method Complexity of the Case Management Modeling and Notation (CMMN). SAICSIT Mike A. Marin, Hugo Lotriet, John A. van der Poll
2014	—	`conf`	Towards a model on security challenges during closed source software to OSS migrations. ICITST Olusegun Ademolu Ajigini, John A. van der Poll, Jan H. Kroeze
2013	—	`conf`	A Framework to Analyze E-Government OSS Adoption Benefits. AMCIS Osden Jokonya, Jan H. Kroeze, John A. van der Poll
2013	—	`conf`	Democratic detection of malicious behaviour in MANET: A voting process. ISSA Elisha O. Ochola, Mariki M. Eloff, John A. van der Poll
2013	—	`conf`	The failure of watchdog schemes in MANET security: a case of an intelligent black-hole. SAICSIT Elisha O. Ochola, Mariki M. Eloff, John A. van der Poll
2012	—	`conf`	Mobile Ad-hoc Network Security Challenges Under AODV Routing Protocol. INC Elisha Oketch Ochola, Mariki M. Eloff, John A. van der Poll
2012	—	`conf`	Towards a framework for decision making regarding IT adoption. SAICSIT Osden Jokonya, Jan H. Kroeze, John A. van der Poll
2011	—	`conf`	Towards the formalisation of object-oriented methodologies. SAICSIT Ayodele A. Adesina-Ojo, John A. van der Poll, Lucas M. Venter
2010	J	`jnl`	Formal methods in software development: a road less travelled. South Afr. Comput. J. John A. van der Poll
2008	—	`conf`	Planning as model checking: the performance of ProB vs NuSMV. SAICSIT Tertia Hörne, John A. van der Poll
2007	—	`conf`	Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. MSVVEIS Paul S. Steyn, John A. van der Poll
2005	J	`jnl`	Enhancing the established strategy for constructing a Z specification. South Afr. Comput. J. John A. van der Poll, Paula Kotzé
2005	J	`jnl`	HCI pattern semantics in XML: a pragmatic approach. ACM SIGSOFT Softw. Eng. Notes Ashraf Gaffar, Ahmed Seffah, John A. van der Poll
2004	J	`jnl`	Automated Support for Enterprise Information Systems. J. Univers. Comput. Sci. John A. van der Poll, Paula Kotzé, Willem Adrian Labuschagne
2004	—	`conf`	Reasoning about the Properties of an Enterprise Information System. VVEIS John A. van der Poll, Paula Kotzé
2003	J	`jnl`	A multi-level marketing case study : specifying forests and trees in Z. South Afr. Comput. J. John A. van der Poll, Paula Kotzé