Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Saikat Das, Mohammad Zulkernine |
CLOUBEX: A Cloud-Based Security Analysis Framework for Browser Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 268-275, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu |
Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 94-101, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raymond C. Borges-Hink, Katerina Goseva-Popstojanova |
Characterization of Cyberattacks Aimed at Integrated Industrial Control and Enterprise Systems: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 149-156, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marco Mori, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Bernhard Frömel |
A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 276-283, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Zoppi, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Francesco Lo Piccolo, Gabriele Giunta, Vito Morreale |
Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 228-235, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Qi Cheng 0002, Kevin A. Kwiat, Charles A. Kamhoua |
Design Diversity for Mitigating Monoculture Induced Threats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 17-18, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amel Mammar, Thi Mai Nguyen, Régine Laleau |
Formal Development of a Secure Access Control Filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 173-180, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu (eds.) |
17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![IEEE Computer Society, 978-1-4673-9913-5 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Paul Hyden, Ira S. Moskowitz, Stephen Russell 0001 |
Using Network Topology to Supplement High Assurance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 213-219, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bersani, Marisol García-Valls |
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 39-46, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov, Alexander B. Romanovsky |
Formal Analysis of Railway Signalling Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 70-77, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Eastwood, Robert Alexander, Tim Kelly |
Safe Multi-objective Planning with a Posteriori Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 78-85, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David McKee 0001, David Webster, Jie Xu 0007 |
Enabling Decision Support for the Delivery of Real-Time Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 60-67, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | William C. Barott, Ted Dabrowski, Braham Himed |
Fidelity and Complexity in Passive Radar Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 277-278, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Westman, Mattias Nyberg |
Extending Contract theory with Safety Integrity Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 85-92, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song |
Modeling and Verifying Google File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 207-214, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly |
Weaving an Assurance Case from Design: A Model-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 110-117, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amira Zammali, Agnan de Bonneval, Yves Crouzet |
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 215-222, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vahid Aghaei Foroushani, Nur Zincir-Heywood |
A Proxy Identifier Based on Patterns in Traffic Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 118-125, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xi Wu 0005, Huibiao Zhu |
A Calculus for Wireless Sensor Networks from Quality Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 223-231, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay |
Modeling and Verification for Probabilistic Properties in Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 173-180, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chen-Yu Lee, Krishna M. Kavi, Raymond A. Paul, Mahadevan Gomathisankaran |
Ontology of Secure Service Level Agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 166-172, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ziad Ismail, Jean Leneutre, David Bateman, Lin Chen 0002 |
A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 101-109, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Winter, Shiraz Hussain |
Verilog Synthesis in the Higher-Order Transformation Framework of TL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 26-35, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivano Irrera, Marco Vieira, João Durães |
Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 142-149, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Ibing, Alexandra Mai |
A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 44-51, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon |
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 126-133, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Atif Mashkoor, Jean-Pierre Jacquot |
Observation-Level-Driven Formal Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 158-165, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mahsa Emami-Taba, Mehdi Amoui, Ladan Tahvildari |
Strategy-Aware Mitigation Using Markov Games for Dynamic Application-Layer Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 134-141, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erik van der Kouwe, Cristiano Giuffrida, Razvan Ghituletez, Andrew S. Tanenbaum |
A Methodology to Efficiently Compare Operating System Stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 93-100, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Huixing Fang, Huibiao Zhu, Jianqi Shi |
An Object-Oriented Language for Modeling of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 1-9, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zahid A. Syed, Jordan Helmick, Sean Banerjee, Bojan Cukic |
Effect of User Posture and Device Size on the Performance of Touch-Based Authentication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 10-17, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu |
Modeling and Verifying the Ballooning in Xen with CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 18-25, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xianjin Fu, Zhenbang Chen, Yufeng Zhang 0001, Chun Huang, Wei Dong 0006, Ji Wang 0001 |
MPISE: Symbolic Execution of MPI Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 181-188, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sean Banerjee, Jordan Helmick, Zahid A. Syed, Bojan Cukic |
Eclipse vs. Mozilla: A Comparison of Two Large-Scale Open Source Problem Report Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 263-270, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Ling Lin, Wuwei Shen |
Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 255-262, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Asplund, Martin Törngren, Richard Hawkins, John A. McDermid |
The Need for a Confidence View of CPS Support Environments (Fast Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 273-274, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![IEEE Computer Society, 978-1-4799-8110-6 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck |
Model-Checking and Game theory for Synthesis of Safety Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 36-43, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Ceccarelli, Marco Mori, Paolo Lollini, Andrea Bondavalli |
Introducing Meta-Requirements for Describing System of Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 150-157, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Haixing Yan, Huixing Fang, Christian Kuka, Huibiao Zhu |
Verification for OAuth Using ASLan++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 76-84, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zakaryae Boudi, El-Miloudi El-Koursi, Simon Collart Dutilleul |
HCPN Modeling for ERTMS Requirements Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 271-272, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohua Li, Thomas Yang 0001 |
Signal Processing Oriented Approach for Big Data Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 275-276, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | A. Omar Portillo-Dominguez, Miao Wang 0002, John Murphy 0001, Damien Magoni |
Adaptive GC-Aware Load Balancing Strategy for High-Assurance Java Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 68-75, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Karl A. Morris, Peter J. Clarke, Xudong He, Fábio M. Costa, Mengjun Allison |
A Method for Validating Intent Model Behavior in DSVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 247-254, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Salamah Salamah, Omar Ochoa, Yadira Jacquez |
Using Pairwise Testing to Verify Automatically-Generated Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 279-280, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mengjun Xie, Yanyan Li, Kenji Yoshigoe, Remzi Seker, Jiang Bian 0001 |
CamAuth: Securing Web Authentication with Camera. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 232-239, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jingmin Shi, Chao Peng 0004, Qin Zhu, Pengfei Duan, Yu Bao, Mengjun Xie |
There is a Will, There is a Way: A New Mechanism for Traffic Control Based on VTL and VANET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 240-246, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Bonfiglio, Leonardo Montecchi, Francesco Rossi, Paolo Lollini, András Pataricza, Andrea Bondavalli |
Executable Models to Support Automated Software FMEA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 189-196, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yiting Tang, Xi Wu 0005, Huibiao Zhu, Jian Guo 0005 |
Formalization and Verification of REST Architecture in Viewpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 197-206, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Ganesh J. Pai, Iain Whiteside |
Formal Foundations for Hierarchical Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 52-59, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Petr Bauch, Vojtech Havel |
Temporal Verification of Simulink Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 81-88, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Okamura, Tadashi Dohi |
A Novel Framework of Software Reliability Evaluation with Software Reliability Growth Models and Software Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 97-104, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee 0001 |
Functional Alarms for Systems of Interoperable Medical Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 247-248, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Farid Molazem Tabrizi, Karthik Pattabiraman |
A Model-Based Intrusion Detection System for Smart Meters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 17-24, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anneliese Amschler Andrews, Salwa Elakeili, Salah Boukhris |
Fail-Safe Test Generation in Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 49-56, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Musgrove, Bojan Cukic, Vittorio Cortellessa |
Proactive Model-Based Performance Analysis and Security Tradeoffs in a Complex System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 211-215, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Adaptive Testing of Nondeterministic Systems with FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 224-228, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Claudio A. Ardagna, Ernesto Damiani, Kouessi A. R. Sagbo, Fulvio Frati |
Zero-Knowledge Evaluation of Service Performance Based on Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 254-258, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières |
Proving the Fidelity of Simulations of Event-B Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 89-96, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tadashi Koga, Xiaodong Lu, Kinji Mori |
Autonomous Decentralized High-Assurance Surveillance System for Air Traffic Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 154-157, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Amanda Sávio Nascimento, Cecília M. F. Rubira, Fernando Castor |
ArCMAPE: A Software Product Line Infrastructure to Support Fault-Tolerant Composite Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 41-48, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jawwad A. Shamsi, Sufian Hameed, Waleed Rahman, Farooq Zuberi, Kaiser Altaf, Ammar Amjad |
Clicksafe: Providing Security against Clickjacking Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 206-210, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patrick J. Graydon, Iain Bate |
On the Nature and Content of Safety Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 245-246, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hossain Shahriar, Sarah North, Edward Mawangi |
Testing of Memory Leak in Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 176-183, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Awad A. Younis, Yashwant K. Malaiya, Indrajit Ray |
Using Attack Surface Entry Points and Reachability Analysis to Assess the Risk of Software Vulnerability Exploitability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 1-8, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ali Davoudian, Ferhat Khendek, Maria Toeroe |
Ordering Upgrade Changes for Highly Available Component Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 259-260, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Linbin Yu, Feng Duan, Yu Lei 0001, Raghu Kacker, D. Richard Kuhn |
Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 65-72, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Keqin Li 0002, Roland Groz, Karim Hossen, Catherine Oriat |
Inferring Approximated Models for Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 249-253, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jerry Gao 0002, Wei-Tek Tsai, Raymond A. Paul, Xiaoying Bai, Tadahiro Uehara |
Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 158-167, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Curtis Rasmussen, Rozita Dara 0001 |
Recommender Systems for Privacy Management: A Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 243-244, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Garraghan, Paul Townend, Jie Xu 0007 |
An Empirical Failure-Analysis of a Large-Scale Cloud Computing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 113-120, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya |
Modeling the Interaction of Power Line and SCADA Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 261-262, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Conmy, Iain Bate |
Assuring Safety for Component Based Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 121-128, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![IEEE Computer Society, 978-1-4799-3465-2 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Panayiotis Steele, John Knight |
Analysis of Critical Systems Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 129-136, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zahid A. Syed, Sean Banerjee, Bojan Cukic |
Leveraging Variations in Event Sequences in Keystroke-Dynamics Authentication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 9-16, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Winter, Carl Reinke, Jonathan Guerrero |
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 137-145, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ivano Irrera, João Durães, Marco Vieira |
On the Need for Training Failure Prediction Algorithms in Evolving Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 216-223, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yujian Fu, Steven Drager 0001 |
Modeling and Verification of Humanoid Robot Task Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 73-80, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erik van der Kouwe, Cristiano Giuffrida, Andrew S. Tanenbaum |
Evaluating Distortion in Fault Injection Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 25-32, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zheng Chen, Allen McBride |
Using Flash to Tolerate Track Failures in RAID. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 234-235, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pei Luo, Andy Yu-Lun Lin, Zhen Wang 0001, Mark G. Karpovsky |
Hardware Implementation of Secure Shamir's Secret Sharing Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 193-200, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Farzana Rahman, Drew Williams, Sheikh Iqbal Ahamed, Ji-Jiang Yang, Qing Wang 0003 |
PriDaC: Privacy Preserving Data Collection in Sensor Enabled RFID Based Healthcare Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 236-242, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takao Okubo, Nobukazu Yoshioka, Haruhiko Kaiya |
Security Driven Requirements Refinement and Exploration of Architecture with Multiple NFR Points of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 201-205, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anneliese Amschler Andrews, Hyunsook Do |
Trade-Off Analysis for Selective versus Brute-Force Regression Testing in FSMWeb. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 184-192, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Amel Mammar, Marc Frappier |
Verifying the Precedence Property Pattern Using the B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 229-233, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mahnaz Malekzadeh, Iain Bate |
Making an ALARP Decision of Sufficient Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 57-64, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Regina Moraes, Hélène Waeselynck, Jérémie Guiochet |
UML-Based Modeling of Robustness Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 168-175, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Abdulrahman Almutairi, Tawfeeq A. Shawly, Saleh M. Basalamah, Arif Ghafoor |
Policy-Driven High Assurance Cyber Infrastructure-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 146-153, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hoffmann 0001, Peter Ulbrich, Christian Dietrich 0001, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat |
A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 33-40, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Koosha Marashi, Sahra Sedigh Sarvestani |
Towards Comprehensive Modeling of Reliability for Smart Grids: Requirements and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014, pp. 105-112, 2014, IEEE Computer Society, 978-1-4799-3465-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | César Andrés, Ana R. Cavalli |
How to Reduce the Cost of Passive Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012, pp. 209-216, 2012, IEEE Computer Society, 978-1-4673-4742-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Parakh |
Communication Efficient Oblivious Transfer Using Elliptic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012, pp. 173-174, 2012, IEEE Computer Society, 978-1-4673-4742-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | George Spanoudakis, Ernesto Damiani, Antonio Maña |
Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012, pp. 175-176, 2012, IEEE Computer Society, 978-1-4673-4742-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luke Herbert, Robin Sharp |
Using Stochastic Model Checking to Provision Complex Business Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012, pp. 98-105, 2012, IEEE Computer Society, 978-1-4673-4742-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat |
Automated Verification of AADL-Specifications Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012, pp. 130-138, 2012, IEEE Computer Society, 978-1-4673-4742-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Winter, Jonathan Guerrero, Alexander James, Carl Reinke |
Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012, pp. 122-129, 2012, IEEE Computer Society, 978-1-4673-4742-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Utsav Drolia, Soila Kavulya, Kunal Mankodiya, Priya Narasimhan, Thomas E. Fuhrman |
Diagnostic Fusion for Time-Triggered Automotive Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012, pp. 1-8, 2012, IEEE Computer Society, 978-1-4673-4742-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo |
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012, pp. 9-16, 2012, IEEE Computer Society, 978-1-4673-4742-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|