| 2019 | EUSPN | Application Partitioning for Offloading in Mobile Pervasive Environments. | Nevin Vunka Jungum, Nawaz Mohamudally, Nimal Nissanke |
| 2016 | FNC | Partitioning Application Using Graph Theory for Mobile Devices in Pervasive Computing Environments. | Nevin Vunka Jungum, Nawaz Mohamudally, Nimal Nissanke |
| 2015 | FNC | A Practical Approach to Partition Applications in Pervasive Computing Environments. | Nevin Vunka Jungum, Nawaz Mohamudally, Nimal Nissanke |
| 2007 | ETFA | An integrated security model for component-based systems. | Nimal Nissanke |
| 2007 | SAFECOMP | Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. | Fevzi Belli, Axel Hollmann, Nimal Nissanke |
| 2005 | COMPSAC | Component Security - Issues and an Approach. | Nimal Nissanke |
| 2005 | ETFA | An approach to modelling and analysis of coordinated atomic actions. | Simeon Veloudis, Nimal Nissanke |
| 2003 | ICFEM | A Mathematical Framework for Safecharts. | Hamdan Dammag, Nimal Nissanke |
| 2003 | RTCSA | Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters. | Amare Mengesha Leulseged, Nimal Nissanke |
| 2001 | RTSS | Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks. | Laurent David, F. Cottet, Nimal Nissanke |
| 2000 | ISSRE | Risk Bands - A Novel Feature of Safecharts. | Nimal Nissanke, Hamdan Dammag |
| 2000 | SAFECOMP | Risk Ordering of States in Safecharts. | Nimal Nissanke, Hamdan Dammag |
| 1999 | SRDS | Safecharts for Specifying and Designing Safety Critical Systems. | Hamdan Dammag, Nimal Nissanke |
| 1995 | ECRTS | Towards refinement in realtime programming. | Nimal Nissanke |