yusuke1997/dblp-id-title huggingface dataset:
Declassification Predicates for Controlled Information Release
An LTL Model Checking Approach for Biological Parameter Inference
A Pattern System to Support Refining Informal Ideas into Formal Expressions
An Open Extensible Tool Environment for Event-B
Refining Nodes and Edges of State Machines
A Temporal Logic with Mean-Payoff Constraints
A Performance-Sensitive Malware Detection System on Mobile Platform
Automatic Modularization of Large Programs for Bounded Model Checking
IoT Software Vulnerability Detection Techniques through Large Language Model
An Improved Android Collusion Attack Detection Method Based on Program Slicing
Principled Greybox Fuzzing
Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems
Developing a Spell-Checker for Tajik Using RAISE
Modeling and Verifying Concurrent Reactive Systems Using Separation Logic
A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures
Automated Specification Discovery via User-Defined Predicates
Behaviour-Driven Formal Model Development
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Tuning Trains Speed in Railway Scheduling
The Safety-Critical Java Mission Model: A Formal Account
First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings
A Compositional Approach on Modal Specifications for Timed Systems
Proving Local Invariants in ASTDs
Refined Modularization for Bounded Model Checking Through Precondition Generation
Detecting Vector Container Errors in C++ Programs via Abstract Interpretation
A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case
Improving the Scalability of Automatic Linearizability Checking in SPIN
Calculating and Composing Progress Properties in Terms of the Leads-to Relation
Service Adaptation with Probabilistic Partial Models
Applying Ordinary Differential Equations to the Performance Analysis of Service Composition
Practical Automated Partial Verification of Multi-paradigm Real-Time Models
Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
A System Development Process with Event-B and the Rodin Platform
Formal Modelling of Java GUI Event Handling
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models
Abstract Specification in Object-Z and CSP
Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN
Algebraic Laws for Process Subtyping
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints
Hybrid Object-Oriented Real-Time Software Development with VDM ++
Modeling and Verification of Privacy Enhancing Protocols
Term Rewriting in Logics of Partial Functions
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
A Hybrid Model of Connectors in Cyber-Physical Systems
A Formal Approach to Testing LUSTRE Specifications
Formal Specification of CORBA Services Using Object-Z
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
A Security Calculus for Wireless Networks of Named Data Networking
Derivation of UML Class Diagrams as Static Views of Formal B Developments
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
Extending MSVL with Function Calls
Eager to Stop: Efficient Falsification of Deep Neural Networks
Integrating Specification-Based Review and Testing for Detecting Errors in Programs
Developing a Consensus Algorithm Using Stepwise Refinement
Using Model Checking to Generate Tests from Specifications
Incremental Derivation of Abstraction Relations for Data Refinement
Regression Verification for Programmable Logic Controller Software
MemSpate: Memory Usage Protocol Guided Fuzzing
A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL
Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP
State Space c-Reductions of Concurrent Systems in Rewriting Logic
Formal Analysis of Real-Time Systems with SAM
Model Checking Hierarchical Probabilistic Systems
Integrating Prototyping into the SOFL Three-Step Modeling Approach
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems
A Proof Slicing Framework for Program Verification
Abstract Interpretation with a Theorem Prover
Formal Models for Web Navigations with Session Control and Browser Cache
Reducing Test Sequence Length Using Invertible Sequences
Verifying Statemate Statecharts Using CSP and FDR
Using Formal Methods to Serialize Synchronization Events
Towards a Rigorous Object-Oriented Analysis and Design Method
Dependency Analysis of Functional Specifications with Algebraic Data Structures
A CLP Approach to Modelling Systems
A Note on Failure Mode Reasoning
Creusot: A Foundry for the Deductive Verification of Rust Programs
Requirements Coverage as an Adequacy Measure for Conformance Testing
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic
Variable Permissions for Concurrency Verification
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
Efficient State Estimation of Discrete-Timed Automata
Reasoning Algebraically About Probabilistic Loops
Automatically Testing Web Services Choreography with Assertions
Model-Based Development: Combining Engineering Approaches and Formal Techniques
A Practical Loop Invariant Generation Approach Based on Random Testing, Constraint Solving and Verification
LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction
Bridging Formal Methods and Machine Learning with Global Optimisation
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking
European Train Control System: A Case Study in Formal Verification
Scalable Multi-core Model Checking Fairness Enhanced Systems
Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers
ClawZ: Cost-Effective Formal Verification for Control Systems
Theorem Prover Support for Precondition and Correctness Calculation
Guided Integration of Formal Verification in Assurance Cases
Program Slicing Techniques with Support for Unconditional Jumps
Model Based Code Verification
Model Checking of C++ Programs Under the x86-TSO Memory Model
Formalization of Symplectic Geometry in HOL-Light
Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction
A Language for Modeling Network Availability
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Towards a Fully Generic Theory of Data
Service-Based Systems Engineering: Consistent Combination of Services
Automatic Refinement Checking for B
Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
On the Formalized Semantics of Static Modeling Elements in UML
Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata
Alternating Interval Based Temporal Logics
Software Model Checking Using Linear Constraints
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Using Stålmarck's Algorithm to Prove Inequalities
Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability
Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract)
Formalizing Requirements into Dafny Specifications with LLMs
Formalizing Potential Flows Using the HOL Light Theorem Prover
A Theory of Classes from the Theoretical Foundations of LePUS3
PAC Learning of Deterministic One-Clock Timed Automata
Automatic Generation of Verified Concurrent Hardware
New Developments in Closed-Form Computation for GSPN Aggregation
Toward a Formal Model of Software Components
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency
Formalising Privacy-Preserving Constraints in Microservices Architecture
From Circus to JCSP
Incremental Verification of Owicki/Gries Proof Outlines Using PVS
Modeling System C Fixed-Point Arithmetic in HOL
Design Model Repair with Formal Verification
JML's Rich, Inherited Specifications for Behavioral Subtypes
A UML Approach to the Design of Open Distributed Systems
Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL
Introducing Reference Semantics via Refinement
Formal Modelling of Fault Tolerant Robotic Missions
Analysis of a Security Protocol in µCRL
The Bright Side of Timed Opacity
Formal Methods in Enterprise Computing
Decision Problems for Parametric Timed Automata
A Static Communication Elimination Algorithm for Distributed System Verification
An Event-B Development Process for the Distributed BIP Framework
Towards a Workflow Model of Real-Time Cooperative Systems
Efficient SMT-Based Model Checking for HyperTWTL
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method
A Reo Model of Software Defined Networks
Static Analysis of String Values
Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming
Trace-Driven Verification of Multithreaded Programs
Model Checking \mu μ C/OS-III Multi-task System with TMSVL
Interacting Frameworks in Catalysis
Qualitative Action Systems
Applying Timed Interval Calculus to Simulink Diagrams
Machine Code Type Safety
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization
Observability of Boolean Control Networks: New Definition and Verification Algorithm
Induction-Guided Falsification
Compositional Vulnerability Detection with Insecurity Separation Logic
A Verification Framework for Stateful Security Protocols
Formal Engineering of XACML Access Control Policies in VDM++
How Symbolic Animation Can Help Designing an Efficient Formal Model
Applying Automata Learning to Embedded Control Software
An Automated Approach to Specification-Based Program Inspection
A Mechanized Theory of Program Refinement
Modeling and Verification of Component Connectors
Formal Modeling of Reinforcement Learning Systems with SMT
Partial Order Reduction for State/Event Systems
Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase
Formalising Performance Guarantees in Meta-Reinforcement Learning
Translating Object-Z Specifications to Passive Test Oracles
Towards a Signal Calculus for Event-Based Synchronous Languages
Enabling Hardware Verification through Design Changes
Graded-CTL: Satisfiability and Symbolic Model Checking
ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications
Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Formalising Extended Finite State Machine Transition Merging
The Confinement Problem in the Presence of Faults
Deciding the Synthesis Problem for Hybrid Games Through Bisimulation
Partial Translation Verification for Untrusted Code-Generators
SVG Web Environment for Z Specification Language
Towards Customizable CPS: Composability, Efficiency and Predictability
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems
Verifying a File System Implementation
Checking the Conformance of Java Classes Against Algebraic Specifications
Synchronous AADL and Its Formal Analysis in Real-Time Maude
Model Checking B Models via High-Level Code Generation
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System
Learning to Verify Safety Properties
Automating Cut-off for Multi-parameterized Systems
Towards a Time Model for Circus
Quantitative Symbolic Robustness Verification for Quantized Neural Networks
Service-Oriented Design and Verification of Hybrid Control Systems
Parameterized Complexity of Resilience Decision for Database Debugging
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
Repairing Event-B Models Through Quantifier Elimination
TAuth: Verifying Timed Security Protocols
Energy Informatics - 4th Energy Informatics Academy Conference, EI.A 2024, Kuta, Bali, Indonesia, October 23-25, 2024, Proceedings, Part II
Energy Informatics - Third Energy Informatics Academy Conference, EI.A 2023, Campinas, Brazil, December 6-8, 2023, Proceedings, Part II
Energy Informatics - 4th Energy Informatics Academy Conference, EI.A 2024, Kuta, Bali, Indonesia, October 23-25, 2024, Proceedings, Part I
Energy Informatics - Third Energy Informatics Academy Conference, EI.A 2023, Campinas, Brazil, December 6-8, 2023, Proceedings, Part I
Modelling Engineering Design Knowledge with Constraints
Signed Feature Constraint Solving
The Payoff Between Theory and Practice, or, What Can Theoreticians and Practitioners Learn From Each Other
Distributed Constraint Processing for Production Logistics
FORWARD_C: A Refinery Scheduling System
Combining Various Techniques with the Algorithm of Subdefinite Calculations
Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques
Priority-driven Constraints Used for Scheduling at Universities
Well Activity Scheduling - An Application of Constraint Reasoning
Mine Planning and Scheduling at RTZ Technical Services
Succeed-first or Fail-first: A Case Study in Variable and Value Ordering
Transfer Syntax Notation: A Language for the Development and Specification of Communication Protocols
Application of Connectionist Local Search to Line Management Rail Traffic Control
ConPlan/SIEDAplan: Personnel Assigment as a Problem of Hierarchical Constraint Satisfaction
Spatial Modelling with Geometric Constraints
Interval Spreadsheet for Problems of Financial Planning
Airport Counter Allocation Using Constraint Logic Programming
Constraint Logic Programming for the Crew Rostering Problem
How Constraint Logic Programming Unlocks Constraint Technology
The TOOCA n Approach
Multimedia Presentation Scheduling with ILOG
Multi-criteria Comparison Between Algorithmic, Constraint Logic and Specific Constraint Programming on a Real Schedulingt Problem
Two Level CSP Approach to Production Scheduling for Medicine Packing Processes
A Constraint Programming Library for Preemptive and Non-Preemptive Scheduling
Proceedings of the Third International Conference on the Practical Application of Constraint Technology, PACT 1997, Westminster Central Hall, London, UK, April 23-25, 1997
Applications of ECL i PS e : Interval Domain Library
Constraint Technology Applied to Forest Treatment Scheduling
Optimal Planning of Digital Cordless Telecommunication Systems
A Plug-In Architecture of Constraint Hierarchy Solvers
Visualizing the Landscape of Doctoral Education in China over a Decade: A Scientometric Analysis Using CiteSpace and VOSviewer
Bug Report Summarization: A systematic Literature Review
Reflection on Online Teaching and Learning-Make It Entertaining, and I will Learn!
The Application of Simulation in the Design of Skills Competition Entry in Vocational Colleges
Fuzzy Logic Traffic Lights Control (FLTLC)
Corpus-involved Education and Learning in European Universities
Unlocking the potential of data: datification in educational research using social listening methodology
Automatic Number Plate Recognition System for Vehicle Identification Using Optical Character Recognition
AI Literacy Framework and Strategies for Implementation in Developing Nations
Predictive Model of Student Academic Performance from LMS data based on Learning Analytics
Research on the Influence of Teaching Methods on Mathematics Academic Achievement of College Students During Online Teaching
Microblogs-A means for simulating informal learning beyond classrooms
Deep Grading: Incorporating Argument Strength into Neural Essay Evaluation
A preliminary speech learning tool for improvement of African English accents
The Utilisation of Interactive Simulations in the Teaching and Learning of a Grade 10 Chemistry Topic: A Case in the North West province of South Africa: The utilisation of interactive simulations in Chemistry
Understanding the constraints to using social media platform as a tool for design learning in higher education from students' perspectives
The LECTOR Podium. An Innovative Teacher Workstation for the Intelligent Classroom of the Future
Learning with Mobile Technologies: Their Potential to Enhance Well-being, Collaboration and Social Enrichment among Diverse Students
Holonomic function of 2 parameter logistic model item response theory parameter estimation
Factors Affecting Synchronous E-learning amid the Covid-19 at Public Universities in Vietnam
Participatory design as a co-creation methodology for health literacy games: the case of the TRIO project
A Study of a Student-Designed Face Recognition Sign-in System in an English Smart Class
How Teaching Presence Facilitate Rural Teachers' Learning Engagement in MOOC for Teacher Education: The Mediating Effect of Learning Motivation
Examining the role of Dash Robot in Fourth-grade English as a Medium of Instruction using the UTAUT model
Learning User Interface Design for Smart Learning Environment
On designing a cybersecurity educational program for higher education
An Optimization Scheme for College Teacher Recruitment Management System Based on Blockchain and Text Recognition
Enhancing Educational Gamification through AI in Higher Education
The Impact of Video-Vignettes to Enhance the Financial Literacy Level of Ecuadorian University Students
Composition of Open Educational Resources through Dynamic Linking of Modular Components
ERP in higher education: a deeper look on developing countries
A Study on Holonic Control Architecture for Intelligent Car
VoiceMath: Enhancing Accessibility in STEM Education through Formulae Transcription in Video Lectures
An Experimental Study of ChatGPT-Assisted Improvement of Chinese College Students' English Reading Skills: A Case Study of Dear Life
Information and Communication Technologies Based Teaching Methodologies for Peruvian Children with Down Syndrome
Automated Annotation of Academic Emotion Intensity in Online Learning Comment Texts: A BWS Method Based on LLMs
Research and Design on the Cultivation of College Students' Problem Consciousness in Practice Teaching: Taking turning practice of engineering training as an example
Mixed Teaching Pattern Exploration Integrating Online and Offline Platforms Oriented to Continuous Improvement for Engineering Accreditation: Practice in computer programming course as a presentation case
Critical Thinking and Virtual Education: Challenges to Face
IP Geolocation Underestimates Regressive Economic Patterns in MOOC Usage
A study on factors hindering online learning acceptance in developing countries
A Listenability Index Consisting of Subjective Judgment and Objective Evaluation
Study on TCSOL pre-service teachers' technological pedagogical content knowledge in China mainland
Policy Enhanced Grid Computing
Key Techniques of Automatic Question-Answering Customer Service System in College Informatization Domain
The Problem of Persistency in the Life-long Learning Projects
Game Theory Teaching Strategy to Improve Social Skills for Children with Autism
Using throwable wireless microphone technology to enhance classroom interaction in a large class
Do Current Online Coding Tutorial Systems Address Novice Programmer Difficulties?
Use of virtual reality for education and training of emergency rescue system for crisis situations
Knowledge graph analysis of digital teaching evaluation research: A bibliometric study based on WoS
The practice of small project-based mode in the teaching of SCM course
A Research on the Influence of Teacher-student Interaction on College Student Engagement in Online Learning
Exploring the factors driving impulse buying tendency on advertisements of Facebook: a social learning theory perspective
Measuring Undergraduate Science Students Satisfaction for the services provided by Chemistry Laboratories in SSRU University
Blockchain Technology and Its Application in Higher Education
Video Games, Homer to Hesiod: What Ancient Greek Content Do Video Game Players See?
Robot based Challenges to Develop Disciplinary and Soft Competencies in Engineering Students
Influence of Instructors' Body Language on Students' Learning Outcome in Micro Lectures
The Influence of Creating and Sharing English Video on Social Media Platform on the Willingness to Communicate in English of Chinese Sophomore Majoring in English: a Case Study
Hospitality Students' Perception of YouTube as a Learning Medium
A study for design practice in the application of green design courses
MOOC Analytics on Teachers' Students Centered Teaching Strategies Training: A Study Based on TPD Core Features
Uniform Integration and Recognition of Events based on Fine Primitives of Events in Realistic Virtual World
Variable Speed Drive of Single Phase Induction Motor Using Frequency Control Method
From Paper to Pixels: An Investigation of the Feasibility and Acceptability of QR Code Attendance-Taking in A Higher Education Setting
Proceedings of the 16th International Conference on Education Technology and Computers, ICETC 2024, Porto, Portugal, September 18-21, 2024
Knowledge Graph Based Recommendation Algorithm for Educational Resource
Simulation design and performance evaluation of LWIP system
Influence of the use of educational apps on smart mobile devices in the academic performance of students
The innovative didactic labs of the Iscol@ project
Research on the Influence of Goal Setting on Collaborative Cognition and Behavior from the Script Theory Perspective
Fingerprint Identification Based on the Model of the Outer Layers of Polygon Subtraction
Proceedings of the 14th International Conference on Education Technology and Computers, ICETC 2022, Barcelona, Spain, October 28-30, 2022
ICETC 2021: 13th International Conference on Education Technology and Computers, Wuhan, China, October 22 - 25, 2021
A preliminary study in the need of designing and implementing technology coaching programme
Visual Analysis of Chinese E-commerce Talent Training Research Based on CiteSpace
An Interpretable Online Learner's Performance Prediction Model Based on Learning Analytics
Online Sharing of Knowledge Among In-service Teachers for Professional Development Purposes
The Impact of Job Demands and Customer Mistreatment on Customer-Oriented Organizational Citizenship Behavior
Expert opinion process: applications in education
Lattice Segmentation Based Confusion Network Generation Method
Exploring Intercultural Sensitivity of South Asian Students Learning in Chinese Universities
Reading Proficiency Assessment Using Finite-State Transducers
Computer-based Classification of Student's Report
Research is formalized curiosity: Use of technology in the classroom is that enough virtual reality project
Application of ICT in University Curriculum Development
Investigation of UYCEP-Edu Education Portal: UYCEP-Edu Portal
The Design and Application of C-STEAM Instructional Resources Based on Unity 3D Blending Physical and Virtual Manipulatives
Relationship between College Students' Engagement and Social Software Use
HDD3M: A New Data Communication Protocol for Heterogeneous Distributed Mobile Databases in Mobile Ad Hoc Networks
Application of Flexible Link Manipulators in Control Engineering Courses
Comparison of user experience in online programming learning platforms: Case study in novice programmers from Huancayo, Peru
Educational Technology in the Post-Pandemic Era: Current Progress, Potential, and Challenges
Noise Reduction of Video Sequences Using Detection Method