yusuke1997/dblp-id-title huggingface dataset:
An algebraic theory for behavioral modeling and protocol synthesis in system design
From NuSMV to SPIN: Experiences with model checking flight guidance systems
An abstract interpretation toolkit for µCRL
The 2008 CAV Award citation
Verifying global start-up for a Möbius ring-oscillator
Program synthesis for interactive-security systems
Question-guided stubborn set methods for state properties
Model checking parameterized asynchronous shared-memory systems
Finite-trace and generalized-reactivity specifications in temporal synthesis
Generating Validation Feedback for Automatic Interpretation of Informal Requirements
Symbolic trajectory evaluation for word-level verification: theory and implementation
Safer asynchronous runtime monitoring using compensations
2011 CAV award announcement
Abstract semantic diffing of evolving concurrent programs
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions
Preface for the formal methods in system design special issue on SYNT 2021
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
A survey of challenges for runtime verification from advanced application domains (beyond software)
Tightening the contract refinements of a system architecture
On relative and probabilistic finite counterability
Designing communicating transaction processes by supervisory control theory
Antichains and compositional algorithms for LTL synthesis
Causality problem in real-time calculus
Abstraction refinement and antichains for trace inclusion of infinite state systems
On Deducing Timing Constraints in the Verification of Interfaces
Quantifier elimination by dependency sequents
Annotations in Formal Specifications and Proofs
Simple concurrent garbage collection almost without synchronization
Termination of triangular polynomial loops
Verification modulo theories
Verification of Hierarchical State/Event Systems using Reusability and Compositionality
Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks
Timed causal fanin analysis for symbolic simulation
Finite controlled invariants for sampled switched systems
Juggrnaut: using graph grammars for abstracting unbounded heap structures
MAVEN: modular aspect verification and interference analysis
Network Event Recognition
Concise outlines for a complex logic: a proof outline checker for TaDA
Constructing invariants for hybrid systems
On-the-fly Verification of Finite Transition Systems
An Environment for Formal Verification Based on Symbolic Computations
Incremental design-space model checking via reusable reachable state approximations
The hexatope and octatope abstract domains for neural network verification
Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic
Checking Cache-Coherence Protocols with TLA +
Predicate abstraction for hyperliveness verification
Exploiting interleaving semantics in symbolic state-space generation
An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists
Efficient Verification of Sequential and Concurrent C Programs
Runtime verification of embedded real-time systems
Verification of Safety Properties Using Integer Programming: Beyond the State Equation
Functional verification of power gated designs by compositional reasoning
MSO logics for weighted timed automata
Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings
On the Expressive Power of OKFDDs
Model-based construction and verification of critical systems using composition and partial refinement
Conditions of contracts for separating responsibilities in heterogeneous systems
Static analysis for detecting high-level races in RTOS kernels
A layered algorithm for quantifier elimination from linear modular constraints
A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL
An efficient SMT solver for string constraints
Automated assumption generation for compositional verification
Introducing robust reachability
Forest automata for verification of heap manipulation
On solving quantified bit-vector constraints using invertibility conditions
Formal Hardware Verification Methods: A Survey
Editorial: Special issue on formal methods in computer-aided design
Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case
Bounded-memory runtime enforcement with probabilistic and performance analysis
Assisting Requirement Formalization by Means of Natural Language Translation
The Synchronous Approach to Designing Reactive Systems
Verifying the Summit Bus Converter Protocols with Symbolic Model Checking
Optimal infinite scheduling for multi-priced timed automata
Algorithmic probabilistic game semantics - Playing games with automata
Composition of password-based protocols
Mining definitions in Kissat with Kittens
Static detection of uncoalesced accesses in GPU programs
Providing a formal linkage between MDG and HOL
Mexitl: Multimedia in Executable Interval Temporal Logic
Monitoring hyperproperties
Refinement preserving approximations for the design and verification of heterogeneous systems
Model-Checking with Coverability Graphs
Model Checking with Strong Fairness
Bisimulation Minimization and Symbolic Model Checking
Compositional entailment checking for a fragment of separation logic
Enhancing active model learning with equivalence checking using simulation relations
Symbolic backward reachability with effectively propositional logic - Applications to security policy analysis
Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria
Verifying Systems with Replicated Components in Mur[b.phiv]
Introduction to the Special Issue on Computer-Aided Verification (CAV93)
Faster algorithms for quantitative verification in bounded treewidth graphs
Some complexity results for stateful network verification
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods Technology Transfer: A View from NASA
Solving parity games via priority promotion
Infinite-state invariant checking with IC3 and predicate abstraction
Probabilistic black-box reachability checking (extended version)
(Un)Solvable loop analysis
Symbolic encoding of LL(1) parsing and its applications
SAT solving for variants of first-order subsumption
Verification of Real-Time Systems using Linear Relation Analysis
Specification and encoding of transaction interaction properties
Translating Java for Multiple Model Checkers: The Bandera Back-End
Validation of HOL Proofs by Proof Checking
An approximation algorithm for box abstraction of transition systems on real state spaces
Behavioral Subtyping Relations for Active Objects
Causal semantics for the algebra of connectors
Decision problems for lower/upper bound parametric timed automata
Verification of bounded Petri nets using integer programming
Being careful about theory combination
A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems
An input-output relational domain for algebraic data types and functional arrays
Why does Astrée scale up?
A congruence relation for sPBC
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers
Lazy Techniques for Fully Expansive Theorem Proving
Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems
Localized Verification of Modular Designs
Preface for the formal methods in system design special issue on 'Formal Methods 2021'
Realizability of concurrent recursive programs
Runtime enforcement of timed properties revisited
Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant
Preface to the special issue "SI: Satisfiability Modulo Theories"
Collecting Statistics Over Runtime Executions
On regions and zones for event-clock automata
Experience with Applying Formal Methods to Protocol Specification and System Architecture
Hazard Algebras
The General Product Machine: a New Model for Symbolic FSM Traversal
Stochastic games with lexicographic objectives
Denotational Semantics of a Synchronous VHDL Subset
Z3str2: an efficient solver for strings, regular expressions, and length constraints
Special issue on learning techniques for compositional reasoning
Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
On the refinement of liveness properties of distributed systems
Object oriented concepts identification from formal B specifications
Abstracting Nash equilibria of supermodular games
Abstraction and subsumption in modular verification of C programs
Automatic verification of competitive stochastic systems
Distributed parametric model checking timed automata under non-Zenoness assumption
From non-preemptive to preemptive scheduling using synchronization synthesis
Machine learning and logic: a new frontier in artificial intelligence
SAT solver management strategies in IC3: an experimental approach
Special issue: 2nd World Congress on Formal Methods
Stubborn Sets for Real-Time Petri Nets
Incremental preprocessing methods for use in BMC
Rounding meets approximate model counting
Evaluation of anonymity and confidentiality protocols using theorem proving
Loop summarization using state and transition invariants
Explaining counterexamples using causality
A relational shape abstract domain
Arithmetic Boolean Expression Manipulator Using BDDs
An Implementation of Constructive Synchronous Programs in POLIS
Modelling temporal behaviour in complex systems with Timebands
2014 CAV award announcement
Preface to special issue on satisfiability modulo theories
Generating models of infinite-state communication protocols using regular inference with abstraction
Formalization of Fixed-Point Arithmetic in HOL
On recursion-free Horn clauses and Craig interpolation
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics
Edmund Melson Clarke, Jr. (1945-2020)
Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking
Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL
Debug-localize-repair: a symbiotic construction for heap manipulations
Validating numerical semidefinite programming solvers for polynomial invariants
Static Analysis for State-Space Reductions Preserving Temporal Logics
Partial-Order Reduction in Symbolic State-Space Exploration
Dissecting ltlsynt
QoS-aware management of monotonic service orchestrations
Formal Methods in Designing Embedded Systems-the SACRES Experience
Quantitative static analysis of communication protocols using abstract Markov chains
Algebraic Decision Diagrams and Their Applications
Model checking boot code from AWS data centers
Preface of the special issue on the static analysis symposium 2020 and 2022
Analyzing probabilistic pushdown automata
Approximated parameterized verification of infinite-state processes with global conditions
Computable fixpoints in well-structured symbolic model checking
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
Pegasus: sound continuous invariant generation
raSAT: an SMT solver for polynomial constraints
The spirit of ghost code
Reasoning about synchronization in GALS systems
Formally understanding Rust's ownership and borrowing system at the memory level
Special issue: program equivalence
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry
Formalization of robot collision detection method based on conformal geometric algebra
Reduced Models for Efficient CCS Verification
A Simple, Object-Based View of Multiprogramming
Variable automata over infinite alphabets
Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem
A formal hierarchy of weak memory models
Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected Papers
A game-based abstraction-refinement framework for Markov decision processes
Propagation based local search for bit-precise reasoning
An Iterative Approach to Verification of Real-Time Systems
Using Static Analysis to Reduce Dynamic Analysis Overhead
Linearization, model reduction and reachability in nonlinear odes
Abstractions for hybrid systems
A concurrency-preserving translation from time Petri nets to networks of timed automata
Performability assessment by model checking of Markov reward models
Incremental column-wise verification of arithmetic circuits using computer algebra
Mod-2-OBDDs - A Data Structure that Generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams
Optimistic synchronization-based state-space reduction
Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications
Automated verification of automata communicating via FIFO and bag buffers
Proving mutual termination
New techniques for linear arithmetic: cubes and equalities
CTL * model checking on a shared-memory architecture
Automatic Generation of Invariants
SAT-based explicit LTL reasoning and its application to satisfiability checking
A Timed Verification of the IEEE 1394 Leader Election Protocol
Mining of extended signal temporal logic specifications with ParetoLib 2.0
Preserving provability over GPU program optimizations with annotation-aware transformations
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
Checking Timed Büchi Automata Emptiness Efficiently
Incrementally closing octagons
Generality in Design and Compositional Verification Using TAV
Distributed breadth-first search LTL model checking
Applications of Shearography for Non-Destructive Testing and Strain measurement
Semantic representations for knowledge modeling of a Natural Language Interface to Databases using ontologies
Humanitarian Storage and Safeguard Network in the southwestern part of Mexico
An Introduction to Job Shop Scheduling to Model the Timetabling Scheduling Problem
Prevention of obesity using Hopfield networks in patients with obese ancestry
Toward Robust Offensive Language Detection in Urdu YouTube Discourse
Ranking of educational innovation of the State governments of Mexico: An analysis with the ordered weighted average operator
Dynamic Neural Network Optimization: A single agent neuroevolution algorithm based on hill climbing optimization for Neural Architecture Search
Early detection of age-related macular degeneration using Vision Transformer-based Architectures - A comparative study with offline metrics and data augmenting
Forecast of the Wind Speed using the Regional Atmospheric Modeling System (RAMS) and Weather Research and Forecasting (WRF) models
Performance Analysis of Strategies that aid in the Incorporation of Preferences in Public Portfolio Optimization Processes
Terms of Trade, Debt and Economic Growth
Editorial for Volume 9 Number 3: Models, Resources and Activities of Project Scheduling Problems
Optimization of wind farm turbines layout using an evolutionary algorithm
Quality Function Deployment (QFD) House of Quality for Strategic Planning of Computer Security of SMEs
The Application of Artificial Intelligence for the Design of a Virtual Assistant (Chatbot) as an innovative approach in user service: Social Security Center No.102
Implementation of a Hybrid Tabu Search Algorithm with Local Search for Solving the Capacitated Vehicle Routing Problem
Structural analysis of acute success factors of performance of reverse logistics relative to customer satisfaction
Specialization of the Geomorphometric Concepts in Digital Elevation Models
Proposal of a Sentiment Analysis Model in Tweets for improvement of the teaching - learning process in the classroom using a corpus of subjectivity
Towards A Clinical Interface For Speaker Identification And Speech-To-Text Transcription For Recording Medical Consultations In Spanish
A Virtual corporate training through e-learning platforms for the personnel of a refinery of the National Refining System of PEMEX in Mexico: Virtual corporate training through e-learning platforms
Machine Learning-based Formulas for Computing the Euler Characteristic of Binary Images
Exploring BERT-Based Pretrained Models for Polarity Analysis of Tweets in Spanish
Using metaheuristics for Optimizing Satellite Image Registration
Smart Education and future trends
Fuzzy Logic and Machine Learning Algorithms for Detection and Classification of Falls and Activities of Daily Living
Temperature Control System for brewing beer using IoT
Capacitated Multi-Facility Location Problem on the Ellipsoid with Multi-Zone Restrictions
Bio-Inspired Algorithm for Coordinated Control in Mobile Devices
Artificial Intelligence the Strategic Key of Cybersecurity: Cyber defense intelligence: the Strategic Key of Cybersecurity
Editorial for Volume 6 Number 2: Books Content Manager of Open Access - Open Monograph Press
The Sustainable Fashion Revolution considering Circular Economy and targeting Generation Z by reusing garments with Acrylan and Terlenka
A Comparative Study of Deep Learning and Transformer Models for Twitter Sentiment Analysis
Energy-Aware Scheduler for HPC Parallel Task Base Applications in Cloud Computing
Automation of Fiscal Auditing in SMEs through a Sequential Algorithm for Extracting Tax Receipts: A Focus on the Digital Economy
Editorial: A Brief Current Overview of Artificial Intelligence and Risk Factors
Optimization for the design of reinforced concrete corner combined footings
Generating medical images of breast cancer using generative artificial intelligence: Master's Thesis Summary
Optimizing Bitcoin Price Prediction: Multivariate LSTM Triumphs
Heuristic of the Nearest Neighbor in the delivery of supports within the State of Veracruz
Luenberger observer with nonlinear structure applied to diabetes type 1
Hybrid GRASP with Composite Local Search And Path-Relinking for the Linear Ordering Problem with Cumulative Costs
University Timetabling Problem: An analysis of the state of the art
The Pyramid of Consciousness: A Conceptual Model for Artificial Consciousness and Human- Artificial Intelligence Hybrid Integration
An Overview of the Theory of Instances Computational Complexity
Data Analytics of Electromagnetics Field Measurements in Smart Meters
Weeding Robots Current Jobs and Perspectives: PhD Thesis Summary
Novel Particle Swarm Optimization Algorithm to Solve the Internet Shopping Optimization Problem with Shipping Costs
Review of Genetic Algorithm to improve Students Academic Performance by applying Smart Learning
A multi-objective proposal for the aggregation of economically inactive population
Analysis of The Relationship Between Characteristics and Hardness of Strip Packing Problem Instances
Quality of Service in Sustainable Development: A QoS-based Analysis of the United Nations Sustainable Development Goals
A Quantum Inspired Particle Swarm Algorithm for Solving the Maximum Satisfiability Problem
Measuring and analyzing canine movement through 2D video in relation to their trainability
Intelligent system for management and optimization of residential water consumption: Master's Thesis Summary
A Wizard for creating semantic views in a natural language interface to databases
A Systematic Literature Review on Technical Debt in Software Development: Types, Tools, and Concerns
Lane Detection Using Computer Vision and Convolutional Neural Networks for Autonomous Vehicles
THREATMOSAIC: collection, curation and enrichment of indicators of compromise (IOCs)
Analysis of Bacterial Association Patterns that trigger Bacterial Vaginosis
Mental Workload Assessment Software in Spanish Language: Development and Validation
Leukemia recognition with evolutionary vision and knowledge transfer
Kinematic analysis applied to a solar tracker driven by a 4-bar mechanism
IAA-CNN: Intelligent Attendance Algorithm based on Convolutional Neural Networks
Extreme Topologies on Bipolygonal Graphs and Dinamic Trees
The Implementation of a Nickel-Electroless Coating in Heat Exchanger Pipes Considering the Problem of the Environmental Conditions ofthe Cooling Water Without Recirculation to Increase the Effectiveness Under Uncertainty
Real-Time Coordination and Communication Process for the Issuance of Emergency Ambulance Alerts
A Reduced Spherical Model for Optimization of Image Recognition through 3D Color Histograms
Parallel Evolutionary Multi-Quenching Annealing for Protein Folding Problem
Comparative study of Convolutional Neural Networks performance and efficiency with YOLOv8 models applied for pest detection purposes in bean plants
Design of Mathematical Model and Local Search with Heuristics Optimization of Course Timetabling
Spatial Data Mining of a Population-Based Data Warehouse of Cancer in Mexico
20 Years of Integrated Exploration
Repair and Initialization Functions in the Generation of School Schedules with Genetic Algorithms
Dimensionality reduction for SARS-CoV-2 antibodies prediction
Maritime Technology from the 16th Century to Artificial Intelligence: Maritime Technology from the 16th Century to Artificial Intelligence
Smart Energy Efficiency: Energy Management System in Smart Buildings based on Voting Ensemble and battery bank: PhD Thesis Summary
Predicting Urban Expansion in Zacatecas-Guadalupe cities: A Support Vector Machine Approach Enhanced by SHAP Values
Review of control on agricultural robot tractors
A Brief Review of Artificial intelligence Applied to Digital Conservation and Restoration of Cultural and Artistic Heritage: AI Applied to Digital Conservation and Restoration of Cultural and Artistic Heritage
Detection of cardiac arrhythmias in a 12-lead ECG dataset of more than 10,000 patients: a preliminary study using clustering algorithms
Algorithmic approach leveraging a real-time task scheduler with fan-out strategy
Application of IoT with haptics interface in the smart manufacturing industry
Intelligent system for the optimization of eco-mobility operation processes aimed at public transportation in the state of Jalisco
Editorial for Volume 7 Number 1: The Space Transportation
A Cryptosystem Based Upon Sums of Key Functions
Personalized Education and Artificial Intelligence
Editorial Comments about Safe Cities
Editorial for Volume 8 Number 1- Characterization in the Transfer of Resources to the International Space Station
Logistics Strategies for the Distribution of Humanitarian Aid
Artificial Intelligence & Society 5.0
Editorial for Volume 11 Number 2: Electric School Bus Routing Problem for Smart Cities
Risks and Operational Research. The new challenges based on the approaches used
A Brief Panorama of Cybersecurity's complexity into Smart Cities
The Hybrid Forecasting Method SVR-ESAR for Covid-19
Artificial Intelligence of Things-Based Modular Avionics System Solution for Swarm Unmanned Combat Aerial Vehicles (SUCAVs)
Genetic Programming in Software Engineering: A Systematic Literature Review
English mispronunciation detection module using a Transformer network integrated into a chatbot
Comparison between instances to solve the CVRP
The impact of population composition for cooperation emergence in evolutionary robotics
Using the complete squares method to solve and analyze "Optimal inventory policies when the quantity backordered is uncertain"
Color Segmentation and Machine Learning for Disease Recognition in Rice Crop Leaves
Clustering Opinion Polarity of Student's Strategies as Clues for Motivation
Application of Data Mining to describe Multiple Intelligences in University Students
Considerations on Applying Cross Entropy Methods to the Vehicle Routing Problem
Application of genetic algorithm on autonomous agents for virtual navigation in Unity3D
A Design and analysis of classification models for the gelification of alkoxybenzoates using the kNN algorithm
Structure of Filled Functions: Why Gaussian and Cauchy Templates Are Most Efficient
A Strategic Approach to Metric Management for a Real-time Process Based on a Task Scheduling Algorithm in Distributed Mobile Environments