The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nimal Nissanke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Nimal Nissanke
    Component Security - Issues and an Approach. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2005, pp:152-155 [Conf]
  3. Simeon Veloudis, Nimal Nissanke
    Modelling Coordinated Atomic Actions in Timed CSP. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:228-239 [Conf]
  4. Simeon Veloudis, Nimal Nissanke
    Duration Calculus in the Specification of Safety Requirements. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:103-112 [Conf]
  5. Hamdan Dammag, Nimal Nissanke
    A Mathematical Framework for Safecharts. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:620-640 [Conf]
  6. Nimal Nissanke, Hamdan Dammag
    Risk Bands - A Novel Feature of Safecharts. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:293-303 [Conf]
  7. 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]
  8. 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]
  9. Nimal Nissanke, Hamdan Dammag
    Risk Ordering of States in Safecharts. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2000, pp:395-405 [Conf]
  10. Nimal Nissanke, Etienne J. Khayat
    Risk Based Security Analysis of Permissions in RBAC. [Citation Graph (0, 0)][DBLP]
    WOSIS, 2004, pp:332-341 [Conf]
  11. 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]
  12. 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]
  13. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002