|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 453 occurrences of 352 keywords
|
|
|
Results
Found 1112 publication records. Showing 1051 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
151 | Paul S. Coe, Fred W. Howell, Roland N. Ibbett, Laurence M. Williams |
Technical Note: A Hierarchical Computer Architecture Design and Simulation Environment. |
ACM Trans. Model. Comput. Simul. |
1998 |
DBLP DOI BibTeX RDF |
HASE, hierarchical simulation, simulation, modeling, visualization, architecture, discrete-event simulation, model validation, scalable systems |
98 | Lawrence Williams |
Simulating the DASH Architecture in HASE. |
Annual Simulation Symposium |
1996 |
DBLP DOI BibTeX RDF |
|
75 | Xiaohui Yu 0001, Nick Koudas, Calisto Zuzarte |
HASE: A Hybrid Approach to Selectivity Estimation for Conjunctive Predicates. |
EDBT |
2006 |
DBLP DOI BibTeX RDF |
|
73 | Isaac Levendel |
HASE in Wireless Systems. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
67 | Alexander B. Romanovsky |
On Exceptions, Exception Handling, Requirements and Software Lifecycle. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Shuichiro Yamanouchi |
High Assurance, My Personal Experience and View Point. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Roland N. Ibbett |
HASE DLX Simulation Model. |
IEEE Micro |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Roland N. Ibbett, Juan Carlos Diaz y Carballo, D. A. W. Dolman |
Computer architecture simulation models. |
ITiCSE |
2006 |
DBLP DOI BibTeX RDF |
computer architecture simulation |
44 | 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 |
|
44 | Richardson Andrade, Nelson S. Rosa |
MidSecThings: Assurance Solution for Security Smart Homes in IoT. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder |
Identification of Multi-Core Interference. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Xiao Liu 0025, Yufei Jiang, Dinghao Wu |
A Lightweight Framework for Regular Expression Verification. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Bader Alahmad, Sathish Gopalakrishnan |
Isochronous Execution Models for High-Assurance Real-Time Systems. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Edwin Franco Myloth Josephlal, Sridhar Adepu |
Vulnerability Analysis of an Automotive Infotainment System's WIFI Capability. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Rongkun Yan, Jian Guo |
Timing Modeling and Analysis for AUTOSAR Schedule Tables. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Inna Vistbakka, Elena Troubitsyna, Amin Majd |
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Yoshitaka Arahori |
RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson |
Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Faisal A. Alkhaldi, Ali T. Alouani |
Development of a Generic Model for Large-Scale Healthcare Organizations. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Nacha Chondamrongkul, Jing Sun 0002, Bingyang Wei, Ian Warren |
Parallel Verification of Software Architecture Design. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis |
Quantitative Validation of Formal Domain Models. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Ryo Kurachi, Hiroaki Takada, Naoki Adachi, Hiroshi Ueda, Yukihiro Miyashita |
Asymmetric Key-Based Secure ECU Replacement Without PKI. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Ulrich Thomas Gabor, Christoph-Cordt von Egidy, Olaf Spinczyk |
Interface Injection with AspectC++ in Embedded Systems. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Brad J. Ziegler, Sahra Sedigh Sarvestani, Ali R. Hurson |
Facilitating Failure Analysis with Software Instrumentation. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Samip Dhakal, Fehmi Jaafar, Pavol Zavarsky |
Private Blockchain Network for IoT Device Firmware Integrity Verification and Update. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Morayo Adedjouma, Nataliya Yakymets |
A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Giedre Sabaliauskaite, Lin Shen Liew, Fengjun Zhou, Jin Cui |
Designing Safe and Secure Mixed Traffic Systems. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Honghui Li, Xiuru Li, Huan Wang, Jie Zhang, Zhouxian Jiang |
Research on Cloud Performance Testing Model. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh |
Attack Defense Trees with Sequential Conjunction. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang |
Modeling and Verifying Spark on YARN Using Process Algebra. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | 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 |
|
44 | 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 |
|
44 | Wei Zhihao, Jianyuan Li, Wanqing Li 0003 |
Mining Accompanying Passing-Vehicles to Discover Suspected Gangs. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Kaikai Pan, Digvijay Gusain, Peter Palensky |
Modelica-Supported Attack Impact Evaluation in Cyber Physical Energy System. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao |
Modeling and Verifying Storm Using CSP. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | |
18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017 |
HASE |
2017 |
DBLP BibTeX RDF |
|
44 | 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 |
|
44 | 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 |
|
44 | 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 |
|
44 | 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 |
|
44 | Dusica Marijan, Marius Liaaen |
Test Prioritization with Optimally Balanced Configuration Coverage. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Dusica Marijan, Sagar Sen |
Detecting and Reducing Redundancy in Software Testing for Highly Configurable Systems. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Mario Gleirscher, Carmen Cârlan |
Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | 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 |
|
44 | Rajesh Kumar 0012, Mariëlle Stoelinga |
Quantitative Security and Safety Analysis with Attack-Fault Trees. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Anusha Thudimilla, Bruce M. McMillin |
Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Ismail Rizky Harlin, Hironori Washizaki, Yoshiaki Fukazawa |
Impact of Using a Static-Type System in Computer Programming. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Jian Xiang, John C. Knight, Kevin J. Sullivan |
Is My Software Consistent with the Real World? |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Kazi Zakia Sultana, Ajay Deo, Byron J. Williams |
Correlation Analysis among Java Nano-Patterns and Software Vulnerabilities. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Praneeth Sakhamuri, Olivia Das |
Acquisition of Virtual Machines for Tiered Applications with Availability Constraints. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Tze Meng Low, Franz Franchetti |
High Assurance Code Generation for Cyber-Physical Systems. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Koyena Pal, Sridhar Adepu, Jonathan Goh |
Effectiveness of Association Rules Mining for Invariants Generation in Cyber-Physical Systems. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Prakash Rao Dunaka, Bruce M. McMillin |
Cyber-Physical Security of a Chemical Plant. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | 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 |
|
44 | Ali Kanso, Nicolas Deixionne, Abdelouahed Gherbi, Fereydoun Farrahi Moghaddam |
Enhancing OpenStack Fault Tolerance for Provisioning Computing Environments. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | 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 |
|
44 | Mario Gleirscher, Stefan Kugele |
Defining Risk States in Autonomous Road Vehicles. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | 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 |
|
44 | 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 |
|
44 | Yufei Jiang, Can Zhang, Dinghao Wu, Peng Liu 0005 |
Feature-Based Software Customization: Preliminary Analysis, Formalization, and Methods. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Xi Wu 0005, Yongxin Zhao, Huibiao Zhu |
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Swastik Brahma, Kevin A. Kwiat, Pramod K. Varshney, Charles A. Kamhoua |
CSRS: Cyber Survive and Recover Simulator. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Sara Cleemput, Mustafa A. Mustafa, Bart Preneel |
High Assurance Smart Metering. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe |
Runtime Adjustment of Configuration Models for Consistency Preservation. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Eduardo B. Fernández |
Preventing and unifying threats in cyberphysical systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Yuan Fei, Huibiao Zhu, Xi Wu 0005, Huixing Fang |
Comparative Modeling and Verification of Pthreads and Dthreads. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Eric Reinsmidt, David Schwab, Li Yang |
Securing a Connected Mobile System for Healthcare. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Puntitra Sawadpong, Edward B. Allen |
Software Defect Prediction Using Exception Handling Call Graphs: A Case Study. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Md. Shahrear Iqbal, Mohammad Zulkernine, Fehmi Jaafar, Yuan Gu |
FCFraud: Fighting Click-Fraud from the User Side. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Sunint Kaur Khalsa, Yvan Labiche |
An Extension of Category Partition Testing for Highly Constrained Systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Sean J. S. Regisford, Brian K. Hulbert, Aaron W. Fifarek |
Compositional Architecture Design for Fuel Tank Thermal Systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Philipp Stephanow, Christian Banse, Julian Schütte |
Generating Threat Profiles for Cloud Service Certification Systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Jian Xiang, John C. Knight, Kevin J. Sullivan |
Synthesis of Logic Interpretations. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Mohamed Naija, Jean-Michel Bruel, Samir Ben Ahmed |
Towards a MARTE Extension to Address Adaptation Mechanisms. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | 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 |
|
44 | Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga |
Proving Critical Properties of Simulink Models. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Hong Liu, Tianyu Yang 0001, Jing Wang 0005 |
Model Checking for the Fault Tolerance of Collaborative AUVs. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
44 | Pankaj Kamthan, Nazlie Shahmir |
Modeling Negative User Stories is Risky Business. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Sridhar Adepu, Aditya Mathur |
An Investigation into the Response of a Water Treatment System to Cyber Attacks. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
44 | 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 |
|
Displaying result #1 - #100 of 1051 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|