Nimal Nissanke

	2007
15		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
14		Nimal Nissanke: Component Security - Issues and an Approach. COMPSAC (2) 2005: 152-155
13		Simeon Veloudis, Nimal Nissanke: An approach to modelling and analysis of coordinated atomic actions. ETFA 2005
	2004
12		Fevzi Belli, Christof J. Budnik, Nimal Nissanke: Finite-State Modeling, Analysis and Testing of System Vulnerabilities. ARCS Workshops 2004: 19-33
11		Nimal Nissanke, Etienne J. Khayat: Risk Based Security Analysis of Permissions in RBAC. WOSIS 2004: 332-341
	2003
10		Hamdan Dammag, Nimal Nissanke: A Mathematical Framework for Safecharts. ICFEM 2003: 620-640
9		Amare Leulseged, Nimal Nissanke: Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters. RTCSA 2003: 103-122
	2001
8		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
7		Simeon Veloudis, Nimal Nissanke: Modelling Coordinated Atomic Actions in Timed CSP. FTRTFT 2000: 228-239
6		Nimal Nissanke, Hamdan Dammag: Risk Bands - A Novel Feature of Safecharts. ISSRE 2000: 293-303
5		Nimal Nissanke, Hamdan Dammag: Risk Ordering of States in Safecharts. SAFECOMP 2000: 395-405
	1999
4		Hamdan Dammag, Nimal Nissanke: Safecharts for Specifying and Designing Safety Critical Systems. SRDS 1999: 78-87
	1998
3		Nimal Nissanke: Introductory logic and sets for computer scientists. Addison-Wesley-Longman 1998: I-XVI, 1-384
2		Simeon Veloudis, Nimal Nissanke: Duration Calculus in the Specification of Safety Requirements. FTRTFT 1998: 103-112
	1997
1		Nimal Nissanke: Realtime systems. Prentice Hall 1997: I-XVI, 1-441

Coauthor Index

1	Fevzi Belli	[12] [15]
2	Christof J. Budnik	[12]
3	F. Cottet	[8]
4	Hamdan Dammag	[4] [5] [6] [10]
5	Laurent David	[8]
6	Axel Hollmann	[15]
7	Etienne J. Khayat	[11]
8	Amare Leulseged	[9]
9	Simeon Veloudis	[2] [7] [13]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page