yusuke1997/dblp-id-title huggingface dataset:
"Application of Fermatean fuzzy matrix in co-design of urban projects"
A Novel Method in Extracranial Removal of Brain MR Images
A New Data Processing Algorithm based on Model Fitting for Wireless Sensor Networks
A new application for multi criteria decision making processes in e-government scenarios
Copula based Change Point Detection for Financial Contagion in Chinese Banking
Influence Assessment in Multiplex Networks using Social Choice Rules
The neural network methods for solving Traveling Salesman Problem
Data Stolen Trojan Detection based on Network Behaviors
Using the Choquet Integral to Improve Systems Usability: A Multicriteria Analysis
A Study on Farmers' Agriculture related Tourism Entrepreneurship Behavior
A New Approach to Process the Unknown Words in Financial Public Opinion
Performance evaluation of machine learning algorithms for network anomaly detection: an approach through the AHP-TOPSIS-2N method
Challenges in the use of a support tool with automated review in student learning of programming courses
A Financial Stability Index for Israel
Towards intelligent public transport systems in Smart Cities; Collaborative decisions to be made
Research on Credit Risk Evaluation of Commercial Banks Based on Artificial Neural Network Model
Penetration Effect of Informatization on Technological Progress in Logistics Industry: Empirical Evidence from Inter-provincial Panel Data in China
Sustainability practices in the luxury industry: How can one be sustainable in an over-consumptive environment?: Sustainability in the automotive world: The case of Tesla
A Novel Feature Selection Method based on an Integrated Data Envelopment Analysis and Entropy Model
Credit Risk Evaluation Based on Social Media
Factors influencing waste sorting for Selective Collection in a Brazilian monetary institution
A bi-level programming model for oilfield development and its solution algorithm based on interactive intuitionistic fuzzy method
Prediction of Financing Goal of Crowdfunding Projects
Hybrid Learning Network: A Novel Architecture for Fast Learning
Effect Evaluation of Scientific and Technological Achievements Transformation Policy Mix: Evidence from China's Provincial Panel Data
A New Data Transformation Method and Its Empirical Research Based on Inverted Cycloidal Kinetic Model
A study on liability for environmental pollution in Beijing-Tianjin-Hebei Region
Stixel-based obstacle recognization integrated with learning method
Mining Text for Disease Diagnosis
Study on the contagion mechanism of associated credit risk with corporate senior executives' alertness
Mapping Research Collaboration Network of International Methane Hydrate Research
Influencing Factors and Multiple Paths of Construction Ability of Digital Government: Qualitative Comparative Analysis Based on 31 Chinese Provinces
Strategy study to prioritize marketing criteria: an approach in the light of the DEMATEL method
The influence of international crude oil price on the crude oil spot price in China
Developing a smart healthcare framework with an 'Aboriginal lens'
Sparse Multiple Instance Learning for Elderly People Balance Ability
High Performance Geological Disaster Recognition using Deep Learning
Detection and Location of High Voltage Power Switchgear Operating Equipment based on Iterative Segmentation
Enterprise Architecture Migration Planning Using the Matrix of Change
Multi-view SVM Classification with Feature Selection
A French-to-English Machine Translation Model Using Transformer Network
Stock Classification Prediction Based on Spark
Reachability Analysis of Hybrid Systems Using Support Functions
Ping-Pong Protocols as Prefix Grammars and Turchin Relation
Bisimulation Learning
On the Complexity of Checking Consistency for Replicated Data Types
Model Checking Using Adaptive State and Data Abstraction
VIS: A System for Verification and Synthesis
StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems
Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols
Probabilistic Program Analysis with Martingales
Using Timestamping and History Variables to Verify Sequential Consistency
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
Quantitative Mitigation of Timing Side Channels
Solving String Constraints Using SAT
Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings
Learning Probabilistic Termination Proofs
Property Directed Equivalence via Abstract Simulation
Protocol Design for an Automated Highway System (Abstract)
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors
Symbolic Register Automata
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
A Unifying Model Checking Approach for Safety Properties of Parameterized Systems
Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis
Property Preserving Simulations
EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Efficient SMT-Based Analysis of Failure Propagation
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs
Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
A Formal Reduction for Lock-Free Parallel Algorithms
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
HORNSAT, Model Checking, Verification and games (Extended Abstract)
Lazy Abstractions for Timed Automata
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
Symbolic Quantum Simulation with Quasimodo
Information Flow Guided Synthesis with Unbounded Communication
HYTECH: A Model Checker for Hybrid Systems
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015
FixBag: A Fixpoint Calculator for Quantified Bag Constraints
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs
ABC: An Academic Industrial-Strength Verification Tool
Deductive Verification of Pipelined Machines Using First-Order Quantification
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions
Computer-Hindered Verification (Humans Can Do It Too)
Statistical Model Checking of Black-Box Probabilistic Systems
The HiVy Tool Set
PyEuclid: A Versatile Formal Plane Geometry System in Python
Stochastic Games with Lexicographic Reachability-Safety Objectives
Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing
MightyL: A Compositional Translation from MITL to Timed Automata
MONA 1.x: New Techniques for WS1S and WS2S
String Analysis via Automata Manipulation with Logic Circuit Representation
Automated and Scalable Verification of Integer Multipliers
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
Integer Programming in the Analysis of Concurrent Systems
Formal Specification for Learning-Enabled Autonomous Systems
Decision Heuristics in MCSat
Formula Normalizations in Verification
Attracting Tangles to Solve Parity Games
Task-Driven Supervisory Control of Discrete Event Systems
Verified Erasure Correction in Coq with MathComp and VST
QReach: A Reachability Analysis Tool for Quantum Markov Chains
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers
VS3: SMT Solvers for Program Verification
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
Simulating Quantum Circuits by Model Counting
Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification
Automated Analysis of Java Methods for Confidentiality
Digitizing Interval Duration Logic
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security
Towards a Verification Technique for Large Synchronous Circuits
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Stateless Model Checking Under a Reads-Value-From Equivalence
End-to-End Verification of Processors with ISA-Formal
A Symbolic Approach to Predicate Abstraction
Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
Extending AALpy with Passive Learning: A Generalized State-Merging Approach
IIV: An Invisible Invariant Verifier
Automatic Atomicity Verification for Clients of Concurrent Data Structures
Termination Analysis by Learning Terminating Programs
Scalable Shape Analysis for Systems Code
Checking for Language Inclusion Using Simulation Preorders
An Integration of Model Checking with Automated Proof Checking
Hampa: Solver-Aided Recency-Aware Replication
FAST Extended Release
Syntax-Guided Termination Analysis
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties
Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard
Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics
On Combining Formal and Informal Verification
UPPAAL: Status & Developments
Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable
Tutorial on Separation Logic (Invited Tutorial)
Lagrangian Reachabililty
Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions
Explaining Hyperproperty Violations
Synchronization Synthesis for Network Programs
The Mathematical Foundation fo Symbolic Trajectory Evaluation
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Efficient Modeling of Memory Arrays in Symbolic Simulation
Efficient Algorithms for Verification of Equivalences for Probabilistic Processes
The SLAM Toolkit
Parsimonious Optimal Dynamic Partial Order Reduction
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
Functionality Decomposition by Compositional Correstness Preserving Transformation
The SeaHorn Verification Framework
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial)
Automatic Rootcausing for Program Equivalence Failures in Binaries
On Multiphase-Linear Ranking Functions
The Mur phi Verification System
PAM: A Process Algebra Manipulator
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories
Yasm: A Software Model-Checker for Verification and Refutation
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs
The Orchids Intrusion Detection Tool
Minimal Sets over Monotone Predicates in Boolean Formulae
Trigger Selection Strategies to Stabilize Program Verifiers
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System
Synthesizing Permissive Winning Strategy Templates for Parity Games
ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Peregrine: A Tool for the Analysis of Population Protocols
Efficient Emptiness Check for Timed Büchi Automata
Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
Theory Exploration Powered by Deductive Synthesis
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software
On the Limitations of Ordered Representations of Functions
Kronos: A Model-Checking Tool for Real-Time Systems
BooStER: Speeding Up RTL Property Checking of Digital Designs by Word-Level Abstarction
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Adapting Behaviors via Reactive Synthesis
Commutativity for Concurrent Program Termination Proofs
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking
Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components
Reliable Hashing without Collosion Detection
Search and Explore: Symbiotic Policy Synthesis in POMDPs
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties
Information Flow Guided Synthesis
Image Computation in Infinite State Model Checking
Abstraction for Branching Time Properties
SMT-Based Translation Validation for Machine Learning Compiler
Runtime Verification of Temporal Properties over Out-of-Order Data Streams
Combining Model Learning and Model Checking to Analyze TCP Implementations
Minimization of Symbolic Transducers
Model Checking Indistinguishability of Randomized Security Protocols
Safe Environmental Envelopes of Discrete Systems
Automated Hypersafety Verification
CaDiCaL 2.0
Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence
Modular Strategies for Infinite Games on Recursive Graphs
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models
On Array Theory of Bounded Elements
Latticed k-Induction with an Application to Probabilistic Programs
A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Java Bytecode Verification by Model Checking
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
Yet Another Decision Procedure for Equality Logic
The Vehicle Tutorial: Neural Network Verification with Vehicle
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems
Formally Documenting Tenderbake (Short Paper)
Continuous Formal Verification of Amazon s2n
TermiLog: A System for Checking Termination of Queries to Logic Programs
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study
lean-smt: An SMT Tactic for Discharging Proof Goals in Lean
Composing Symbolic Trajectory Evaluation Results
A Complete Method for Symmetry Reduction in Safety Verification
The Power of Symbolic Automata and Transducers
Parameter Identification for Markov Models of Biochemical Reactions
Counterexample Guided Abstraction Refinement for Stability Analysis
ICE: A Robust Framework for Learning Invariants
Measurement-Based Verification of Quantum Markov Chains
A Comparison of Presburger Engines for EFSM Reachability
SMT Techniques for Fast Predicate Abstraction
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints
A Tool for Symbolic Program Verification and Abstration
Formal Specification and Verification of Solidity Contracts with Events (Short Paper)
Abstract Interpretation with Applications to Timing Validation
Verification of Multi-Party Ping-Pong Protocols via Program Transformation
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017]
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
Learning-Based Assume-Guarantee Regression Verification
Module Checking
Using Abstractions for the Verification of Linear Hybrid Systems
IC3 and beyond: Incremental, Inductive Verification
Strix: Explicit Reactive Synthesis Strikes Back!
Complete Multiparty Session Type Projection with Automata
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking
Good-Enough Synthesis
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Space-Time Interpolants
MoGym: Using Formal Models for Training and Verifying Decision-making Agents
On the Representation of Probabilities over Structured Domains
Counterexample-Guided Partial Bounding for Recursive Function Synthesis
Deductive Model Checking
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A)
Symbolic Polytopes for Quantitative Interpolation and Verification
Pono: A Flexible and Extensible SMT-Based Model Checker
Formally Verified Montgomery Multiplication
4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, Haifa, Israel, August 11, 2022
Proactive Real-Time First-Order Enforcement
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
Distributed SMT Solving Based on Dynamic Variable-Level Partitioning
PAT: Towards Flexible Verification under Fairness
I Think I Voted: E-Voting vs. Democracy
Property Directed Reachability with Extended Resolution
Sound Value Iteration
Property-Directed Shape Analysis
"On the Fly" Verification of Behavioural Equivalences and Preorders
The STATEMATE Verification Environment - Making It Real
NUSMV: A New Symbolic Model Verifier
A Toolset for Modelling and Verification of GALS Systems
Automatically Proving Linearizability
Verifying Equivalence of Spark Programs
A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation
Integrating Formal Schedulability Analysis into a Verified OS Kernel
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets
SolTG: A CHC-Based Solidity Test Case Generator
BAP: A Binary Analysis Platform
Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms
Language Equivalence for Probabilistic Automata
A Billion SMT Queries a Day (Invited Paper)
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
The Learnability of Symbolic Automata
Syntax-Guided Automated Program Repair for Hyperproperties
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis
Extended Weighted Pushdown Systems
Existential Quantification as Incremental SAT
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper)
Verifying Cake-Cutting, Faster
Reasoning with Temporal Logic on Truncated Paths
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
The SemGuS Toolkit
Incremental Algorithms for Inter-procedural Analysis of Safety Properties
Analyzing and Synthesizing Genomic Logic Functions
Parametrized Verification of Linear Networks Using Automata as Invariants
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis
Antichains: A New Algorithm for Checking Universality of Finite Automata
NNV 2.0: The Neural Network Verification Tool
Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems
The Lattice-Theoretic Essence of Property Directed Reachability Analysis
Error Diagnosis in Finite Communicating Systems
Mechanising BAN Kerberos by the Inductive Method
Synthesis of Distributed Control through Knowledge Accumulation
Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks
Certified Verification for Algebraic Abstraction
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs
Abstraction Refinement Algorithms for Timed Automata
Model Checking of Safety Properties
A Stubborn Attack On State Explosion
Fairness Modulo Theory: A New Approach to LTL Software Model Checking
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
Verifying Generalization in Deep Learning
PlayGame: A Platform for Diagnostic Games
Safety Verification for Probabilistic Hybrid Systems
Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract)
A Fully Verified Executable LTL Model Checker
Context-Sensitive Dynamic Partial Order Reduction
Fully Automated Shape Analysis Based on Forest Automata
Monitizer: Automating Design and Evaluation of Neural Network Monitors
Cutoff Bounds for Consensus Algorithms
MOSEL: A Sound and Efficient Tool for M2L(Str)
Percentile Queries in Multi-dimensional Markov Decision Processes
Data-Driven Invariant Learning for Probabilistic Programs
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes
Atomicity Refinement and Trace Reduction Theorems
Interpolation and SAT-Based Model Checking
Criteria for the Simple Path Property in Timed Automata
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions
Global PAC Bounds for Learning Discrete Time Markov Chains
Global Reachability in Bounded Phase Multi-stack Pushdown Systems
What Should Be Observed for Optimal Reward in POMDPs?
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation
Symmetry Reductions in Model Checking
Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems
The Symbolic Approach to Hybrid Systems
Surfer - An Extensible Waveform Viewer
Array Folds Logic
Attacking Symbolic State Explosion
ADAC: Automated Design of Approximate Circuits
DiVinE - A Tool for Distributed Verification
Interpolation and Model Checking for Nonlinear Arithmetic
BAT: The Bit-Level Analysis Tool
Balancing Automation and Control for Formal Verification of Microprocessors
The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach
Neural Network Robustness as a Verification Property: A Principled Case Study
Verified and Optimized Implementation of Orthologic Proof Search
A Hybrid Type System for Lock-Freedom of Mobile Processes
Using Magnatic Disk Instead of Main Memory in the Mur phi Verifier
Towards a Mechanization of Cryptographic Protocal Verification
Propositional Dynamic Logic for Higher-Order Functional Programs
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions
SolCMC: Solidity Compiler's Model Checker
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers
Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic
Synthesis and Analysis of Petri Nets from Causal Specifications
The Invariant Checker: Automated Deductive Verification of Reactive Systems
Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds
Liveness with (0, 1, infty)-Counter Abstraction
Causality-Based Game Solving
Timed Modal Specification - Theory and Tools
A Formal Method Experience at Secure Computing Corporation
Local Search for Solving Satisfiability of Polynomial Formulas
Automatic Reduction in CTL Compositional Model Checking
Satisfiability Modulo Heap-Based Programs
Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler
From Clauses to Klauses [inline-graphic not available: see fulltext]
Algorithms for Model Checking HyperLTL and HyperCTL ^*
Model Checking Algorithms for CTMDPs
Optimal Guard Synthesis for Memory Safety
Monitoring Algorithmic Fairness