Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Saikat Das, Mohammad Zulkernine |
CLOUBEX: A Cloud-Based Security Analysis Framework for Browser Extensions. |
HASE |
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. |
HASE |
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. |
HASE |
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. |
HASE |
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. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Qi Cheng 0002, Kevin A. Kwiat, Charles A. Kamhoua |
Design Diversity for Mitigating Monoculture Induced Threats. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amel Mammar, Thi Mai Nguyen, Régine Laleau |
Formal Development of a Secure Access Control Filter. |
HASE |
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 |
HASE |
2016 |
DBLP BibTeX RDF |
|
1 | Paul Hyden, Ira S. Moskowitz, Stephen Russell 0001 |
Using Network Topology to Supplement High Assurance Systems. |
HASE |
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. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov, Alexander B. Romanovsky |
Formal Analysis of Railway Signalling Data. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Eastwood, Robert Alexander, Tim Kelly |
Safe Multi-objective Planning with a Posteriori Preferences. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David McKee 0001, David Webster, Jie Xu 0007 |
Enabling Decision Support for the Delivery of Real-Time Services. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | William C. Barott, Ted Dabrowski, Braham Himed |
Fidelity and Complexity in Passive Radar Simulations. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Westman, Mattias Nyberg |
Extending Contract theory with Safety Integrity Levels. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song |
Modeling and Verifying Google File System. |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amira Zammali, Agnan de Bonneval, Yves Crouzet |
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vahid Aghaei Foroushani, Nur Zincir-Heywood |
A Proxy Identifier Based on Patterns in Traffic Flows. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xi Wu 0005, Huibiao Zhu |
A Calculus for Wireless Sensor Networks from Quality Perspective. |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chen-Yu Lee, Krishna M. Kavi, Raymond A. Paul, Mahadevan Gomathisankaran |
Ontology of Secure Service Level Agreement. |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Winter, Shiraz Hussain |
Verilog Synthesis in the Higher-Order Transformation Framework of TL. |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Ibing, Alexandra Mai |
A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops. |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Atif Mashkoor, Jean-Pierre Jacquot |
Observation-Level-Driven Formal Modeling. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mahsa Emami-Taba, Mehdi Amoui, Ladan Tahvildari |
Strategy-Aware Mitigation Using Markov Games for Dynamic Application-Layer Attacks. |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Huixing Fang, Huibiao Zhu, Jianqi Shi |
An Object-Oriented Language for Modeling of Hybrid Systems. |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu |
Modeling and Verifying the Ballooning in Xen with CSP. |
HASE |
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. |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Ling Lin, Wuwei Shen |
Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems. |
HASE |
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). |
HASE |
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 |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Ceccarelli, Marco Mori, Paolo Lollini, Andrea Bondavalli |
Introducing Meta-Requirements for Describing System of Systems. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Haixing Yan, Huixing Fang, Christian Kuka, Huibiao Zhu |
Verification for OAuth Using ASLan++. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zakaryae Boudi, El-Miloudi El-Koursi, Simon Collart Dutilleul |
HCPN Modeling for ERTMS Requirements Specification. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohua Li, Thomas Yang 0001 |
Signal Processing Oriented Approach for Big Data Privacy. |
HASE |
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. |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Salamah Salamah, Omar Ochoa, Yadira Jacquez |
Using Pairwise Testing to Verify Automatically-Generated Formal Specifications. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mengjun Xie, Yanyan Li, Kenji Yoshigoe, Remzi Seker, Jiang Bian 0001 |
CamAuth: Securing Web Authentication with Camera. |
HASE |
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. |
HASE |
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. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yiting Tang, Xi Wu 0005, Huibiao Zhu, Jian Guo 0005 |
Formalization and Verification of REST Architecture in Viewpoints. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Ganesh J. Pai, Iain Whiteside |
Formal Foundations for Hierarchical Safety Cases. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Petr Bauch, Vojtech Havel |
Temporal Verification of Simulink Diagrams. |
HASE |
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. |
HASE |
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. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Farid Molazem Tabrizi, Karthik Pattabiraman |
A Model-Based Intrusion Detection System for Smart Meters. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anneliese Amschler Andrews, Salwa Elakeili, Salah Boukhris |
Fail-Safe Test Generation in Safety Critical Systems. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Musgrove, Bojan Cukic, Vittorio Cortellessa |
Proactive Model-Based Performance Analysis and Security Tradeoffs in a Complex System. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Adaptive Testing of Nondeterministic Systems with FSM. |
HASE |
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. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières |
Proving the Fidelity of Simulations of Event-B Models. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tadashi Koga, Xiaodong Lu, Kinji Mori |
Autonomous Decentralized High-Assurance Surveillance System for Air Traffic Control. |
HASE |
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. |
HASE |
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. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patrick J. Graydon, Iain Bate |
On the Nature and Content of Safety Contracts. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hossain Shahriar, Sarah North, Edward Mawangi |
Testing of Memory Leak in Android Applications. |
HASE |
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. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ali Davoudian, Ferhat Khendek, Maria Toeroe |
Ordering Upgrade Changes for Highly Available Component Based Systems. |
HASE |
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. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Keqin Li 0002, Roland Groz, Karim Hossen, Catherine Oriat |
Inferring Approximated Models for Systems Engineering. |
HASE |
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. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Curtis Rasmussen, Rozita Dara 0001 |
Recommender Systems for Privacy Management: A Framework. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Garraghan, Paul Townend, Jie Xu 0007 |
An Empirical Failure-Analysis of a Large-Scale Cloud Computing Environment. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya |
Modeling the Interaction of Power Line and SCADA Networks. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Conmy, Iain Bate |
Assuring Safety for Component Based Software Engineering. |
HASE |
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 |
HASE |
2014 |
DBLP BibTeX RDF |
|
1 | Panayiotis Steele, John Knight |
Analysis of Critical Systems Certification. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zahid A. Syed, Sean Banerjee, Bojan Cukic |
Leveraging Variations in Event Sequences in Keystroke-Dynamics Authentication Systems. |
HASE |
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. |
HASE |
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. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yujian Fu, Steven Drager 0001 |
Modeling and Verification of Humanoid Robot Task Coordination. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erik van der Kouwe, Cristiano Giuffrida, Andrew S. Tanenbaum |
Evaluating Distortion in Fault Injection Experiments. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zheng Chen, Allen McBride |
Using Flash to Tolerate Track Failures in RAID. |
HASE |
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. |
HASE |
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. |
HASE |
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. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anneliese Amschler Andrews, Hyunsook Do |
Trade-Off Analysis for Selective versus Brute-Force Regression Testing in FSMWeb. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Amel Mammar, Marc Frappier |
Verifying the Precedence Property Pattern Using the B Method. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mahnaz Malekzadeh, Iain Bate |
Making an ALARP Decision of Sufficient Testing. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Regina Moraes, Hélène Waeselynck, Jérémie Guiochet |
UML-Based Modeling of Robustness Testing. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Abdulrahman Almutairi, Tawfeeq A. Shawly, Saleh M. Basalamah, Arif Ghafoor |
Policy-Driven High Assurance Cyber Infrastructure-Based Systems. |
HASE |
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. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Koosha Marashi, Sahra Sedigh Sarvestani |
Towards Comprehensive Modeling of Reliability for Smart Grids: Requirements and Challenges. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | César Andrés, Ana R. Cavalli |
How to Reduce the Cost of Passive Testing. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Parakh |
Communication Efficient Oblivious Transfer Using Elliptic Curves. |
HASE |
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. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luke Herbert, Robin Sharp |
Using Stochastic Model Checking to Provision Complex Business Services. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat |
Automated Verification of AADL-Specifications Using UPPAAL. |
HASE |
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. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Utsav Drolia, Soila Kavulya, Kunal Mankodiya, Priya Narasimhan, Thomas E. Fuhrman |
Diagnostic Fusion for Time-Triggered Automotive Networks. |
HASE |
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. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|