Nimal Nissanke

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
j1		Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, Nimal Nissanke: Modeling, Analysis, and Testing of System Vulnerabilities. Advances in Computers 84: 39-92 (2012)
	2007
c14		Nimal Nissanke: An integrated security model for component-based systems. ETFA 2007: 638-645
c13		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
c12		Nimal Nissanke: Component Security - Issues and an Approach. COMPSAC (2) 2005: 152-155
c11		Simeon Veloudis, Nimal Nissanke: An approach to modelling and analysis of coordinated atomic actions. ETFA 2005
	2004
c10		Fevzi Belli, Christof J. Budnik, Nimal Nissanke: Finite-State Modeling, Analysis and Testing of System Vulnerabilities. ARCS Workshops 2004: 19-33
c9		Nimal Nissanke, Etienne J. Khayat: Risk Based Security Analysis of Permissions in RBAC. WOSIS 2004: 332-341
	2003
c8		Hamdan Dammag, Nimal Nissanke: A Mathematical Framework for Safecharts. ICFEM 2003: 620-640
c7		Amare Leulseged, Nimal Nissanke: Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters. RTCSA 2003: 103-122
	2001
c6		Laurent David, F. Cottet, Nimal Nissanke: Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks. RTSS 2001: 49-58
	2000
c5		Simeon Veloudis, Nimal Nissanke: Modelling Coordinated Atomic Actions in Timed CSP. FTRTFT 2000: 228-239
c4		Nimal Nissanke, Hamdan Dammag: Risk Bands - A Novel Feature of Safecharts. ISSRE 2000: 293-303
c3		Nimal Nissanke, Hamdan Dammag: Risk Ordering of States in Safecharts. SAFECOMP 2000: 395-405
	1999
c2		Hamdan Dammag, Nimal Nissanke: Safecharts for Specifying and Designing Safety Critical Systems. SRDS 1999: 78-87
	1998
b2		Nimal Nissanke: Introductory logic and sets for computer scientists. Addison-Wesley-Longman 1998, isbn 978-0-201-17957-6, pp. I-XVI, 1-384
c1		Simeon Veloudis, Nimal Nissanke: Duration Calculus in the Specification of Safety Requirements. FTRTFT 1998: 103-112
	1997
b1		Nimal Nissanke: Realtime systems. Prentice Hall series in computer science, Prentice Hall 1997, isbn 978-0-13-651274-5, pp. I-XVI, 1-441

Coauthor Index

1	Fevzi Belli	[j1] [c13] [c10]
2	Mutlu Beyazit	[j1]
3	Christof J. Budnik	[c10]
4	F. Cottet	[c6]
5	Hamdan Dammag	[c8] [c4] [c3] [c2]
6	Laurent David	[c6]
7	Axel Hollmann	[c13]
8	Etienne J. Khayat	[c9]
9	Amare Leulseged	[c7]
10	Aditya P. Mathur	[j1]
11	Simeon Veloudis	[c11] [c5] [c1]

Colors in the list of coauthors

Last update Fri May 24 01:10:58 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page