yusuke1997/dblp-id-title huggingface dataset:
A type system for safe memory management and its proof of correctness
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden
On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial)
A logical framework for configuration software
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order
Adventures in interoperability: the SML.NET experience
A higher-order logical framework for the algorithmic debugging and verification of declarative programs
Assertion-based Debugging of Higher-Order (C)LP Programs
Schematic Polymorphism in the Abella Proof Assistant
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation
Expressive and strongly type-safe code generation
The challenges of constraint-based test generation
Foundational proof checkers with small witnesses
A Primitive Calculus for Module Systems
Term rewriting with variable binding: an initial algebra approach
Global difference constraint propagation for finite domain solvers
On a uniform representation of combinators, arithmetic, lambda terms and types
Typechecking protocols with Mungo and StMungo
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures
Declarative modeling of finite mathematics
Extending arbitrary solvers with constraint handling rules
Operational semantics and extensionality
Constructor-Based Conditional Narrowing
A Dependently Typed Linear π-Calculus in Agda
A Monadic Implementation of Functional Logic Programs
Reducing the overhead of assertion run-time checks via static analysis
Fixed point semantics and partial recursion in Coq
Combining fuzzy logic and behavioral similarity for non-strict program validation
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security
Towards a jitting VM for prolog execution
Using Confluence to Generate Rule-Based Constraint Solvers
Proof-Carrying Plans: a Resource Logic for AI Planning
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value
Alternation as a programming paradigm
Tabling for transaction logic
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications
An adequate while-language for stochastic hybrid computation
One-and-a-halfth-order logic
User-definable rule priorities for CHR
Alpha-renaming of higher-order meta-expressions
Proof checking and logic programming
Comprehending finite maps for algorithmic debugging of higher-order functional programs
Evidence Tampering and Chain of Custody in Layered Attestations
Symmetric monoidal sketches
Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis
Organising Low-Level Programs using Higher Types
Verifiable semantic difference languages
Semantic analysis of normalisation by evaluation for typed lambda calculus
Automatic type inference via partial evaluation
10 Years of the Higher-Order Model Checking Project (Extended Abstract)
Dependent session types via intuitionistic linear type theory
Expressing preferences in logic programming using an infinite-valued logic
Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012
Collection analysis for Horn clause programs
Session types revisited
Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models
A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations
Language support for processing distributed ad hoc data
Termination of Well-Typed Logic Programs
Rewrites as Terms through Justification Logic
Enhancing the specification and verification techniques of multiparty sessions in SOC
Transporting Theorems about Typeability in LF Across Schematically Defined Contexts
Granularity of Constraint-Based Analysis for Java
A declarative semantics for Bousi~Prolog
Types for Cyphers: Thwarting Mischief and Malice with Type Theory
Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains
Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004
4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006
Use of XACML Policies for a Network Access Control Service
Hiding Data Sources in P2P Networks
A Generic Protocol for Controlling Access to Mobile Services
Augmented CRL Scheme
An Efficient and Flexible Scheme to Support Biometric-Based and Role-Based Access Control
Efficient Broadcast from Trapdoor Functions
PKI Challenges: An Industry Analysis
Applied Public Key Infrastructure - 4th International Workshop: IWAP 2005, Singapore, September 21-23, 2005
Generic Fair Non-Repudiation Protocols with Transparent Off-line TTP
Speeding up X.509 Certificate Path Validation
A Study on a Framework of Online Biometric Authentication with Verification of Personal Repository
Directory Based Registration in Public Key Infrastructures
A Generic Scheme for Zero-Knowledge Sets
A Delegation Logic Based Authorization Mechanism for Virtual Organizations
No Author-Based Selective Receipt in Certified Email with Tight Trust Requirements
On Automatically Detecting Malicious Impostor Emails
A Lightweight Delegated Privileges Revocation Scheme Based on Coding
On Universal Composable Security of Time-Stamping Protocols
Efficient Authorization in Delegation Chains with Strong Non-Repudiation
A New Infrastructure for User Tracking Prevention and Privacy Protection in Internet Shopping
Denial of Access in Biometrics-Based Authentication Systems
Design of a VPN Software Solution Integrating TCP and UDP Services
A Contemporary Foreword on GSM Security
DPS : An Architectural Style for Development of Secure Software
A Model Enabling Law Compliant Privacy Protection through the Selection and Evaluation of Appropriate Security Controls
Biometric Authentication in Infrastructure Security
A Practical Distributed Authorization System for GARA
Infrastructure Security, International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002, Proceedings
Applications of Multiple Trust Authorities in Pairing Based Cryptosystems
Single Sign-On Architectures
Virtual Software Tokens - A Practical Way to Secure PKI Roaming
Structured Risk Analysis
Authenticity and Provability - A Formal Framework
Authentication and Authorization of Mobile Clients in Public Data Networks
Plausible Deniability Using Automated Linguistic Stegonagraphy
Bit-Serial AOP Arithmetic Architectures over GF (2 m )
Active Digital Credentials: Dynamic Provision of Up-to-Date Identity Information
A Novel Approach to Proactive Password Checking
Different Smartcard-Based Approaches to Physical Access Control
Pseudonymizing Unix Log Files
Protocol Engineering Applied to Formal Analysis of Security Systems
How to Buy Better Testing
Vulnerability Assessment Simulation for Information Infrastructure Protection
Bridging the Quantum Divide: Aligning Academic and Industry Goals in Software Engineering
Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification
Some Size and Structure Metrics for Quantum Software
Identifying Bug Patterns in Quantum Programs
Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering, Q-SE 2024, Lisbon, Portugal, 16 April 2024
3rd IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2022, Pittsburgh, PA, USA, May 18, 2022
2nd IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2021, Madrid, Spain, June 1-2, 2021
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces?
Quantum Pattern Detection: Accurate State- and Circuit-Based Analyses
Generating Presence-Absence Matrices by Quantum Annealing
On Repairing Quantum Programs Using ChatGPT
Modelling Quantum Circuits with UML
Static Entanglement Analysis of Quantum Programs
IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2025, Ottawa, ON, Canada, May 3, 2025
C4Q: A Chatbot for Quantum
4th IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023
Developing hybrid quantum-classical software: a software product line approach
QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments
Analyzing, Fixing and Optimizing a Space-Efficient Quantum Circuit for the Graph K-Coloring Problem
A preliminary study of the usage of design patterns in quantum software
Design by Contract Framework for Quantum Software
Message from the Q-SE 2022 Chairs Q-SE 2022
Dynamic Output State Classification for Quantum Computers
Qunicorn: A Middleware for the Unified Execution Across Heterogeneous Quantum Cloud Offerings
The Art of Abstraction in Quantum Software
Foreword to the Sixth International Workshop on Quantum Software Engineering (Q-SE 2025)
Towards Model-Driven Quantum Software Engineering
Investigating Quantum Cause-Effect Graphs
Generalised Quantum Tree Search
Quantum Solution for Configuration Selection and Prioritization
Metamorphic Testing of Oracle Quantum Programs
The Quantum Program Dependence Graph and its uses in Quantum Software Development
Quantum Vs. Classical Machine Learning Algorithms for Software Defect Prediction: Challenges and Opportunities
Quantum Software Models: The Density Matrix for Classical and Quantum Software Systems Design
QChecker: Detecting Bugs in Quantum Programs via Static Analysis
Quantum types: going beyond qubits and quantum gates
On the need for effective tools for debugging quantum programs
A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs
Towards Defect Prediction for Quantum Software
Experimental Implementation of Discrete Time Quantum Walk with the IBM Qiskit Library
MCBeth: A Measurement-based Quantum Programming Language
Delta Debugging for Property-Based Regression Testing of Quantum Programs
Serial Composition of Heterogeneous Control Planes
ESPRES: Easy Scheduling and Prioritization for SDN
Jive: Performance Driven Abstraction and Optimication for SDN
Cross-Entrance Consistent Range Classifier with OpenFlow
Control Exchange Points: Providing QoS-enabled End-to-End Services via SDN-based Inter-domain Routing Orchestration
Low-latency Network Monitoring via Oversubscribed Port Mirroring
SDN for Dense WiFi Networks
SDN and Optical Flow Steering for Network Function Virtualization
Towards a Reliable SDN Firewall
Coherent SDN Forwarding Plane Programming
AeroFlux: A Near-Sighted Controller Architecture for Software-Defined Wireless Networks
Open Networking Summit 2014 - Research Track, ONS 2014, Santa Clara, CA, USA, March 2-4, 2014
Extending SDN to Handle Dynamic Middlebox Actions via FlowTags
On the Necessity of Time-based Updates in SDN
Try Before you Buy: SDN Emulation with (Real) Interdomain Routing
OpenVirteX: A Network Hypervisor
Proof-based Verification of Software Defined Networks
SoftMoW: A Dynamic and Scalable Software Defined Architecture for Cellular WANs
Enabling SDN in Old School Networks with Software-Controlled Routing Protocols
Software-Defined Networks as Databases
Accelerating SDN/NFV with Transparent Offloading Architecture
Design of All Programable Innovation Platform for Software Defined Networking
RadioVisor: A Slicing Plane for Radio Access Networks
SODA: Enhancing the Data Plane Functionality of Software Defined Networking
SFA: Stateful Forwarding Abstraction in SDN Data Plane
SENSS: Software Defined Security Service
Software Defined Transport: Flexible and Deployable Flow Rate Control
Development of a multirotor-based system for air quality monitoring
Modeling and experimenting the thermal behavior of a lithium-ion battery on a electric vehicle
PV solar system for residential homes: PV panel tracking system using electronics circuits
Biometrie identification using photoplethysmography signal
Efficiency vs. number of cells in cell formation
2018 Third International Conference on Electrical and Biomedical Engineering, Clean Energy and Green Computing, EBECEGC 2018, Beirut, Lebanon, April 25-27, 2018
An IoMT platform to simplify the development of healthcare monitoring applications
Design of cellular manufacturing systems with the presence of processing time
Basic controllers multifunctional security platform
Circular structures of puffer fish: A new metaheuristic optimization algorithm
Building useful smart campus applications using a retired cell phone repurposing model
Battery sustainable PV solar house: Storage consideration for off grid
UNIX als Software-Entwicklungswerkzeug
UNIX - Konzepte und Anwendungen, Fachseminar des German Chapter of the ACM am 9. und 10.12.1982 in Bonn
C - Die UNIX-Implementierungssprache
UNIX - Rechnernetze
Einführung in das Tutorial
Rechnergestützte Realisierung von Bürovorgängen auf UNIX
Interne Struktur des UNIX-Systems
An experimental analysis of a near-optimal graph-based test generation algorithm
Sentiment analysis for software quality assessment
Emotional Labor of Software Engineers
An Overview and Catalogue of Dependency Challenges in Open Source Software Package Registries
An empirical study of async wait flakiness in front-end testing
Proceedings of the 23nd Belgium-Netherlands Software Evolution Workshop, Namur, Belgium, November 21-22, 2024
Actionable Measurements - Improving The Actionability of Architecture Level Software Quality Violations
SearchSECO: A Worldwide Index of the Open Source Software Ecosystem
Proceedings of the Belgium-Netherlands Software Evolution Workshop, Mons, Belgium, September 12-13, 2022
I want to Invest in an OSS project: Shall I hire Insiders or Outsiders?
Proceedings of the 20th Belgium-Netherlands Software Evolution Workshop, Virtual Event / 's-Hertogenbosch, The Netherlands, December 7-8, 2021
Towards an Interdisciplinary, Socio-technical Analysis of Software Ecosystems Health
Responsive Software Architecture Patterns for Workload Variations: A Case-study in a CQRS-based Enterprise Application
Visualizing code reviews bottlenecks, from 2D to virtual reality
Comparing smart contract vulnerability detection tools
Resilience Testing of Spring Applications via Fault Injections
Combining Static and Dynamic Techniques for Refactoring Industrial FSMs in C++
Focal Methods for C/C++ via LLVM: Steps Towards Faster Mutation Testing
On the Effect of Discussions on Pull Request Decisions
Making CodeCity Evolve
Towards Mutation Testing of Simulink Models
Characterizing Rapid Releases in a Large Banking Company: A Case Study
Towards an Empirical Analysis of Code Cloning and Code Reuse in CI/CD Ecosystems
Steps towards zero-touch mutation testing in Pharo
Towards producing a ground-truth dataset of safety bugs in the Linux Kernel
AST Matching based on Concrete Syntax Patterns: Exploration of the Specification Challenges
Towards Understanding Open-Source Software Communities
Adopting Program Synthesis for Test Amplification
Moldable Requirements
A code search engine for software ecosystems
Social Debt Analytics for Improving the Management of Software Evolution Tasks
Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop, Nijmegen, The Netherlands, November 27-28, 2023
Benchmarking the vulnerability detection capabilities of software analysis tools (short paper)
Concolic Testing of Full-Stack JavaScript Applications
Change Patterns for Decision Model and Notation (DMN) Model Evolution
Pyttern: a Python-Based Program Query Language
Rethinking Paradigmatic Collaboration: New Metrics for Inter-language Synergy in Software Engineering
Classifying Linux commits
A preliminary study of rhythm and speed in the maven ecosystem
Leveraging composability in model-based testing for microservices
Proceedings of the 19th Belgium-Netherlands Software Evolution Workshop, BENEVOL 2020, Luxembourg, December 3-4, 2020
How to evaluate the power exercised over a free software project? An application to the case of the Android project. (short paper)
Analyzing Technical Lag in Docker Images
Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to - 11th, 2018
Abstract Slicing To Improve The Speed Of Static Program Analysis
Evolution of Software Product Development in Startup Companies
Improving JSON Schema Inference by Incorporating User Inputs
Mutative Fuzzing for an Assembler Compiler
Proceedings of the 18th Belgium-Netherlands Software Evolution Workshop, Brussels, Belgium, November 28th to 29th, 2019
Can We Automate Away the Main Challenges of End-To-End Testing?
Mete: a Meta Rete Interface for Distributed Rule-based Systems
Clone Detection vs. Pattern Mining: The Battle
Predictive Modelling of Socio-Technical Health in Evolving Software Packaging Ecosystems
Aran: JavaScript Instrumentation for Heavyweight Dynamic Analysis
The Secret Life of Software Communities: What we Know and What we Don't Know
Mining Extension Point Patterns in Scala
Statement-level AST-based Clone Detection in Java using Resolved Symbols
The organizational hurdles of structurally reducing the energy consumption of software
Towards Meaningful Software Metrics Aggregation
Blind Men and a Room Full of Elephants
Application of Programming Cocktails Identity Cards to Development Complexity Analysis
A Generic Framework for the Analysis of Heterogeneous Legacy Software Systems
Language-agnostic multi-paradigm code quality assurance framework
Continuous Migration of Mass Customized Applications
Work in Progress Paper: Detecting Method Level License Conflicts in the Worldwide Software Ecosystem
Breaking the Borders: An Investigation of Cross-Ecosystem Software Packages
An Empirical Investigation of Forks as Variants in the npm Package Distribution
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, Antwerp, Belgium, December 4-5, 2017
Application Domains in the Research Papers at BENEVOL: A Retrospective
An Empirical Study of Technical Debt Management as a Motivation for Forking
Incrementalizing Abstract Interpretation
Towards a Domain-Specific Language for Automated Network Management
FERRARI: FailurE RepRoduction through automatic test cAse generation and stack tRace analysIs
Employing Run-time Static Analysis to Improve Concolic Execution
Towards Universal Software Evolution Analysis
Development and Adoption of SATD Detection Tools: A State-of-practice Report
Extracting Software Modules as Communities
Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases
Metamodel Clone Detection with SAMOS
Beyond Code: Towards Intelligent Collaboration Tools
On the Usage of Badges in Open Source Packages on GitHub
On the Impact of Pull Request Decisions on Future Contributions
GIS SDKs Dynamics Echoed by Social Requirements Transformations
Crash Reproduction Difficulty, an Initial Assessment
Evaluating a Bot Detection Model on Git Commit Messages
Flaky Tests: Problems, Solutions, and Challenges
Leveraging deep learning for Python version identification
Untangling Source Code Changes Using Program Slicing
Quality-oriented Move Method Refactoring
Towards Studying the Evolution of Technical Debt in the Python Projects from the Apache Software Ecosystem
FAIRSECO: An infrastructure for measuring impact of research software (short paper)
Integrating Fault Injection in Fuzzing: Design, Implementation and Preliminary Experiments
Compositional ioco using model-based mocking
Extracting Concepts Emerging from Software Code, Documentation and Tests
An Internet of Things Testbed for Education and Community Research
A model of Solidity-style smart contracts in the theorem prover Agda
Applying Pre-trained Multilingual BERT in Embeddings for Improved Malicious Prompt Injection Attacks Detection
A Novel Deep-Learning Based Approach for Mild Cognitive Impairment Screening in Patients with Parkinson's Disease
Online Sexism Detection and Classification by Injecting User Gender Information
Seeing Isn't Always Believing: Unveiling the Financial Risks of Fraudulent Images on Personal Finances in Online Shopping
An Ensemble Weighted User-Based Collaborative Filtering Recommender System
Analyzing A/B Testing Results in Digital Marketing
Thyro-AI: Harnessing Machine Learning for Thyroid Prediction
Machine Learning Approaches for EV Charging Management: A Systematic Literature Review
Resource Efficient Deep Learning Architectures for Histopathology-Based Colorectal Cancer Detection
Secure and Privacy-Preserving Aggregation Scheme for Traffic Management Systems
2nd International Conference on Artificial Intelligence, Blockchain, and Internet of Things, AIBThings 2024, Mt Pleasant, MI, USA, September 7-8, 2024
A P2P File Sharing Market Based on Blockchain and IPFS with Dispute Resolution Mechanism
An Accurate and Low-power Sleep Apnea Detector in the Edge-IoT Platform
ChloroView: A Sustainable Biophilic Alternative to Conventional Displays
A Dementia Diagnosis Technique Based on AI and Hardware Acceleration
An Efficient Multi-threaded Collaborative Filtering Approach in Recommendation System
French regional languages identification using custom dataset and Naive Bayes model
High Performance Computing Applied to Logistic Regression: A CPU and GPU Implementation Comparison
Wheat Field Fire Smoke Detection from UAV Images using CNN-CBAM
Deep Learning Approaches for Detecting Adversarial Cyberbullying and Hate Speech in Social Networks
Machine Learning Techniques in Additive Manufacturing: A Review
Real-Time American Sign Language Recognition Using Machine Learning
Secure Energy Transactions in Smart Grids Using Blockchain and Machine Learning
Efficient Deep Learning Approach for Arthritis Prediction
Novel Saliency Analysis for the Forward-Forward Algorithm
Analyzing the Impact of Security Measures on Wi-Fi Quality of Service
IIoDT: Industrial Internet of Digital Twins for Hierarchical Asset Management in Manufacturing
ChatGPT and Large Language Models in Healthcare: Opportunities and Risks
Enhanced IoT Data Security with Robust AES-CBC Encryption Algorithm
RF-Based Lightweight Machine Learning for Comprehensive Drone Activity Classification
Blockchain-based Information-sharing and Transparent Security for Vehicle Asset Fintech ManagEment (BITSAFE)
Harnessing IT Best Practices: IoT for Continuous Monitoring and Control in Agriculture
Comparative Analysis of AlexNet, GoogLeNet, VGG19, ResNet50, and ResNet101 for Improved Plant Disease Detection Through Convolutional Neural Networks
A Lightweight AI Model for Anomaly Detection in Wireless Networks
A Review of Spectrum Sharing in 6G for IoT Environment
Reinforcement Learning for Autonomous Agents via Deep Q Networks (DQN) within ViZDoom environment
Improved Intelligent Ledger Construction for Realistic IoT Blockchain Networks
Classification of DDoS traffic for Industrial Internet of Services using Deep learning approaches
Hybrid Modeling for Condition Monitoring in Digital Twin Systems
Enhancing the Multiclass Image Classification Accuracy using Binary Classifiers for Semi-Supervised Learning
Demand Response in Smart Grids: Challenges, Solutions, and Security Implications
Early Detection of Heart Disease Using Machine Learning Algorithm: Performance Analysis and Model Comparison
A Survey on the Landscape of Machine Learning Solutions for Detecting Phishing Attacks
Adversarial Spam Generation Using Adaptive Gradient-Based Word Embedding Perturbations
An Efficient Rating System Using Blockchain for Recommender Systems
Alzheimer's Disease Stage Classification using Blood Data
Analyzing User Sentiments Towards Static Analysis Tools: A Study Using User Reviews
IEEE International Conference on Artificial Intelligence, Blockchain, and Internet of Things, AIBThings 2023, Mount Pleasant, MI, USA, September 16-17, 2023
A Metaheuristic Approach for Life Expectancy Prediction based on Automatically Fine-tuned Models with Feature Selection