Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008
    URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4708846
    DBLP: db/conf/hase/hase2008.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 58  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dae-Kyoo Kim.
    Software Quality Improvement via Pattern-Based Model Refactoring.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Fei Pu, Yan Zhang.
    Localizing Program Errors via Slicing and Reasoning.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Jifeng He.
    Transaction Calculus.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Hakim Belhaouari, Frédéric Peschanski.
    Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Susmit Jha, Sumit Kumar Jha.
    Randomization Based Probabilistic Approach to Detect Trojan Circuits.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Jian Zhang.
    Checking Inconsistency of Rule Sets in Active Real-Time Databases.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Qin Li, Huibiao Zhu, Jifeng He.
    Towards the Service Composition Through Buses.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Daniel Robinson, Gerald Kotonya.
    A Self-Managing Brokerage Model for Quality Assurance in Service-Oriented Systems.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Reinaldo de Barros Correia, Luci Pirmez, Luiz Fernando Rust da Costa Carmo.
    Evaluating Security Risks following a Compliance Perspective.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Conference paper
    Chunying Zhao, Kang Zhang.
    A Grammar-Based Reverse Engineering Framework for Behavior Verification.
    11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 2008 (0) 2008
    Show item 1 to 10 of 58  

    Your query returned 58 matches in the database.