yusuke1997/dblp-id-title huggingface dataset:
Anticipation Based on a Bi-Level Bi-Objective Modeling for the Decision-Making in the Car-Following Behavior
Foundations for Model Building of Intelligent Pricing Methodology
Genetic Operators Impact on Genetic Algorithms Based Variable Selection
Coordinate Descent Algorithm for Normal-Likelihood-Based Group Lasso in Multivariate Linear Regression
Diagnosis of Active Systems with Candidate Priority
Modified C p Criterion in Widely Applicable Models
On a Novel Representation of Multiple Textual Documents in a Single Graph
Optimizations for Categorizations of Explanatory Variables in Linear Regression via Generalized Fused Lasso
Intelligent Diagnosis of Discrete-Event Systems with Preprocessing of Critical Scenarios
Diagnosis of Active Systems with Abstract Observability
A Consistent Likelihood-Based Variable Selection Method in Normal Multivariate Linear Regression
An Optimization Problem of Air Defense Planning for an Area Object
Development of a Telegram Bot to Determine the Level of Technological Readiness
Digital Enterprise Architecture Management in Tourism - State of the Art and Future Directions
Calculations of SPCM by Several Methods for MDAHP Including Hierarchical Criteria
Designing Interactive Topic Discovery Systems for Research and Decision Making
A Study on Composition of Elements for AHP
Improved Genetic Algorithm for Electric Vehicle Charging Station Placement
A Transport Coding Gain Estimation in the Conditions of Time Limitation for Maximum Acceptable Message Delay
Session Types with Multiple Senders Single Receiver
Intelligent Software Engineering: Synergy Between AI and Software Engineering
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement
Mixed-Criticality Scheduling with Limited HI-Criticality Behaviors
Randomized Refinement Checking of Timed I/O Automata
Reasoning About Periodicity on Infinite Words
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking
A Complete Approximation Theory for Weighted Transition Systems
Identifying XML Schema Constraints Using Temporal Logic
Formal Analysis of Information Flow in HOL
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems
Better Automated Importance Splitting for Transient Rare Events
Towards Verified Faithful Simulation
Termination of Semi-algebraic Loop Programs
Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET
Formalizing SPARCv8 Instruction Set Architecture in Coq
Extending Symbolic Heap to Support Shared Ownership
Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory
Mutation Testing of Reinforcement Learning Systems
Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
Nested Timed Automata with Invariants
Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications
Reachability Based Uniform Controllability to Target Set with Evolution Function
$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations
PranCS: A Protocol and Discrete Controller Synthesis Tool
Faster Lifetime-Optimal Speculative Partial Redundancy Elimination for Goto-Free Programs
Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems
MILE: A Mutation Testing Framework of In-Context Learning Systems
SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries
On the Criticality of Probabilistic Worst-Case Execution Time Models
Modeling Regex Operators for Solving Regex Crossword Puzzles
Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals
Constraint Based Invariant Generation with Modular Operations
Computing Exact Loop Bounds for Bounded Program Verification
String Constraints with Regex-Counting and String-Length Solved More Efficiently
NanoHook: An Efficient System Call Hooking Technique with One-Byte Invasive
MTUL: Towards Mutation Testing of Unsupervised Learning Systems
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies
Enhancing Branch and Bound for Robustness Verification of Neural Networks via an Effective Branching Strategy
Identifying Microservices Using Functional Decomposition
Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach
Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification
Multi-core Cyclic Executives for Safety-Critical Systems
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties
PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation
CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
Importance Sampling for Stochastic Timed Automata
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
An Optimized Solution for Highly Contended Transactional Workloads
An Assertion-Based Logic for Local Reasoning about Probabilistic Programs
VM Migration and Live-Update for Reliable Embedded Hypervisor
Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
Symbolic Model Checking with Sentential Decision Diagrams
Enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-expressions
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas
Automatic Fault Localization for BIP
Improving Design Decomposition
An Application of Temporal Projection to Interleaving Concurrency
Distributed Computation of Fixed Points on Dependency Graphs
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms
A Distributed Simplex Architecture for Multi-agent Systems
Assertion-Directed Precondition Synthesis for Loops over Data Structures
Understanding the Reproducibility Issues of Monkey for GUI Testing
Formal Verification Based Synthesis for Behavior Trees
Inferring Software Behavioral Models with MapReduce
Runtime Verification of Neural-Symbolic Systems
Predicting and Monitoring Bug-Proneness at the Feature Level
General Lessons from a Rely/Guarantee Development
Probably Approximately Correct Interpolants Generation
Response Time Analysis of Typed DAG Tasks for G-FP Scheduling
Improvement in JavaMOP by Simplifying Büchi Automaton
Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis
Multi-dimensional Abstraction and Decomposition for Separation of Concerns
Computing Specification-Sensitive Abstractions for Program Verification
Towards the Existential Control of Boolean Networks: A Preliminary Report
KCL: A Declarative Language for Large-Scale Configuration and Policy Management
Formal Verification of the Pastry Protocol Using \mathrmTLA^+
MC/DC Test Cases Generation Based on BDDs
DeepGlobal: A Global Robustness Verifiable FNN Framework
Cache Behavior Analysis with SP-Relative Addressing for WCET Estimation
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals
DeepTD: Diversity-Guided Deep Neural Network Test Generation
On-The-Fly Bisimilarity Checking for Fresh-Register Automata
Software Vulnerability Detection Using an Enhanced Generalization Strategy
Verifying the Correctness of Distributed Systems via Mergeable Parallelism
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata
Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings
Diversifying a Parallel SAT Solver with Bayesian Moment Matching
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs
Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Improving the Analysis of GPC in Real-Time Calculus
Place Bisimulation and Liveness for Open Petri Nets
Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness
Simplifying the Analysis of Software Design Variants with a Colorful Alloy
Integration of Multiple Formal Matrix Models in Coq
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
A Derivative-Based Membership Algorithm for Enhanced Regular Expressions
Deducing Matching Strings for Real-World Regular Expressions
Construction of Abstract State Graphs for Understanding Event-B Models
Mixed Criticality Scheduling of Probabilistic Real-Time Systems
Leveraging TLA + Specifications to Improve the Reliability of the ZooKeeperCoordination Service
Divergence Detection for CCSL Specification via Clock Causality Chain
Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets
GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks
Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance
The Design of Intelligent Temperature Control System of Smart House with MARS
Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP
A Contract-Based Framework for Formal Verification of Embedded Software
Robust Non-termination Analysis of Numerical Software
Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments
LOGIC: A Coq Library for Logics
Reentrancy? Yes. Reentrancy Bug? No
Synthesizing Controllers for Multi-lane Traffic Maneuvers
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings
HashC: Making DNNs' Coverage Testing Finer and Faster
A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques
Refinement and Proof Based Development of Systems Characterized by Continuous Functions
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics
Semipositivity in Separation Logic with Two Variables
Learning Safe Neural Network Controllers with Barrier Certificates
API Usage Pattern Search Based on Model Checking
Cheat-FlipIt: An Approach to Modeling and Perception of a Deceptive Opponent
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier
Compiling FL res on Finite Words
Extending Hybrid CSP with Probability and Stochasticity
Formal Verification of RISC-V Processor Chisel Designs
From Requirements Engineering to Safety Assurance: Refinement Approach
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework
A Framework for Modeling and Verifying IoT Communication Protocols
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification
Cost vs. Time in Stochastic Games and Markov Automata
AIdetectorX: A Vulnerability Detector Based on TCN and Self-attention Mechanism
A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks
Generating Specifications for Recursive Methods by Abstracting Program States
Mastery: Shifted-Code-Aware Structured Merging
Developing GUI Applications in a Verified Setting
Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects
Formal Analysis of 5G AKMA
The Road Ahead for Supervisor Synthesis
Modelling and Implementation of Unmanned Aircraft Collision Avoidance
Performance Evaluation of Concurrent Data Structures
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations
Remark on Some \pi Variants
Developing A New Language to Construct Algebraic Hierarchies for Event-B
Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach
Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications
Failure Estimation of Behavioral Specifications
EDSLog: Efficient Log Anomaly Detection Method Based on Dataset Partitioning
Cardinality of UDP Transmission Outcomes
Graph-Based Log Anomaly Detection via Adversarial Training
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm
Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds
The Principle of Staking: Formal Verification of Staking Smart Contract
A Bounded Model Checking Technique for Higher-Order Programs
Data-Dependent WAR Analysis for Efficient Task-Based Intermittent Computing
Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -
Decidability of Liveness for Concurrent Objects on the TSO Memory Model
Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization
A Verified Specification of TLSF Memory Management Allocator Using State Monads
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
On Equivalence Checking of Nondeterministic Finite Automata
A High-Level Model for an Assembly Language Attacker by Means of Reflection
A Contract-Based Semantics and Refinement for Simulink
Translating CPS with Shared-Variable Concurrency in SpaceEx
Statistical Model Checking of Response Times for Different System Deployments
EqFix: Fixing LaTeX Equation Errors by Examples
Automatic Support of the Generation and Maintenance of Assurance Cases
Human-Centred Software Engineering - Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
Wearable Touchscreens to Integrate Augmented Reality and Tablets for Work Instructions?
Paying the Pink Tax on a Blue Dress - Exploring Gender-Based Price-Premiums in Fashion Recommendations
GaLaPaGoS: A Design Pattern for Sustainability of ICT Interactive Software and Services
Evaluating Learning Experiences-Comparison of Two Student Feedback Methods
Can GUI Implementation Markup Languages Be Used for Modelling?
The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System Design
ViSE - A Virtual Smart Environment for Usability Evaluation
Aspects of Human-Centred Design in HCI with Older Adults: Experiences from the Field
Augmented and Virtual Reality Object Repository for Rapid Prototyping
Integrating Agile Development Processes and User Centred Design- A Place for Usability Maturity Models?
Identifying the Mood of a Software Development Team by Analyzing Text-Based Communication in Chats with Machine Learning
An Autoethnographic Study of HCI Effort Estimation in Outsourced Software Development
To Trust or Not to Trust - Six Recommendations for System Feedback in a Dynamic Environment
Challenges with Traditional Human-Centered Design for Developing Neurorehabilitation Software
Absolute Indirect Touch Interaction: Impact of Haptic Marks and Animated Visual Feedback on Usability and User Experience
Towards Conflict Management in User Interface Composition Driven by Business Needs
Human-Centered Software Engineering - 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings
Human-Centered Software Engineering - 9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24-26, 2022, Proceedings
ProConAR: A Tool Support for Model-Based AR Product Configuration
End-User Development of Oracle APEX Low-Code Applications Using Large Language Models
Exploring Local Cultural Perspectives in User Interface Development in an Indian Offshoring Context: A View from the UK
Factors Affecting the Choice of Usability Evaluation Methods for Interactive Adaptive Systems
Persona as a Tool to Involving Human in Agile Methods: Contributions from HCI and Marketing
Active Collaborative Learning: Supporting Software Developers in Creating Redesign Proposals
Digitalization of Training Tasks and Specification of the Behaviour of a Social Humanoid Robot as Coach
Emoti-Office, Using Emotional and Contextual Data to Improve Employees' Working Needs in the Office
Rationalizing the Need of Architecture-Driven Testing of Interactive Systems
A Model for Assessing Organizational Learning in Software Development Organizations
Usability Reporting with UsabML
Usability of Single- and Multi-factor Authentication Methods on Tabletops: A Comparative Study
Towards Collaborative Vision Video Production: How to Integrate Different Stakeholders
On the Potentials of Realtime Sentiment Analysis on Text-Based Communication in Software Projects
Evaluating Relative Contributions of Various HCI Activities to Usability
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components
Intuitiveness and Trustworthiness of AI-Powered Interfaces for Neurological Diagnosis - Preliminary Results
Prototyping Cross-Reality Escape Rooms
User-Centred Design: Experiences from Toolbox-Based Learning
Improving UX Work in Scrum Development: A Three-Year Follow-Up Study in a Company
Early Incremental User Testing Design Approach Validation for Satellite Command Center's Application
Extending OpenUP to Conform with the ISO Usability Maturity Model
Automated UX Evaluation for User-Centered Design of VR Interfaces
Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC
CASSIS: A Modeling Language for Customizable User Interface Designs
Facilitating Development of Accessible Web Applications
Considering Users' Personal Values in User-Centered Design Processes for Media and Entertainment Services
Towards a Trustworthy Patient Home-Care Thanks to an Edge-Node Infrastructure
Human Factors Engineering as the Methodological Babel Fish: Translating User Needs into Software Design
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
Supporting Multimodality in Service-Oriented Model-Based Development Environments
Creating and Using Personas in Software Development: Experiences from Practice
Exploratory Study on Sustainability in Agile Software Development
Urban Walkability: A Digital Twin Approach for Urban Regenerative Development
Helping Teams to Help Themselves: An Industrial Case Study on Interdependencies During Sprints
Interaction Techniques for Remote Maintenance in an AR Shared Environment
Desktop-to-Mobile Web Adaptation through Customizable Two-Dimensional Semantic Redesign
Dynamic Interaction Plugins Deployment in Ambient Spaces
Developing a VR Factory Walkthrough for Use in Schools
An MDE Approach for User Interface Adaptation to the Context of Use
CM-DIR: A Method to Support the Specification of the User's Dynamic Behavior in Recommender Systems
InterView: A System to Support Interaction-Driven Visualization Systems Design
A Personality Based Design Approach Using Subgroup Discovery
An Agile Framework Towards Inclusion - Supporting Teachers Working in an Inclusive Learning Environment
Collecting Users Profiles for Web Applications
Requirements-Based Composition of Tailored Decision Support Systems
LiLoLe - A Framework for Lifelong Learning from Sensor Data Streams for Predictive User Modelling
Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems
A Critical Examination of UCD4D Studies
Enriching Task Models with Usability and User Experience Evaluation Data
Methods for Efficient Development of Task-Based Applications
BPMN Extensions and Semantic Annotation in Public Administration Service Design
Human-Centered Software Engineering - 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 - December 2, 2020, Proceedings
A Scrum-Based Development Process to Support Co-creation with Elders in the eHealth Domain
Dissecting the Security and Usability Alignment in the Industry
Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers
The Usage of Usability Techniques in Scrum Projects
Methods towards API Usability: A Structural Analysis of Usability Problem Categories
Usability Evaluation of Model-Driven Cross-Device Web User Interfaces
User Evaluations of Virtually Experiencing Mount Everest
Understanding Formal Description of Pitch-Based Input
Model-Based Product Configuration in Augmented Reality Applications
Continuous Improvement in Agile Development Practice - The Case of Value and Non-Value Adding Activities
RTM E : Extension of Role-Task Modeling for the Purpose of Access Control Specification
Human-Centered Software Engineering - 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
A Visual Tool for Analysing IoT Trigger/Action Programming
Approaches to Software Engineering: A Human-Centred Perspective
Towards Tool-Support for Robot-Assisted Product Creation in Fab Labs
Get Realistic! - UCD Course Design and Evaluation
Development of a Conversational Dietary Assessment Tool for Cardiovascular Patients
Lessons Learned from Evaluating the Usability of Mobile Spreadsheet Applications
Seeding the Design Process for Future Problems
MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems
End-User Software Engineering: Toward a Future Beyond the Silos
A Method for Optimizing Complex Graphical Interfaces for Fast and Correct Perception of System States
Enhancing Mobile Game Accessibility: Guidelines for Users with Visual and Dexterity Dual Impairments
Cognitively Available Cybersecurity: A Systematic Literature Review
A Domain Specific Language for Contextual Design
A Compositional Model for Gesture Definition
A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms
Participatory Ideation for Gamification: Bringing the User at the Heart of the Gamification Design Process
User Centered Inclusive Design for People with Dyslexia: Experiences from a Project on Accessibility
Constraining and Creating Solutions - Reflections on the Analysis of Early Design
Defining Software Company's KPIs from Customers' and Employees' Perspectives
Assessing Use Complexity of Software: A Tool for Documentation Designers
Web Applications Usability Testing with Task Model Skeletons
How People Really (Like To) Work - Comparative Process Mining to Unravel Human Behavior
What is Needed to Apply Sentiment Analysis in Real Software Projects: A Feasibility Study in Industry
Puzzle: A Visual-Based Environment for End User Development in Touch-Based Mobile Phones
Dazed and Confused Considered Normal: An Approach to Create Interactive Systems for People with Dementia
Towards Super User-Centred Continuous Delivery: A Case Study
Bridging User Context and Design Models to Build Adaptive User Interfaces
A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience
Putting Dementia into Context - A Selective Literature Review of Assistive Applications for Users with Dementia and Their Caregivers
Integrating HCD into BizDevOps by Using the Subject-Oriented Approach
Little Stakeholder Communication in Distributed Scrum Projects During the Covid-19 Period
Graphical User Interface Redefinition Addressing Users' Diversity