Effects of User Habituation in Keystroke Dynamics on Password Security Policy
Syed, Z., Banerjee, S., Qi Cheng, Cukic, B.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis
Rui Yang, Zhenyu Chen, Baowen Xu, Wong, W. E., Jie Zhang
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology
Sabetzadeh, M., Falessi, D., Briand, L., Alesio, S. D., McGeorge, D., Ahjem, V., Borg, J.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking
Deshpande, T., Katsaros, P., Basagiannis, S., Smolka, S. A.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience
Sabetzadeh, M., Nejati, S., Briand, L., Mills, A. E.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
GUI Software Fault Localization Using N-gram Analysis
Zhongxing Yu, Hai Hu, Chenggang Bai, Kai-Yuan Cai, Wong, W. E.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Reducing State Explosion with Context Modeling for Model-Checking
Dhaussy, P., Roger, J., Boniol, F.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Patterns for Representing FMEA in Formal Specification of Control Systems
Lopatkin, I., Iliasov, A., Romanovsky, A., Prokhorova, Y., Troubitsyna, E.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Using Feature Selection to Determine Optimal Depth for Wavelet Packet Decomposition of Vibration Signals for Ocean System Reliability
Wald, R., Khoshgoftaar, T. M., Sloan, J. C.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Keynotes
Hanson, Howard P., Vouk, Mladen, Cukic, Bojan
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
VMDetector: A VMM-based Platform to Detect Hidden Process by Multi-view Comparison
Ying Wang, Chunming Hu, Bo Li
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Guidelines for Formal Domain Modeling in Event-B
Mashkoor, A., Jacquot, J-P
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
A Testing Service for Lifelong Validation of Dynamic SOA
Ceccarelli, A., Vieira, M., Bondavalli, A.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Efficient System Reliability with Correlated Component Failures
Fiondella, L., Rajasekaran, S., Gokhale, S. S.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Using Automated Control Charts for the Runtime Evaluation of QoS Attributes
Amin, A., Colman, A., Grunske, L.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
The OASIS Kernel: A Framework for High Dependability Real-Time Systems
Louise, S., Lemerre, M., Aussagues, C., David, V.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems
Mutha, C., Smidts, C.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
Integrating Legacy Applications for High Availability: A Case Study
Kanso, A., Khendek, F., Mishra, A., Toeroe, M.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding
A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective
Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)
Get full text
Conference Proceeding