Randomization Based Probabilistic Approach to Detect Trojan Circuits
Jha, S., Jha, S.K.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks
Qin Li, Jinpeng Huai, Jianxin Li, Tianyu Wo, Minxiong Wen
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
Securing Sensor Nodes Against Side Channel Attacks
Pongaliur, K., Abraham, Z., Liu, A.X., Li Xiao, Kempel, L.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
A Multi-Periodic Synchronous Data-Flow Language
Forget, J., Boniol, F., Lesens, D., Pagetti, C.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
An Interaction-Based Test Sequence Generation Approach for Testing Web Applications
Wenhua Wang, Sampath, S., Yu Lei, Kacker, R.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
Security Goal Indicator Trees: A Model of Software Features that Supports Efficient Security Inspection
Peine, H., Jawurek, M., Mandel, S.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
Formalize UML 2 Sequence Diagrams
Hui Shen, Virani, A., Jianwei Niu
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
A Scalable Checkpoint Encoding Algorithm for Diskless Checkpointing
Zizhong Chen, Dongarra, J.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value
Abercrombie, R.K., Sheldon, F.T., Mili, A.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
A Novel Model for Component-Based Software Reliability Analysis
Fan Zhang, Xingshe Zhou, Junwen Chen, Yunwei Dong
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
Software Quality Improvement via Pattern-Based Model Refactoring
Get full text
Conference Proceeding
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques
Jicheng Fu, Bastani, F.B., I-Ling Yen
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
Mutation-Based Testing of Format String Bugs
Shahriar, H., Zulkernine, M.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
A Low Energy Soft Error-Tolerant Register File Architecture for Embedded Processors
Fazeli, M., Ahmadian, S.N., Miremadi, S.G.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding
A Timed Extension of Property Sequence Chart
Pengcheng Zhang, Bixin Li, Mingjie Sun
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)
Get full text
Conference Proceeding