yusuke1997/dblp-id-title huggingface dataset:
Effect of User Posture and Device Size on the Performance of Touch-Based Authentication Systems
Transforming Privacy Policies to Auditing Specifications
Formalization and Verification of REST Architecture in Viewpoints
Safe Multi-objective Planning with a Posteriori Preferences
Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation
Transformation-Based Library Adaptation for Embedded Systems
First principles applied to software safety - the novel use of silicon machinery
Model Checking Software Architecture Design
On the Relationship between Preprocessor-Based Software Variability and Software Defects
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System
A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment
On-Chip Cache Memory Resilience
A Two-Version Approach for Real-Time Concurrency Control and Recovery
A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems
Using Flash to Tolerate Track Failures in RAID
Ontology of Secure Service Level Agreement
Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System
Analyze the Worm-Based Attack in Large Scale P2P
Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds
Towards a MARTE Extension to Address Adaptation Mechanisms
A Testing Service for Lifelong Validation of Dynamic SOA
A Refinement Based Method for Developing Distributed Protocols
Strategy-Aware Mitigation Using Markov Games for Dynamic Application-Layer Attacks
Towards Trusted Composition in Software Design
Mechanisms for a Reliable Cooperation of Vehicles
19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019
Worst Case Temporal Consistency in Integrated Modular Avionics Systems
15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014
A layered framework strategy for deploying high assurance VPNs
Assuring Interoperability between Heterogeneous Multi-Agent Systems with a Gateway Agent
Look-Ahead Channel Reservation and Borrowing in Cellular Network System
Multi-layer Monitoring for Cloud Computing
A technique for validating Booch object-oriented designs from extensions to the Descartes specification language
Domain-Specific Feature Modeling for High Integrity Vehicle Control System Functional Design
Adding Autonomic Capabilities to Network Fault Management System
The experience of auditing software for safety critical railway signalling equipment
A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems
Matching Software Fault Tolerance with Application Needs
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis
Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System
An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets
A Novel Framework for Non-Deterministic Testing of Message-Passing Programs
Clicksafe: Providing Security against Clickjacking Attacks
Verifying Communication Constraints in RSML Specifications
Impact of Using a Static-Type System in Computer Programming
Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA
Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems
6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings
Managing Secure Survivable Critical Infrastructures to Avoid Vulnerabilities
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks
Conflict Detection and Lifecycle Management for Access Control in Publish/Subscribe Systems
One in a Baker's Dozen: Debugging Debugging
Leader-Determined Membership Protocol
A framework for MLS interoperability
Ensemble Coordination for Discrete Event Control
Flow analysis for concurrent, reactive, real-time systems
Hardware Implementation of Secure Shamir's Secret Sharing Scheme
Low-Cost Secret-Sharing in Sensor Networks
So Much to Learn from One Accident Crash of 737 on 25 February 2009
Effects of User Habituation in Keystroke Dynamics on Password Security Policy
Measuring and assessing software test processes using test data
Reliability Design for Large Scale Storage Systems
A Stochastic Characterization of a Fault-Tolerant Gossip Algorithm
A flexible real-time architecture
Automated Duplicate Bug Report Classification Using Subsequence Matching
String Stability Analysis of Cooperative Adaptive Cruise Control under Jamming Attacks
3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings
Automated Computation of Decomposable Synchronization Conditions
Task Characterization for an Effective Worker Targeting in Crowdsourcing
Structured Assurance Cases: Three Common Standards
Engineering ethics: principles and practical maxims
On Simplifying Modular Specification and Verification of Distributed Protocols
A Dataflow Testing Approach for Aspect-Oriented Programs
A World Without Risks: Let Me Out!
Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design
JR East Contactless IC Card Automatic Fare Collection System "Suica"
Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?
D^2PS: A Dependable Data Provisioning Service in Multi-tenant Cloud Environment
Methodology for Evaluating Aeronautical Regulations using Formal Specifications
Autonomous Rating Oriented Agent Allocation to Achieve High Response in Demand-Oriented Information Service System
Fault injection experiments on real-time protocols using ORCHESTRA
Systems Engineering of Communication Protocols for Command and Control Systems
High assurance software testing in business and DoD
An Approach to Specify and Test Component-Based Dependable Software
Structured language for specifications of quantitative requirements
Scalable and Reliable Synchronous Collaboration Environment on CORBA using WWW
Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems
A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems
Correlation Analysis among Java Nano-Patterns and Software Vulnerabilities
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies
Data flow transformations to detect results which are corrupted by hardware faults
Formalize UML 2 Sequence Diagrams
Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services
A Test Management and Software Visualization Framework for Heterogeneous Distributed Applications
Multiple Pre/Post Specifications for Heap-Manipulating Methods
A Secure and Scalable Update Protocol for P2P Data Grids
An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing
Development of a Verification Method for Timed Function Blocks Using ESDT and SMV
A Formal Specification-Based Approach to Distributed Parallel Programming
A Fine-Grained Damage Management Scheme in a Self-Healing PostgreSQL System
Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis
Unsupervised Learning for Expert-Based Software Quality Estimation
Using PVS to analyze hierarchical state-based requirements for completeness and consistency
Using Modechart Modules for Testing Formal Specifications
A Formal Approach to Designing Secure Software Architectures
Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach
Disappearing formal methods
Towards Secure Trust Bootstrapping in Pervasive Computing Environment
Verifying the Precedence Property Pattern Using the B Method
Synthesis of Logic Interpretations
Model-Checking and Game theory for Synthesis of Safety Rules
Advances in Quantum Computing Fault Tolerance and Testing
Placement in Dependable and Secure Peer-to-Peer Data Grids
Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure
Adding Assurance to Automatically Generated Code
Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures
Compositional Architecture Design for Fuel Tank Thermal Systems
An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable
A Low Energy Soft Error-Tolerant Register File Architecture for Embedded Processors
Layered Memory Architecture for High IO Intensive Information Services to Achieve Timeliness
Cyber Security Resource Allocation: A Markov Decision Process Approach
Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development
Active Multimedia Communication Systems
Autonomous Online Expansion Technology for ZigBee Wireless Sensor Networks
Why Testing under Expected Operational Scenarios is Not Sufficient
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms
Measuring Reliability as a Mean Failure Cost
Using Classification Trees for Software Quality Models: Lessons Learned
Patterns for Representing FMEA in Formal Specification of Control Systems
A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems
Log-Logistic Software Reliability Growth Model
Specification and Testing of High-Assurance Systems
Quantitative analysis of dependability critical systems based on UML statechart models
Low Cost Secure Computation for the General Client-Server Computation Model
Can You See Me On Performance of Wireless Fingerprinting in a Cyber Physical System
Extending Contract theory with Safety Integrity Levels
World Model for Testing Autonomous Systems Using Petri Nets
A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels
System Requirements and Analysis Issues for High Assurance Systems
Metrics-Based Framework for Decision Making in COTS-Based Software Systems
Specifying fault tolerance in mission critical systems
Overview of the Evasion Resilience Testing Technology for Network Based Intrusion Protecting Devices
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
Modeling and Verifying the Ballooning in Xen with CSP
There is a Will, There is a Way: A New Mechanism for Traffic Control Based on VTL and VANET
Fault and Leak Tolerance in Firewall Engineering
TRUSTED ILLIAC: A Configurable Hardware Framework for a Trusted Computing Base
Proactive Model-Based Performance Analysis and Security Tradeoffs in a Complex System
A Novel Ripple-Based Context-Cognizant Service Discovery Method in Autonomous Decentralized Community System
An Autonomic Reliability Improvement System for Cyber-Physical Systems
Enhancing Competitiveness via a Public Fault & Failure Data Repository
Majority is Not Always Supreme: Less Can Be More When Voting with Compromised Nodes
Communication Efficient Oblivious Transfer Using Elliptic Curves
Vulnerability Discovery in Multi-Version Software Systems
Software Component Independence
Proving the Absence Property Pattern Using the B Method
A Novel Framework of Software Reliability Evaluation with Software Reliability Growth Models and Software Metrics
The CorotInstrument's Software: Towards Intrinsically Reconfigurable Real-Time Embedded Processing Software in Space-Born Instruments
Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System
Extending WSDL to Facilitate Web Services Testing
11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008
A Rule-Based Component Customization Technique for QoS Properties
2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings
Self-Healing Data Exchange Process under Evolving Schemas: A New Mapping Adaptation Approach Based on Self-Optimization
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks
Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment
Flexible Authorization with Decentralized Access Control Model for Grid Computing
The OASIS Kernel: A Framework for High Dependability Real-Time Systems
A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System
A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes
18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems
Discrete Availability Models to Rejuvenate a Telecommunication Billing Application
Generating evidence for certification of modern processors for use in safety-critical systems
Evaluating a Corpus of Root Causes and Measures to Guide RCA Processes in Critical Software
Evaluating Distortion in Fault Injection Experiments
Genetic Programming Model for Software Quality Classification
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL
An Unavailability Analysis of Firewall Sandwich Configurations
Private Blockchain Network for IoT Device Firmware Integrity Verification and Update
A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software
Assurance of Transactions in Allied Heterogeneous Systems by Autonomous Decentralized System Techniques
Object-Oriented Software Testing: Some Research and Development
A Novel Model for Component-Based Software Reliability Analysis
Verilog Synthesis in the Higher-Order Transformation Framework of TL
Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems
Assuring Safety for Component Based Software Engineering
Open Source Software Research Activities in AIST towards Secure Open Systems
Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility
Safe Composition of Real Time Software
Modelling and Exploration Environment for Application Specific Multiprocessor Systems
Secure, Highly Available, and High Performance Peer-to-Peer Storage Systems
Experience in Developing System Requirements Specification for a Sensor Failure Detection and Identification Scheme
Assurance Technology of System Test Based on Operators' Aspects
Arguing safety with Problem Oriented Software Engineering
Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems
Development of a Generic Model for Large-Scale Healthcare Organizations
On the Requirements of High-Integrity Code Generation
All-Optical Routing for High Assurance Computer Systems
Model-Checking for Validation of a Fault Protection System
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination
A Formal Approach to Website Maintenance
The Need for a Confidence View of CPS Support Environments (Fast Abstract)
The Rotate Stress of Steam Turbine Prediction Method Based on Stacking Ensemble Learning
The Department of Defense Science and Technology (S&T) Program
Securing Sensor Nodes Against Side Channel Attacks
A New Heuristic to Discriminate between Transient and Intermittent Faults
Verification for OAuth Using ASLan++
Coyote: An XML-Based Framework for Web Services Testing
Estimating the Number of Residual Defects
Diagnostic Fusion for Time-Triggered Automotive Networks
Functional Alarms for Systems of Interoperable Medical Devices
Security Driven Requirements Refinement and Exploration of Architecture with Multiple NFR Points of View
RUBASTEM: A Method for Testing VHDL Behavioral Models
Design and Analysis of Fault Tolerant Architectures by Model Weaving
A High Assurance Timing Synchronization Technology for Space On-Board Distributed Computer Systems
Why Modern Systems Should Minimize the Use of Safety Critical Software
Software reliability growth analysis-application of NHPP models and its evaluation
An exception handling software architecture for developing fault-tolerant software
Adaptive GC-Aware Load Balancing Strategy for High-Assurance Java Distributed Systems
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks
Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems
How can symposia be structured to benefit both industry and academia?
An embedded system for safe, secure and reliable execution of high consequence software
Multi-Function System Testing: Composition of Test Sets
Toward QoS Certification of Real-Time Distributed Computing Systems
The use of formal methods in hardware and software cannot be abandoned
Toward More Effective Testing for High-Assurance Systems
On the Nature and Content of Safety Contracts
Ordering Upgrade Changes for Highly Available Component Based Systems
Autonomous Data Synchronization in Heterogeneous Systems to Assure the Transaction
Specifying timing constraints in real-time object-oriented systems
Software on the edge
Evaluating Security Risks following a Compliance Perspective
List of Reviewers
16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015
Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS
Using Network Topology to Supplement High Assurance Systems
Towards Research on Software Cybernetics
Game Theory with Learning for Cyber Security Monitoring
An Object-Oriented Language for Modeling of Hybrid Systems
An Extension of Category Partition Testing for Highly Constrained Systems
Isochronous Execution Models for High-Assurance Real-Time Systems
Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems
HCPN Modeling for ERTMS Requirements Specification
Real-Time Anomaly Detection Method for Space Imager Streaming Data Based on HTM Algorithm
Generating Threat Profiles for Cloud Service Certification Systems
Identification of Multi-Core Interference
Building High Assurance Multidisciplinary Design Optimization Framework
Automated Testing of LTL Formula Generation by Prospec
How to Reduce the Cost of Passive Testing
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
Enhancing System Validation with Behavioural Types
Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc Networks
Enhancing Testability in Architectural Design for the New Generation of Core-Based Embedded Systems
An Analysis Platform for Execution-Based Model Generation
A Dependability Case Editor with Pattern Library
Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs
Reliability prediction method for electronic systems: a comparative reliability assessment method
Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers
Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods
Towards a High Assurance Secure Computing Platform
Highly Reliable Relational Control Programs for Robust Rapid Transit Systems
A Panacea or Academic Poppycock: Formal Methods Revisited
Policy-Driven High Assurance Cyber Infrastructure-Based Systems
Enhanced Traverse of Web Pages
Enhancing OpenStack Fault Tolerance for Provisioning Computing Environments
A Framework for Generating Integrated Component Fault Trees from Architectural Views
Prediction of software faults using fuzzy nonlinear regression modeling
Framework of a Software Reliability Engineering Tool
Software Reliability Estimation under Uncertainty: Generalization of the Method of Moments
Experience with Model-Based User-Centered Risk Assessment for Service Robots
A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models
Signal Processing Oriented Approach for Big Data Privacy
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design
Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
A Recovery Model for Extended Real-Time Transactions
Using Stochastic Model Checking to Provision Complex Business Services
Ensuring quality in distributed multimedia systems
Testing Large Scale Streaming Internet Applications over Wireless LANs
A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures
On High-Assurance Scientific Workflows
Using product, process, and execution metrics to predict fault-prone software modules with classification trees
Ten practical techniques for high assurance systems engineering
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code
A Mobile Agent-based Multi-Robot Design Method for High-Assurance
Analytical Design of Evolutionary Control Flow Components
Attack Defense Trees with Sequential Conjunction
A Few Remarks about Formal Development of Secure Systems
Safe Allocation of Avionics Shared Resources
Comparative Modeling and Verification of Pthreads and Dthreads
Test Prioritization with Optimally Balanced Configuration Coverage
Real-Time Anomaly Detection in Streams of Execution Traces
Defining Risk States in Autonomous Road Vehicles
High-Assurance Reconfigurable Multicore Processor Based Systems
14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012
On the Need for Training Failure Prediction Algorithms in Evolving Software Systems
Analyzing Software Quality with Limited Fault-Proneness Defect Data
Using Attack Surface Entry Points and Reachability Analysis to Assess the Risk of Software Vulnerability Exploitability
Towards the Service Composition Through Buses
FCFraud: Fighting Click-Fraud from the User Side
Constructions of behaviour observation schemes in software testing
Good Enough versus High Assurance Software Testing and Evaluation Methods
Assurance system architecture for information service by utilizing autonomous mobile agents
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking
RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection
A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications
Automating the Failure Modes and Effects Analysis of Safety Critical Systems
A Model-Based Intrusion Detection System for Smart Meters
ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems
Navigating the Storm: Business Resilience in the Age of Climate Change
Human-Software Agent Negotiations: An Experimental Study
The Effect of Positive Quadrant Dependence between Projects on Portfolio Value
The Impact of Dark Side Personality on Consumer Online Brand Defending: A Study on Apple vs Android
Controlling Risk from Design Changes in Chinese Prefabricated Construction Projects: An Empirical Investigation
An Analysis of Characteristics Affecting Trust Formation in Human Versus Machine Interactions from a Systematic Literature Review Perspective
Decolonization of Digital Platforms: A Research Agenda for GREAT Domains
Dealing with the Challenge of Business Analyst Skills Mismatch in the Fourth Industrial Revolution
Creating a Data Factory for Data Products
Drivers of Technological Innovation in SMEs During Covid-19 Times: An Analysis in the Caribbean Region Using ICONOS Program Database
Comparing the Quality of Customer Service in 3D Virtual Worlds to Web-Based Service