Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search
Publications :: Search
Basic Search
Advanced Search
Author Info
Show author
On this page you see the details of the selected author.
Author information
First name:
Nimal
Last name:
Nissanke
DBLP:
13/1833
Rating:
(not rated yet)
Bookmark:
Below you find the publications which have been written by this author.
Show item
1
to
10
of
13
Select a publication
Show
Title
Venue
Rating
Date
Fevzi Belli
,
Axel Hollmann
,
Nimal Nissanke
.
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.
Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. 2007
(0)
2007
Nimal Nissanke
.
Component Security - Issues and an Approach.
29th Annual International Computer Software and Applications Conference (COMPSAC 2005), 25-28 July 2005, Edinburgh, Scotland, UK 2005
(0)
2005
Simeon Veloudis
,
Nimal Nissanke
.
An approach to modelling and analysis of coordinated atomic actions.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy 2005
(0)
2005
Fevzi Belli
,
Christof J. Budnik
,
Nimal Nissanke
.
Finite-State Modeling, Analysis and Testing of System Vulnerabilities.
ARCS 2004 - Organic and Pervasive Computing, Workshops Proceedings, March 26, 2004, Augsburg, Germany 2004
(0)
2004
Nimal Nissanke
,
Etienne J. Khayat
.
Risk Based Security Analysis of Permissions in RBAC.
Security In Information Systems, Proceedings of the 2nd International Workshop on Security In Information Systems, WOSIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004 2004
(0)
2004
Hamdan Dammag
,
Nimal Nissanke
.
A Mathematical Framework for Safecharts.
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings 2003
(0)
2003
Amare Leulseged
,
Nimal Nissanke
.
Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters.
Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers 2004
(0)
2003
Laurent David
,
F. Cottet
,
Nimal Nissanke
.
Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, 2-6 December 2001 2001
(0)
2001
Simeon Veloudis
,
Nimal Nissanke
.
Modelling Coordinated Atomic Actions in Timed CSP.
Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings 2000
(0)
2000
Nimal Nissanke
,
Hamdan Dammag
.
Risk Bands - A Novel Feature of Safecharts.
11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA 2000
(0)
2000
Your query returned
13
matches in the database.