yusuke1997/dblp-id-title huggingface dataset:
Accelerated Bounded Model Checking Using Interpolation Based Summaries
Alloy: A New Technology for Software Modelling
Automatic Verification of Finite Precision Implementations of Linear Controllers
Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
Quantitative Models for a Not So Dumb Grid
Black Box Unfolding with Local First Search
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs
Compositional Verification Using SVL Scripts
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation
GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution)
The ACL2 Sedan Theorem Proving System
A Library for Composite Symbolic Representations
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution)
Bridging Arrays and ADTs in Recursive Proofs
The Succinct Solver Suite
Open Switching for ATM Networks
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation
Effective Entailment Checking for Separation Logic with Inductive Definitions
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems
CPV: A Circuit-Based Program Verifier
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability
Online Efficient Predictive Safety Analysis of Multithreaded Programs
The Web Impact: A White Paper
Using BDDs to Decide CTL
SVF-SVC: Software Verification Using SVF (Competition Contribution)
Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae
Coqoon - An IDE for Interactive Proof Development in Coq
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
Implementing a Multi-valued Symbolic Model Checker
A Markov Chain Model Checker
VIAP 1.1 - (Competition Contribution)
On Some Transformation Invariants Under Retiming and Resynthesis
Deciding the Bisimilarity of Context-Free Session Types
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Resource-Optimal Scheduling Using Priced Timed Automata
Abstraction in Probabilistic Process Algebra
Code-Based Test Generation for Validation of Functional Processor Descriptions
Trusted Source Translation of a Total Function Language
MCMAS: A Model Checker for Multi-agent Systems
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
Analyzing the Next Generation Airborne Collision Avoidance System
Formula Preprocessing in MUS Extraction
A Mobile Broadband Service Switching Point: A New Network Element for Multimedia and Mobile Services
Revisiting DRUP-Based Interpolants with CaDiCaL 2.0
All-Termination(T)
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
Certifiably Robust Policies for Uncertain Parametric Environments
A Max-SMT Superoptimizer for EVM handling Memory and Storage
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
Why Waste a Perfectly Good Abstraction?
Incremental Development of Deadlock-Free Communicating Systems
Directed Reachability for Infinite-State Systems
Vooduu: Verification of Object-Oriented Designs Using UPPAAL
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution)
An Extensible Type System for Component-Based Design
Verifying pCTL Model Checking
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
Rocket-Fast Proof Checking for SMT Solvers
Space Efficient Reachability Analysis Through Use of Pseudo-Root States
Unbeast: Symbolic Bounded Synthesis
Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution)
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)
Test Generation with Inputs, Outputs, and Quiescence
Practical Applications of the Alternating Cycle Decomposition
Efficient Search as a Means of Executing Specifications
Deciding Bit-Vector Arithmetic with Abstraction
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
Automatic Compositional Verification of Some Security Properties
Assume-Guarantee Synthesis
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
Preemptive Job-Shop Scheduling Using Stopwatch Automata
Limit Deterministic and Probabilistic Automata for LTL ∖ GU
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving
ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution)
Counter-Example Guided Predicate Abstraction of Hybrid Systems
Ultimate Automizer with SMTInterpol - (Competition Contribution)
The WhyRel Prototype for Modular Relational Verification of Pointer Programs
CoPTIC: Constraint Programming Translated Into C
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Linear Parametric Model Checking of Timed Automata
Set-Based Analysis of Reactive Infinite-State Systems
Path Exploration Tool
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets
CPAchecker 2.3 with Strategy Selection - (Competition Contribution)
Safety-Constrained Reinforcement Learning for MDPs
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation
The Erlang Verification Tool
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
AMulet 2.0 for Verifying Multiplier Circuits
Model Checking Syllabi and Student Carreers
Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution)
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
Bounded Model Checking for Asynchronous Hyperproperties
2LS: Memory Safety and Non-termination - (Competition Contribution)
Searching for Ribbon-Shaped Paths in Fair Transition Systems
Exploration of the Capabilities of Constraint Programming for Software Verification
Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs
IC3 Modulo Theories via Implicit Predicate Abstraction
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
A Web Interface for Petri Nets with Transits and Petri Games
Modular Model Checking of Software
Online and Compositional Learning of Controllers with Application to Floor Heating
On-The-Fly Solving for Symbolic Parity Games
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution)
On Automated Verification of Probabilistic Programs
Verification-guided Programmatic Controller Synthesis
Threader: A Verifier for Multi-threaded Programs - (Competition Contribution)
Compositional Performance Analysis
SootUp: A Redesign of the Soot Static Analysis Framework
On Local Reasoning in Verification
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)
Shield Synthesis: - Runtime Enforcement for Reactive Systems
Coupling and Importance Sampling for Statistical Model Checking
Polynomial Identification of ømega-Automata
Parallelisation of the Petri Net Unfolding Algorithm
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution)
Verification of Vortex Workflows
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations
Local Search with a SAT Oracle for Combinatorial Optimization
2LS: Heap Analysis and Memory Safety - (Competition Contribution)
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution)
Stranger: An Automata-Based String Analysis Tool for PHP
Context-Bounded Analysis of Concurrent Queue Systems
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Parameterized Compositional Model Checking
VIP: A Visual Editor and Compiler for v-Promela
Model Checking of Real-Time Reachability Properties Using Abstractions
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Learning Regular Languages over Large Alphabets
Counterexample Driven Refinement for Abstract Interpretation
Precise Widening Operators for Proving Termination by Abstract Interpretation
Visual Verification of Reactive Systems
ROLL 1.0: \omega -Regular Language Learning Library
Automatic Creation of Environment Models via Training
Monte Carlo Model Checking
Formal Verification of a Partial-Order Reduction Technique for Model Checking
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes
THERE AND BACK AGAIN: Lessons Learned on the Way to the Market
Applicability of Fair Simulation
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation
Extending a High-Performance Prover to Higher-Order Logic
Bounded Model Checking for Past LTL
Software Verification: 10th Comparative Evaluation (SV-COMP 2021)
Block Abstraction Memoization for CPAchecker - (Competition Contribution)
Deductive Verification of Floating-Point Java Programs in KeY
Specification and Efficient Monitoring Beyond STL
Non-Zero-Sum Games with Multiple Weighted Objectives
The FC2TOOLS Set (Tool Demonstration)
Java Pathfinder at SV-COMP 2019 (Competition Contribution)
The YogiProject: Software Property Checking via Static Analysis and Testing
FramewORk for Embedded System verification - (Competition Contribution)
Compositional Predicate Abstraction from Game Semantics
The Static Analyzer Infer in SV-COMP (Competition Contribution)
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
Computing Coupled Similarity
Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010
Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004
Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007
Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009
Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008
A Service Control Method Using Semantic Constraint on Context Interpretation
Context-Aware Computing System for Heterogeneous Applications
Implementation of personalized situation-aware service
Ontology based Service Discovery Middleware for Heterogeneous Agent Platforms
An Outdoor Recommendation System based on User Location History
Unified User-Centric Context: Who, Where, When, What, How and Why
Modeling of Context-based Interaction Pattern
Personalized Information Retrieval Framework
A Dynamic Context Conflict Resolution Scheme for Group-aware Ubiquitous Computing Environments
Context-based User Profile Management for Personalized Services
User-centric Integration of Contexts for A Unified Context-aware Application Model
Rupture detection for context aware applications
Evaluation of Contextual Models
Experiences with Developing Context-Aware Applications with Augmented Artefacts
Proceedings of the First Internaltional Workshop on Personalized Context Modeling and Management for UbiComp Applications, ubiPCMM 2005, Tokyo, Japan, September 11, 2005
Ubiquitous Smart Interaction Space
xLink: Context Management Solution for Commodity Ubiquitous Computing Environments
Conflict Management for Media Services by exploiting Service Profile and User Preference
Group Context-aware Service Discovery for Supporting Continuous Service Availability
Context Awareness R&D at SAIT Interaction Lab
Phase transitions in grammatical inference
Méthodologie de sélection de caractéristiques pour la classification d'images satellitaires
Définitions et premières expériences en apprentissage par analogie dans les séquences
Kernel Basis Pursuit
Inférence grammaticale et grammaires catégorielles: vers la Grande Unification!
Modèles markoviens pour l'organisation spatiale de descripteurs d'images
Apprentissage par analogie et rapports de proportion : contributions méthodologiques et expérimentales
Apprentissage non supervisé de motifs temporels, multidimensionnels et hétérogènes. Application à la télésurveillance médicale
Exploiter l'information mutuelle inter-gènes pour réduire la dimension des données biopuces: une approche basée sur la construction automatique d'attributs
Apprentissage semi-supervisé asymétrique et estimations d'affinités locales dans les protéines
HMM hiérarchiques et factorisés: mécanisme d'inférence et apprentissage à partir de peu de données
Semi-supervised Learning by Entropy Minimization
Average Number of Frequent and Closed Patterns in Random Databases
Policy gradient in continuous time
Planification robuste avec (L)RTDP
Détection de contexte par l'apprentissage
Statistical asymptotic and non-asymptotic consistency of bayesian networks: convergence to the right structure and consistent probability estimates
Taylor-based pseudo-metrics for random process fitting in dynamic programming: expected loss minimization and risk management
Acquisition des contraintes ouvertes par apprentissage de solveurs
Constrained Sequence Mining based on Probabilistic Finite State Automata
Clustering gene expression series with prior knowledge
Apprentissage statistique et programmation génétique: la croissance du code est-elle inévitable?
Séparateurs à Vaste Marge Optimisant la Fonction F beta
Actes de CAP 05, Conférence francophone sur l'apprentissage automatique - 2005, Nice, France, du 31 mai au 3 juin 2005
Discovering "Factual" and "Implicative" generic association rules
Introduction à l'extraction de l'information à partir des flux de données
Semantic Learning Methods: Application to Image Retrieval
Multi-objective Multi-modal Optimization for Mining Spatio-temporal Patterns
Fouille de données biomédicales : apports des arbres de décision et des règles d'association à l'étude du syndrome métabolique dans la cohorte STANISLAS
Classification of Domains with Boosted Blast
Systèmes inductifs-déductifs: une approche statistique
Coupling Maximum Entropy and Probabilistic Context-Free Grammar Models for XML Annotation of Documents
Approximation de collections de concepts formels par des bi-ensembles denses et pertinents
Extraction de concepts sous contraintes dans des données d'expression de gènes
Demonstrating PLUME, a toolbox to Record, Replay, Analyze and Share 6DoF XR Experimental Data
Predictive Power of Pupil Dynamics in a Team Based Virtual Reality Task
Advancing Eye Dominance Testing: Comparing Traditional Methods with an In-HMD Approach for AR/VR Applications
A Systematic Evaluation of Multi-Sensor Array Configurations for SLAM Tracking with Agile Movements
Image Generation for Immersive Multi-Screen Environment with a Motion Ride
Virtual Crafting Experience: Hand Motion and Scent Stimulation in Conjunction with a Promotional Video for Improving Interest
Deceptive Patterns and Perceptual Risks in an Eye-Tracked Virtual Reality
Calibration and interaction in optical see-through augmented reality using leap motion
Evidence for a Relationship Between Self-Avatar Fixations and Perceived Avatar Similarity within Low-Cost Virtual Reality Embodiment
Toward Virtual Reality-based Evaluation of Robot Navigation among People
Squishy Volumes: Evaluation of Silicone as Camera-less Pressure-Based Input for 3-Dimensional Interaction
The Effects of Avatar Visibility on Behavioral Response with or without Mirror-Visual Feedback in Virtual Environments
Applying Multimodal Mixed Reality System for Classifying Parkinson's Disease: Design and Evaluation of the Voice Module
AIsop: Exploring Immersive VR Storytelling Leveraging Generative AI
HOMERE: a Multimodal System for Visually Impaired People to Explore Virtual Environments
Improve accessibility of virtual and augmented reality for people with balance impairments
VRehabilitation: A Pilot Study of HMD-Based Guided Exercise & Rehabilitation in VR for Post-Shoulder-Surgery Patients at Home
Sound spatialisation from a composer's perspective
Exploring the Effects of a Virtual Companion on Solitary Jogging Experience
Towards Continuous Patient Care with Remote Guided VR-Therapy
Precise and realistic grasping and manipulation in Virtual Reality without force feedback
Cybersickness-Provoking Virtual Reality Alters Brain Signals of Persons with Multiple Sclerosis
Are motorized wheelchairs an effective method of locomotion in virtual environments?
Leadership and Collaboration in Shared Virtual Environments
Lean into it: Exploring leaning-based motion cueing interfaces for virtual reality movement
Virtual Veracity: Animated Documentaries and Mixed Realities
Groupnect: Integrating group interaction into large display system
1995 Virtual Reality Annual International Symposium, VRAIS '95, Research Triangle Park, North Carolina, USA, March 11-15, 1995
Interacting with 3D Images on a Rear-projection Tabletop 3D Display Using Wireless Magnetic Markers and an Annular Coil Array
Auditory Spatial Perception Using Bone Conduction Headphones along with Fitted Head Related Transfer Functions
Body-Prop Interaction: Evaluation of Augmented Open Discs and Egocentric Body-Based Interaction
CLUE HOG: An Immersive Competitive Lock-Unlock Experience using Hook On Go-Go Technique for Authentication in the Metaverse
Multi-ring color fiducial systems for scalable fiducial tracking augmented reality
Buttonless clicking: Intuitive select and pick-release through gesture analysis
Authoring-by-Doing: Animating Work Instructions for Industrial Virtual Reality Learning Environments
The Most Social Platform Ever? A Survey about Activities & Motives of Social VR Users
Immersive Visualization of Open Geospatial Data in Unreal Engine
Biophysics-based simulation of virtual human model interactions in 3D virtual scenes
SiSiMo: Towards Simulator Sickness Modeling for 360 ° Videos Viewed with an HMD
Stable vision-aided navigation for large-area augmented reality
Location, location, location. An exercise in cost and waste reduction using Augmented Reality in composite layup manufacturing
Self-Avatars in Virtual Reality: A Study Protocol for Investigating the Impact of the Deliberateness of Choice and the Context-Match
Color calibration in virtual reality for Unity and Unreal
VR-based Vector Watercolor Painting System
Evaluation of Shared-Gaze Visualizations for Virtual Assembly Tasks
Effects of volumetric capture avatars on social presence in immersive virtual environments
EVE: Exercise in Virtual Environments
Remote art therapy in collaborative virtual environment: a pilot study on feasibility and usability
Virtual-reality monitoring
A Review of Tele-Immersive Applications in the CAVE Research Network
Device Independence and Extensibility in Gesture Recognition
[DC] Towards Universal VR Sickness Mitigation Strategies
Do You Feel Better? The Impact of Embodying Photorealistic Avatars with Ideal Body Weight on Attractiveness and Self-Esteem in Virtual Reality
Towards Asynchronous Mixed Reality Remote Guidance supported by a Virtual Assistant: Proposal of a Conceptual Model
Comparing Aimed Movements in the Real World and in Virtual Reality
IEEE Virtual Reality Conference, VR 2010, Waltham, Massachusetts, USA, March 20-24, 2010
NuNav3D: A touch-less, body-driven interface for 3D navigation
Mixed Reality and Real-Time X-Ray Simulation in Vet Radiography Training: A User-Centered Comparative Study
MRUCT: Mixed Reality Assistance for Acupuncture Guided by Ultrasonic Computed Tomography
Towards Standardization of Medical Trials Using Virtual Experimenters
Excite-O-Meter: an Open-Source Unity Plugin to Analyze Heart Activity and Movement Trajectories in Custom VR Environments
Smoke Water Fire (2016)
Semi-Automatic Construction of Virtual Reality Environment for Highway Work Zone Training using Open-Source Tools
Real-time Hand-object Occlusion for Augmented Reality Using Hand Segmentation and Depth Correction
The Space Bender: Supporting Natural Walking via Overt Manipulation of the Virtual Environment
An introduction of a direct vestibular display into a virtual environment
A User Study on View-sharing Techniques for One-to-Many Mixed Reality Collaborations
Simulating Water Resistance in a Virtual Underwater Experience Using a Visual Motion Delay Effect
Integrated Telehealth and Extended Reality to Enhance Home Exercise Adherence Following Total Hip and Knee Arthroplasty
Boarding Sensation Presentation of the Biped Walking Robot with a Low-cost Two-axis Motion Platform
The Proactive Desk : A New Force Display System for a Digital Desk Using a 2-DOF Linear Induction Moto
Walking in Space: Immersive Storytelling in Space Exploration VR Museum
Exploring Affordable Mixed Reality Fire Pump Training Using a COTS Head-Mounted Display and Passive Haptics
Virtual reality to go: A USC ICT Mixed Reality Lab demonstration
3D Attention Volumes for usability studies in virtual reality
The wobbly table: Increased social presence via subtle incidental movement of a real-virtual table
Designing VR Music Game for Stress Reduction
Detection of divided planar object for augmented reality applications
Interaction Techniques for Cinematic Virtual Reality
Do You Notice Me? How Bystanders Affect the Cognitive Load in Virtual Reality
A study of interactive 6 DOF docking in a computerised virtual environment
Realistic Defocus Blur for Multiplane Computer-Generated Holography
A Collaborative Virtual Environment for Industrial Training
Perceived forward velocity increases with tactile flow on seat pan
Keynote Speaker Virtual Reality and Visualization Research at Audi
A Real-time approach to improve drilling decision-making process using virtual reality visualization
A Unified Rating System for a Qualitative Comparison of Haptic and Pseudo-Haptic Weight Simulation in Virtual Reality
Inferring Private Personal Attributes of Virtual Reality Users from Ecologically Valid Head and Hand Motion Data
[DC] Auto-focus Augmented Reality Eyeglasses for both Real World and Virtual Imagery
Virtual reality to save endangered animals: Many eyes on the wild
Perceptual coherence as an analytic for procedural music and audio mappings in virtual space
Attentional Transplants for Industrial Applications
SharpView: Improved clarity of defocussed content on optical see-through head-mounted displays
6 Degrees-of-freedom manipulation with a transparent, tangible object in world-fixed virtual reality displays
Replicability and Transparency for the Creation of Public Human User Video Game Datasets
Metrics for the Evaluation of Tracking Systems for Virtual Environments
Developing a 3D interface for sound corpus manipulation in virtual environments
Interval training with Astrojumper
Optical camouflage III: Auto-stereoscopic and multiple-view display system using retro-reflective projection technology