|
Search the dblp DataBase
Nimal Nissanke:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Fevzi Belli, Christof J. Budnik, Nimal Nissanke
Finite-State Modeling, Analysis and Testing of System Vulnerabilities. [Citation Graph (0, 0)][DBLP] ARCS Workshops, 2004, pp:19-33 [Conf]
- Nimal Nissanke
Component Security - Issues and an Approach. [Citation Graph (0, 0)][DBLP] COMPSAC (2), 2005, pp:152-155 [Conf]
- Simeon Veloudis, Nimal Nissanke
Modelling Coordinated Atomic Actions in Timed CSP. [Citation Graph (0, 0)][DBLP] FTRTFT, 2000, pp:228-239 [Conf]
- Simeon Veloudis, Nimal Nissanke
Duration Calculus in the Specification of Safety Requirements. [Citation Graph (0, 0)][DBLP] FTRTFT, 1998, pp:103-112 [Conf]
- Hamdan Dammag, Nimal Nissanke
A Mathematical Framework for Safecharts. [Citation Graph (0, 0)][DBLP] ICFEM, 2003, pp:620-640 [Conf]
- Nimal Nissanke, Hamdan Dammag
Risk Bands - A Novel Feature of Safecharts. [Citation Graph (0, 0)][DBLP] ISSRE, 2000, pp:293-303 [Conf]
- Amare Leulseged, Nimal Nissanke
Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters. [Citation Graph (0, 0)][DBLP] RTCSA, 2003, pp:103-122 [Conf]
- Laurent David, F. Cottet, Nimal Nissanke
Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 2001, pp:49-58 [Conf]
- Nimal Nissanke, Hamdan Dammag
Risk Ordering of States in Safecharts. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2000, pp:395-405 [Conf]
- Nimal Nissanke, Etienne J. Khayat
Risk Based Security Analysis of Permissions in RBAC. [Citation Graph (0, 0)][DBLP] WOSIS, 2004, pp:332-341 [Conf]
- Hamdan Dammag, Nimal Nissanke
Safecharts for Specifying and Designing Safety Critical Systems. [Citation Graph (0, 0)][DBLP] Symposium on Reliable Distributed Systems, 1999, pp:78-87 [Conf]
- Fevzi Belli, Axel Hollmann, Nimal Nissanke
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2007, pp:276-282 [Conf]
- Simeon Veloudis, Nimal Nissanke
An approach to modelling and analysis of coordinated atomic actions. [Citation Graph (0, 0)][DBLP] ETFA, 2005, pp:- [Conf]
Search in 0.002secs, Finished in 0.002secs
|