HASE 2011:
Boca Raton,
FL,
USA
Taghi M. Khoshgoftaar (Ed.):
13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011.
IEEE Computer Society 2011, ISBN 978-1-4673-0107-7 
Session A:
Software Testing and Validation
- Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli:
A Testing Service for Lifelong Validation of Dynamic SOA.
1-8
- Wuliang Sun, Robert B. France, Indrakshi Ray:
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models.
9-16
- Rui Yang, Zhenyu Chen, Baowen Xu, W. Eric Wong, Jie Zhang:
Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis.
17-24
- André Pflüger, Wolfgang Golubski, Stefan Queins:
Model Driven Validation of System Architectures.
25-28
- Chuanqi Tao, Bixin Li, Jerry Gao:
Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing.
29-32
Session B:
Modeling Checking and Verification I
- Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu:
A Unifying Approach to Validating Specification-Oriented XML Constraints.
33-40
- Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu:
An Event-B Interpretation for SPARDL Model.
41-48
- Yingying Zhang, Emmanuel Rodriguez, Hao Zheng, Chris J. Myers:
A Behavioral Analysis Approach for Efficient Partial Order Reduction.
49-56
- Qian Wang, Huibiao Zhu:
Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services.
57-62
Session C:
Applications and Technologies
- Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Stefano Di Alesio, Dag McGeorge, Vidar Åhjem, Jonas Borg:
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology.
63-72
- Mladen A. Vouk, Pierre Mouallem:
On High-Assurance Scientific Workflows.
73-82
- Ali Kanso, Ferhat Khendek, Anik Mishra, Maria Toeroe:
Integrating Legacy Applications for High Availability: A Case Study.
83-90
- Vishesh Ved, Vivek Tyagi, Ankur Agarwal, Abhijit S. Pandya:
Personal Health Record System and Integration Techniques with Various Electronic Medical Record Systems.
91-94
Session D:
High Assurance Distributed Systems
- Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David:
The OASIS Kernel: A Framework for High Dependability Real-Time Systems.
95-103
- Patrick Hein, Debmalya Biswas, Leonardo A. Martucci, Max Mühlhäuser:
Conflict Detection and Lifecycle Management for Access Control in Publish/Subscribe Systems.
104-111
- Mingjie Lin, Yu Bai, John Wawrzynek:
Discriminatively Fortified Computing with Reconfigurable Digital Fabric.
112-119
- Ingrid Buckley, Eduardo B. Fernández:
Enumerating Software Failures to Build Dependable Distributed Applications.
120-123
- Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser:
Leader-Determined Membership Protocol.
124-129
Session E:
Model Checking and Verification II
- Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol:
Reducing State Explosion with Context Modeling for Model-Checking.
130-137
- Atif Mashkoor, Jean-Pierre Jacquot:
Guidelines for Formal Domain Modeling in Event-B.
138-145
- Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna:
Patterns for Representing FMEA in Formal Specification of Control Systems.
146-151
- Victor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry:
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator.
152-156
Session F:
High Assurance Networked Systems and Services
Poster Presentations
- Md. Emdadul Haque, Fan Wei, Takehiro Gouda, Xiaodong Lu, Kinji Mori:
Autonomous Online Expansion Technology for ZigBee Wireless Sensor Networks.
174-175
- Antonio Maña, Jose Fran. Ruiz:
A Security Modelling Framework for Systems of Embedded Components.
176-177
- Kunming Nie, Li Zhang:
On the Relationship between Preprocessor-Based Software Variability and Software Defects.
178-179
- Simin Nadjm-Tehrani, Maria Vasilevskaya:
Towards a Security Domain Model for Embedded Systems.
180-181
- Mario Bernhart, Stefan Reiterer, Kilian Matt, Andreas Mauczka, Thomas Grechenig:
A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study.
182-187
- H. Assoudi, H. Lounis:
Self-Healing Data Exchange Process under Evolving Schemas: A New Mapping Adaptation Approach Based on Self-Optimization.
188-190
- Douglas Rodrigues, Daniel F. Pigatto, Júlio Cezar Estrella, Kalinka Regina Lucas Jaquie Castelo Branco:
Comparison and Analysis of Cryptographic Algorithms Aiming Performance Improvement in Secure Web Services.
191-192
Session G:
Safety-Critical Systems
Session H:
High Assurance Ocean Systems
Session I:
Performance,
Reliability and Availability Analysis
Session J:
Monitoring
Session K:
Bugs and Fault Localization
- Aritra Bandyopadhyay, Sudipto Ghosh:
On the Effectiveness of the Tarantula Fault Localization Technique for Different Fault Classes.
317-324
- Zhongxing Yu, Hai Hu, Chenggang Bai, Kai-Yuan Cai, W. Eric Wong:
GUI Software Fault Localization Using N-gram Analysis.
325-332
- Pratik Maheshwari, Byong-Su Seol, Jong-Sung Lee, Jae-Deok Lim, Sahra Sedigh, David Pommerenke:
Software-Based Instrumentation for Localization of Faults Caused by Electrostatic Discharge.
333-339
- David Lo, Hong Cheng, Xiaoyin Wang:
Bug Signature Minimization and Fusion.
340-347
- Herbert Hecht:
So Much to Learn from One Accident Crash of 737 on 25 February 2009.
348-351
Session L:
Security and Privacy
- Zahid Syed, Sean Banerjee, Qi Cheng, Bojan Cukic:
Effects of User Habituation in Keystroke Dynamics on Password Security Policy.
352-359
- Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka:
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking.
360-367
- Debmalya Biswas, Valtteri Niemi:
Transforming Privacy Policies to Auditing Specifications.
368-375
- Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi:
Verification of Interoperability Security Policies by Model Checking.
376-381
Last update Fri May 25 08:15:20 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
