default search action
HASE 2014: Miami Beach, FL, USA
- 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-3465-2
- Awad A. Younis, Yashwant K. Malaiya, Indrajit Ray:
Using Attack Surface Entry Points and Reachability Analysis to Assess the Risk of Software Vulnerability Exploitability. 1-8 - Zahid A. Syed
, Sean Banerjee, Bojan Cukic
Leveraging Variations in Event Sequences in Keystroke-Dynamics Authentication Systems. 9-16 - Farid Molazem Tabrizi, Karthik Pattabiraman:
A Model-Based Intrusion Detection System for Smart Meters. 17-24 - Erik van der Kouwe, Cristiano Giuffrida
Evaluating Distortion in Fault Injection Experiments. 25-32 - Martin Hoffmann, Peter Ulbrich
A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes. 33-40 - Amanda Sávio Nascimento, Cecília M. F. Rubira
ArCMAPE: A Software Product Line Infrastructure to Support Fault-Tolerant Composite Services. 41-48 - Anneliese Amschler Andrews, Salwa Elakeili, Salah Boukhris:
Fail-Safe Test Generation in Safety Critical Systems. 49-56 - Mahnaz Malekzadeh, Iain Bate:
Making an ALARP Decision of Sufficient Testing. 57-64 - Linbin Yu, Feng Duan
Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples. 65-72 - Yujian Fu, Steven Drager:
Modeling and Verification of Humanoid Robot Task Coordination. 73-80 - Jiri Barnat, Petr Bauch, Vojtech Havel:
Temporal Verification of Simulink Diagrams. 81-88 - Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières:
Proving the Fidelity of Simulations of Event-B Models. 89-96 - Hiroyuki Okamura
A Novel Framework of Software Reliability Evaluation with Software Reliability Growth Models and Software Metrics. 97-104 - Koosha Marashi
Towards Comprehensive Modeling of Reliability for Smart Grids: Requirements and Challenges. 105-112 - Peter Garraghan
An Empirical Failure-Analysis of a Large-Scale Cloud Computing Environment. 113-120 - Philippa Conmy
Assuring Safety for Component Based Software Engineering. 121-128 - Panayiotis Steele, John Knight:
Analysis of Critical Systems Certification. 129-136 - Victor L. Winter, Carl Reinke, Jonathan Guerrero:
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function. 137-145 - Abdulrahman Almutairi, Tawfeeq A. Shawly
Policy-Driven High Assurance Cyber Infrastructure-Based Systems. 146-153 - Tadashi Koga, Xiaodong Lu, Kinji Mori:
Autonomous Decentralized High-Assurance Surveillance System for Air Traffic Control. 154-157 - Jerry Gao, Wei-Tek Tsai, Raymond A. Paul, Xiaoying Bai, Tadahiro Uehara:
Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs. 158-167 - Regina Moraes
UML-Based Modeling of Robustness Testing. 168-175 - Hossain Shahriar
Testing of Memory Leak in Android Applications. 176-183 - Anneliese Amschler Andrews, Hyunsook Do:
Trade-Off Analysis for Selective versus Brute-Force Regression Testing in FSMWeb. 184-192 - Pei Luo
Hardware Implementation of Secure Shamir's Secret Sharing Scheme. 193-200 - Takao Okubo, Nobukazu Yoshioka
Security Driven Requirements Refinement and Exploration of Architecture with Multiple NFR Points of View. 201-205 - Jawwad A. Shamsi, Sufian Hameed
Clicksafe: Providing Security against Clickjacking Attacks. 206-210 - Jesse Musgrove, Bojan Cukic
Proactive Model-Based Performance Analysis and Security Tradeoffs in a Complex System. 211-215 - Ivano Irrera, João Durães
On the Need for Training Failure Prediction Algorithms in Evolving Software Systems. 216-223 - Alexandre Petrenko
Adaptive Testing of Nondeterministic Systems with FSM. 224-228 - Amel Mammar, Marc Frappier:
Verifying the Precedence Property Pattern Using the B Method. 229-233 - Zheng Chen, Allen McBride:
Using Flash to Tolerate Track Failures in RAID. 234-235 - Farzana Rahman, Drew Williams
PriDaC: Privacy Preserving Data Collection in Sensor Enabled RFID Based Healthcare Services. 236-242 - Curtis Rasmussen, Rozita Dara:
Recommender Systems for Privacy Management: A Framework. 243-244 - Patrick J. Graydon, Iain Bate:
On the Nature and Content of Safety Contracts. 245-246 - Krishna K. Venkatasubramanian, Eugene Y. Vasserman
Functional Alarms for Systems of Interoperable Medical Devices. 247-248 - Alexandre Petrenko
Inferring Approximated Models for Systems Engineering. 249-253 - Claudio A. Ardagna
Zero-Knowledge Evaluation of Service Performance Based on Simulation. 254-258 - Ali Davoudian, Ferhat Khendek
Ordering Upgrade Changes for Highly Available Component Based Systems. 259-260 - Yuki Matsui, Hideharu Kojima
Modeling the Interaction of Power Line and SCADA Networks. 261-262
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-08 22:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: