yusuke1997/dblp-id-title huggingface dataset:
Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints
Modeling and Verifying the TTCAN Protocol Using Timed CSP
11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems
On the Decidability of Disassembling Binaries
Commutability of Design Pattern Instantiation and Integration
Integrating Specification and Programs for System Modeling and Verification
Formally Modeling and Analyzing the Reliability of Composite Service Evolution
Comparative Analysis of Clustering Protocols with Probabilistic Model Checking
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Data Automata in Scala
Value-Passing CCS for Trees: A Theory for Concurrent Systems
Protocol Conformance with Choreographic PlusCal
Automating Language Evolution
Automatic Classification of Bug Reports Based on Multiple Text Information and Reports' Intention
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic
A Tagging Protocol for Asynchronous Testing
Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs
Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
Parameterized Specification and Verification of PLC Systems in Coq
Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP
A Co-Occurrence Recommendation Model of Software Security Requirement
On Syntactic and Semantic Dependencies in Service-Oriented Architectures
GSOS Formalized in Coq
Self-adaptive Intrusion Detection System for Computational Grid
Trace-Based Temporal Verification for Message-Passing Programs
Finding Deep-Hidden Bugs in Android Apps via Functional Semantics Guided Exploration
Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles
A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows
Survivability-Aware Configuration Management of Service-Oriented System Based on Service Dependency
Modeling and Verification of NLSR Protocol using UPPAAL
On-the-Fly Determinization of Bounded Networks of Timed Automata
Towards Automatically Generating Test Paths for Web Application Testing
Improving Adversarial Robustness of Deep Neural Networks via Linear Programming
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking
Termination and Boundedness for Well-Structured Pushdown Systems
Model Checking Software at Compile Time
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver
Specifying Properties for Modular Pi-Calculus
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC
Transferable Optimal-size Fair E-cash with Optimal Anonymity
Evaluating Initial Inputs for Concolic Testing
An Improved Algorithm for Building the Characterizing Set
From Dynamic Condition Response Structures to Büchi Automata
Probabilistic Coordination Language for Component Dynamic Composition
Model Checking Multirate Hybrid Systems with Restricted Convex Polyhedron
Repairing Adversarial Texts Through Perturbation
Test Data Generation for C Programs with String-Handling Functions
Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP
Conditional transition systems with upgrades
A Method to Generate Verification Condition Generator
A Workflow Verification Method Based on Calculus
A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems
A Static Analyser for Resource Sensitive Workflow Models
A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism
Metamorphic Testing of Code Search Engines
Formal specification of security guidelines for program certification
A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq
VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques
Tree-Based Synthesis of Web Test Sequences from Manual Actions
Formal Specification and Probabilistic Verification of SysML Activity Diagrams
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP
Algorithms for Computing Weak Bisimulation Equivalence
2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015
Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram
Realizing Live Sequence Charts in SystemVerilog
Effective Predicate Abstraction for Program Verification
A Semantic Preorder on Refinement and Fairness
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
QoS-Driven Service Composition Modeling with Extended Hierarchical CPN
Observational Models for Linearizability Checking on Weak Memory Models
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking
Bayesian Statistical Model-Checking for Complex Stochastic Systems
Automatic Tagging for Open Source Software by Utilizing Package Dependency Information
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks
Portability of Optimizations from SC to TSO
Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL
An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange
Verifying Preemptive Kernel Code with Preemption Control Support
Measuring the Quality of B Abstract Machines with ISO/IEC 25010
RKC-H: A Rich Knowledge Based Model for Multi-turn Dialogue Generation
A Model-Driven Method for the Development of Web Applications User Interaction Layer
LBI Cut Elimination Proof with BI-MultiCut
Perspectives in Probabilistic Verification
Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving
Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
Verifying Bigraphical Models of Architectural Reconfigurations
An Open Framework for Semantic Code Queries on Heterogeneous Repositories
An Abstract Domain to Infer Linear Absolute Value Equalities
Formal methods for software testing (invited paper)
Approximately Learning Quantum Automata
Discovering Properties about Arrays via Path Dependence Analysis
Automated Test Case Generation Based on Coverage Analysis
Learning Probabilistic Languages by k-Testable Machines
The Bouquet Algorithm for Model Checking Unbounded Until Properties
Fault-Based Test Case Generation for Component Connectors
Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP
On Information Flow Control in Event-B and Refinement
Model Checking Networked Programs in the Presence of Transmission Failures
Algebraic Framework for Synchronous Language Semantics
A Guarded Workflow Language and Its Formal Semantics
Hardware Tripartite Synapse Architecture based on Stochastic Computing
Analysis of WS-BPEL Processes in PRISM
Partition Refinement in Abstract Model Checking
A Three-Dimensional Model for Software Security Evaluation
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems
A Calculus of Higher Order Safe Ambients and Its Bisimulations
Extending Process Algebra with an Undefined Action
Stuttering for Markov Automata
Incorporating Constraints to Software System Survivability Specification and Proof
A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification
A Novel Data-Driven Approach for Generating Verified Loop Invariants
Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China
Formal Verification of Interrupt Injection in a Hypervisor
Verification of Business Process Quality Constraints Based on Visual Process Patterns
Formal Verification and Simulation: Co-verification for Subway Control Systems
Surfing with Fun
AT-ROP: Using static analysis and binary patch technology to defend against ROP attacks based on return instruction
A safety and liveness theory for total reversibility
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach
SCADE 6: A formal language for embedded critical software development (invited paper)
Model Repair for Markov Decision Processes
Vision Module for Mini-robots Providing Optical Flow Processing for Obstacle Avoidance
A Practical Study on the Design of a User-Interface Robot Application
Simulation of Dynamic Path Planning for Real-Time Vision-Base Robots
A SoPC-Based Surveillance System
Ordering of Robotic Navigational Tasks in Home Environment
FPGA-Based Vocabulary Recognition Module for Humanoid Robot
Trends in Intelligent Robotics - 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings
Development of a Micro Quad-Rotor UAV for Monitoring an Indoor Environment
Integrating Robot Design Competitions into the Curriculum and K-12 Outreach Activities
BlogRobot: Mobile Terminal for Blog Browse Using Physical Representation
Human Ear Recognition Using an Integrated Method of ICP and SCM Techniques
Intelligent Technologies for Edutainment Using Multiple Robots
Kinematic Modeling of a Humanoid Soccer-Player: Applied to BIOLOID Premium Type A Robot
Infrared Remote Control with a Social Robot
Dynamic Modeling of Energy Efficient Hexapod Robot's Locomotion over Gradient Terrains
Interdisciplinary Construction and Implementation of a Human Sized Humanoid Robot by Master Students
Novice Learning in Robot Soccer Calibration
Teaching Electronics through Constructing Sensors and Operating Robots
Autonomous Underwater Vehicle for 150m Depth-Development Phases and Hurdles Faced
A Novel Approach of Robust Active Compliance for Robot Fingers
Multiple Robots Coordination and Shooting Strategy in Robotic Soccer Game
Here Comes the Robotic Brain !
Neurodynamic Optimization and Its Applications in Robotics
Devious Chatbots - Interactive Malware with a Plot
Threaded C and Freezer OS
Topology Control in Large-Scale High Dynamic Mobile Ad-Hoc Networks
Fuzzy Basketball Throwing Strength Control System for Vision-Based Humanoid Robot
Tendon Based Full Size Biped Humanoid Robot Walking Platform Design
The Influence of Social Interaction on the Perception of Emotional Expression: A Case Study with a Robot Head
Randomized Circle Detection Performance Based on Image Difficulty Levels and Edge Filters
How Humans Optimize Their Interaction with the Environment: The Impact of Action Context on Human Perception
Ambient Intelligence in a Smart Home for Energy Efficiency and Eldercare
Learning from Analogies between Robotic World and Natural Phenomena
From RoboNova to HUBO: Platforms for Robot Dance
Determination of Optimally Stable Posture for Force Actuator Based Articulated Suspension for Rough Terrain Mobility
Facial Expression Generation Using Fuzzy Integral for Robotic Heads
Task Allocation Design for Autonomous Soccer Robot
Q-Learning Policies for Multi-Agent Foraging Task
Distributed Real Time Control Systems for Deep Water ROV (ROSUB 6000)
Learning of Facial Gestures Using SVMs
Implementations and Controls of a 3-DOF Parallel Link Joint Module
PLEXIL-DL: Language and Runtime for Context-Aware Robot Behaviour
A Proposal of Autonomous Robotic Systems Educative Environment
Attracting Students to Engineering: Using Intuitive HRIs for Educational Purposes
Optimal Features and Classes for Estimating Mobile Robot Orientation Based on Support Vector Machine
A Versatile Kit for Teaching Intelligent Mobile Robots
Applied Complex Motion Planning and Motion Control for Humanoid Robots in Vertical Motion Sceneries
Design and Implementation of Autonomous Navigation System for Mobile Harbors
Development of a Virtual Presence Sharing System Using a Telework Chair
An Efficient Random Walk Strategy for Sampling Based Robot Motion Planners
Time-Varying Affective Response for Humanoid Robots
Anomaly Detection Using Cooperative Fuzzy Logic Controller
Design and Implementation of Stereo Vision Systems Based on FPGA for 3D Information
Adaptive Sliding-Mode Speed Control for Electric Unicycle
Intelligent Robotics Systems: Inspiring the NEXT - 16th FIRA RoboWorld Congress, FIRA 2013, Kuala Lumpur, Malaysia, August 24-29, 2013. Proceedings
Automatic Color Detection for MiroSOT Using Quantum-Inspired Evolutionary Algorithm
RoboWaiter Competition: Linking Robotics Education to Social Responsibility
The Computational Accuracy of Cover Time for Circular Sensing Range
Characteristics of Student Engagement in Robotics
Teamwork and Robot Competitions in the Undergraduate Program at the Copenhagen University College of Engineering
Parameter Estimation of Potential Field Method with Fuzzy Control for Motion Planning of Soccer Robot
Design and Implementation of Big Humanoid Robot Walking Patterns Based on Inverted Pendulum Approach
Footstep Planning Based on Univector Field Method for Humanoid Robot
3D Collision-Free Trajectory Generation Using Elastic Band Technique for an Autonomous Helicopter
Boosting Based Fuzzy-Rough Pattern Classifier
Image Classification Using Optimized Synergetic Neural Network
Motion and Emotional Behavior Design for Pet Robot Dog
Vision-Based Robot Manipulator Design
Implementation of Multi Robot Communication via Bluetooth
Multi Block Localization of Multiple Robots
Virtual Door-Based Coverage Path Planning for Mobile Robot
Transformative Robotic Education for the Realization of Malaysia National Philosophy of Education
Programming the Goalkeeper of 20 DOF for FIRA Cup
Gait Planning of Humanoid Robots Walking on Stairs
Object Class Recognition Using Surf Descriptors and Shape Skeletons
Teen Sized Humanoid Robot: Archie
Walking Pattern Generator Using an Evolutionary Central Pattern Generator
A New Dynamic Edge Detection toward Better Human-Robot Interaction
Tacit Navigation Method for Multi-agent System
Wavelet Based Medical Image Fusion Using Filter Masks
UAV Dynamic Path Planning for Intercepting of a Moving Target: A Review
The Co-simulation of Humanoid Robot Based on Solidworks, ADAMS and Simulink
Multiple Sensor Based Autonomous Monitoring and Control for Energy Efficiency
Towards Humanlike Social Touch for Prosthetics and Sociable Robotics: Three-Dimensional Finite Element Simulations of Synthetic Finger Phalanges
An Algorithm for Sensory Area Coverage by Mobile Robots Operating in Complex Arenas
Positional Consensus of Multi-Agent Systems Using Linear Programming Based Decentralized Control with Rectilinear Decision Domain
An Exploratory Investigation into the Effects of Adaptation in Child-Robot Interaction
Ad-Hoc Communication and Localization System for Mobile Robots
Navigation of Autonomous Underwater Vehicle Using Extended Kalman Filter
Portable and Fast Vision System Implementation Using LabVIEW
Face Recognition Using ALLE and SIFT for Human Robot Interaction
A Robot Localization Method Based on Laser Scan Matching
An Improved Method for Real-Time 3D Construction of DTM
A Comparison between Growing and Variably Dense Self Organizing Maps for Incremental Learning in Hubel Weisel Models of Concept Representation
Teaching Basic Probability Concept Using SocSim Robot Soccer Simulator: An Approach
Stable Dynamic Walking Gait Humanoid
Navigation and Position Control of Underwater Vehicle ROSUB 6000
BeBot: A Modular Mobile Miniature Robot Platform Supporting Hardware Reconfiguration and Multi-standard Communication
Codebook Model for Real Time Robot Soccer Recognition: A Comparative Study
A Fast Identification Algorithm with Skewness Noises under Box-Cox Transformation-Based Annealing Robust Fuzzy Neural Networks
Development of Simulator for AndroSot in FIRA
Imitation Learning from Humanoids in a Heterogeneous Setting
Design and Implementation of SOPC Based Motion Control for Human-Sized Biped Robot
Efficient Face Recognition Technique with Aid of Active Appearance Model
Mutually Augmented Cognition
System Design for Semi-automatic AndroSot
Grounding Robot Autonomy in Emotion and Self-awareness
Mechanical Design of Small-Size Humanoid Robot: TWNHR-VI
Dynamic Patrol Planning in a Cooperative Multi-robot System
Task-Based Flocking Algorithm for Mobile Robot Cooperation
Programming Microcontroller via Hierarchical Finite State Machine
Fostering Development of Students' Collective and Self-efficacy in Robotics Projects
Arm Gesture Generation of Humanoid Robot Mybot-KSR for Human Robot Interaction
Multi Agent Reinforcement Learning for Gridworld Soccer Leadingpass
Experiences with a Barista Robot, FusionBot
Formations Strategies for Obstacle Avoidance with Multi Agent Robotic System
Control System Development for One-Side Hip-Knee Joint of Reciprocating Gait Orthosis
Equivalent Relationship of Feedforward Neural Networks and Real-Time Face Detection System
Simulation-Based Analysis and Experimental Verification of Chaotic Circuits
Neural Network Control of Nonlinear Time-Delay System with Unknown Dead-Zone and Its Application to a Robotic Servo System
Next Wave in Robotics - 14th FIRA RoboWorld Congress, FIRA 2011, Kaohsiung, Taiwan, August 26-30, 2011. Proceedings
Set of Fuzzy Systems for Computation of Pass Optimality in Robot Soccer Strategy
Robotic Implementation of Realistic Reaching Motion Using a Sliding Mode/Operational Space Controller
BunnyBot: Humanoid Platform for Research and Teaching
Face Detector Design for an Expression Robot
Depth Estimation Using Variant of Depth of Field by Horizontal Planes of Sharp Focus
Towards Better Human Robot Interaction: Understand Human Computer Interaction in Social Gaming Using a Video-Enhanced Diary Method
Robot Pose and Velocity Estimation Using a Binocular Vision
Progress in Robotics - FIRA RoboWorld Congress 2009, Incheon, Korea, August 16-20, 2009. Proceedings
From an Idea to a Working Robot Prototype: Distributing Knowledge of Robotics through Science Museum Workshops
AMiRESot - A New Robot Soccer League with Autonomous Miniature Robots
Towards Humanlike Social Touch for Prosthetics and Sociable Robotics: Handshake Experiments and Finger Phalange Indentations
Safety Aspects in a Human-Robot Interaction Scenario: A Human Worker Is Co-operating with an Industrial Robot
A Fuzzy PID Controller Based on Hybrid Optimization Approach for an Overhead Crane
The Real-Time Embedded System for a Humanoid: Betty
Taguchi Method Optimization for PCB Lamination Process
Real Time Vision Based Object Detection from UAV Aerial Images: A Conceptual Framework
SOPC Based Human Biped Motion Tracking Control for Human-Sized Biped Robot
Stuctural Design of Walking and Mathematical Model of Humanoid Robot MC - 01
Soty-Segment: Robust Color Patch Design to Lighting Condition Variation
Rectilinear Path Following in 3D Space
Path Planning Algorithm Based on the Limit-Cycle Navigation Method Applied to the Edge of Obstacles
Design of High Power Density DC-DC Converter for Robots
Robots as a Tool for Teaching Differential Equations
Integration of a RFID System in a Social Robot
An Adaptive Component Model for Autonomous Mobile Robots
Optimal Trajectory Generation for Walking Up and Down a Staircase with a Biped Robot Using Genetic Algorithm (GA)
The Adaptive Algorithm of the Light Intensity Applied to Androsot
Advances in Robotics, FIRA RoboWorld Congress 2009, Incheon, Korea, August 16-20, 2009. Proceedings
Multiagents System with Dynamic Box Change for MiroSot
Measure the Ability and Limitation of Gyroscope, Acceleration and Gyro-accelaration for Stabilized Platform
Motivation and Context-Based Multi-Robot Architecture for Dynamic Task, Role and Behavior Selections
Toward Safe Human Robot Interaction: Integration of Compliance Control, an Anthropomorphic Hand and Verbal Communication
A Course Programme in Mobile Robotics with Integrated Hands-on Exercises and Competitions
A Study on Stereo and Motion Data Accuracy for a Moving Platform
Grammatical Evolution Algorithm for Position Prediction of the Ball in Robot-Soccer Goal Keeper Optimization
Analysis of Spatially Limited Local Communication for Multi-Robot Foraging
Distributed Motion Synchronisation Control of Humanoid Arms
Safety Aspects for Underwater Vehicles
PSO-Optimized Fuzzy Logic Controller for a Single Wheel Robot
Autonomous Vertical Profiler Data Management
Topological SLAM Using Fast Vision Techniques
Hand Posture Recognition Using Neuro-Biologically Inspired Features
Planar Robot Position and Orientation Measurement Using a Monocular Vision
Robots as Adjunct Therapy: Reflections and Suggestions in Rehabilitation for People with Cognitive Impairments
Client Server System for MiroSot Robot Soccer
Not Just "Teaching Robotics" but "Teaching through Robotics"
Analysis and Study of Human Joint Torque and Motion Energy during Walking on Various Grounds
Mechatronics Education: From Paper Design to Product Prototype Using LEGO NXT Parts
Determination of Gender and Age Based on Pattern of Human Motion Using AdaBoost Algorithms
Applications of Fuel Cell Power Management System for Robot Vehicles
A Study on Control of a Small Fuel Cell Power Supply System for Robots
Intelligent Systems and Its Applications in Robotics
Extended TA Algorithm for Adapting a Situation Ontology
Korea's Robotland: Merging Intelligent Robotics Strategic Policy, Business Development, and Fun
Investigating the Effects of Gain and Loss of Esteem on Human-Robot Interaction
Frontier Based Multiple Goal Search in Unknown Environments
Error Analysis in Applying Fuzzy Logic Based Obstacle Avoidance Algorithm for Robot Soccer
Task and Role Selection Strategy for Multi-robot Cooperation in Robot Soccer
Control Architecture for AUV-150: A Systems Approach
Dynamic Modeling and Optimal Foot Force Distribution of Quadruped Walking Robot
Options and Pitfalls in Embedded Systems Development for Intelligent Humanoid Robots
An Intelligent Algorithm for the Path Planning of Autonomous Mobile Robot for Dynamic Environment
Interaction Design for a Pet-Like Remote Control
Motion Recognition in Wearable Sensor System Using an Ensemble Artificial Neuro-Molecular System
Multi-Agent Rendezvous Algorithm with Rectilinear Decision Domain
A Gait Generation for an Unlocked Joint Failure of the Quadruped Robot with Balance Weight
An Integer-Coded Chaotic Particle Swarm Optimization for Traveling Salesman Problem
Intelligent Motion Control for Four-Wheeled Omnidirectional Mobile Robots Using Ant Colony Optimization
Detecting Underlying Stance Adopted When Human Construe Behavior of Entities
Camera Calibration: Transformation Real-World Coordinates into Camera Coordinates Using Neural Network
Framework for Measuring Effectiveness of Preventive Maintenance for Velocity of Robot Soccer
A Simple Momentum Controller for Humanoid Push Recovery
USAR Robot Communication Using ZigBee Technology
A Motion Tutoring System by Using Virtual-Robot and Sensors
Design a Remote Environment Monitor Embedded System Based on SOPC
Remote Education Based on Robot Edutainment
Optimum Iris Opening for Soccer Robot Detection under Un-uniform Lighting
Fuzzy-PI Force Control for Industrial Robotics
A Study on the Motion Energy of Biped Robot Walking on Different Postures
Promotion of Efficient Cooperation by Sharing Environment with an Agent Having a Body in Real World
Distributed Search of Game Trees
A Path Information Caching and Aggregation Approach to Traffic Source Identification
An Application for a Distributed Computer Architecture - Realtime Data Processing in an Autonomous Mobile Robot
Benchmarking Deep Learning Frameworks: Design Considerations, Metrics and Beyond
Certificate Dispersal in Ad-Hoc Networks
LLMSched: Uncertainty-Aware Workload Scheduling for Compound LLM Applications
Distributed Implementation of Multi-Rendezvous in LOTOS Using the Orthogonal Communication Structure in Linda
File Versioning for Block-Level Continuous Data Protection
MUSIC: Multi-Site Critical Sections over Geo-Distributed State
A Real-Time Algorithm for Fair Interprocess Synchronization
On the Power of Weaker Pairwise Interaction: Fault-Tolerant Simulation of Population Protocols
Online Resource Allocation for Arbitrary User Mobility in Distributed Edge Clouds
A Parity-Based Data Outsourcing Model for Query Authentication and Correction
Function Allocation in a Thightly Coupled Signal Multiprocessor
Efficient Data Forwarding in Mobile Social Networks with Diverse Connectivity Characteristics