Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Richardson Andrade, Nelson S. Rosa |
MidSecThings: Assurance Solution for Security Smart Homes in IoT. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder |
Identification of Multi-Core Interference. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shuai Zhang 0012, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani |
Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Liu 0025, Yufei Jiang, Dinghao Wu |
A Lightweight Framework for Regular Expression Verification. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli |
Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dongjin Yu, Vu Nguyen 0003, Congfeng Jiang (eds.) |
19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019 |
HASE |
2019 |
DBLP BibTeX RDF |
|
1 | Bader Alahmad, Sathish Gopalakrishnan |
Isochronous Execution Models for High-Assurance Real-Time Systems. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Edwin Franco Myloth Josephlal, Sridhar Adepu |
Vulnerability Analysis of an Automotive Infotainment System's WIFI Capability. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky |
A Refinement Based Method for Developing Distributed Protocols. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rongkun Yan, Jian Guo |
Timing Modeling and Analysis for AUTOSAR Schedule Tables. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Inna Vistbakka, Elena Troubitsyna, Amin Majd |
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bo Zhang, Haoming Liu, Jiajia Song, Jinbo Zhang |
Simulation on Grounding Fault Location of Distribution Network Based on Regional Parameters. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yoshitaka Arahori |
RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson |
Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Faisal A. Alkhaldi, Ali T. Alouani |
Development of a Generic Model for Large-Scale Healthcare Organizations. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi |
Security Evaluation of a VM-Based Intrusion-Tolerant System with Pull-Type Patch Management. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nacha Chondamrongkul, Jing Sun 0002, Bingyang Wei, Ian Warren |
Parallel Verification of Software Architecture Design. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Junjie Wang 0006, Peng Xu, Jinyang Li 0004, Xiaoshan Sun, Wenchong Tian, Jie Ling, Wei Zheng, Hengchang Liu |
Towards an Efficient Cyber-Physical System for First-Mile Taxi Transit in Urban Complex. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis |
Quantitative Validation of Formal Domain Models. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ryo Kurachi, Hiroaki Takada, Naoki Adachi, Hiroshi Ueda, Yukihiro Miyashita |
Asymmetric Key-Based Secure ECU Replacement Without PKI. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Thomas Gabor, Christoph-Cordt von Egidy, Olaf Spinczyk |
Interface Injection with AspectC++ in Embedded Systems. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Brad J. Ziegler, Sahra Sedigh Sarvestani, Ali R. Hurson |
Facilitating Failure Analysis with Software Instrumentation. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Samip Dhakal, Fehmi Jaafar, Pavol Zavarsky |
Private Blockchain Network for IoT Device Firmware Integrity Verification and Update. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Morayo Adedjouma, Nataliya Yakymets |
A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giedre Sabaliauskaite, Lin Shen Liew, Fengjun Zhou, Jin Cui |
Designing Safe and Secure Mixed Traffic Systems. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Lu, Kazuyuki Morioka, Tadashi Koga, Yasuto Sumiya |
Air-Ground System Wide Information Management to Achieve Safe Flight Operation. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Honghui Li, Xiuru Li, Huan Wang, Jie Zhang, Zhouxian Jiang |
Research on Cloud Performance Testing Model. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh |
Attack Defense Trees with Sequential Conjunction. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang |
Modeling and Verifying Spark on YARN Using Process Algebra. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haoran Liang, Lei Song, Xuzhi Li |
The Rotate Stress of Steam Turbine Prediction Method Based on Stacking Ensemble Learning. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lei Song, Haoran Liang, Taisheng Zheng |
Real-Time Anomaly Detection Method for Space Imager Streaming Data Based on HTM Algorithm. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schörgenhumer, Mario Kahlhofer, Peter Chalupar, Paul Grünbacher, Hanspeter Mössenböck |
A Framework for Preprocessing Multivariate, Topology-Aware Time Series and Event Data in a Multi-System Environment. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zhihao, Jianyuan Li, Wanqing Li 0003 |
Mining Accompanying Passing-Vehicles to Discover Suspected Gangs. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kaikai Pan, Digvijay Gusain, Peter Palensky |
Modelica-Supported Attack Impact Evaluation in Cyber Physical Energy System. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao |
Modeling and Verifying Storm Using CSP. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tunde Akeem Yekini, Fehmi Jaafar, Pavol Zavarsky |
Study of Trust at Device Level of the Internet of Things Architecture. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Qi Xiong, Yuan Xu, Baofeng Zhang, Feng Wang |
Overview of the Evasion Resilience Testing Technology for Network Based Intrusion Protecting Devices. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rem Gensh, Ashur Rafiev, Alexander B. Romanovsky, Alessandro F. Garcia 0001, Fei Xia, Alex Yakovlev |
Architecting Holistic Fault Tolerance. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Goh, Sridhar Adepu, Marcus Tan, Zi Shan Lee |
Anomaly Detection in Cyber Physical Systems Using Recurrent Neural Networks. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Silva, Marco Vieira, João Carlos Cunha, Ram Chillarege |
Evaluating a Corpus of Root Causes and Measures to Guide RCA Processes in Critical Software. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dusica Marijan, Marius Liaaen |
Test Prioritization with Optimally Balanced Configuration Coverage. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jay Prakash, Chuadhry Mujeeb Ahmed |
Can You See Me On Performance of Wireless Fingerprinting in a Cyber Physical System. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dusica Marijan, Sagar Sen |
Detecting and Reducing Redundancy in Software Testing for Highly Configurable Systems. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mario Gleirscher, Carmen Cârlan |
Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Danielle C. Tarraf, Charles A. Kamhoua, Kevin A. Kwiat, Laurent Njilla |
Majority is Not Always Supreme: Less Can Be More When Voting with Compromised Nodes. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau |
Verification of SGAC Access Control Policies Using Alloy and ProB. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rajesh Kumar 0012, Mariëlle Stoelinga |
Quantitative Security and Safety Analysis with Attack-Fault Trees. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anusha Thudimilla, Bruce M. McMillin |
Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ismail Rizky Harlin, Hironori Washizaki, Yoshiaki Fukazawa |
Impact of Using a Static-Type System in Computer Programming. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ron Biton, Clint Feher, Yuval Elovici, Asaf Shabtai, Gaby Shugol, Raz Tikochinski, Shachar Kur |
A Proxy-Based Solution for Securiting Remote Desktop Connections in Mission-Critical Systems. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jian Xiang, John C. Knight, Kevin J. Sullivan |
Is My Software Consistent with the Real World? |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kazi Zakia Sultana, Ajay Deo, Byron J. Williams |
Correlation Analysis among Java Nano-Patterns and Software Vulnerabilities. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017 |
HASE |
2017 |
DBLP BibTeX RDF |
|
1 | Praneeth Sakhamuri, Olivia Das |
Acquisition of Virtual Machines for Tiered Applications with Availability Constraints. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tze Meng Low, Franz Franchetti |
High Assurance Code Generation for Cyber-Physical Systems. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Laurent L. Njilla, Charles A. Kamhoua, Kevin A. Kwiat, Patrick Hurley, Niki Pissinou |
Cyber Security Resource Allocation: A Markov Decision Process Approach. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Koyena Pal, Sridhar Adepu, Jonathan Goh |
Effectiveness of Association Rules Mining for Invariants Generation in Cyber-Physical Systems. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Rao Dunaka, Bruce M. McMillin |
Cyber-Physical Security of a Chemical Plant. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay |
Verification of Interlocking Systems Using Statistical Model Checking. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lov Kumar, Santanu Kumar Rath, Ashish Sureka |
Using Source Code Metrics and Multivariate Adaptive Regression Splines to Predict Maintainability of Service Oriented Software. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ali Kanso, Nicolas Deixionne, Abdelouahed Gherbi, Fereydoun Farrahi Moghaddam |
Enhancing OpenStack Fault Tolerance for Provisioning Computing Environments. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giedre Sabaliauskaite, Sridhar Adepu |
Integrating Six-Step Model with Information Flow Diagrams for Comprehensive Analysis of Cyber-Physical System Safety and Security. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amir Alipour-Fanid, Monireh Dabaghchian, Hengrun Zhang 0001, Kai Zeng 0001 |
String Stability Analysis of Cooperative Adaptive Cruise Control under Jamming Attacks. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mario Gleirscher, Stefan Kugele |
Defining Risk States in Autonomous Road Vehicles. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Qi Cheng 0002, Kevin A. Kwiat, Charles A. Kamhoua, Laurent Njilla |
Attack Graph Based Network Risk Assessment: Exact Inference vs Region-Based Approximation. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sanya Khruahong, Xiaoying Kong, Kumbesan Sandrasegaran, Li Liu 0005 |
Multi-Level Indoor Navigation Ontology for High Assurance Location-Based Services. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yufei Jiang, Can Zhang, Dinghao Wu, Peng Liu 0005 |
Feature-Based Software Customization: Preliminary Analysis, Formalization, and Methods. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xi Wu 0005, Yongxin Zhao, Huibiao Zhu |
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Swastik Brahma, Kevin A. Kwiat, Pramod K. Varshney, Charles A. Kamhoua |
CSRS: Cyber Survive and Recover Simulator. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sara Cleemput, Mustafa A. Mustafa, Bart Preneel |
High Assurance Smart Metering. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe |
Runtime Adjustment of Configuration Models for Consistency Preservation. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo B. Fernández |
Preventing and unifying threats in cyberphysical systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Fei, Huibiao Zhu, Xi Wu 0005, Huixing Fang |
Comparative Modeling and Verification of Pthreads and Dthreads. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric Reinsmidt, David Schwab, Li Yang |
Securing a Connected Mobile System for Healthcare. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Puntitra Sawadpong, Edward B. Allen |
Software Defect Prediction Using Exception Handling Call Graphs: A Case Study. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Md. Shahrear Iqbal, Mohammad Zulkernine, Fehmi Jaafar, Yuan Gu |
FCFraud: Fighting Click-Fraud from the User Side. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sunint Kaur Khalsa, Yvan Labiche |
An Extension of Category Partition Testing for Highly Constrained Systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sean J. S. Regisford, Brian K. Hulbert, Aaron W. Fifarek |
Compositional Architecture Design for Fuel Tank Thermal Systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Stephanow, Christian Banse, Julian Schütte |
Generating Threat Profiles for Cloud Service Certification Systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Silvano Chiaradonna, Felicita Di Giandomenico, Jun Xiao 0009 |
Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jian Xiang, John C. Knight, Kevin J. Sullivan |
Synthesis of Logic Interpretations. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Palaskar, Zahid A. Syed, Sean Banerjee, Charlotte Tang |
Empirical Techniques to Detect and Mitigate the Effects of Irrevocably Evolving User Profiles in Touch-Based Authentication Systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Naija, Jean-Michel Bruel, Samir Ben Ahmed |
Towards a MARTE Extension to Address Adaptation Mechanisms. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Babin, Yamine Aït Ameur, Marc Pantel |
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tarek Awwad, Nadia Bennani, Lionel Brunie, David Coquil, Harald Kosch, Veronika Rehn-Sonigo |
Task Characterization for an Effective Worker Targeting in Crowdsourcing. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga |
Proving Critical Properties of Simulink Models. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hong Liu, Tianyu Yang 0001, Jing Wang 0005 |
Model Checking for the Fault Tolerance of Collaborative AUVs. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee 0001 |
Representation of Confidence in Assurance Cases Using the Beta Distribution. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj Kamthan, Nazlie Shahmir |
Modeling Negative User Stories is Risky Business. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sridhar Adepu, Aditya Mathur |
An Investigation into the Response of a Water Treatment System to Cyber Attacks. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kerianne H. Gross, Aaron W. Fifarek, Jonathan A. Hoffman |
Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Key-whan Chung, Charles A. Kamhoua, Kevin A. Kwiat, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer |
Game Theory with Learning for Cyber Security Monitoring. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis |
Formalisation-Driven Development of Safety-Critical Systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Van Chan Ngo, Axel Legay, Jean Quilbeuf |
Statistical Model Checking for SystemC Models. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jaime C. Acosta, Salamah Salamah |
An Analysis Platform for Execution-Based Model Generation. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | S. Tucker Taft, Florian Schanda, Yannick Moy |
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario |
World Model for Testing Autonomous Systems Using Petri Nets. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Al-Refai, Walter Cazzola, Sudipto Ghosh, Robert B. France |
Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur |
Empirical Assessment of Methods to Detect Cyber Attacks on a Robot. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Renyu Yang, Tianyu Wo, Chunming Hu, Jie Xu 0007, Mingming Zhang |
D^2PS: A Dependable Data Provisioning Service in Multi-tenant Cloud Environment. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|