Weaving an Assurance Case from Design: A Model-Based Approach
Hawkins, Richard, Habli, Ibrahim, Kolovos, Dimitris, Paige, Richard, Kelly, Tim
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
Modeling and Verification for Probabilistic Properties in Software Product Lines
Rodrigues, Genaina N., Alves, Vander, Nunes, Vinicius, Lanna, Andre, Cordy, Maxime, Schobbens, Pierre-Yves, Sharifloo, Amir Molzam, Legay, Axel
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
MPISE: Symbolic Execution of MPI Programs
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
Formal Foundations for Hierarchical Safety Cases
Denney, Ewen, Pai, Ganesh, Whiteside, Iain
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
Executable Models to Support Automated Software FMEA
Bonfiglio, Valentina, Montecchi, Leonardo, Rossi, Francesco, Lollini, Paolo, Pataricza, Andras, Bondavalli, Andrea
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
A Proxy Identifier Based on Patterns in Traffic Flows
Aghaei-Foroushani, Vahid, Zincir-Heywood, A. Nur
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
Ontology of Secure Service Level Agreement
Chen-Yu Lee, Kavi, Krishna M., Paul, Raymond A., Gomathisankaran, Mahadevan
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study
Irrera, Ivano, Vieira, Marco, Duraes, Joao
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
Model-Checking and Game theory for Synthesis of Safety Rules
Machin, Mathilde, Dufosse, Fanny, Guiochet, Jeremie, Powell, David, Roy, Matthieu, Waeselynck, Helene
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
A Calculus for Wireless Sensor Networks from Quality Perspective
Xi Wu, Huibiao Zhu
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
There is a Will, There is a Way: A New Mechanism for Traffic Control Based on VTL and VANET
Jingmin Shi, Chao Peng, Qin Zhu, Pengfei Duan, Yu Bao, Mengjun Xie
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops
Ibing, Andreas, Mai, Alexandra
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
Enabling Decision Support for the Delivery of Real-Time Services
McKee, David, Webster, David, Jie Xu
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
Introducing Meta-Requirements for Describing System of Systems
Ceccarelli, Andrea, Mori, Marco, Lollini, Paolo, Bondavalli, Andrea
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
Extending Contract theory with Safety Integrity Levels
Westman, Jonas, Nyberg, Mattias
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
Modeling and Verifying Google File System
Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
An Object-Oriented Language for Modeling of Hybrid Systems
Huixing Fang, Huibiao Zhu, Jianqi Shi
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding