yusuke1997/dblp-id-title huggingface dataset:
Desirable Properties for Diversity and Truncated Effectiveness Metrics
Efficient indexing algorithms for approximate pattern matching in text
Query-Biased Summaries for Tabular Data
Compression, SIMD, and Postings Lists
Buying bestsellers online: A case study in Search & Searchability
Exploiting medical hierarchies for concept-based information retrieval
Revisiting Spam Filtering in Web Search
A Study on the Use of Word Embeddings and PageRank for Vietnamese Text Summarization
What users tell us: User Understanding and Modeling for Personalized Recommendation
Diversity, Intent, and Aggregated Search
Document Classification with Recommendation Architecture: Extensions for Feature Intensity Recognition and Column Labeling
Graph-based concept weighting for medical information retrieval
ADCS reaches adulthood: an analysis of the conference and its community over the last eighteen years
Collision Resolution in Hash Tables for Vocabulary Accumulation During Parallel Indexing
Protein database search using compressed k-mer vocabularies
The Seventeenth Australasian Document Computing Symposium, ADCS '12, Dunedin, New Zealand, December 5-6, 2012
Pairwise similarity of TopSig document signatures
Proceedings of the 1st ACM Workshop on AI Empowered Mobile and Wireless Sensing, MORSE 2022, Sydney, NSW, Australia, 21 October 2022
A Federated Learning-enabled Smart Street Light Monitoring Application: Benefits and Future Challenges
RMVS: Remote Monitoring of Vital Signs with mm-Wave Radar
Detecting and Controlling Smart Lights with LiTalk
HueSense: Featuring LED Lights Through Hue Sensing
Massive Open Online Courses and Monoids
A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model
Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Automatic Generation of Verified Concurrent Hardware Using VHDL
Directed Model Checking for B: An Evaluation and New Techniques
Timed Scenarios: Consistency, Equivalence and Optimization
Proceedings of the Seventh Brazilian Symposium on Formal Methods, SBMF 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004
Local Analysis of Determinism for CSP
Safe and Constructive Design with UML Components
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
Low-Level Code Verification Based on CSP Models
Source Code Analysis with a Temporal Extension of First-Order Logic
A Simple and General Theoretical Account for Abstract Types
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
A Refinement Framework for Autonomous Agents
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems
Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
AutomaTutor: An Educational Mobile App for Teaching Automata Theory
From Scenarios to Timed Automata
Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems
Level-Up - From Bits to Words
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations
Normalization of Linear Horn Clauses
Verifying Compiled File System Code
Using Linear Logic to Verify Requirement Scenarios in Composite Web Service
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
Availability Model and Evaluation of Bus Rapid Transit Surveillance System
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking
Formal Verification of Neural Networks?
A Haskell-Embedded DSL for Secure Information-Flow
Simulating Truly Concurrent CSP
A Refinement Relation for Families of Timed Automata
Verifying Transformations of Java Programs Using Alloy
A Proof of the De Zolt Postulate in Three-Dimensional Space
A Methodology for Protocol Verification Applied to EMV® 1
Verigraph: A System for Specification and Analysis of Graph Grammars
Model Transformation and Induced Instance Migration: A Universal Framework
OptCE: A Counterexample-Guided Inductive Optimization Solver
Cost Analysis for an Actor-Based Workflow Modelling Language
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata
Reversal Fuzzy Switch Graphs
CSP Specification and Verification of a Relay-Based Railway Interlocking System
On the Use of SPIN for Studying the Behavior of Nested Petri Nets
Modular Embedding of the Object Constraint Language into a Programming Language
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence
Statistical Model Checking in Drug Repurposing for Alzheimer's Disease
An Integrated Framework for Analysing, Simulating and Testing UML Models
A Complete Set of Object Modeling Laws for Alloy
Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM
Formal Privacy Analyses for Open Banking
Formal Modelling of Environment Restrictions from Natural-Language Requirements
Algebraic Foundations for Specification Refinements
Compositionality and Refinement in Model-Driven Engineering
The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser
Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm
Modeling Big Data Processing Programs
Interruption Testing of Reactive Systems
Midlet Navigation Graphs in JML
The Scallina Grammar - Towards a Scala Extraction for Coq
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows
Statistical Verification of Probabilistic Properties with Unbounded Until
Formal Methods: Foundations and Applications - 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
Modelling 'Operation-Calls' in Event-B with Shared-Event Composition
Bridging the B-Method and ACSL: Towards Verified C Code
Graph Grammar Extraction from Source Code
Executable Conformance Testing Theories: From Theory to Practice and Back
Automated Code Generation for DES Controllers Modeled as Finite State Machines
Toward the Revision of CTL Models through Kripke Modal Transition Systems
Formalizing FreeRTOS: First Steps
Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design
Formal Verification of n-bit ALU Using Theorem Proving
Language-Based Testing for Pushdown Reactive Systems
Analysing RoboChart with Probabilities
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4
A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD
Module Integration Using Graph Grammars (MIGRATE)
Formal Development of a Cardiac Pacemaker: From Specification to Code
Generating Protocol Software from CPN Models Annotated with Pragmatics
Automating Refinement of Circus Programs
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models
Revisiting Refactoring Mechanics from Tool Developers' Perspective
On Interval Dynamic Logic
Behavioural Preservation in Fault Tolerant Patterns
A High-Level Language for Modeling Algorithms and Their Properties
SPARKSkein: A Formal and Fast Reference Implementation of Skein
State-Based Security and Time-Inserting Supervisors
Undecidability Results for Distributed Probabilistic Systems
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
PiStache: Implementing π-Calculus in Scala
Inference of Deterministic Finite Automata via Q-Learning
A Decision Procedure for Bisimilarity of Generalized Regular Expressions
Completeness and Decidability Results for Hybrid(ised) Logics
Model-Driven Engineering in the Heterogeneous Tool Set
A Formal Semantics for SysML Activity Diagrams
Towards Safe Design of Synchronous Bus Protocols in Event-B
A Mechanized Textbook Proof of a Type Unification Algorithm
Runtime Verification for Generic Classes with ConGu 2
A Coinductive Animation of Turing Machines
A Modal Interface Theory with Data Constraints
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
Merging Cloned Alloy Models with Colorful Refactorings
Thirteen Years of Automated Code Analysis at Microsoft
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs
Institution-Based Semantics for MOF and QVT-Relations
Checking Static Properties Using Conservative SAT Approximations for Reachability
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
Speeding Up Simulation of SystemC Using Model Checking
Reasoning about General Quantum Programs over Mixed States
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned
Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract)
Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005
Verifying Integrated Designs of UML State Machines and Activities Using CSP
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic
Formal Model-Based Constraint Solving and Document Generation
Synchronizing Model and Program Refactoring
TeSSLa: Temporal Stream-Based Specification Language
An Approach for Verifying Educational Robots
The Turner 2-Strings Machines
Formal Analysis of Memory Contention in a Multiprocessor System
Investigating Time Properties of Interrupt-Driven Programs
Formal Modelling of a Microcontroller Instruction Set in B
Full Abstraction at Package Boundaries of Object-Oriented Languages
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
BETA: A B Based Testing Approach
Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems
A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification
Time Performance Formal Evaluation of Complex Systems
An Executable Semantics for a Multimedia Authoring Language
Formal Design of Cloud Computing Systems in Maude
Mobile CSP
Satisfiability Modulo Theories: An Appetizer
Algebra of Monotonic Boolean Transformers
Optimization of Timed Scenarios
Formalization of Functional Block Diagrams Using HOL Theorem Proving
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions
Concurrent Models of Flash Memory Device Behaviour
A Formal Model for Startups Financial Transactions
Verification Rules for Exception Handling in Eiffel
Equational Abstractions in Rewriting Logic and Maude
Corecursive Algebras: A Study of General Structured Corecursion
A Formal Approach to Fixing Bugs
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection
A Mechanized Strategy for Safe Abstraction of CSP Specifications
Navigating the Universe of Z3 Theory Solvers
An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers
Model Checking Requirements
Sound and Complete Abstract Graph Transformation
Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication
Defining Behaviours by Quasi-finality
Refinement Strategies for Safety-Critical Java
Reasoning about Assignments in Recursive Data Structures
Calculational Proofs in Relational Graphical Linear Algebra
Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006
Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks
Sound Transpilation from Binary to Machine-Independent Code
Autonomous Vehicles Path Planning Under Temporal Logic Specifications
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications
Specification Patterns for Properties over Reachable States of Graph Grammars
Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering
Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008
Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking
A Formal Environment Model for Multi-Agent Systems
Synthesis of Implementations for Divide-and-Conquer Specifications
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
VDM at Large: Modelling the EMV® 2^nd 2 nd Generation Kernel
The Versatile Synchronous Observer
LLVM-Based Code Generation for B
A Dynamic Logic for Every Season
A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching
Safety Assurance of a High Voltage Controller for an Industrial Robotic System
A Type-Theoretic Framework for Certified Model Transformations
Soundness-Preserving Fusion of Modal Logics in Coq
On Kleene Algebras for Weighted Computation
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
Minimization of the Number of Clocks for Timed Scenarios
Brzozowski's Algorithm for Automata Minimization Verified in Coq
UTCP: Compositional Semantics for Shared-Variable Concurrency
Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts
Safe Evolution of Product Lines Using Configuration Knowledge Laws
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking
ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs
Applying a Formal Method in Industry: A 25-Year Trajectory
Porting the Software Product Line Refinement Theory to the Coq Proof Assistant
SMTQuery: Analysing SMT-LIB String Benchmarks
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols
Sound Test Case Generation for Concurrent Mobile Features
Refinement Verification of Sequence Diagrams Using CSP
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Application of Formal Methods to Verify Business Processes
Parameterisation of Three-Valued Abstractions
Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003
Meaningful Models - A Research Agenda on Model-Driven Engineering -
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions
Statistical Model Checking for Traffic Models
Automatic Generation of Test Cases and Test Purposes from Natural Language
Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking
Unifying Theories of Logic and Specification
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
Identifying Hardware Failures Systematically
Capturing Stochastic and Real-Time Behavior in Reo Connectors
Formalisation and Analysis of Objects as CSP Processes
A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts
Formal Testing from Natural Language in an Industrial Context
Resource Contracts for Active Objects
An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting
Visual Specification of Properties for Robotic Designs
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover
Algebraic Graph Transformations with Inheritance
Test Case Generation from Natural Language Requirements Using CPN Simulation
ESBMC v7.3: Model Checking C++ Programs Using Clang AST
On the Existence of Unions of Timed Scenarios
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Deductive Generalization
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs
Mechanising Data-Types for Kernel Design in Z
Composition of Model Transformations: A Categorical Framework
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation
Formal Methods for Robotics: RoboChart, RoboSim, and More
Derivation and Verification of Parallel Components for the Needs of an HPC Cloud
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking
Immersive and Interactive Visualisation of a Virtual Honey Bee Colony
Context-Based Annotation Visualisation in Virtual Reality: A Use Case in Archaeological Data Exploration
The Reality of Virtual Experiences: Semantic and Episodic Memory Formation in VR
Ultra-low Latency Point Cloud Streaming in 5G
Navigating Narratives: A Typology of Way-Finding Strategies for VR Storytelling
XR for First Responders: Concepts, Challenges and Future Potential of Immersive Training
VR Simulation of Operating Procedure in Construction Based on BIM and Safety Ontology: A Proof of Concept
Machine Learning Based Interaction Technique Selection for 3D User Interfaces
Evaluation of Point Cloud Streaming and Rendering for VR-Based Telepresence in the OR
Integrating Virtual Reality in a Lab Based Learning Environment
Psychophysical Effects of Experiencing Burning Hands in Augmented Reality
Rhythmic Stimuli and Time Experience in Virtual Reality
AR Patterns: Event-Driven Design Patterns in Creating Augmented Reality Experiences
A Virtual Reality Investigation of the Impact of Wallpaper Pattern Scale on Qualitative Spaciousness Judgments and Action-Based Measures of Room Size Perception
Improved CNN-Based Marker Labeling for Optical Hand Tracking
Classification of VR Interaction Techniques, Based on User Intention
Ergonomics and Virtual Reality: VISIONAIR Project Examples
Cross-System Virtual Reality (VR) Authentication Using Transformer-Based Trajectory Forecasting
Contrast and Hue in Depth Perception for Virtual Reality: An Experimental Study
Virtual Reality and Mixed Reality - 21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings
Virtual Reality and Mixed Reality - 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14-16, 2022, Proceedings
Virtual Reality and Mixed Reality - 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24-26, 2021, Proceedings
Study on the Influence of the Total Front HMI Size in Intelligent Cabins on the Drivers' Eye Movement Behavior
Using VR for Fitness Training - Pilot Study
Haptic Devices Evaluation for Industrial Use
Immersive Serious Games for Learning Physics Concepts: The Case of Density
Guidelines for Biophilic Design in Immersive Virtual Reality Workspaces: A Spatial Approach
XRSynthesizer: Synthesizing Modular XR UI Components for Adaptive, Multi-Context Spatial Interaction
An Augmented Reality Solution for the Positive Behaviour Intervention and Support
A Modular Hybrid Telepresence System Integrating Immersive 360-Degree Video with On-Demand High-Resolution Imaging
Semantic Composition of 3D Content Behavior for Explorable Virtual Reality Applications
Pocket-size Augmented Reality System for Flight Control
Virtual Reality Experiential Training for Individuals with Autism: The Airport Scenario
Supporting Rehabilitation of ADHD Children with Serious Games and Enhancement of Inhibition Mechanisms
SightX: A 3D Selection Technique for XR
A Machine Learning Tool to Match 2D Drawings and 3D Objects' Category for Populating Mockups in VR
Collaborative VR Anatomy Atlas Investigating Multi-user Anatomy Learning
Development of a Haptic Training Simulation for the Administration of Dental Anaesthesia based upon Accurate Anatomical Data
Almost There: Evaluating the Psychological and Motor Impact of Near-Miss "White Lie" Feedback in Virtual Rehabilitation
KinesTouch: 3D Force-Feedback Rendering for Tactile Surfaces
Haptic Virtual Reality DFMA - A Case Study
Designing an Interactive and Collaborative Experience in Audio Augmented Reality
HDM-Net: Monocular Non-rigid 3D Reconstruction with Learned Deformation Model
Tangible Stickers: A Sensor Based Tangible User Interface
Wearable Tactile Interfaces Using SMA Wires
Enhancing Materiality in Adaptive BRDF Display with Light Ray Diffusion
A New Fast and Robust Collision Detection and Force Computation Algorithm Applied to the Physics Engine Bullet: Method, Integration, and Evaluation
Ubiquity of VR: Towards Investigating Ways of Interrupting VR Users to Obtain Their Attention in Public Spaces
Seeing Through the Robot's Eyes: Adaptive Point Cloud Streaming for Immersive Teleoperation
VR as a Persuasive Technology "in the Wild". The Effect of Immersive VR on Intent to Change Towards Water Conservation
Exploiting Augmented Reality in LEGO Therapy for Children with Autism Spectrum Disorder
SENSO3D: Structured Pipelines for AI-Based 3D Object Detection, Classification, and Texture Generation
A Low-Cost Virtual Reality Bike for Remote Cardiac Rehabilitation
3DPlasticToolkit: Plasticity for 3D User Interfaces
Cultural hARitage: Augmented Reality applied on Cultural Heritage
Automating Generation of Kinematic Keypoints for Disassembly Process Toward Virtual Reality
Augmented Reality to Enhance the Clinical Eye: The Improvement of ADL Evaluation by Mean of a Sensors Based Observation
Usability and Acceptability of a Virtual Reality-Based System for Endurance Training in Elderly with Chronic Respiratory Diseases
Virtual Reality and Mixed Reality - 22nd EuroXR International Conference, EuroXR 2025, Winterthur, Switzerland, September 3-5, 2025, Proceedings
PolyVR - A Virtual Reality Authoring System
Anchored Multiperspective Visualization for Efficient VR Navigation
Virtual Reality Interface for Multidisciplinary Physical Analysis of Space Vehicles
New Techniques for Hand Pose Estimation Based on Kinect Depth Data
The WalkingSeat: A Leaning Interface for Locomotion in Virtual Environments
Virtual Reality and Mixed Reality - 20th EuroXR International Conference, EuroXR 2023, Rotterdam, The Netherlands, November 29 - December 1, 2023, Proceedings
Switch Techniques to Recover Spatial Consistency Between Virtual and Real World for Navigation with Teleportation
A Procedural Building Generator Based on Real-World Data Enabling Designers to Create Context for XR Automotive Design Experiences
Distributed Signal Processing Architecture for Real-Time Convolution of 3D Audio Rendering for Mobile Applications