Nimal Nissanke

According to our database1, Nimal Nissanke authored at least 33 papers between 1995 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Performance evaluation of a portable single-board computer as a 3-tiered LAMP stack under 32-bit and 64-bit Operating Systems.
Array, 2022

2021
A Fault Tolerant Mechanism for Partitioning and Offloading Framework in Pervasive Environments.
CoRR, 2021

2020
A Dynamic Load Balancing Algorithm for Distributing Mobile Codes in Multi-Applications and Multi-Hosts Environment.
CoRR, 2020

2019
Application Partitioning for Offloading in Mobile Pervasive Environments.
Proceedings of the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2019) / Affiliated Workshops, 2019

2016
A Novel Permission Hierarchy for RBAC for Dealing with SoD in MAC Models.
Comput. J., 2016

Partitioning Application Using Graph Theory for Mobile Devices in Pervasive Computing Environments.
Proceedings of the 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, 2016

2015
A Practical Approach to Partition Applications in Pervasive Computing Environments.
Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015

2014
Towards a Generic Application Partitioning and Retraction Framework for Pervasive Environments.
CoRR, 2014

2013
An Effective Approach to Parse SOAP Messages on Mobile Clients.
Proceedings of the Mobile Web and Information Systems - 10th International Conference, 2013

A pattern based tokenization model for XML parsing on mobile devices.
Proceedings of the AFRICON 2013, Pointe aux Piments, Mauritius, September 9-12, 2013, 2013

2012
Modeling, Analysis, and Testing of System Vulnerabilities.
Adv. Comput., 2012

2007
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.
Proceedings of the Computer Safety, 2007

An integrated security model for component-based systems.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2005
An approach to modelling and analysis of coordinated atomic actions.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Component Security - Issues and an Approach.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Risk Based Security Analysis of Permissions in RBAC.
Proceedings of the Security In Information Systems, 2004

Finite-State Modeling, Analysis and Testing of System Vulnerabilities.
Proceedings of the ARCS 2004, 2004

2003
Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

A Mathematical Framework for Safecharts.
Proceedings of the Formal Methods and Software Engineering, 2003

2001
Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

2000
Risk Ordering of States in Safecharts.
Proceedings of the Computer Safety, 2000

Risk Bands - A Novel Feature of Safecharts.
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Modelling Coordinated Atomic Actions in Timed CSP.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999
Applicability of SIGNAL in safety critical system development.
IEE Proc. Softw., 1999

Safecharts for Specifying and Designing Safety Critical Systems.
Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

1998
Duration Calculus in the Specification of Safety Requirements.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Introductory logic and sets for computer scientists.
Addison-Wesley-Longman, ISBN: 978-0-201-17957-6, 1998

1997
Realtime systems.
Prentice Hall series in computer science, Prentice Hall, ISBN: 978-0-13-651274-5, 1997

1996
Boundary models for assembly knowledge representation.
IEEE Trans. Robotics Autom., 1996

A hierarchical Petri net framework for the representation and analysis of assembly.
IEEE Trans. Robotics Autom., 1996

1995
Properties of assembly Petri net.
Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 1995

A Graph-Based Formalism for Modelling Assembly Tasks.
Proceedings of the 1995 International Conference on Robotics and Automation, 1995

Towards refinement in realtime programming.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995


  Loading...