Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Nimal
    Last name: Nissanke
    DBLP: 13/1833
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 13  
    Select a publication
    Show Title Venue Rating Date
    Fevzi Belli, Axel Hollmann, Nimal Nissanke.
    Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.
    Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. 2007 (0) 2007
    Nimal Nissanke.
    Component Security - Issues and an Approach.
    29th Annual International Computer Software and Applications Conference (COMPSAC 2005), 25-28 July 2005, Edinburgh, Scotland, UK 2005 (0) 2005
    Simeon Veloudis, Nimal Nissanke.
    An approach to modelling and analysis of coordinated atomic actions.
    Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy 2005 (0) 2005
    Fevzi Belli, Christof J. Budnik, Nimal Nissanke.
    Finite-State Modeling, Analysis and Testing of System Vulnerabilities.
    ARCS 2004 - Organic and Pervasive Computing, Workshops Proceedings, March 26, 2004, Augsburg, Germany 2004 (0) 2004
    Nimal Nissanke, Etienne J. Khayat.
    Risk Based Security Analysis of Permissions in RBAC.
    Security In Information Systems, Proceedings of the 2nd International Workshop on Security In Information Systems, WOSIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004 2004 (0) 2004
    Hamdan Dammag, Nimal Nissanke.
    A Mathematical Framework for Safecharts.
    Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings 2003 (0) 2003
    Amare Leulseged, Nimal Nissanke.
    Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters.
    Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers 2004 (0) 2003
    Laurent David, F. Cottet, Nimal Nissanke.
    Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks.
    Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, 2-6 December 2001 2001 (0) 2001
    Simeon Veloudis, Nimal Nissanke.
    Modelling Coordinated Atomic Actions in Timed CSP.
    Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings 2000 (0) 2000
    Nimal Nissanke, Hamdan Dammag.
    Risk Bands - A Novel Feature of Safecharts.
    11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA 2000 (0) 2000

    Your query returned 13 matches in the database.