yusuke1997/dblp-id-title huggingface dataset:
The Optimized three-Dimensional Deployment for Pipeline Systems in Wireless Sensor Networks
Optimization Strategy of Top-Down Join Enumeration on Modern Multi-Core CPUs
A SVD Feature based Watermarking Algorithm for Gray-level Image Watermark
H2/H∞ Robust Controller of the Arc Welding Inverter Power
The Influence of Inconsistent Data on Cost-Sensitive Classification Using Prism Algorithms: An Empirical Study
Research on Logistics Network Infrastructure Based on HCA and DEA-PCA Approach
Fast Mode Decision and Encryption Policy in H.264/AVC Frame-skipping Transcoding
Research of Intelligent Rule-base Based on Multilayer Intrusion Detection
A Study of Color Space Transformation Method Using Nonuniform Segmentation of Color Space Source
Wavelet Descriptor for Closed Curves Detection in Complex Background
Genetic Algorithm and Fuzzy Logic Based Flexible Querying in Databases
An Effective Economic Management of Resources in Cloud Computing
A Vertex Separator-based Algorithm for Hypergraph Bipartitioning
Recommendation System for Criminal Behavioral Analysis on Social Network using Genetic Weighted K-Means Clustering
Distortion Free Database Watermarking System Based on Intelligent Mechanism for Content Integrity and Ownership Control
An Improved Ant Colony Optimization Applied in Robot Path Planning Problem
Management of Attainable Tradeoffs between Conflicting Goals
Defending Against XML-Based Attacks Using State-Based XML Firewall
Analysis of Block Oxide Height Variations for a 40nm Gate Length bFDSOI-FET
Research of Hierarchical Clustering Based on Dynamic Granular Computing
Attribute-Based Certificateless Cryptographic System
A Fully-Integrated Buck Converter Design and Implementation for On-Chip Power Supplies
A Study on Roughness Coefficient Using BP Neural Network
Protein Remote Homology Detection and Fold Recognition based on Features Extracted from Frequency Profiles
A Study on the Relationships between Unsafe Driving Behaviors and Driver's Inner Factors When Entering a Non-signalized Intersection
Diagnosis System for Alumina Reduction Based on BP Neural Network
Cascade Generalization: One versus Many
Detent Force Analysis and Optimization for Vertical Permanent-magnet Linear Synchronous Motor with Fractional-slot Windings
An Efficient Finite-Input Receding Horizon Control Method and Its Application for the Pneumatic Hopping Robot
Low-Cost Computing Using Raspberry Pi 2 Model B
Multi-PI Control for Block-structured Nonlinear Systems
Virtual Machine-based Intrusion Detection System Framework in Cloud Computing Environment
Partially Dynamic Algorithms for Distributed Shortest Paths and their Experimental Evaluation
A Design of the Inverted Index Based on Web Document Comprehending
Detection and Classification of Non-self Based on System Call Related to Security
A Modified Genetic Algorithm(GA) for Optimization of Process Planning
Radar Emitter Signal Recognition Based on EMD and Neural Network
Design and Implementation of Drainage Network Extraction Algorithm Based on Binary Linear Regression
Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology
Classifying Documents with Maximum Likelihood Approximation of the Dirichlet Multinomial Gibbs Model
H8 Sample-Data Control of Fuzzy Systems with Input Delay
Line Matching Method Based on Related Points and Geometric Constraints
A Five Views Framework for Evaluating Learning Service Selection in Context-Aware Ubiquitous Learning Systems
Product Family Shape Based on Similar Characteristics
An Emulator for Executing IA-32 Applications on ARM-Based Systems
Insight of Value-oriented Human Relationship
Design and Implementation of a Wearable Gas Sensor Network for Oil and Gas Industry Workers
Stochastic Comparisons for k-out-of-N(F) System of Random Numbers of Units
A Novel Automatic Facial Expression Recognition Method Based on AAM
Modeling and Planning on Urban Logistics Park Location Selection Based on the Artificial Neural Network
A Model to Select System Core and Its Application
Design and Implementation of an Effective Fuzzy Logic Controller based on Quantum Inspired Evolutionary Algorithm
Evaluation of Land Ecological Safety Based on Fuzzy Matter-Element Theory
A Parameterizable NoC Router for FPGAs
Optimal Resource Allocation Scheme for Satisfying the Data Rate Requirement in Hybrid Network of D2D-Cellular
RFID Technology and its Perspective Analysis with KERGM(1, 1) Model
CFD-based Study of Velocity Distribution among Multiple Parallel Microchannels
Text Clustering Using a Suffix Tree Similarity Measure
The Security of Key Derivation Functions in WINRAR
Regularized Least Squares Estimating Sensitivity for Self-calibrating Parallel Imaging
Oscillation Criteria for Second Order Nonlinear Neutral Perturbed Dynamic Equations on Time Scales
Interest-driven Reasoning Based on Commitment Alternating Temporal Logic in the P2P Reputation System
Alternative Approaches to Symbolic Verification - Preface by the Section Editor
Formal methods software engineering for the CARA system
A toolchain for strategy synthesis with spatial properties
Formal methods for security in the Xenon hypervisor
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
What can you verify and enforce at runtime?
Static verification of component composition in contextual composition frameworks
A case study-based comparison of web testing techniques applied to AJAX web applications
Programming event monitors
A high-level modeling language for the efficient design, implementation, and testing of Android applications
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021
Finite horizon analysis of Markov Chains with the Murphi verifier
Statistical model checking for biological applications
Concurrent depth-first search algorithms based on Tarjan's Algorithm
A process for mastering security evolution in the development lifecycle
GenUTest: a unit test and mock aspect generation tool
Partial-order reduction and trail improvement in directed model checking
Multi-objective optimization algorithms applied to the class integration and test order problem
Bounded DBM-based clock state construction for timed automata in Uppaal
Formalising and analysing SMMT models using the mCRL2 toolset
Automatic boosting of cross-product coverage using Bayesian networks
A reasoning-based approach to dynamic domain reduction in test data generation
PHAVer: algorithmic verification of hybrid systems past HyTech
Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers
Greedy pebbling for proof space compression
Synthesis of AMBA AHB from formal specification: a case study
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
Verification of Year 2000 conversion rules using the ACL2 theorem prover
Compositional message sequence charts
aSPIN: A tool for abstract model checking
Model-based development of a course of action scheduling tool
Generating test case chains for reactive systems
Unit verification: the CARA experience
Comparing approaches for model-checking strategies under imperfect information and fairness constraints
The Code Validation Tool CVT: Automatic Verification of a Compilation Process
An overview of structural coverage metrics for testing neural networks
Evolution of the continuous integration of neural networks in autonomous systems
Guest editors' introduction: Advancements and extensions of verification techniques
Coverage metrics for formal verification
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
Estimation of productivity increase for timing analysis tool chains
On-the-fly Conformance Testing using SPIN
State of the CArt: evaluating covering array generators at scale
On ranking functions for single-path linear-constraint loops
What the small Rubik's cube taught me about data structures, information theory, and randomisation
Are web applications more defect-prone than desktop applications?
On-the-fly model checking for extended action-based probabilistic operators
UPPAAL in a Nutshell
Automated model generation for performance engineering of building automation networks
Security risk analysis of system changes exemplified within the oil and gas domain
Exact finite-state machine identification from scenarios and temporal properties
An approach for estimating the time needed to perform code changes in business applications
Correct program parallelisations
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
Open source software-defined radio tools for education, research, and rapid prototyping
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems
Approximating the safely reusable set of learned facts
Context Gas and friends: taming context-sensitivity on the fly
An abstraction-based decision procedure for bit-vector arithmetic
Managing the verification trajectory
Complementary test selection criteria for model-based testing of security components
A Minimized Automaton Representation of Reachable States
Program analysis using empirical abstraction
Efficient guided symbolic reachability using reachability expressions
Rodin: an open toolset for modelling and reasoning in Event-B
Semantics-Based Program Analysis for Logic-Based Languages Using XSB
Monitoring of spatio-temporal properties with nonlinear SAT solvers
Knowledge representation of the state of a cloud-native application
Introduction to the special section on fundamental approaches to software engineering
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Automated verification of access control policies using a SAT solver
SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler
KLEE symbolic execution engine in 2019
A modal approach to conscious social agents
VSE: formal methods meet industrial needs
Checking safety properties on-the-fly with the sweep-line method
Algorithmic program synthesis: introduction
Model-based test generation using extended symbolic grammars
Efficient family-based model checking via variability abstractions
A constraint-based variability modeling framework
Modeling software product lines using color-blind transition systems
Recent advances in interactive and automated analysis
System-level functional testing from UML specifications in end-of-production industrial environments
Fujaba case studies for GraBaTs 2008: lessons learned
Interface control document modeling with Citrus (avionics systems interfaces)
Security by typing
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method
What makes good research in software engineering?
Some recent advances in automated analysis
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure
The landing gear case study: challenges and experiments
Generating an action notation environment from Montages descriptions
Generating test as a web service (TaaWS) through a method-based attribute grammar
Certification of compiled assembly code by invariant translation
Refinement-based formal verification with heterogeneous timing
VerifyThis 2019: a program verification competition
Integrating Tools in the ETI Platform
Decision-making under uncertainty: beyond probabilities
Introduction to the special section on FASE 2003
To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking
Software diversity: state of the art and perspectives
A BMC-based formulation for the scheduling problem of hardware systems
Efficient verification of timed automata with BDD-like data structures
Full-program induction: verifying array programs sans loop invariants
Binary decision diagrams in theory and practice
Preface of the special issue on formal methods in industrial critical systems
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems
Qualitative and quantitative analysis of safety-critical systems with s#
Symbiotic 6: generating test cases by slicing and symbolic execution
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm
Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools
Analyzing neural network behavior through deep statistical model checking
The Petri Net Kernel - An infrastructure for building Petri net tools
Regular model checking for LTL(MSO)
Average-price-per-reward games on hybrid automata with strong resets
Introduction to the Special Issue on Runtime Verification
Innovation and evolution in integrated web application testing with TTCN-3
Verification and abstraction of real-time variability-intensive systems
Extracting safe thread schedules from incomplete model checking results
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies
Test suite development with TTCN-3 libraries
Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking
Benchmarking Finite-State Verifiers
Preface to a special section on verification, model checking, and abstract interpretation
A scalable Cloud-based system for data-intensive spatial analysis
Six years later: testing vs. model checking
OMT and SDL Based Techniques and Tools for Design, Simulation and Test Production of Distributed Systems
On a time enriched OCL liveness template
A verified low-level implementation and visualization of the adaptive exterior light and speed control system
Model checking software product lines with SNIP
Program slicing for VHDL
Advances in verification presented in TACAS'13
Testing real-time systems from compositional symbolic specifications
Parameterized verification of systems with component identities, using view abstraction
Rigorous engineering of collective adaptive systems - 2nd special section
Modeling of a speed control system using Event-B
A tool for model-checking Markov chains
Compositional runtime enforcement of safety and co-safety timed properties
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools
ESBMC 6.1: automated test case generation using bounded model checking
Diversity of graph models and graph generators in mutation testing
Partial-order reduction for general state exploring algorithms
Concurrent runtime verification of data rich events
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard
Abstract regular (tree) model checking
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking
Optimal spare management via statistical model checking: a case study in research reactors
Configuration of inter-process communication with probabilistic model checking
Vacuity detection in temporal model checking
Compositional software verification based on game semantics and process algebra
TSTL: the template scripting testing language
The Meaning of "Formal": From Weak to Strong Formal Methods
An evaluation of approaches to model checking real-time task schedulability analysis
TOOLympics II: competitions on formal methods
Tool integration at the meta-model level: the Fujaba approach
Framework testing of web applications using TTCN-3
Probabilistic symbolic model checking with PRISM: a hybrid approach
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking
Directed explicit-state model checking in the validation of communication protocols
Tool support for the design of self-optimizing mechatronic multi-agent systems
Bisimulation verification using the up to techniques
Supporting safe metamodel evolution with edelta
Special Section on the Practical Use of High-Level Petri Nets: Preface by the section editor
The Tinker tool for graphical tactic development
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
Modelling work distribution mechanisms using Colored Petri Nets
Easy concurrency
Assume, guarantee or repair: a regular framework for non regular properties
Haifa verification conference 2007
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation
Utilizing parametric systems for detection of pipeline hazards
The worst-case execution time tool challenge 2006
Error explanation with distance metrics
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking
The SOTA approach to engineering collective adaptive systems
Hierarchical formal verification using a hybrid tool
Visualization of variability and configuration options
Test generation for radiotherapy accelerators
An abort-aware model of transactional programming
Provably correct control flow graphs from Java bytecode programs with exceptions
The digest framework: concurrency-sensitivity for abstract interpretation
Model Checking JAVA Programs using JAVA PathFinder
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
Quantitative variability modelling and analysis
A survey of new trends in symbolic execution for software testing and analysis
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety
Assertions in software testing: survey, landscape, and trends
Scientific workflows with the jABC framework - A review after a decade in the field
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense
Temporal isolation in real-time systems: the VBS approach
Efficient reduction of finite state model checking to reachability analysis
Automated maintenance of service compositions with SLA violation detection and dynamic binding
A mutation analysis tool for Java programs
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019
Formal methods for railway control systems
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form
Parallel programming with a pattern language
Rule-based verification of Web sites
RAMBUTANS: automatic AOP-specific test generation tool
Coordinating and programming multiple ROS-based robots with X-KLAIM
Model checking evaluation of airplane landing trajectories
SMT solving for the validation of B and Event-B models
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
Practical quality assurance for standards-based, high-availability middleware
LLM-based code generation and system migration in language-driven engineering
Extending a brainiac prover to lambda-free higher-order logic
A domain-specific language to design false data injection tests for air traffic control systems
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool
Control and Data Abstraction: The Cornerstones of Practical Formal Verification
Protos2CPN: using colored Petri nets for configuring and testing business processes
Facilitating the evolution of products in product line engineering by capturing and replaying configuration decisions
Discovering colored Petri nets from event logs
Software test results exploration and visualization with continuous integration and nightly testing
Design of experiments and evaluation of BDD ordering heuristics
MCMAS: an open-source model checker for the verification of multi-agent systems
Exploiting transition locality in automatic verification of finite-state concurrent systems
TestREx: a framework for repeatable exploits
Exploiting resolution proofs to speed up LTL vacuity detection for BMC
Experimental assessment of combining pattern matching strategies with VIATRA2
Developments in automated verification techniques
The RE-UWA approach to recover user centered conceptual models from Web applications
SaBRe: load-time selective binary rewriting
A negative result on depth-first net unfoldings
Automated generation of a progress measure for the sweep-line method
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains
Sampling strategies for product lines with unbounded parametric real-time constraints
A new approach for online multiobjective optimization of mechatronic systems
Model checking unbounded concurrent lists
Toward autonomically composable and context-dependent access control specification through ensembles
Inference of access policies through static analysis
Automated generation of formal safety conditions from railway interlocking tables
Synthesizing, correcting and improving code, using model checking-based genetic programming
What can we monitor over unreliable channels?
Model checker aided design of a controller for a wafer scanner
A multiple case study on risk-based testing in industry
Correct by design coordination of autonomous driving systems
A systematic incrementalization technique and its application to hardware design
Software tools for safety-critical software development
Refactoring and converting a TTCN-2 test suite
Distributed dynamic partial order reduction
System architecture evaluation using modular performance analysis: a case study
Model checking with generalized Rabin and Fin-less automata
The HybridUML profile for UML 2.0
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
Causal analysis of positive Reaction Systems
Widening operators for powerset domains
Solving the ignoring problem for partial order reduction
Modelling flocks of birds and colonies of ants from the bottom up
Specifying and verifying usage control models and policies in TLA +
A real-time profile for UML
Graph-based technique for survivability assessment and optimization of IoT applications
A formal analysis of bluetooth device discovery
Detecting races in Relay Ladder Logic programs
Correction to: PolyGraph: a data flow model with frequency arithmetic
Rigorous development process of a safety-critical system: from ASM models to Java code
Comparing perfomance abstractions for collective adaptive systems
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
The scenario coevolution paradigm: adaptive quality assurance for adaptive systems
Improved verification of hardware designs through antecedent conditioned slicing
Machine learning-based cache miss prediction
Correction to: Reliable benchmarking: requirements and solutions
Model checking software: on some new waves and some evergreens
Smart sampling for lightweight verification of Markov decision processes
Challenges of software verification
A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution
Symbolic object code analysis
Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures
Quantitative estimation of side-channel leaks with neural networks
Scalable shared memory LTL model checking
Domain-specific regular acceleration
Synthesis from component libraries
The RERS challenge: towards controllable and scalable benchmark synthesis
A word-level graph manipulation package
Satisfiability solving for software verification
Approximate planning and verification for large Markov decision processes
Schedulability of Herschel revisited using statistical model checking
Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3
Validating multiple variants of an automotive light system with Alloy 6
Case studies with Lurette V2
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System
Model refactoring using MoTMoT
Predicate monitoring in distributed cyber-physical systems
Numerical vs. statistical probabilistic model checking
Reusable formal models for concurrency and communication in custom real-time operating systems