Towards refinement in realtime programming. - Nimal Nissanke (RTS, 1995)

A Graph-Based Formalism for Modelling Assembly Tasks. - Johnson P. Thomas; P. Nimal Nissanke (ICRA, 1995)

Properties of assembly Petri net. - Johnson P. Thomas; P. Nimal Nissanke (IROS (3), 1995)

A hierarchical Petri net framework for the representation and analysis of assembly. - Johnson P. Thomas; P. Nimal Nissanke; Keith D. Baker (IEEE Trans. Robotics Autom., 1996)

Boundary models for assembly knowledge representation. - Johnson P. Thomas; P. Nimal Nissanke; Keith D. Baker (IEEE Trans. Robotics Autom., 1996)

Realtime systems. - Nimal Nissanke (Prentice Hall, 1997)

Introductory logic and sets for computer scientists. - Nimal Nissanke (Addison-Wesley-Longman, 1998)

Duration Calculus in the Specification of Safety Requirements. - Simeon Veloudis; Nimal Nissanke (FTRTFT, 1998)

Safecharts for Specifying and Designing Safety Critical Systems. - Hamdan Dammag; Nimal Nissanke (SRDS, 1999)

Applicability of SIGNAL in safety critical system development. - Irina M. Smarandache; Nimal Nissanke (IEE Proc. Softw., 1999)

Modelling Coordinated Atomic Actions in Timed CSP. - Simeon Veloudis; Nimal Nissanke (FTRTFT, 2000)

Risk Bands - A Novel Feature of Safecharts. - Nimal Nissanke; Hamdan Dammag (ISSRE, 2000)

Risk Ordering of States in Safecharts. - Nimal Nissanke; Hamdan Dammag (SAFECOMP, 2000)

Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks. - Laurent David; F. Cottet; Nimal Nissanke (RTSS, 2001)

A Mathematical Framework for Safecharts. - Hamdan Dammag; Nimal Nissanke (ICFEM, 2003)

Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters. - Amare Mengesha Leulseged; Nimal Nissanke (RTCSA, 2003)

Finite-State Modeling, Analysis and Testing of System Vulnerabilities. - Fevzi Belli; Christof J. Budnik; Nimal Nissanke (ARCS Workshops, 2004)

Risk Based Security Analysis of Permissions in RBAC. - Nimal Nissanke; Etienne J. Khayat (WOSIS, 2004)

Component Security - Issues and an Approach. - Nimal Nissanke (COMPSAC (2), 2005)

An approach to modelling and analysis of coordinated atomic actions. - Simeon Veloudis; Nimal Nissanke (ETFA, 2005)

An integrated security model for component-based systems. - Nimal Nissanke (ETFA, 2007)

Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. - Fevzi Belli; Axel Hollmann; Nimal Nissanke (SAFECOMP, 2007)

Modeling, Analysis, and Testing of System Vulnerabilities. - Fevzi Belli; Mutlu Beyazit; Aditya P. Mathur; Nimal Nissanke (Adv. Comput., 2012)

A pattern based tokenization model for XML parsing on mobile devices. - Geerish Suddul; Nimal Nissanke; Nawaz Mohamudally 001 (AFRICON, 2013)

An Effective Approach to Parse SOAP Messages on Mobile Clients. - Geerish Suddul; Nimal Nissanke; Nawaz Mohamudally 001 (MobiWIS, 2013)

Towards a Generic Application Partitioning and Retraction Framework for Pervasive Environments. - Nevin Vunka Jungum; Nawaz Mohamudally 001; Nimal Nissanke (CoRR, 2014)

A Practical Approach to Partition Applications in Pervasive Computing Environments. - Nevin Vunka Jungum; Nawaz Mohamudally 001; Nimal Nissanke (FNC/MobiSPC, 2015)

Partitioning Application Using Graph Theory for Mobile Devices in Pervasive Computing Environments. - Nevin Vunka Jungum; Nawaz Mohamudally 001; Nimal Nissanke (FNC/MobiSPC, 2016)

A Novel Permission Hierarchy for RBAC for Dealing with SoD in MAC Models. - Simeon Veloudis; Nimal Nissanke (Comput. J., 2016)

Application Partitioning for Offloading in Mobile Pervasive Environments. - Nevin Vunka Jungum; Nawaz Mohamudally 001; Nimal Nissanke (EUSPN/ICTH, 2019)

A Dynamic Load Balancing Algorithm for Distributing Mobile Codes in Multi-Applications and Multi-Hosts Environment. - Nevin Vunka Jungum; Nawaz Mohamudally 001; Nimal Nissanke (CoRR, 2020)

A Fault Tolerant Mechanism for Partitioning and Offloading Framework in Pervasive Environments. - Nevin Vunka Jungum; Nawaz Mohamudally 001; Nimal Nissanke (CoRR, 2021)

Performance evaluation of a portable single-board computer as a 3-tiered LAMP stack under 32-bit and 64-bit Operating Systems. - Riyad Dhuny; Arshad Ahmud Iqbal Peer; Nawaz Ali Mohamudally 001; Nimal Nissanke (Array, 2022)