yusuke1997/dblp-id-title huggingface dataset:
QUEST: Overview over the Project
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
KIV 3.0 for Provably Correct Systems
Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption
View Updatability Based on the Models of a Formal Specification
A Concurrency Case Study Using RAISE
Proving the Shalls
Event Based Sequential Program Development: Application to Constructing a Pointer Program
Correctness of Software - An Overview
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries
Open Source Software as a Learning Tool for Computer Science Students
A Distributed Blockchain Model of Selfish Mining
Connector-Based Software Development: Deriving Secure Protocols
Partial Order Reductions Using Compositional Confluence Detection
Timed Epistemic Knowledge Bases for Social Networks
Cost Effective Software Engineering for Security
Constraint Prioritization for Efficient Analysis of Declarative Models
Real-Time Refinement
A Framework for Modular Formal Specification and Verification
Emerging Challenges in Compositionality and Correctness for Digital Twins
Formalizing Anaesthesia: a case study in formal specification
Interpreting the B-Method in the Refinement Calculus
Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption
Program Slicing Using Weakest Preconditions
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
A few Remarks on Putting Formal Specifications to Productive Use
Automated Mutual Explicit Induction Proof in Separation Logic
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
Formal Semantics Extraction from Natural Language Specifications for ARM
Composing Invariants
Towards a Uniform Design Methodology for Software, Firmware, and Hardware
Chamelon : A Delta-Debugger for OCaml
Combining Theorem Proving and Continuous Models in Synchronous Design
UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking
Formal Verification of Avionics Software Products
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
Synthesis and Verification of Constraints in the PGM Protocol
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
Fkcc: The Farkas Calculator
Verifying Parameterized Timed Security Protocols
The VDM-SL Editor and Consistency Checker
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces
A Circus Semantics for Ravenscar Protected Objects
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Translation-Based Compositional Reasoning for Software Systems
Validated Compilation through Logic
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions
Towards a Semantics for Object-Z
Formal Methods in the Wild: Trains, Planes, & Automobile
Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
Specification and Analysis of a Security Management System
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller
Formal Specification of a Security Framework for Smart Contracts
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding
Experiences in Using the Abstract Machine Notation in a GKS Case Study
Three-Valued Spotlight Abstractions
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
An Algebra of Synchronous Atomic Steps
Component and Interface Refinement in Closed-System Specifications
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks
An Ontology-Based Approach to Support Formal Verification of Concurrent Systems
Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings
Industrial Practice in Formal Methods: A Review
A Three-Valued Logic for Software Specification and Validation
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach
Formal Modeling of Communication Protocols by Graph Transformation
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
A Generalised Sweep-Line Method for Safety Properties
A Tutorial on Stream-Based Monitoring
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness
LPF and MPL omega - A Logical Comparison of VDM SL and COLD-K
A Specification Language for Static and Runtime Verification of Data and Control Properties
Why, how and what should be taught about Formal Methods?
Integrating Domain Specific Language Design in the Software Life Cycle
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation
The VDM Domain Compiler: A VDM Class Library Generator
Formal Methods for Extensions to CAS
Automatic Verification of a Hydroelectric Power Plant
Deriving Transivity of VDM-Reification in DEVA
Control Law Diagrams in Circus
A Local Search Algorithm for MaxSMT(LIA)
CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
Axiomatization of Typed First-Order Logic
Unintrusive Ways to Integrate Formal Specifications in Practice
Météor: A Successful Application of B in a Large Project
Formal Methods and Cryptography
Automatic Compositional Verification of Timed Systems
On Type Checking in VDM and Related Consistency Issues
Railway Scheduling Using Boolean Satisfiability Modulo Simulations
CompoSAT: Specification-Guided Coverage for Model Finding
Verified Quadratic Virtual Substitution for Real Arithmetic
From Manuscripts to Programming Languages: An Archivist Perspective
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
Automated Static Analysis of Quality of Service Properties of Communicating Systems
Specification of Required Non-determinism
Towards Concolic Testing for Hybrid Systems
Tactical Tools for Distributing VDM Specifications
Minimisation of Spatial Models Using Branching Bisimilarity
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
Composing Contracts: An Adventure in Financial Engineering
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations
Process Instances in LOTOS Simulation
Integrating Formal Description Techniques
Field-Sensitive Value Analysis by Field-Insensitive Analysis
Producing Explanations for Rich Logics
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
Specification and Stepwise Development of Communicating Systems
Geometrical Constructions
Correctness by Construction: Integrating Formality into a Commercial Development Process
Adding Real Time to Formal Program Development
Test Case Selection using VDM
A Formal Template Language Enabling Metaproof
CPO's do not form a CPO, and yet Recursion Works
Dynamic Component Substitutability Analysis
Partially Observable Stochastic Games with Neural Perception Mechanisms
A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture
QMaude: Quantitative Specification and Verification in Rewriting Logic
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
Local Consistency Check in Synchronous Dataflow Models
Data Abstraction for CSP-OZ
Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods, FM 2011, Limerick, Ireland, June 21, 2011
Abstraction of Elementary Hybrid Systems by Variable Transformation
Secrecy-Preserving Refinement
Aspects and Formal Methods
VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings
Verifying Feedforward Neural Networks for Classification in Isabelle/HOL
A Weakness Measure for GR(1) Formulae
Industrial Use of Formal Methods for a High-Level Security Evaluation
The Incremental Development of Correct Specifications for Distributed Systems
Programming in the META-Language: A Tutorial
Pointfree Factorization of Operation Refinement
ASMETA Tool Set for Rigorous System Design
Digital Twin for Rescue Missions - a Case Study
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Finite Model Finding Using the Logic of Equality with Uninterpreted Functions
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction
Understanding an informal Description: Office Documents Architecture, an ISO Standard
VMC: A Tool for Product Variability Analysis
Specification and Verification of Web Applications in Rewriting Logic
A Symbolic Model Checker for ACTL
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II
A Formal Approach to Hypertext using Post-Prototype Formal Specification
Efficient Malware Detection Using Model-Checking
Towards Modularized Verification of Distributed Time-Triggered Systems
A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation
SMT Sampling via Model-Guided Approximation
Refinement and Verification of Synchronized Component-Based Systems
Getting Formal Verification into Design Flow
Formalizing the Concept Phase of Product Development
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems
VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions
Literate Mathematical Development of a Revision Management System
Towards a Formal Definition of GKS and other Graphic Standards
Hiding More of Hidden Algebra
Developing BON as an Industrial-Strength Formal Method
Open and Interactive Learning Resources for Algorithmic Problem Solving
Formally Defining and Verifying Master/Slave Speculative Parallelization
Object-Oriented Security Proofs
ViennaDoc: An Animatable and Testable Specification Documentation Tool
Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems
A Formal Definition of Algol 60 as Described in the 1975 Modified Report
The 1st Verified Software Competition: Experience Report
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development
Real-Time Logic Revisited
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor
Proof Rules for VDM Statements
A Brief Summary of VSPEC
A Formal Semantics for Z and the Link between Z and the Relational Algebra
Mechanical Abstraction of CSP Z Processes
Correctness Proof of the Standardized Algorithm for ABR Conformance
Flow Diagrams, Assertions, and Formal Methods
Evaluation Semantics in Z
Relating Z and First-Order Logic
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts
KVEST: Automated Generation of Test Suites from Formal Specifications
Applying a Concurrent Formal Framework to Process Modelling
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations
Are Formal Contracts a Useful Digital Twin of Software Systems?
Verifying the Microsoft Hyper-V Hypervisor with VCC
Evaluation of Formal Reasoning Abilities Using a Concept Inventory
Specifying the Remote Control of Valves in an Explosion Test Environment
Formal and Informal Specifications of a Secure System Component: first results in a comparative study
FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Transformations for Generating Type Refinements
Proof Engineering Considered Essential
GOSPEL - Providing OCaml with a Formal Specification Language
Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System
Successes in Deployed Verified Software (and Insights on Key Social Factors)
Feature Specification and Static Analysis for Interaction Resolution
Verifying Information Flow Control over Unbounded Processes
VDM: Origins, Hopes, and Achievements
Generic Partition Refinement and Weighted Tree Automata
Bayesian Verification of Chemical Reaction Networks
A Tutorial on LARCH and LCL, A LARCH/C Interface Language
Parameter Synthesis Through Temporal Logic Specifications
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development
Shifting Left for Early Detection of Machine-Learning Bugs
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings
A Modular Theory of Object Orientation in Higher-Order UTP
Certified Quantization Strategy Synthesis for Neural Networks
Z3str4: A Multi-armed String Solver
A Verification Toolkit for Numerical Transition Systems - Tool Paper
Towards Formal Verification of Orchestration Computations Using the 핂 Framework
Validation of a Railway Interlocking Model
Testing Concurrent Object-Oriented Systems with Spec Explorer
Practical Application of SPARK to OpenUxAS
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
Formalizing New Navigation Requirements for NASA's Space Shuttle
Analyzing the Requirements of an Access Control Using VDMTools and PVS
A Topological Characterization of TCP/IP Security
Automatic Translation from Circus to Java
Dealing with Incompleteness in Automata-Based Model Checking
Computing is a Physical Science (Abstract)
Specifying Open Distributed Systems with Z
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives
Tableaux for Realizability of Safety Specifications
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets
40 Years of Formal Methods - Some Obstacles and Some Possibilities?
ProB: A Model Checker for B
Leveraging Runtime Verification for the Monitoring of Digital Twins
Efficient Formally Verified Maximal End Component Decomposition for MDPs
Issues and Observations
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline
A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks
Watchdog Transformations for Property-Oriented Model-Checking
Object Propositions
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Practical Deductive Verification of OCaml Programs
Sensors and Actuators in TCOZ
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft
Feature Algebra
Modal Logic Programming
On the Expressive Power of OCL
A new Concept of Refinement used for Behaviour Modelling with Automata
Making Formal Methods Popular: The Crux is Math Education!
Correct and User-Friendly Implementations of Transformation Systems
Who Are We, and What Are We Doing Here?
Counterexamples for Expected Rewards
Quotients and Atoms of Reversible Languages
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process
Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program
Checking and Reasoning about Semantic Web through Alloy
Formalizing Requirements for Distributed Systems with Trace Diagrams
VSE: Controlling the Complexity in Formal Software Developments
Quiescent Consistency: Defining and Verifying Relaxed Linearizability
A Reduction Specification for DTL
On Lexicographic Proof Rules for Probabilistic Termination
Certifying and Synthesizing Membership Equational Proofs
Improving Safety Assessment of Complex Systems: An Industrial Case Study
Getting Chip Card Payments Right
Collaborative Verification and Testing with Explicit Assumptions
A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic
Sums and Lovers: Case Studies in Security, Compositionality and Refinement
Automated Property Verification for Large Scale B Models
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking
Consistency and Refinement for Partial Specification in Z
Tighter Reachability Criteria for Deadlock-Freedom Analysis
Software Verification Based on Linear Programming
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981
A General Approach to Deadlock Freedom Verification for Software Architectures
Masking Faults While Providing Bounded-Time Phased Recovery
On Conservative Extensions of Syntax in the Process of System Development
APML: An Architecture Proof Modeling Language
Automatic Translation of VDM-SL Specifications into Gofer
Program Specification by Module Trees
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
A Formalization of Software Architecture
Alloy Repair Hint Generation Based on Historical Data
Reasoning about Memory Layouts
iscasMc: A Web-Based Probabilistic Model Checker
Closing Open SDL-Systems for Model Checking with DTSpin
Interface Input/Output Automata
Proof Patterns for Formal Methods
A Normal Form Reduction Strategy for Hardware/Software Partitioning
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms
VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
An Approach to the Specification of Distributed Software
Verifying Behavioural Specifications in CafeOBJ Environment
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System
Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers
Towards Automatic Exception Safety Verification
Object Orientation and Formal Techniques
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol
PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python
Relational Verification Using Product Programs
Class Refinement and Interface Refinement in Object-Oriented Programs
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra
A Framework for Defining Object-Calculi
Call Me Back, I Have a Type Invariant
Formalising and Validating the Interface Description in the FMI Standard
Model Checking in Practice - The T9000 Virtual Channel Processor
Experiences with Streamlining Formal Methods Tools
Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems
Component-Based Algebraic Specification and Verification in CafeOBJ
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic
Quantitative Verification of Numerical Stability for Kalman Filters
VeriQR: A Robustness Verification Tool for quantum Machine Learning Models
UniForM Perspectives for Formal Methods
Verifying Erlang Code: A Resource Locker Case-Study
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic
Star-Based Reachability Analysis of Deep Neural Networks
Introduction to the VDM Tutorial
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Modal Kleene Algebra Applied to Program Correctness
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities
Processing Text for Privacy: An Information Flow Perspective
A Mechanical Formalization of Several Fairness Notions
MDP-Based Reliability Analysis of an Ambient Assisted Living System
Formalization of Incremental Simplex Algorithm by Stepwise Refinement
Verification Tools in the Development of Provably Correct Compilers
AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach
The Human in Formal Methods
The Semantics of Cardinality-Based Feature Models via Formal Languages
Energy Büchi Problems
A Generic Logic for Proving Linearizability
Detecting Speculative Execution Vulnerabilities on Weak Memory Models
An Algebraic Approach for Reasoning About Information Flow
The B-Method
Synthesis of Railway Signaling Layout from Local Capacity Specifications
Verifying Real-Time Systems against Scenario-Based Requirements
Specification of the MAA Standard in VDM
Property-Driven Software Analysis - (Extended Abstract)
Proceedings of the First Workshop on Applications of Pattern Analysis, WAPA 2010, Cumberland Lodge, Windsor, UK, September 1-3, 2010
Proceedings of the Second Workshop on Applications of Pattern Analysis, WAPA 2011, Castro Urdiales, Spain, October 19-21, 2011
Japanese CALL system based on dynamic question generation and error prediction for ASR
Predictable and educational spoken dialogues: pilot results
Effects of Educational Context on Learners' Ratings of a Synthetic Voice
Automatic classification of lexical stress errors for German CAPT
The University of Birmingham 2017 SLaTE CALL Shared Task Systems
Automatic detection of grammatical structures from non-native speech
Deep Context Model for Grammatical Error Correction
Responses to Ville: a virtual language teacher for Swedish
Towards personalised, synthesis-based content in Irish (gaelic) language education
Syntactic and semantic features for human like judgement in spoken CALL
Talkmaths: a speech user interface for dictating mathematical expressions into electronic documents
An interactive interpretation game for learning Chinese
An Bat Mírialta: Stateful Development of an Irregular Verb Bot for Irish
The University of Birmingham 2019 Spoken CALL Shared Task Systems: Exploring the importance of word order in text processing
A CAPT tool for training and research on lexical stress errors in German
Empirical Evaluation of the Communicative Effectiveness of an Automatic Speech-to-Speech Translation System
Effective Neural Modeling Leveraging Readability Features for Automated Essay Scoring
Becoming literate while learning a second language - practicing reading aloud
Annotating meta-discourse in academic lectures from different disciplines
ListenHere: a CALL integration resource for migrants in Ireland using local community sourced material
Predicting Clinical Evaluations of Children's Speech with Limited Data Using Exemplar Word Template References
Statistical machine translation framework for modeling phonological errors in computer assisted pronunciation training system
Acoustic analysis of postvocalic /l/ in Chinese learners of German in the context of an overall perception experiment
Transfer Learning based Non-native Acoustic Modeling for Pronunciation Error Detection
voisTUTOR: Virtual Operator for Interactive Spoken English TUTORing
Using speech technology to promote increased pitch variation in oral presentations
Analysis of phone errors in computer recognition of children's speech