Dr Mark Wallis
Associate Lecturer
School of Information and Physical Sciences (Computing and Information Technology)
Career Summary
Biography
Mark Wallis is a software and network engineer who specialises in software architecture, secure networks, L4+ networking, auditing, policy, project management and education. With years of experience in the field, Mark works with his colleagues to design and implement secure software, network and integration solutions. Mark is an Associate Lecturer at the University of Newcastle and has completed his PhD in distributed component-based systems.
Team Participation
- Member of the Distributed Computing Research Group, School of Electrical Engineering and Computer Science
Teaching Experience
- Enterprise Software Architecture (2011-2017, 2021-) (SENG4400)
- Network and Distributed Computing (2012, 2015, 2016, 2022-) (SENG3400/SENG4500)
- Distributed Operating Systems (2012, 2015, 2016) (COMP4240)
- Computing Fundamentals (2017) (COMP1010)
- Introduction to Professional Engineering (2017) (ENGG1500 - Software Engineering Mentor)
- Web Engineering (2012) (SENG2050)
- Software Project 1 (2012) (SENG3150)
- Software Project 2 (2012) (SENG3160)
Examination Experience
- 1 x External MIT research thesis review
Qualifications
- Doctor of Philosophy, University of Newcastle
- Bachelor of Computer Science, University of Newcastle
- Bachelor of Computer Science (Honours), University of Newcastle
Keywords
- Cloud Computing
- Computer Networks
- Computer Security
- Software Architecture
Languages
- English (Mother)
Professional Experience
UON Appointment
Title | Organisation / Department |
---|---|
Associate Lecturer | University of Newcastle School of Information and Physical Sciences Australia |
Awards
Research Award
Year | Award |
---|---|
2010 |
Best Paper Award for the paper "A Distributed Content Storage Model for Web Applications" - INTERNET 2010 Conference IARIA |
Teaching
Code | Course | Role | Duration |
---|---|---|---|
SENG4400 |
Enterprise Software Architectures Faculty of Engineering and Built Environment - The University of Newcastle (Australia) Lecturer and tutor for Enterprise Software Architectures, a core 4th year software engineering course. |
Lecturer | 1/7/2011 - 31/12/2024 |
COMP1010 |
Computing Fundamentals Faculty of Engineering and Built Environment - The University of Newcastle (Australia) Co-lecturer for the first-year core Computing Fundamentals course |
Co-Lecturer | 1/1/2017 - 30/6/2017 |
ENGG1500 |
Introduction to Professional Engineering Faculty of Engineering and Built Environment - The University of Newcastle (Australia) Mentor and Project organiser for the Software Engineering aspect of the Professional Engineering course |
Mentor | 1/1/2017 - 30/6/2017 |
SENG3400 |
Network and Distributed Computing Faculty of Engineering and Built Environment - The University of Newcastle (Australia) Lecturer for the 3rd year Software Engineering course, Network and Distributed Computing. |
Lecturer | 1/1/2015 - 31/12/2016 |
SENG4500 |
Network and Distributed Computing University of Newcastle Australia |
Lecturer | 1/1/2022 - 31/12/2024 |
SENG4150 |
Distributed Operating Systems Faculty of Engineering and Built Environment - The University of Newcastle (Australia) Lecturer of the 4th year elective course, Distributed Operating Systems |
Lecturer | 1/1/2015 - 31/12/2016 |
Publications
For publications that are currently unpublished or in-press, details are shown in italics.
Chapter (2 outputs)
Year | Citation | Altmetrics | Link | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
2019 |
Ud Din F, Henskens F, Paul D, Wallis MR, 'Agent-Oriented Smart Factory (AOSF): An MAS Based Framework for SMEs Under Industry 4.0', Agents and Multi-Agent Systems: Technologies and Applications 2018. Proceedings of the 12th International Conference on Agents and Multi-Agent Systems: Technologies and Applications (KES-AMSTA-18), Springer International Publishing, Cham, Switzerland 44-54 (2019) [B1]
|
Nova | |||||||||
2011 |
Wallis MR, Henskens FA, Hannaford MR, 'Peer-based complex profile management', Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011, Springer-Verlag, Berlin 103-111 (2011) [B1]
|
Nova |
Journal article (12 outputs)
Year | Citation | Altmetrics | Link | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
2022 |
Ud Din F, Paul D, Henskens F, Wallis M, Hashmi MA, 'AOSR: an agent oriented storage and retrieval WMS planner for SMEs, associated with AOSF framework, under Industry 4.0', International Journal of Applied Decision Sciences, 15 641-661 (2022) [C1] The concept of a smart factory, under Industry 4.0 relies heavily on cyber physical systems (CPS) and intra-enterprise-wide-networks (IWN). Cloud-based implementation is incumbent... [more] The concept of a smart factory, under Industry 4.0 relies heavily on cyber physical systems (CPS) and intra-enterprise-wide-networks (IWN). Cloud-based implementation is incumbent to accomplish the promises of enterprise integration, automation, seamless information exchange and intelligent self-organisation. Extensive research has been conducted in this domain, however, there is still much research to be done from the perspective of such frameworks in small to medium size enterprises (SMEs). In this context, the agent-oriented smart factory (AOSF) framework provides a generic end-to-end supply chain (SC) model, compliant with CPS and Industry 4.0 standards. In order to support the crucial side of warehouse management, this paper presents AOSF¿s recommended agent-oriented storage and retrieval (AOSR) warehouse planner with hybrid logic-based strategy, which yields a smart time-stamped plan to manage product placement and retrieval efficiently. The AOSF-associated AOSR-planner uses the hierarchical task network (HTN) AI planning to ensure different warehouse operations in a timely manner.
|
Nova | |||||||||
2021 |
Jnanamurthy HK, Henskens F, Paul D, Wallis M, 'Formal specification at model-level of model-driven engineering using modelling techniques', International Journal of Computer Applications in Technology, 67 340-350 (2021) [C1] Nowadays Model-Driven Engineering (MDE) is gaining more popularity due to high-level development leading to a faster generation of executable code, which reduces manual interventi... [more] Nowadays Model-Driven Engineering (MDE) is gaining more popularity due to high-level development leading to a faster generation of executable code, which reduces manual intervention. Verification is crucial at different levels of model-based development. Model-based development, along with formal verification process, assures the developed model satisfies software requirements described in formal specifications. Owing the inadequate knowledge of formal methods (complex mathematical theory), software developers are not adopting formal methods during software development. There are several approaches in the literature available to transform MDE models into formal models directly for formal verification, and these approaches require an additional input of formal specifications to verification tools for formal verification. But these methods have not addressed the problem of formal specifications at the model level. In this paper, we design a modelling framework using modelling techniques, which allows specifying formal properties at the model level, automatically extracting formal specifications and formal models from developed application models, which are used for formal verification. The proposed method allows full automation and reduces the time for formal verification process during the development life-cycle. Furthermore, the method reduces the complexity of learning formal specification notations (specifications specified at the model level are automatically converted into formal specifications), which are required to input verification tools for formal verification.
|
Nova | |||||||||
2021 |
Ud Din F, Paul D, Ryan J, Henskens F, Wallis M, 'Aosr 2.0: A novel approach and thorough validation of an agent-oriented storage and retrieval wms planner for smes, under industry 4.0', Future Internet, 13 (2021) [C1] The Fourth Industrial Revolution (Industry 4.0), with the help of cyber-physical systems (CPS), the Internet of Things (IoT), and Artificial Intelligence (AI), is transforming the... [more] The Fourth Industrial Revolution (Industry 4.0), with the help of cyber-physical systems (CPS), the Internet of Things (IoT), and Artificial Intelligence (AI), is transforming the way industrial setups are designed. Recent literature has provided insight about large firms gaining benefits from Industry 4.0, but many of these benefits do not translate to SMEs. The agent-oriented smart factory (AOSF) framework provides a solution to help bridge the gap between Industry 4.0 frameworks and SME-oriented setups by providing a general and high-level supply chain (SC) framework and an associated agent-oriented storage and retrieval (AOSR)-based warehouse management strategy. This paper presents the extended heuristics of the AOSR algorithm and details how it improves the performance efficiency in an SME-oriented warehouse. A detailed discussion on the thorough validation via scenario-based experimentation and test cases explain how AOSR yielded 60¿148% improved performance metrics in certain key areas of a warehouse.
|
Nova | |||||||||
2021 |
Wall NG, Smith O, Campbell LE, Loughland C, Wallis M, Henskens F, Schall U, 'E-technology social support programs for autistic children: Can they work?', WORLD JOURNAL OF PSYCHIATRY, 11 1239-1246 (2021) [C1]
|
Nova | |||||||||
2021 |
Ud Din F, Paul D, Henskens F, Wallis M, 'Conceptualised Visualisation of Extended Agent Oriented Smart Factory (xAOSF) Framework with Associated AOSR-WMS System', Journal of Software, 182-199 (2021) [C1]
|
Nova | |||||||||
2020 |
Ud Din F, Paul D, Henskens F, Wallis M, 'Validating Time Efficiency of AOSR 2.0: A Novel WMS Planner Algorithm for SMEs, under Industry 4.0', Journal of Software, 15 53-61 (2020) [C1]
|
Nova | |||||||||
2020 |
Jnanamurthy HK, Jetley R, Henskens F, Paul D, Wallis M, Sudarsan SD, 'Multi-level analysis of IEC 61131-3 languages to detect clones', International Journal of Computer Applications in Technology, 63 286-299 (2020) [C1] Nowadays, automation can be assisted by using programmable logic controllers (PLCs). PLCs are typically programmed with IEC 61131-3 languages to automate and implement the applica... [more] Nowadays, automation can be assisted by using programmable logic controllers (PLCs). PLCs are typically programmed with IEC 61131-3 languages to automate and implement the applications. PLC program classification plays an important role in the identification of similar functionality, which can be considered as software clones. In this paper, we present work to identify clones in IEC 61131-3 languages, using an approach based on four different perspectives: (a) clone prediction: Filtering based on heuristics; (b) structural analysis: Detect syntactic code clones; (c) semantic analysis: Analysis of output variable dependency and input variable impact usage to detect semantic clones; (d) variable interval analysis: Analysis of each program variable intervals to examine and detect clones. Our approach is a combination of structural, semantic and data interval based analysis. As a result, our approach is feasible and yields good results in detecting clones on our test data.
|
Nova | |||||||||
2019 |
Denham AMJ, Guillaumier A, McCrabb S, Turner A, Baker AL, Spratt NJ, et al., 'Development of an online secondary prevention programme for stroke survivors: Prevent 2nd Stroke', BMJ Innovations, 5 35-42 (2019) [C1] Background Stroke events often result in long-term negative health outcomes. People who experience a first stroke event are 30%-40% more likely to experience a second stroke event... [more] Background Stroke events often result in long-term negative health outcomes. People who experience a first stroke event are 30%-40% more likely to experience a second stroke event within 5 years. An online secondary prevention programme for stroke survivors may help stroke survivors improve their health risk behaviours and lower their risk of a second stroke. Objectives This paper describes the development and early iteration testing of the usability and acceptability of an online secondary prevention programme for stroke survivors (Prevent 2nd Stroke, P2S). P2S aims to address six modifiable health risk behaviours of stroke: blood pressure, physical activity, nutrition, depression and anxiety, smoking, and alcohol consumption. Methods P2S was developed as an eight-module online secondary prevention programme for stroke survivors. Modelled on the DoTTI (Design and development, Testing early iterations, Testing for effectiveness, Integration and implementation) framework for the development of online programmes, the following stages were followed during programme development: (1) content development and design; and (2) testing early iteration. The programme was pilot-tested with 15 stroke survivors who assessed P2S on usability and acceptability. Results In stage 1, experts provided input for the content development of P2S. In stage 2, 15 stroke survivors were recruited for usability testing of P2S. They reported high ratings of usability and acceptability of P2S. P2S was generally regarded as easy to use' and relevant to stroke survivors'. Participants also largely agreed that it was appropriate to offer lifestyle advice to stroke survivors through the internet. Conclusions The study found that an online secondary prevention programme was acceptable and easily usable by stroke survivors. The next step is to conduct a randomised controlled trial to assess the effectiveness of the programme regarding behaviour change and determine the cost-effectiveness of the intervention.
|
Nova | |||||||||
2017 |
McCrabb S, Balogh Z, Baker AL, Harris IA, Attia J, Lott N, et al., 'Development of an online smoking cessation program for use in hospital and following discharge: Smoke-free recovery', BMJ Innovations, 3 115-122 (2017) [C1] Background Tobacco smoking can have negative health outcomes on recovery from surgery. Although it is recommended best practice to provide patients with advice to quit and follow-... [more] Background Tobacco smoking can have negative health outcomes on recovery from surgery. Although it is recommended best practice to provide patients with advice to quit and follow-up support, provision of postdischarge support is rare. Developing an online smoking cessation program may help address this gap. Objectives This paper describes the development and pretesting of an online smoking cessation program (smoke-free recovery, SFR) tailored to the orthopaedic trauma population for use while in hospital and post-discharge. Methods Drawing on the DoTTI framework for developing an online program, the following steps were followed for program development: (1) design and development; (2) testing early iteration; (3) testing for effectiveness and (4) integration and implementation. This article describes the first two stages of SFR program development. Results SFR is a 10-module online smoking cessation program tailored for patients with orthopaedic trauma. Of the participants who completed testing early iterations, none reported any difficulties orientating themselves to the program or understanding program content. The main themes were that it was ¿helpful¿, provision of ¿help to quit¿ was low and SFR increased thoughts of ¿staying quit post discharge¿. Conclusions This study found that a theory and evidence-based approach as the basis for an online smoking cessation program for patients with orthopaedic trauma was acceptable to users. A randomised controlled trial will be conducted to examine whether the online smoking cessation program is effective in increasing smoking cessation and how it can be integrated and implemented into hospital practice (stages three and four of the DoTTI framework).
|
Nova | |||||||||
2017 |
Wallis MR, Henskens FA, Hannaford MR, Paul DJ, 'Implementation and Evaluation of a Component-Based framework for Internet Applications', INFORMATION TECHNOLOGY IN INDUSTRY, 5 16-23 (2017) [C1]
|
Nova | |||||||||
2011 |
Wallis MR, Henskens FA, Hannaford MR, 'Web 2.0 data: Decoupling ownership from provision', International Journal on Advances in Internet Technology, 4 47-59 (2011) [C1]
|
Nova | |||||||||
2007 |
Huebner E, Bem D, Henskens FA, Wallis MR, 'Persistent systems techniques in forensic acquisition of memory', Digital Investigation, 4 129-137 (2007) [C1]
|
||||||||||
Show 9 more journal articles |
Conference (20 outputs)
Year | Citation | Altmetrics | Link | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
2020 |
Din FU, Paul D, Ryan J, Henskens F, Wallis M, 'Revitalising and validating the novel approach of xAOSF framework under industry 4.0 in comparison with linear SC', Agents and Multi-Agent Systems: Technologies and Applications 2020. 14th KES International Conference, KES-AMSTA 2020, Online (2020) [E1]
|
Nova | |||||||||
2019 |
HK J, Jetley R, Henskens F, Paul D, Wallis M, S D S, 'Analysis of Industrial Control System Software to Detect Semantic Clones', 2019 IEEE International Conference on Industrial Technology (ICIT), Melbourne, Australia (2019)
|
||||||||||
2018 |
Ud Din F, Henskens F, Paul D, Wallis MR, 'Formalisation of Problem and Domain Definition for Agent Oriented Smart Factory (AOSF)', 2018 IEEE Region Ten Symposium (Tensymp), Sydney, Australia (2018) [E1]
|
Nova | |||||||||
2018 |
Jnanamurthy HK, Henskens F, Paul D, Wallis MR, 'Clone Detection in Model-Based Development Using Formal Methods to Enhance Performance in Software Development', 2018 3rd International Conference for Convergence in Technology (I2CT), Pune, India (2018) [E1]
|
Nova | |||||||||
2017 |
Brankovic L, Chalup S, Wallis M, 'Teaching Advanced Computing Technologies to Managers, Engineers and Other Professionals', 28th Annual Conference of the Australasian Association for Engineering Education (AAEE 2017), Manly, Sydney (2017) [E1]
|
Nova | |||||||||
2014 |
Henskens FA, Paul DJ, Wallis M, Bryant J, Carey M, Fradgley E, et al., 'Web-based support for population-based medical research: Presenting the QuON survey system', HEALTHINF 2014 - 7th International Conference on Health Informatics, Proceedings; Part of 7th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2014 (2014) [E1] This paper discusses the needs of medical researchers working in the area of patient-centred medicine, in particular their use of survey data in measuring patient opinions, needs,... [more] This paper discusses the needs of medical researchers working in the area of patient-centred medicine, in particular their use of survey data in measuring patient opinions, needs, perceived quality of care received, and priorities of health service interventions. Until quite recently, collection of survey data has been either paper-based, or achieved using computer software that largely duplicated paper-based processes with limited additional functionality. The authors investigate the use of web-based technology to support collection of such data from patients, including experiences and observations on enhanced/additional functionality made possible by its adoption. A novel software design termed QuON is presented, together with examples of its capabilities and uses in current research projects. Copyright © 2014 SCITEPRESS - Science and Technology Publications. All rights reserved.
|
Nova | |||||||||
2014 |
Henskens FA, Paul DJ, Wallis M, Bryant J, Carey M, Fradgley E, et al., 'How Do Health Researchers Benefit From Web-Based Survey Systems?', Proceedings of e-Health 2014, Lisbon, Portugal (2014) [E1]
|
Nova | |||||||||
2013 |
Paul D, Wallis M, Henskens F, Nolan K, 'QuON A generic platform for the collation and sharing of web survey data', WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, DE (2013) [E1]
|
Nova | |||||||||
2012 |
Wallis MR, Henskens FA, Hannaford MR, 'The super-browser: A new paradigm for web applications', INTERNET 2012: The Fourth International Conference on Evolving Internet, Venice, Italy (2012) [E1]
|
||||||||||
2011 |
Wallis MR, Henskens FA, Hannaford MR, 'Classification and modelling of web technologies', 7th International Conference on Web Information Systems and Technologies: WEBIST 2011, Noordwijkerhout (2011) [E1]
|
Nova | |||||||||
2011 |
Wallis MR, Henskens FA, Hannaford MR, 'Overcast skies: What cloud computing should be?', CLOSER 2011: Proceedings of the 1st International Conference on Cloud Computing and Services Science, Noordwijkerhout (2011) [E1]
|
||||||||||
2010 |
Wallis MR, Henskens FA, Hannaford MR, 'Expanding the cloud: A component-based architecture to application deployment on the Internet', CCGrid 2010 - 10th IEEE/ACM International Conference on Cluster, Cloud, and Grid Computing, Melbourne (2010) [E1]
|
Nova | |||||||||
2010 |
Wallis MR, Henskens FA, Hannaford MR, 'A distributed content storage model for web applications', Proceedings - The Second International Conference on Evolving Internet INTERNET 2010. The First International Conference on Access Networks, Services and Technologies ACCESS 2010, Valencia, Spain (2010) [E1]
|
Nova | |||||||||
2010 |
Wallis MR, Henskens FA, Hannaford MR, 'Component-based runtime environment for Internet applications', Proceedings of the IADIS International Conference Internet Technologies & Society 2010, Perth, W.A. (2010) [E1]
|
Nova | |||||||||
2010 |
Wallis MR, Henskens FA, Hannaford MR, 'A publish/subscribe model for personal data on the Internet', WEBIST 2010: 6th International Conference on Web Information Systems and Technology, Valencia, Spain (2010) [E1]
|
Nova | |||||||||
2009 |
Wallis MR, Paul DJ, Henskens FA, Hannaford MR, 'WEB browser transactionality', WEBIST 2009: Proceedings of the Fifth International Conference on Web Information Systems and Technologies, Lisboa, Portugal (2009) [E1]
|
Nova | |||||||||
2008 |
Wallis MR, Henskens FA, Hannaford MR, 'Application based meta tagging of network connections', Proceedings of the Fifth International Conference on Information Technology: New Generations, Las Vegas (2008) [E1]
|
||||||||||
2008 |
Paul DJ, Wallis MR, Henskens FA, Hannaford MR, 'Transaction support for interactive Web applications', Fourth International Conference on Web Information Systems and Technologies: Proceedings, Madeira, Portugal (2008) [E1]
|
||||||||||
2007 |
Wallis MR, Henskens FA, Hannaford MR, 'A system robust peer-to-peer communication with dynamic protocol selection', Proceedings of the 8th International Conference on Parallel and Distributed Computing, Applications and Technologies, Adelaide (2007) [E1]
|
||||||||||
2007 |
Wallis MR, Henskens FA, 'WEWORM: An Ethical Worm Generation Toolkit', WEBIST 2007. 3rd International Conference on Web Information Systems and Technologies. Proceedings, Barcelona, Spain (2007) [E1]
|
||||||||||
Show 17 more conferences |
Thesis / Dissertation (1 outputs)
Year | Citation | Altmetrics | Link |
---|---|---|---|
2015 | Wallis MR, Component-based runtime environment for cross-platform applications, University of Newcastle (2015) |
Research Supervision
Number of supervisions
Past Supervision
Year | Level of Study | Research Title | Program | Supervisor Type |
---|---|---|---|---|
2019 | PhD | Model-Driven Engineering to Enhance the Reliability of Software Development by Verifying System Properties and Detecting Clones | PhD (Computer Science), College of Engineering, Science and Environment, The University of Newcastle | Co-Supervisor |
2019 | PhD | Secure Module Invocation System (SMIS): A Study of Program Execution in a Secure Operating System Environment | PhD (Computer Science), College of Engineering, Science and Environment, The University of Newcastle | Co-Supervisor |
2018 | PhD | Modelling and Simulation of a New Cloud Computing Platform Based on the SPEEDOS Operating System | PhD (Computer Science), College of Engineering, Science and Environment, The University of Newcastle | Co-Supervisor |
Research Projects
Distributed Computing Research Group 2007 - 2018
QuON - an UoN online survey system 2012 - 2018
QuON is a generic platform for the automatic collection, collation, and summarisation of survey data using computers and hand-held mobile devices.
Edit
Dr Mark Wallis
Position
Associate Lecturer
School of Information and Physical Sciences
School of Information and Physical Sciences
College of Engineering, Science and Environment
Focus area
Computing and Information Technology
Contact Details
mark.wallis@newcastle.edu.au | |
Links |
Personal webpage Research Networks |
Office
Location | Callaghan University Drive Callaghan, NSW 2308 Australia |
---|