 | 2007 |
|---|
| 13 |       | Fevzi Belli,
Axel Hollmann,
Nimal Nissanke:
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.
SAFECOMP 2007: 276-282 |
| 2005 |
|---|
| 12 | | Nimal Nissanke:
Component Security - Issues and an Approach.
COMPSAC (2) 2005: 152-155 |
| 11 | | Simeon Veloudis,
Nimal Nissanke:
An approach to modelling and analysis of coordinated atomic actions.
ETFA 2005 |
| 2004 |
|---|
| 10 |  | Fevzi Belli,
Christof J. Budnik,
Nimal Nissanke:
Finite-State Modeling, Analysis and Testing of System Vulnerabilities.
ARCS Workshops 2004: 19-33 |
| 9 | | Nimal Nissanke,
Etienne J. Khayat:
Risk Based Security Analysis of Permissions in RBAC.
WOSIS 2004: 332-341 |
| 2003 |
|---|
| 8 | | Hamdan Dammag,
Nimal Nissanke:
A Mathematical Framework for Safecharts.
ICFEM 2003: 620-640 |
| 7 | | Amare Leulseged,
Nimal Nissanke:
Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters.
RTCSA 2003: 103-122 |
| 2001 |
|---|
| 6 | | Laurent David,
F. Cottet,
Nimal Nissanke:
Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks.
IEEE Real-Time Systems Symposium 2001: 49-58 |
| 2000 |
|---|
| 5 | | Simeon Veloudis,
Nimal Nissanke:
Modelling Coordinated Atomic Actions in Timed CSP.
FTRTFT 2000: 228-239 |
| 4 | | Nimal Nissanke,
Hamdan Dammag:
Risk Bands - A Novel Feature of Safecharts.
ISSRE 2000: 293-303 |
| 3 | | Nimal Nissanke,
Hamdan Dammag:
Risk Ordering of States in Safecharts.
SAFECOMP 2000: 395-405 |
| 1999 |
|---|
| 2 | | Hamdan Dammag,
Nimal Nissanke:
Safecharts for Specifying and Designing Safety Critical Systems.
SRDS 1999: 78-87 |
| 1998 |
|---|
| 1 | | Simeon Veloudis,
Nimal Nissanke:
Duration Calculus in the Specification of Safety Requirements.
FTRTFT 1998: 103-112 |
