yusuke1997/dblp-id-title huggingface dataset:
Research on the Smartphone Based eHealth Systems for Strengthing Healthcare Organization
China's Biomedical Scientific Leadership Flows and the Role of Proximity
A Design to Reduce Patients' Cognitive Load for Cancer Risk Calculator
Gradient Boosting Based Prediction Method for Patient Death in Hospital Treatment
Exploring the Effects of Different Incentives on Doctors' Contribution Behaviors in Online Health Communities
Time and Economic Burden of Comorbidities Among COPD Inpatients
Identifying Privacy Leakage from User-Generated Content in an Online Health Community
Zen_Space: A Smartphone App for Individually Tailored Stress Management Support for College Students
The Impact of Physician's Login Behavior on Patients' Search and Decision in OHCs
Influence of Technology Affordance on the Adoption of Mobile Technologies for Diabetes Self-management
Information Systems and Institutional Entrepreneurship: How IT Carries Institutional Changes in Chronic Disease Management
Mobile Cloud Computing as an Alternative for Monitoring Child Mental Disorders
Cost Optimization Estimation of Medical Institutions in the Hierarchical Medical System Based on System Dynamics Model
The Development of a Smart Personalized Evidence Based Medicine Diabetes Risk Factor Calculator
Design of a Mobile Application to Support Non-pharmacological Therapies for People with Alzheimer Disease
EvoFuzz at the SBFT 2024 Tool Competition
Evokex at the SBFT 2024 Tool Competition
DeepUIFuzz: A Guided Fuzzing Strategy for Testing UI Component Detection Models
EvoSuite at the SBST 2022 Tool Competition
WOGAN at the SBST 2022 CPS Tool Competition
TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track
A Comparative Evaluation on the Quality of Manual and Automatic Test Case Generation Techniques for Scientific Software - a Case Study of a Python Project for Material Science Workflows
A Novelty Search and Metamorphic Testing Approach to Automatic Test Generation
HFuzz: Havoc Mode Guided Fuzzing
AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
DeepHyperion-UAV at the SBFT Tool Competition 2024 - CPS-UAV Test Case Generation Track
UTBot Java at the SBST2022 Tool Competition
Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, SBFT 2024, Lisbon, Portugal, 14 April 2024
15th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2022, Pittsburgh, PA, USA, May 9, 2022
14th IEEE/ACM International Workshop on Search-Based Software Testing, SBST 2021, Madrid, Spain, May 31, 2021
SWAT tool at the SBST 2021 Tool Competition
SBFT Tool Competition 2024 - Fuzzing Track
Kex at the SBFT 2024 Tool Competition
EvoMBT at the SBST 2022 Tool Competition
CRAG at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track
Kex at the 2022 SBST Tool Competition
FreneticV at the SBST 2022 Tool Competition
TuneFuzz: Adaptively Exploring Target Programs
IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2025, Ottawa, ON, Canada, April 28-29, 2025
EvoSuiteDSE at the SBST 2021 Tool Competition
GABezier at the SBST 2021 Tool Competition
Learning to Rank for Test Case Prioritization
PASTIS: A Framework for Distributed Ensemble Fuzzing
SBST Tool Competition 2022
OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track
Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding
CAMBA CPS-UAV at the SBFT Tool Competition 2024: CAMBA: Cost-Aware Mutation-Based Test Case Generation for Unmanned Aerial Vehicles
Syntest-JavaScript: Automated Unit-Level Test Case Generation for JavaScript
Deeper at the SBST 2021 Tool Competition: ADAS Testing Using Multi-Objective Search
BandFuzz: A Practical Framework for Collaborative Fuzzing with Reinforcement Learning
Frenetic at the SBST 2021 Tool Competition
SBFT Tool Competition 2024 - Cyber-Physical Systems Track
AmbieGen at the SBFT 2024 Tool Competition - CPS-UAV Track
OptObstacles at the SBFT 2025 Tool Competition - UAV Testing Track
SBFT Tool Competition 2025 - UAV Testing Track
SBFT'25 Competition Report - Fuzzing Track
Data Driven Testing of Cyber Physical Systems
Evosuite at the SBST 2021 Tool Competition
Mimicry-Based Testing of Runtime SQLi Prevention Approaches
Augmenting Search-based Techniques with Static Synthesis-based Input Generation
Automated Boundary Identification for Machine Learning Classifiers
Generator-based Fuzzing with Input Features
Adaptive Test Generation for Unmanned Aerial Vehicles using WOGAN-UAV
KRAKEN-FUZZ: Minimizing Corpus During Ensemble Fuzzing
AmbieGenVAE at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track
Preliminary Evaluation of Path-aware Crossover Operators for Search-Based Test Data Generation for Autonomous Driving
Multi-Phase Taint Analysis for JSON Inference in Search-Based Fuzzing
Kex at the 2021 SBST Tool Competition
SBFT Tool Competition 2024 - Python Test Case Generation Track
TAIiST CPS-UAV at the SBFT Tool Competition 2024
On Evaluating Fuzzers with Context-Sensitive Fuzzed Inputs: A Case Study on PKCS#1-v1.5
SBST Tool Competition 2021
Towards Run-Time Search for Real-World Multi-Agent Systems
UTBot Python at the SBFT Tool Competition 2024
RoadGeom Transformer-SDCTest at the SBFT 2025 Tool Competition - CPS-SDC Regression Testing Track
AmbieGen tool at the SBST 2022 Tool Competition
Beacon: Automated Test Generation for Stack-Trace Reproduction using Genetic Algorithms
Pseudo-Random UAV Test Generation Using Low-Fidelity Path Simulator
AdaFrenetic at the SBST 2022 Tool Competition
SBFT Tool Competition 2024 - CPS-UAV Test Case Generation Track
Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition
SBFT Tool Competition 2025 - CPS-SDC Regression Testing Track
GenRL at the SBST 2022 Tool Competition
Differential Performance Fuzzing of Configuration Options
UtBot at the SBST2021 Tool Competition
EvoFuzz at the SBFT 2025 Java Tool Competition
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems
Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods
Programming Multi-Agent Systems - 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
Bogtrotters in Space
An Awareness Model for Agents in Heterogeneous Environments
Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited Papers
On Herding Artificial Cows: Using Jadex to Coordinate Cowboy Agents
Typing Multi-agent Programs in simpAL
Planning for Interactions among Autonomous Agents
Reinforcement Learning as Heuristic for Action-Rule Preferences
An Interface for Agent-Environment Interaction
Compact and Efficient Agent Messaging
Architectural Design of Component-Based Agents: A Behavior-Based Approach
Multi-Agent Programming Contest 2012 - TUB Team Description
ALBA: A Generic Library for Programming Mobile Agents with Prolog
Dublin Bogtrotters: Agent Herders
Augmenting BDI Agents with Deliberative Planning Techniques
A Mobile Agents Platform: Architecture, Mobility and Security Elements
Implementation Techniques for Solving POMDPs in Personal Assistant Agents
CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents
SMADAS: A Cooperative Team for the Multi-Agent Programming Contest Using Jason
Extending the Capability Concept for Flexible BDI Agent Modularization
Programming Multiagent Systems without Programming Agents
A Tool for Integrated Design and Implementation of Conversations in Multiagent Systems
Space-Time Diagram Generation for Profiling Multi Agent Systems
Specifying and Verifying a MAS: The Robots on MarsCase Study
Evaluation of a Conversation Management Toolkit for Multi Agent Programming
An AgentSpeak Meta-interpreter and Its Applications
Programming MAS with Artifacts
AF-APL - Bridging Principles and Practice in Agent Oriented Languages
PRESAGE: A Programming Environment for the Simulation of Agent Societies
Declarative Agent Programming Support for a FIPA-Compliant Agent Platform
A Programming Framework for Multi-agent Coordination of Robotic Ecologies
A Vision for Multi-agent Systems Programming
JIAC IV in Multi-Agent Programming Contest 2007
A Practical Agent Programming Language
On the Application of Clustering Techniques to Support Debugging Large-Scale Multi-Agent Systems
Action and Perception in Agent Programming Languages: From Exogenous to Endogenous Environments
Verifiable Multi-agent Programs
Conceptual Integration of Agents with WSDL and RESTful Web Services
Probabilistic Behavioural State Machines
Collecting Gold
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
Using Peer-to-Peer Protocols to Enable Implicit Communication in a BDI Agent Architecture
Modularity and Compositionality in Jason
Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs
Agents - The Challenge of Relevance to the IT Mainstream
Exploring Heuristic Action Selection in Agent Programming
eJason: An Implementation of Jason in Erlang
Team Oriented Programming and Proxy Agents: The Next Generation
A Computational Semantics for Communicating Rational Agents Based on Mental Models
Modules as Policy-Based Intentions: Modular Agent Programming in GOAL
A Complete-Computerised Delphi Process with a Multi-Agent System
Programming Verifiable Heterogeneous Agent Systems
Representing Long-Term and Interest BDI Goals
Norm Adoption and Consistency in the NoA Agent Architecture
Software Support for Organised Adaptation
Coordination of Complex Systems Based on Multi-agent Planning: Application to the Aircraft Simulation Domain
A Self-healing Approach to Designing and Deploying Complex, Distributed and Concurrent Software Systems
Golog Speaks the BDI Language
Programming Software Agents as Designing Executable Business Processes: A Model-Driven Perspective
Going for Gold with 2APL
SPACE: A Method to Increase Tracability in MAS Development
Reusable Components for Implementing Agent Interactions
Herding Agents - JIAC TNG in Multi-Agent Programming Contest 2008
Bridging the Gap Between AUML and Implementation Using IOM/T
Multi-Agent Systems: Modeling and Verification Using Hybrid Automata
Developing Agent Interaction Protocols Using Graphical and Logical Methodologies
Reimplementing a Multi-Agent System in Python
Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects
Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages
State Space Reduction for Model Checking Agent Programs
The Multi-Agent Programming Contest 2012
Goal Representation for BDI Agent Systems
Integrating Expectation Monitoring into BDI Agents
Adding Knowledge Updates to 3APL
Implementing Industrial Multi-agent Systems Using JACK
How Situated Is Your Agent? A Cognitive Perspective
Infrastructure for Forensic Analysis of Multi-Agent Based Simulations
MAS: Qualitative and Quantitative Reasoning
Orwell's Nightmare for Agents? Programming Multi-agent Organisations
Towards Reasoning with Partial Goal Satisfaction in Intelligent Agents
AC08 System Description
Coordinating Teams in Uncertain Environments: A Hybrid BDI-POMDP Approach
Toolipse: An IDE for Development of JIAC Applications
Persistent Architecture for Context Aware Lightweight Multi-agent System
An Agent-Based Cognitive Robot Architecture
Developing a Team of Gold Miners Using Jason
Debugging BDI-Based Multi-Agent Programs
A Model-Based Executive for Commanding Robot Teams
Hermes: Implementing Goal-Oriented Agent Interactions
Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
Evaluating Agent-Oriented Programs: Towards Multi-paradigm Metrics
The Multi-agent Programming Contest 2011: A Résumé
Using Jason and M \mathcal{M}oise + to Develop a Team of Cowboys
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)
Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers
Programming Deliberative Agents for Mobile Services: The 3APL-M Platform
LTI-USP Team: A JaCaMo Based MAS for the MAPC 2012
Agent Programming Languages Requirements for Programming Autonomous Robots
Implementing Multi-agent Systems Organizations with INGENIAS
Abstraction for Model Checking Modular Interpreted Systems over ATL
An Open Architecture for Service-Oriented Virtual Organizations
A Toolkit for the Realization of Constraint-Based Multiagent Systems
An Agent Team Based on FLUX for the ProMAS Contest 2007
A Programming Language for Cognitive Agents Goal Directed 3APL
Validation of BDI Agents
Introducing Relevance Awareness in BDI Agents
Atomic Intentions in Jason +
An Organisational Platform for Holonic and Multiagent Systems
Learning to Improve Agent Behaviours in GOAL
MetateM: The Story so Far
Programming Multi-Agent Systems - 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
Developing a Knowledge Management Multi-Agent System Using JaCaMo
A Tool Architecture to Verify Properties of Multiagent System at Runtime
The A&AProgramming Model and Technology for Developing Agent Environments in MAS
Notes on Pragmatic Agent-Programming with Jason
Infrastructure for Forensic Analysis of Multi-Agent Systems
Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
SHABaN Multi-agent Team To Herd Cows
Elements of a Business-Level Architecture for Multiagent Systems
Interoperability for Bayesian Agents in the Semantic Web
Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach
Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers
OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations
Inter-agent Communication in IMAGO Prolog
Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations
Organization and Mobility in Mobile Agent Computing
HactarV2: An Agent Team Strategy Based on Implicit Coordination
A Middleware for Modeling Organizations and Roles in Jade
The Goal Oriented Teams (GORITE) Framework
Conquering Large Zones by Exploiting Task Allocation and Graph-Theoretical Algorithms
Relating Goal and Commitment Semantics
A MultiAgent System for Monitoring Boats in Marine Reserves
Using a Planner for Coordination of Multiagent Team Behavior
Dynamic Self-control of Autonomous Agents
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Debugging Agent Behavior in an Implemented Agent System
Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
Agent-Oriented Control in Real-Time Computer Games
Agent Contest Competition: 4th Edition
Adding Structure to Agent Programming Languages
Agent-Based Computing and Programming of Agent Systems
Asimovian Multiagents: Applying Laws of Robotics to Teams of Humans and Agents
Kerberos-Based Secure Multiagent Platform
A Common Semantic Basis for BDI Languages
Comparing Apples with Oranges: Evaluating Twelve Paradigms of Agency
Agent Contest Competition: 3rd Edition
Towards Simulation-Aided Design of Multi-Agent Systems
From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions
Debugging Agents in Agent Factory
Query Caching in Agent Programming Languages
Programming Multi-Agent Systems - 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Agents Do It for Money - Accounting Features in Agents
A Gaia-Driven Approach for Competitive Multi-Agent Systems
Dynamic network resource optimization in hybrid VLC and radio frequency networks
Performance Evaluation of Multiband CSMA/CA with RTS/CTS for M2M Communication with Finite Retransmission Strategy
A Cost Modeling of High-capacity LTE-advanced and IEEE 802.11ac based Heterogeneous Networks, Deployed in the 700 MHz, 2.6 GHz and 5 GHz Bands
An annulus-based access class barring scheme for stationary machine-type communications devices
Subscription identifier privacy in 5G systems
Persistent store-based dual replication system for distributed SDN controller
CBQoS-Vanet: Cluster-based artificial bee colony algorithm for QoS routing protocol in VANET
Security challenges and methods for protecting critical infrastructure cyber-physical systems
PSO-adaptive power allocation for multiuser GFDM-based cognitive radio networks
Investigating different factors affecting the infection rate of Internet worms
Determining the effectiveness of soil treatment on plant stress using smart-phone cameras
Automation of understanding textual contents in social networks
RBS Activation Schemes for Minimum Power Consumption in Mobile Networks
Evaluation of MAC Protocols with Wake-up Radio for Implantable Body Sensor Networks
Fast Deployment of Services in SDN-based Networks: The Case of Proxy Mobile IPv6
Road Based Mobility with Network Information Services
An SDR platform for performance evaluation of OFDM-based indoor DAS solutions
Analyzing and managing the slot occupancy of car parking by exploiting vision-based urban surveillance networks
Improving simplified multicast forwarding using an elevated relay node
Performance evaluation of CoMP methods under RF calibration errors
VOLTE deployment scenarios: Perspectives and performance assessments
On the beamforming and blind interference threshold estimation in underlay cognitive system
A fast ray tracing algorithm for network planning based on relative coverage computations
Improving Indoor Positioning Accuracy with Dense, Cooperating Beacons
Citizense - A generic user-oriented participatory sensing framework
Distributed monitoring in 6LoWPAN based Internet of Things
Analysis of access network selection ane switching metrics for LTE and WiFi HetNets
Detection techniques for data-level spoofing in GPS-based phasor measurement units
Outage Probability of Cognitive Relay Networks Over Generalized Fading Channels with Interference Constraints
Network Coded MIMO Aided Cooperative Communications in the Ambulance-and-emergency Area
Autonomous localization scheme for mobile sensor networks in fading environments
QoS-aware Node Selection Algorithm for Routing Protocols in VANETs
A dimensioning framework for indoor DAS LTE networks
QoS-aware power allocation for spectrum sharing
Authentic NATFW NSLP Signaling in Next Generation Networks
Consensus-based information synchronization for content-centric networks
Cross-layer Scheduling with Feedback for QoS Support
Client-based and Cross-layer Optimized Flow Mobility for Android Devices in Heterogeneous Femtocell/Wi-Fi Networks
Content/Context-aware Multiple Camera Selection and Video Adaptation for the Support of m-Health Services
Slinging MUD: Manufacturer usage descriptions: How the network can protect things
Analyzing Temporal Scale Behaviour of Connectivity Properties of Node Encounters
Smart mobile system for pregnancy care using body sensors
Minimal throughput maximization for MIMO cognitive radio networks using particle swarm optimization
Distributed time synchronization mechanism for large-scale vehicular networks
Wide-band sensing and optimization for cognitive radio networks using multi-rate sub-Nyquist spectrum sensing (MS3)
A Markov game privacy preserving model in retail applications
Generalized implicit cooperation with slotted contention in cognitive radio wireless sensor networks
Power savings with data rate guarantee in dense WLANs
International Conference on Selected Topics in Mobile & Wireless Networking, MoWNeT 2016, Cairo, Egypt, April 11-13, 2016
Context-aware IPv6 Flow Mobility for Multi-sensor Based Mobile Patient Monitoring and Tele-consultation
Cross-layer design for IEEE 802.11 wireless ad-hoc network utility maximization with active queue management
Performance of smart grid communication in the presence of impulsive noise
Contiki-AMAC - The enhanced adaptive radio duty cycling protocol: Proposal and analysis
GPSR-TARS: Congestion aware geographically targeted remote surveillance for VANETs
Investigation of Stability and Reliability of the Patient's Wireless Temperature Monitoring Device
An identification and prevention of theft-of-service attack on cloud computing
Power Efficient Group Communication in Small Cell Networks
International Conference on Selected Topics in Mobile and Wireless Networking, MoWNet 2014, Rome, Italy, September 8-9, 2014
Towards a modular IoT network model: Low power radio domain use-case in linear-topology wireless sensor network
C3PO: A Spontaneous and Ephemeral Social Networking Framework for a Collaborative Creation and Publishing of Multimedia Contents
Classification and analysis of IEEE 802.15.4 PHY layer attacks
An enhanced TDMA Cluster-based MAC (ETCM) for multichannel vehicular networks
Rate-distortion and Rate-quality Performance Analysis of HEVC Compression of Medical Ultrasound Videos
A Web Platform for Interconnecting Body Sensors and Improving Health Care
Reducing channel load by enhanced contention based forwarding in vehicular networks
Location privacy scheme for VANETs
CBSTM-IoT: Context-based social trust model for the Internet of Things
The evaluation of a predictive forwarding scheme in three-dimensional vehicular communication scenarios
International Conference on Selected Topics in Mobile and Wireless Networking, MoWNeT 2017, Avignon, France, May 17-19, 2017
Lattice reduction and orthogonal space-frequency block code in correlated channels: Performance analysis and new results
Power Consumption Analysis and Dimensioning of UMTS-LTE with Relays
On exploring NFC for half-duplex communication in read/write mode
Novel Scheduling Algorithm for 3GPP Downlink LTE Cellular Network
Taldea a Spontaneous Community-aware Application in Pervasive Environment
Opportunistic SDN-controlled wireless mesh network for mobile traffic offloading
Benefits of the IEEE 802.15.4's MAC layer acknowledgements in Ad-Hoc networks: An experimental analysis
Partial discharge impulsive noise in 735 kV electricity substations and its impacts on 2.4 GHz ZigBee communications
Performance Assessment of an Epidemic Protocol in VANET Using Real Traces
Performance evaluation of IoT protocols under a constrained wireless access network
Extensions and improvements of jump-stay rendezvous algorithms for Cognitive Radios
Power allocation strategies for Non-Orthogonal Multiple Access
Efficient Simulation of Optical Wireless Channel Application to WBANs with MISO Link
Millimeter-wave small-cells traffic off-loading with large-scale antenna arrays for UDN
A Cooperative Beamforming Technique for Body Area Networks
Service Provisioning through Opportunistic Computing in Mobile Clouds
Directional antennas in FANETs: A performance analysis of routing protocols
Performance of WiMAX for smart grid applications
Overlaying machine-to-machine (M2M) traffic over human-to-human (H2H) traffic in OFDMA system: Compressive-sensing approach
Multi-RAT mobile node architecture for efficient handover using software defined network
Bandwidth and contention-aware routing and gateway selection for low-power and lossy networks
Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts
Clustering of Similar Values, in Spanish, for the Improvement of Search Systems
Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning?
Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995, Proceedings
Sensorimotor Domain Approach for Artificial Autonomous Cognitive Development
Image Retrieval by Content Based on a Visual Attention Model and Genetic Algorithms
Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach
Emotional Valence-Based Mechanisms and Agent Personality