yusuke1997/dblp-id-title huggingface dataset:
On the Effectiveness of the Tarantula Fault Localization Technique for Different Fault Classes
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience
Cost-Sensitive Boosting In Software Quality Modeling
Coordination of Engineering Design Agents for High Assurance in Complex Dynamic System Design
Is My Software Consistent with the Real World?
Validation of Object Recognition Framework on Android Mobile Platform
Software Fault Tree Analysis for Product Lines
Design of a Fairness Guarantee Mechanism Based on Network Measurement
Computer security: the good, the bad and the ugly
Formalisation-Driven Development of Safety-Critical Systems
Investigating rare-event failure tolerance: reductions in future uncertainty
Effectiveness of Association Rules Mining for Invariants Generation in Cyber-Physical Systems
Timing Modeling and Analysis for AUTOSAR Schedule Tables
Multi-Agent Systems: Overview of a New Paradigm for Distributed Systems
Building Dependable Distributed Applications Using AQUA
Delegation-Based Security Model for Web Services
UML-Based Modeling of Robustness Testing
Writing a user functional description for an Army software metrics support tool
Evaluation of the Performance of the Large Scale Network: Performance Evaluation of the PDC-P Network Providing the i-mode Service
A Fast Performance Analysis Tool for Multicore, Multithreaded Communication Processors
Temporal Verification of Simulink Diagrams
A Biologically Inspired Assurance Definition and Specification in Heterogeneous Autonomous Decentralized Systems
Enabling Decision Support for the Delivery of Real-Time Services
Systems Architectures for Transactional Network Interface
A general approach to secure components composition
A Proxy Identifier Based on Patterns in Traffic Flows
A Behavioral Analysis Approach for Efficient Partial Order Reduction
A MDA-based Approach for Developing Simulation-Oriented Combat Flows
Combining Testing and Model Checking for Verification of High Assurance Systems
Architecture Centric System Design for Supporting Reconfiguration of Service Oriented Systems
A Unifying Approach to Validating Specification-Oriented XML Constraints
Visual Model-Driven Design, Verification and Implementation of Security Protocols
GUI Software Fault Localization Using N-gram Analysis
Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System
Analysis of group communication protocols to assess quality of service properties
Analysis of Critical Systems Certification
State Oriented Programming
Bayesian Perspective of Optimal Checkpoint Placement
Testing Security Rules with Decomposable Activities
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths
CamAuth: Securing Web Authentication with Camera
A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report
Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples
MPISE: Symbolic Execution of MPI Programs
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation
A Scalable Checkpoint Encoding Algorithm for Diskless Checkpointing
Integration of system dependability and software reliability growth models for e-commerce systems
Proving refinement transformations for deriving high-assurance software
Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach
Issues concerning the future of computer science
DPAC: A Reuse-Oriented Password Authentication Framework for Improving Password Security
Availability Monitor for a Software Based System
Air-Ground System Wide Information Management to Achieve Safe Flight Operation
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements
Software Quality Improvement via Pattern-Based Model Refactoring
How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing
Eclipse vs. Mozilla: A Comparison of Two Large-Scale Open Source Problem Report Repositories
Fail-Safe Test Generation in Safety Critical Systems
HASE in Wireless Systems
Detection and Diagnosis of Recurrent Faults in Software Systems by Invariant Analysis
Parsimonious Classifiers for Software Quality Assessment
Error and Failure Analysis of a UNIX Server
Privacy, Preservation and Performance: The 3 P's of Distributed Data Management
Safety validation of embedded control software using Z animation
Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults
Towards Adaptable Middleware to Support Service Delivery Validation in i-DSML Execution Engines
Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2)
Extended-Model Based Testing by Directed Chinese Postman Algorithm
Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering
Do formal methods really belong in the toolbox of the practicing engineer?
Anomaly Detection in Cyber Physical Systems Using Recurrent Neural Networks
Applying Formal Methods to an Information Security Device: An Experience Report
The SSP: An Example of High-Assurance Systems Engineering
Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing
Model Validation using Automatically Generated Requirements-Based Tests
CROWN-C: A High-Assurance Service-Oriented Grid Middleware System
Scalable Fualt Detection for FPGAs
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function
Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees
Decentralized Workload Management for Assurance According to Heterogeneous Service Levels
In-Parameter-Order: A Test Generation Strategy for Pairwise Testing
Analytic Model for Web Anomalies Classification
A Typed Compositional Language for Real-Time Systems
The Future EU R&D on Security and Dependability: Moving Towards Resilience and Plasticity
Feature-Based Software Customization: Preliminary Analysis, Formalization, and Methods
A Methodology to Efficiently Compare Operating System Stability
A UML-Based Domain Specific Modeling Language for the Availability Management Framework
Model Checking RSML-e Requirements
Device Mechanism: A Structured Device Driver Development Approach
A Framework for a Cryptographic Protocol Evaluation Workbench
CLOUBEX: A Cloud-Based Security Analysis Framework for Browser Extensions
DynaMICs: An Automated and Independent Software-FaultDetection Approach
The SASHA Architecture for Network-Clustered Web Servers
Multi-layered Data Consistency Technology, An Enhanced Autonomous Decentralized Data Consistency Technology for IC Card Ticket System
Modeling and Verification of Humanoid Robot Task Coordination
Integration of Formal Specification into the Standard ASIC Design Flow
Facilitating Failure Analysis with Software Instrumentation
Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy
Evaluation and Improvement of Software Products and Processes based on Measurement
Using Multi-Level Security Annotations to Improve Software Assurance
On the Use of Security Metrics Based on Intrusion Prevention System Event Data: An Empirical Analysis
Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method
Information-Theoretic Detection of SQL Injection Attacks
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles
Analysis of software cost models with rejuvenation
Software-Based Instrumentation for Localization of Faults Caused by Electrostatic Discharge
7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking
Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol
VMDetector: A VMM-based Platform to Detect Hidden Process by Multi-view Comparison
A New Fault-Tolerant Wormhole Routing Scheme in Tori with Convex Faults
Object-Oriented System Decomposition Quality
Benchmarking Embedded Software Development Project Performance
High Assurance, My Personal Experience and View Point
1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings
Finite-State Analysis of the CAN Bus Protocol
Analyzing Internet Security Protocols
A Real Time Window-Based Local Call Admission Control Algorithm for IP Networks
Research on Noise Problem of Reputation Estimation in Virtual Enterprise
An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases
Proved Metamodels as Backbone for Software Adaptation
High Assurance Smart Metering
Enumerating Software Failures to Build Dependable Distributed Applications
Personal Health Record System and Integration Techniques with Various Electronic Medical Record Systems
Providing convincing evidence of safety in X-by-wire automotive systems
Mining Accompanying Passing-Vehicles to Discover Suspected Gangs
Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD)
Software Defect Prediction Using Exception Handling Call Graphs: A Case Study
Designing Safe and Secure Mixed Traffic Systems
Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network
Anytime Available Single IP Address Cluster
Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study
High Assurance Code Generation for Cyber-Physical Systems
A multiversion transaction scheduler for centralized multilevel secure database systems
An Interaction-Based Test Sequence Generation Approach for Testing Web Applications
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design
Process Measures for Predicting Software Quality
Design Considerations in Boeing 777 Fly-By-Wire Computers
Using COTS Software in High Assurance Control Applications
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification
A Grammar-Based Reverse Engineering Framework for Behavior Verification
Automatic abstractions of real-time specifications
On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems
Observation-Level-Driven Formal Modeling
Autonomous Decentralized High-Assurance Surveillance System for Air Traffic Control
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node
Vulnerability Analysis of an Automotive Infotainment System's WIFI Capability
A Kind of Deadlock-free Scheduling Method Based on Petri Net
A Firewalling Scheme for Securing MPOA-Based Enterprise Networks
High-Assurance Application Systems and Their Technologies Under Changing Situations
Simulation on Grounding Fault Location of Distribution Network Based on Regional Parameters
Assessing Reliability Risk Using Fault Correction Profiles
Guidelines for Formal Domain Modeling in Event-B
Cyber-Physical Security of a Chemical Plant
The Quality of Service Model and High Assurance
Path Sensitive Analysis for Security Flaws
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers
Developing a Data Driven Prognostic System with Limited System Information
5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings
A Multi-Periodic Synchronous Data-Flow Language
Modeling and Verifying Storm Using CSP
Recommender Systems for Privacy Management: A Framework
Using Composition to Design Secure, Fault-Tolerant Systems
A Resilient Architecture for Forensic Storage of Events in Critical Infrastructures
High-Assurance Distributed, Adaptive Software for Dynamic Systems
Evaluation of Software Development Tools for High Assurance Safety Critical Systems
Methodology for Service-Oriented Management of Security Assurance in Communication Infrastructures
Software Dependability in Distributed and Mobile Computing Environments
4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings
CSRS: Cyber Survive and Recover Simulator
Human-Centered Virtual Machine of Problem Solving Agents, Software Agents, Intelligent Agents and Objects
Reliable software construction: a logic programming based methodology
Knowledge Management for Computational Intelligence Systems
Multiparty Computation with Full Computation Power and Reduced Overhead
Transaction Calculus
Flexible Design of Complex High-Integrity Systems Using Trade Offs
Empirical Study of Embedded Software Quality and Productivity
A Proxy-Based Solution for Securiting Remote Desktop Connections in Mission-Critical Systems
Proving the Fidelity of Simulations of Event-B Models
Automated Detection of Injected Faults in a Differential Equation Solver
Using Feature Selection to Determine Optimal Depth for Wavelet Packet Decomposition of Vibration Signals for Ocean System Reliability
Exception Handling Defects: An Empirical Study
Lessons from 342 Medical Device Failures
Assurance System Architecture for Distributed Database Systems
Architectural Overview of the Computational Intelligence Testing Tool: CI-Tool
On Exceptions, Exception Handling, Requirements and Software Lifecycle
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case
Inferring Approximated Models for Systems Engineering
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach
Four areas of overlapping interest
Structural Analysis of Explicit Fault-Tolerant Programs
Multi-objective Optimization of Formal Specifications
A Survey: Applying Formal Methods to a Software Intensive System
Architecture-Based Reliability Modeling of Web Services Using Petri Nets
Formal Foundations for Hierarchical Safety Cases
Efficient System Reliability with Correlated Component Failures
A Synchronous Paradigm for Modeling Stable Reactive Systems
Modeling and Verifying Google File System
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology
Predicting Faults in High Assurance Software
Formal Development of a Secure Access Control Filter
Preventing and unifying threats in cyberphysical systems
A Flexible Software Architecture for High Availability Computing
Incremental Development of a High Integrity Compiler: Experience from an Industrial Development
Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation
Bayesian framework for reliability assurance of a deployed safety critical system
COTS and High Assurance: An Oxymoron?
IDAMC: A Many-Core Platform with Run-Time Monitoring for Mixed-Criticality
Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution
Using Pairwise Testing to Verify Automatically-Generated Formal Specifications
Improving Reliability and Safety by Trading off Software Failure Criticalities
A Timed Extension of Property Sequence Chart
Randomization Based Probabilistic Approach to Detect Trojan Circuits
On the Comparison of Network Attack Datasets: An Empirical Analysis
Duplication Based Integrated Task and Message Scheduling on a Heterogeneous Network of Workstations (NOWs)
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value
Verification of Exception Control Flows and Handlers Based on Architectural Scenarios
A New Architecture for Single-Event Detection & Reconfiguration of SRAM-based FPGAs
Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring
Verification of Assurance of Space On-Board Distributed Computer System
Experiment for High-Assurance Video Conference System over the Internet
Towards Comprehensive Modeling of Reliability for Smart Grids: Requirements and Challenges
Security Goal Indicator Trees: A Model of Software Features that Supports Efficient Security Inspection
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications
Design for Constraint Violation Detection in Safety-Critical Systems
ArCMAPE: A Software Product Line Infrastructure to Support Fault-Tolerant Composite Services
The DADSim air defense simulation environment
Automatic Dependability Analysis for Supporting Design Decisions in UML
Determining the expected time to unsafe failure
Empirical Assessment of Methods to Detect Cyber Attacks on a Robot
A Fault Taxonomy for Service-Oriented Architecture
Transaction integration for reusable hard real-time components
Formal Specification in Collaborative Design of Critical Software Tools
Agent Information Contracts within Virtual Private Networks
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications
Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime
Zero-Knowledge Evaluation of Service Performance Based on Simulation
Attack Graph Based Network Risk Assessment: Exact Inference vs Region-Based Approximation
Scalable, Adaptive, Time-Bounded Node Failure Detection
Integrating Legacy Applications for High Availability: A Case Study
A new compositional method for condensed state-space verification
Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation
Using Source Code Metrics and Multivariate Adaptive Regression Splines to Predict Maintainability of Service Oriented Software
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
Multi-Level Indoor Navigation Ontology for High Assurance Location-Based Services
Modeling with extended fault trees
Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction
On the Verifiability of Programs Written in the Feature Language Extensions
Capturing an application's temporal properties with UML for Real-Time
Evaluating the Dependability of Dynamic Binding in Web Services
GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite Scenarios
Precise Documentation of Critical Software
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?
Interface Injection with AspectC++ in Embedded Systems
Comparison and Analysis of Cryptographic Algorithms Aiming Performance Improvement in Secure Web Services
Architecting Holistic Fault Tolerance
Automatic Verification on the Large
A Self-Managing Brokerage Model for Quality Assurance in Service-Oriented Systems
The Deployment of a Darknet on an Organization-Wide Network: An Empirical Analysis
A Framework for Preprocessing Multivariate, Topology-Aware Time Series and Event Data in a Multi-System Environment
Trade-Off Analysis for Selective versus Brute-Force Regression Testing in FSMWeb
Reducing Overfitting in Genetic Programming Models for Software Quality Classification
Towards a Problem-Driven Approach to Perspective-Based Reading
A Method for Validating Intent Model Behavior in DSVMs
A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective
Introducing Meta-Requirements for Describing System of Systems
Weaving an Assurance Case from Design: A Model-Based Approach
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator
The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture
Test-Sequence Generation from Formal Requirement Models
17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016
Adaptive recovery for mobile environments
Integrating Six-Step Model with Information Flow Diagrams for Comprehensive Analysis of Cyber-Physical System Safety and Security
Quantitative Security and Safety Analysis with Attack-Fault Trees
On the Integrity of Lightweight Checkpoints
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems
Real-time multicast connection establishment over ATM networks
Application of the B formal method to the proof of a type verification algorithm
High-Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication
Ensuring Quality of Service for Multimedia Applications in a LAN Environment
A stochastic extension of a behavioural subset of UML statechart diagrams
Securing a Connected Mobile System for Healthcare
Localizing Program Errors via Slicing and Reasoning
Information Assurance Architecture with Storyboarding Models
A Stateful Approach to Testing Monitors in Multithreaded Programs
Design Diversity for Mitigating Monoculture Induced Threats
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems
Leveraging Variations in Event Sequences in Keystroke-Dynamics Authentication Systems
How Good Is Your Blind Spot Sampling Policy?
Representation of Confidence in Assurance Cases Using the Beta Distribution
Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects
A Method for Solving Trade-Off among Cost for Owned/Borrowed Resource and Loss of Business Chances
Designing, Modelling and Verifying a Container Terminal System Using UPPAAL
An Empirical Failure-Analysis of a Large-Scale Cloud Computing Environment
Selecting and mapping test sequences from formal specifications of concurrent programs
Checking Modification Tolerance
Modeling the Interaction of Power Line and SCADA Networks
A Specification-Based Coverage Metric to Evaluate Test Sets
Preliminary Models of the Cost of Fault Tolerance
Software Systems: Consequence versus Functionality
A Dynamometer for an Ocean Turbine Prototype: Reliability through Automated Monitoring
Symbolic Representation Techniques in Dynamic Reliability Evaluation
An Event-B Interpretation for SPARDL Model
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications
Model Driven Validation of System Architectures
Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development
An "in the limit" View
Verification of Automatically Generated Pattern-Based LTL Specifications
High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System
Combining Testing and Correctness Verification in Software Reliability Assessment
Modeling Recovery Strategies in Service-Oriented Architecture Using a Markov Decision Process
Design of a Portable Control-Flow Checking Technique
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC)
PriDaC: Privacy Preserving Data Collection in Sensor Enabled RFID Based Healthcare Services
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking
Discriminatively Fortified Computing with Reconfigurable Digital Fabric
Impact of program transformation on software reliability assessment
Software Complexity Analysis on Department of Defense Real-Time Systems
13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011
Making an ALARP Decision of Sufficient Testing
An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models
Integrating Product-Line Fault Tree Analysis into AADL Models
How can Previous Component Use Contribute to Assessing the Use of COTS?
Software Can Be Entrusted with High Consequence Functionality
Detecting and Reducing Redundancy in Software Testing for Highly Configurable Systems
Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany
Smart Vibration Monitoring System for an Ocean Turbine
Behavioral Fault Modeling for Model-based Safety Analysis
Towards a Security Domain Model for Embedded Systems
Modeling Applications for Adaptive QoS-based Resource Management
Validation Support for Distributed Real-Time Embedded Systems in VDM++