2008 11th IEEE High Assurance Systems Engineering Symposium
Latest Publications

TOTAL DOCUMENTS

68
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By IEEE

9780769534824
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks

2008 ◽  
Author(s):  
Qin Li ◽  
Jinpeng Huai ◽  
Jianxin Li ◽  
Tianyu Wo ◽  
Minxiong Wen
Keyword(s):  
Virtual Machine ◽  
Mobile Ip ◽  
Live Migration ◽  
Virtual Machine Live Migration

scholarly journals A Few Remarks about Formal Development of Secure Systems

2008 ◽  
Author(s):  
Éric Jaeger ◽  
Thérèse Hardin
Keyword(s):  
Secure Systems ◽  
Formal Development

Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models

2008 ◽  
Author(s):  
Zhou Zhou ◽  
Linzhang Wang ◽  
Zhanqi Cui ◽  
Xin Chen ◽  
Jianhua Zhao
Keyword(s):  
Runtime Verification ◽  
Behavioral Models ◽  
Model Driven

Detection and Diagnosis of Recurrent Faults in Software Systems by Invariant Analysis

2008 ◽  
Author(s):  
Miao Jiang ◽  
Mohammad A. Munawar ◽  
Thomas Reidemeister ◽  
Paul A.S. Ward
Keyword(s):  
Software Systems ◽  
Invariant Analysis ◽  
Detection And Diagnosis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document