yusuke1997/dblp-id-title huggingface dataset:
Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints
Verifying Invariants Using theorem Proving
Understanding and Extending Incremental Determinization for 2QBF
XSat: A Fast Floating-Point Satisfiability Solver
Validating High-Level Synthesis
Reinforcement Learning and Formal Requirements
The Golem Horn Solver
Counterexample Guided Inductive Synthesis Modulo Theories
Fast, Flexible, and Minimal CTL Synthesis via SMT
Modelling Epigenetic Information Maintenance: A Kappa Tutorial
The Kind 2 Model Checker
Program Synthesis Using Deduction-Guided Reinforcement Learning
A Model Checker for AADL
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
Skipping Refinement
Implied Set Closure and Its Application to Memory Consistency Verification
XEVE, an ESTEREL Verification Environment
Infinite-State Liveness Checking with rlive
SMLP: Symbolic Machine Learning Prover
The Ideal of Verified Software
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Verifying Relative Error Bounds Using Symbolic Simulation
A Correct-by-Decision Solution for Simultaneous Place and Route
Better Termination Proving through Cooperation
Evidence-Based Model Checking
Model Checking Cell Biology
On Abstraction in Software Verification
Learning Assumptions for Compositional Verification of Timed Automata
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification
Deciding Properties of Regular Real Time Processes
Test Generation Derived from Model-Checking
Binary Reachability Analysis of Discrete Pushdown Timed Automata
Qualitative Controller Synthesis for Consumption Markov Decision Processes
Generalizing DPLL to Richer Logics
On the Random Walk Method for Protocol Testing
Explain: A Tool for Performing Abductive Inference
Magnifying-Lens Abstraction for Markov Decision Processes
Solving Games without Controllable Predecessor
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
Automated Verification by Induction with Associative-Commutative Operators
SMACK: Decoupling Source Language Details from Verifier Implementations
Pareto Curves of Multidimensional Mean-Payoff Games
From Spot 2.0 to Spot 2.10: What's New?
Automata Tutor v3
Regression Verification: Proving the Equivalence of Similar Programs
A Context Dependent Equivalence Relation Between Kripke Structures
Learning Component Interfaces with May and Must Abstractions
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
Conflict-Tolerant Features
Abstract and Model Check While You Prove
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
Reasoning About Threads Communicating via Locks
Lazy Annotation for Program Testing and Verification
Comfusy: A Tool for Complete Functional Synthesis
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets
Logic Synthesis and Design Verification
Threader: A Constraint-Based Verifier for Multi-threaded Programs
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs
Some Thoughts on Statecharts, 13 Years Later
Automatic Verification of Parameterized Cache Coherence Protocols
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
Flow*: An Analyzer for Non-linear Hybrid Systems
Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory
Nonlinear Craig Interpolant Generation
Interactively Verifying a Simple Real-time Scheduler
A Platform for Combining Deductive with Algorithmic Verification
Meeting a Powertrain Verification Challenge
Quasi-Optimal Partial Order Reduction
A Decision Algorithm for Full Propositional Temporal Logic
passert: A Tool for Debugging Parallel Programs
Formal Verification of Backward Compatibility of Microcode
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction
Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors
Membership-Based Synthesis of Linear Hybrid Automata
From C to Infinity and Back: Unbounded Auto-active Verification with VCC
Bma: Visual Tool for Modeling and Analyzing Biological Networks
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking
Relational Abstractions for Continuous and Hybrid Systems
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata
On-the-Fly Model Checking Under Fairness That Exploits Symmetry
Automatic Datapath Extraction for Efficient Usage of HDD
Partial Quantifier Elimination and Property Generation
Parameterized Verification of Asynchronous Shared-Memory Systems
The Rabin Index and Chain Automata, with Applications to Automatas and Games
Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections
Program Transformation for Program Verification
Efficient Satisfiability Modulo Theories via Delayed Theory Combination
Taming Infinite State Spaces
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings
Formal Verification of Hardware Synthesis
SMT-Based Symbolic Model-Checking for Operator Precedence Languages
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
The AVISS Security Protocol Analysis Tool
A Mechanically Verified Application for a Mechanically Verified Environment
Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement
Modelling Asynchrony with a Synchronous Model
Formal Methods in an Industrial Environment
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus
Verification with Real-Time COSPAN
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Markov Automata with Multiple Objectives
Verifying LTL Properties of Hybrid Systems with K-Liveness
Automatic Generation of Quality Specifications
Generating Non-linear Interpolants by Semidefinite Programming
Structural Operational Semantics for Functional and Security Verification of Pipelined Processors
Parsimonious, Simulation Based Verification of Linear Systems
Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion
ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends
Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks
Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions
High-Level Abstractions for Simplifying Extended String Constraints in SMT
Floating-Point Neural Networks are Provably Robust Universal Approximators
Efficient Analysis of Probabilistic Programs with an Unbounded Counter
Syntax-Guided Synthesis with Quantitative Syntactic Objectives
Acceleration For Presburger Petri Nets
Boolean Satisfiability with Transitivity Constraints
Program Analysis for Overlaid Data Structures
An n log n Algorithm for Online BDD Refinement
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs
Symbolic Compositional Verification by Learning Assumptions
A Decision Procedure for Sets, Binary Relations and Partial Functions
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models
Directed Proof Generation for Machine Code
UPPAAL-Tiga: Time for Playing Games!
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
The ComFoRT Reasoning Framework
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure
Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
Progress in Certifying Hardware Model Checking Results
Anzu: A Tool for Property Synthesis
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
Probabilistic Verification for "Black-Box" Systems
XMC: A Logic-Programming-Based Verification Toolset
Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial)
Zing: A Model Checker for Concurrent Software
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits
Faster Model Checking for the Modal Mu-Calculus
Alternating Automata Modulo First Order Theories
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
It Usually Works: The Temporal Logic of Stochastic Systems
Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings
Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes
Automatic Quantification of Cache Side-Channels
Verification of Networks of Smart Energy Systems over the Cloud
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods
Exploiting Behavioral Hierarchy for Efficient Model Checking
Sprout: A Verifier for Symbolic Multiparty Protocols
A Mathematical Approach to RTL Verification
Multi: A Formal Playground for Multi-Smart Contract Interaction
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Euler: A System for Numerical Optimization of Programs
Truth/SLC - A Parallel Verification Platform for Concurrent Systems
A Proof Assistant for PSF
Hevm, a Fast Symbolic Execution Framework for EVM Bytecode
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems
Stuck-Free Conformance
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
Weak Bisimulation for Fully Probabilistic Processes
Automatic Derivation of Timing Constraints by Failure Analysis
Integer Reasoning Modulo Different Constants in SMT
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking
Computer-Assisted Simulation Proofs
Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances
Understanding Counterexamples with explain
Runtime Monitors for Markov Decision Processes
ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures
Property-Directed Inference of Universal Invariants or Proving Their Absence
An Axiomatic Specification for Sequential Memory Models
CoqCryptoLine: A Verified Model Checker with Certified Results
An Efficient Algorithm for Minimizing Real-time Transition Systems
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Model Checking in a Microprocessor Design Project
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios
Equality-Based Translation Validator for LLVM
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
Verifying Network Protocol Implementations by Symbolic Refinement Checking
Global Guidance for Local Generalization in Model Checking
Stochastic Local Search for Solving Floating-Point Constraints
Combining Partial Order Reductions with On-the-fly Model-Checking
Two approaches for the resolution of word mismatch problem caused by English words and foreign words in Korean information retrieval
MT-based Japanese-Enlish cross-language IR experiments using the TREC test collections
An approach for combining content-based and collaborative filters
A practical text summarizer by paragraph extraction for Thai
Poisson naive Bayes for text classification with feature weighting
Query expansion using phonetic confusions for Chinese spoken document retrieval
Very low-dimensional latent semantic indexing for local query regions
Improvement of vector space information retrieval model based on supervised learning
An efficient accessing technique of Chinese characters using Boshiamy Chinese input system
PM-based indexing for Chinese text retrieval
Explorative multilingual text retrieval based on fuzzy multilingual keyword classification
Effect of dependency relationships and ordered co-occurrence of words on Japanese information retrival (poster session)
Dynamic programming: a method for taking advantage of technical terminology in Japanese documents
A fast algorithm for detection of Chinese lihe words (poster session)
Temporal ranking for fresh information retrieval
Japanese probabilistic information retrieval using location and category information
Passage-based Web text mining (poster session)
Exploiting a Chinese-English bilingual wordlist for English-Chinese cross language information retrieval
AnyQ : answer set based information retrieval system
Comparison of word-based and syllable-based retrieval for Tibetan (poster session)
Proceedings of the Fifth International Workshop on Information Retrieval with Asian Languages, 2000, Hong Kong, China, September 30 - October 01, 2000
Question-Answering based on virtually integrated lexical knowledge base
A first step towards flexible local feedback for ad hoc retrieval
Extraction of user preferences from a few positive documents
Research on extracting subject from Chinese text (poster session)
Hybrid term indexing for different IR models
On designing an automated Malaysian stemmer for the Malay language (poster session)
A differential LSI method for document classification
Query term disambiguation for Web cross-language information retrieval using a search engine
Text categorization using automatically acquired domain ontology
On the use of words and n-grams for Chinese information retrieval
Cross-Language Information Retrieval based on category matching between language versions of a web directory
Text categorization using hybrid (mined) terms (poster session)
BRIDJE over a language barrier: cross-language information access by integrating translation and retrieval
Context-sensitive detection and correction of homonym errors in Japanese texts (poster session)
Using variable length ngrams for retrieving technical abstracts in Japanese (poster session)
Content-based language models for spoken document retrieval
Combining multiple sources for short query translation in Chinese-English cross-language information retrieval
A sentence reduction using syntax control
Text classification in Asian languages without word segmentation
Structural analysis of cooking preparation steps in Japanese
MIETTA - a framework for uniform and multilingual access to structured database and Web information
Research on a faster algorithm for pattern matching
Korean named entity recognition using HMM and CoTraining model
Issues in pre- and post-translation document expansion: untranslatable cognates and missegmented words
Feature selection in categorizing procedural expressions
Web page classification based on k-nearest neighbor approach
Proceedings of the Sixth International Workshop on Information Retrieval with Asian Languages, 2003, Sappro, Japan, July 7, 2003
Korean text summarization using an aggregate similarity
Character cluster based Thai information retrieval
Improving document clustering by utilizing meta-data
Dynamic programming matching for large scale information retrieval
Keyword-based document clustering
Improving automatic Chinese text categorization by error correction
Automatic text summarization based on relevance feedback with query splitting (poster session)
Learning bilingual translations from comparable corpora to cross-language information retrieval: hybrid statistics-based and linguistics-based approach
Information extraction for Thai documents
Improving summarization performance by sentence compression: a pilot study
Automatic recommendation of hot topics in discussion-type newsgroups (poster session)
Construction of a Chinese-English WordNet and its application to CLIR
Topic detection and tracking in English and Chinese
Agent-based approach to hybrid modeling queuing systems
An approach to information export from database for complex master-detail table hierarchies into a single flat table form
An RVML extension for modeling fuzzy rule bases
Identification of basic criteria of portfolio analysis based on the rolling verification principle
Multiobjective evolutionary flight planning of autonomous unmanned aerial vehicles for exploration and surveillance
Predicting of air pollutant concentrations based on spatio-temporal attention convolutional LSTM networks
Traffic flow prediction for vehicle emission calculation based on graph convolutional networks
Application of binary dynamical systems in the problem of classification of Boolean vectors
Application of user dew agent in hybrid-computing environments
Construction techniques of Baikal microbiome research information-computational environment
Multiobjective design of sustainable public transportation systems
Software architectures in smart manufacturing: Review and experiences
Proceedings of the 1st International Workshop on Advanced Information and Computation Technologies and Systems, Irkutsk, Russia, December 7-11, 2020
Features of inference for abnormal truth values of premises in V TF -logics
Affinity multiprocessor scheduling considering communications and synchronizations using a Multiobjective Iterated Local Search algorithm
Estimation of water quality parameters from space images
Analysis of comparative effectiveness of state-of-the-art heuristics for CDCL SAT solvers
Data analysis approach for characterizing residential energy consumption based on statistics of household appliances ownership
Static-dynamic algorithm for managing asynchronous computations in distributed environments
Generative adversarial networks to model air pollution under uncertainty
Building user interfaces in e-learning resources
Leitbilder der Technik - ihre Bedeutungen, Funktionen und Potentiale für den KI-Diskurs
Zukunftsvisionen der KI: Wünschbare und realistische Wirkungen auf die Lebenswelt
Sind die Leitvorstellungen der KI verantwortbar?
Künstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit, Band 2: Tagungsbericht - VDI-Symposium "Künstliche Intelligenz - Leitvorstellungen und Verantwortung", Gustav-Stresemann-Institut, Bonn-Bad Godesberg, 10.-11. September 1992
Round-table-Gespräch: Konsequenzen für eine industrielle Technlogiefolgenabschätzung der KI
Round-table-Gespräch über die "harte" KI-These: Der Mensch als Informationsverarbeitungssystem?
Zukunftsvisionen der KI: Wünschbare und realistische Wirkungen auf die Arbeitswelt
Leitidee und Ziel der Tagung
Durchsicht und Zusammenfassung der Beiträge im VDI-Report 17
Mitglieder des VDI-Ausschusses "Künstliche Intelligenz" und Gastreferenten
Künstliche Intelligenz als Technik - Hoffnungen, Erwartungen und heutiger Stand
Probleme und Entwicklungen der Neuroinformatik
Müssen die bisherigen Positionen der KI überdacht werden?
Möglichkeiten und Grenzen der Künstlichen Intelligenz - Überlegungen aus der Sicht der Automatisierungstechnik
Distributional Semantics in the Real World: Building Word Vector Representations from a Truth-Theoretic Model
Sentiment Independent Topic Detection in Rated Hospital Reviews
Identifying the Epistemic Value of Discourse Segments in Biology Texts (project abstract)
A corpus-based taxonomy of question responses
The NOMAGE Project Annotating the semantic features of French nominalizations (project abstract)
Extracting aspects of determiner meaning from dialogue in a virtual world environment
Hierarchical Statistical Semantic Realization for Minimal Recursion Semantics
Semantic Relatedness from Automatically Generated Semantic Networks
Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming
A Discriminative Model for Perceptually-Grounded Incremental Reference Resolution
Computing Implicit Entities and Events with Getaruns (short paper)
Language-Agnostic Model for Aspect-Based Sentiment Analysis
A Representation Framework for Cross-lingual/Interlingual Lexical Semantic Correspondences
Alignment of Eye Movements and Spoken Language for Semantic Image Understanding
Evaluating the Representational Hub of Language and Vision Models
Towards a Multidimensional Semantics of Discourse Markers in Spoken Dialogue
The Effect of Context on Metaphor Paraphrase Aptness Judgments
An Ordering of Terms Based on Semantic Relatedness
Subgraph-based Classification of Explicit and Implicit Discourse Relations
Domain Adaptable Semantic Clustering in Statistical NLG
Living a discrete life in a continuous world: Reference in cross-modal entity tracking
GLML: Annotating Argument Selection and Coercion
Reliable Discourse Markers for Contrast Relations
Detecting Collocations Similarity via Logical-Linguistic Model
Towards an Inferential Lexicon of Event Selecting Predicates for French
Assessing the Difficulty of Classifying ConceptNet Relations in a Multi-Label Classification Setting
Sound-based distributional models
Semantic Matching of Documents from Heterogeneous Collections: A Simple and Transparent Method for Practical Applications
Are doggies really nicer than dogs? The impact of morphological derivation on emotional valence in German
Finite State Temporality and Context-Free Languages
Multilingual Reliability and "Semantic" Structure of Continuous Word Spaces
Incorporating visual features into word embeddings: A bimodal autoencoder-based approach
A Formal Model for Procedural Texts and its Use in Textual Integration
The semantic annotation of quantification
Towards a Compositional Analysis of German Light Verb Constructions (LVCs) Combining Lexicalized Tree Adjoining Grammar (LTAG) with Frame Semantics
Temporal and Aspectual Entailment
Towards Component-Based Textual Entailment
Semantic construction with graph grammars
Integrating Non-Linguistic Events into Discourse Structure
Classifying Arabic Verbs Using Sibling Classes
The People's Web meets Linguistic Knowledge: Automatic Sense Alignment of Wikipedia and WordNet
Efficiency in Ambiguity: Two Models of Probabilistic Semantics for Natural Language
Measuring the semantic relatedness between words and images
On Learning Word Embeddings From Linguistically Augmented Text Corpora
Automatically Deriving Event Ontologies for a CommonSense Knowledge Base
Intensionality was only alleged: On adjective-noun composition in distributional semantics
Abductive Reasoning with a Large Knowledge Base for Discourse Processing
Propbank Annotation of Danish Noun Frames
Implementing Weighted Abduction in Markov Logic
If Sentences Could See: Investigating Visual Information for Semantic Textual Similarity
Gamification for Word Sense Labeling
Pragmatic Rejection
Ambiguss, a game for building a Sense Annotated Corpus for French
Supporting inferences in semantic space: representing words as regions
Extracting hypernym relations from Wikipedia disambiguation pages : comparing symbolic and machine learning approaches
Mr Darcy and Mr Toad, gentlemen: distributional names and their kinds
Semantic annotations as complimentary to underspecified semantic representations
Frame Identification as Categorization: Exemplars vs Prototypes in Embeddingland
From Adjective Glosses to Attribute Concepts: Learning Different Aspects That an Adjective Can Describe
An Abstract Schema for Representing Semantic Roles and Modelling the Syntax-Semantics Interface
Recognizing Spatial Containment Relations between Event Mentions
A Search Task Dataset for German Textual Entailment
Proceedings of the Workshop on Meaning Relations between Phrases and Sentences, RELATIONS@IWCS 2019, Gothenburg, Sweden, May 23, 2019
Using Network Approaches to Enhance the Analysis of Cross-Linguistic Polysemies