yusuke1997/dblp-id-title huggingface dataset:
BloothAir: A Secure Aerial Relay System Using Bluetooth Connected Autonomous Drones
Using Machine Learning for Dependable Outlier Detection in Environmental Monitoring Systems
From Trustworthy Data to Trustworthy IoT: A Data Collection Methodology Based on Blockchain
Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences
Toward Battery-Free Wearable Devices: The Synergy between Two Feet
Energy-Efficient ECG Signal Compression for User Data Input in Cyber-Physical Systems by Leveraging Empirical Mode Decomposition
Improving the Security of Visual Challenges
A Dependable Time Series Analytic Framework for Cyber-Physical Systems of IoT-based Smart Grid
Techniques for Enhancing Security in Industrial Control Systems
SHIELD: Security-Aware Scheduling for Real-Time DAGs on Heterogeneous Systems
Looking Under the Hood of Z-Wave: Volatile Memory Introspection for the ZW0301 Transceiver
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction
Research Progress and Challenges on Application-Driven Adversarial Examples: A Survey
A Two-Speed Synchronous Traffic Protocol for Intelligent Intersections: From Single-Vehicle to Platoon Crossing
Data-driven Distributionally Robust Optimization For Vehicle Balancing of Mobility-on-Demand Systems
Securing Communication Data in Pervasive Social Networking Based on Trust with KP-ABE
A Case Study on Improving Capacity Delivery of Battery Packs via Reconfiguration
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks
Adaptive Time-Delay Control for Cooperative Platooning Considering Slip
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models
Improved LDA Dimension Reduction Based Behavior Learning with Commodity WiFi for Cyber-Physical Systems
A System-level Behavioral Detection Framework for Compromised CPS Devices: Smart-Grid Case
Planning for Automated Vehicles with Human Trust
Dependability in Cyber-Physical Systems and Applications
Holistic Cyber-Physical Management for Dependable Wireless Control Systems
Cyber-Physical Specification Mismatches
A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint
Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT
OS-Aware Automotive Controller Design Using Non-Uniform Sampling
System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software
Introduction to the Special Issue on User-Centric Security and Safety for CPS
Traffic-type Assignment for TSN-based Mixed-criticality Cyber-physical Systems
Introduction to the Special Issue on Time for CPS (TCPS)
Scaling beyond Bandwidth Limitations: Wireless Control with Stability Guarantees under Overload
A Reliable Wireless Protocol for Highway and Metered-Ramp CAV Collaborative Merging with Constant-Time-Headway Safety Guarantee
Path Planning for UAVs under GPS Permanent Faults
Dynamic Security Analysis of Power Systems by a Sampling-Based Algorithm
CASCADE: An Asset-driven Approach to Build Security Assurance Cases for Automotive Systems
Introduction to the Special Issue on Human-interaction-aware Data Analytics for Cyber-physical Systems
Building Virtual Power Meters for Online Load Tracking
Optimal Control of PEVs with a Charging Aggregator Considering Regulation Service Provisioning
A Comprehensive Threat Modelling Analysis for Distributed Energy Resources
Reliable Communication and Latency Bound Generation in Wireless Cyber-Physical Systems
The Wireless Control Bus: Enabling Efficient Multi-Hop Event-Triggered Control with Concurrent Transmissions
Introduction to the Special Issue on ICCPS 2023
How Hard Is Cyber-risk Management in IT/OT Systems? A Theory to Classify and Conquer Hardness of Insuring ICSs
Taming the State-space Explosion in the Makespan Optimization of Flexible Manufacturing Systems
Cyber-Physical AI: Systematic Research Domain for Integrating AI and Cyber-Physical Systems
Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical Systems
Continuous Operator Authentication for Teleoperated Systems Using Hidden Markov Models
Mitigating Over-Generalization in Anomalous Power Consumption Detection using Adversarial Training
Long-Term Event Processing over Data Streams in Cyber-Physical Systems
SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors
Pattern-based Interactive Configuration Derivation for Cyber-physical System Product Lines
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart
DeResolver: A Decentralized Conflict Resolution Framework with Autonomous Negotiation for Smart City Services
Metagames and Hypergames for Deception-Robust Control
Quantifying the Utility-Privacy Tradeoff in the Internet of Things
Inferring Smart Schedules for Dumb Thermostats
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations
Remote Perception Attacks against Camera-based Object Recognition Systems and Countermeasures
A Cyber-Physical System to Improve the Management of a Large Suite of Operating Rooms
Exploring Power Usage and Inference Speed Evaluation of Low-power Clustered Many-core Platforms
Introduction to the Special Issue on Security and Privacy for Connected Cyber-physical Systems
Graph-Based Deadlock Analysis and Prevention for Robust Intelligent Intersection Management
Formal Verification of Medical CPS: A Laser Incision Case Study
National-scale Traffic Model Calibration in Real Time with Multi-source Incomplete Data
Designing a Controller with Image-based Pipelined Sensing and Additive Uncertainties
An Error Protection Protocol for the Multicast Transmission of Data Samples in V2X Applications
Fundamental Limits of Cyber-Physical Systems Modeling
Cyber Threat Impact Analysis to Air Traffic Flows Through Dynamic Queue Networks
On Modularity in Reactive Control Architectures, with an Application to Formal Verification
Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems
Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults
Dependable Deep Computation Model for Feature Learning on Big Data in Cyber-Physical Systems
Data Sets, Modeling, and Decision Making in Smart Cities: A Survey
BuildingRules: A Trigger-Action-Based System to Manage Complex Commercial Buildings
Hybrid Optimal Control under Mode Switching Constraints with Applications to Pesticide Scheduling
Integrating Security in Resource-Constrained Cyber-Physical Systems
PARD: A Dataflow Aware Profiler for ROS-Based Autonomous Driving Software
CSIP: A Synchronous Protocol for Automated Vehicles at Road Intersections
Characterizing and Improving Resilience of Accelerators to Memory Errors in Autonomous Robots
Learning from Non-experts: An Interactive and Adaptive Learning Approach for Appliance Recognition in Smart Homes
Control Performance Analysis of Automotive Cyber-physical Systems: A Study on Efficient Formal Verification
Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments
CANOA: CAN Origin Authentication through Power Side-channel Monitoring
A Limb Tracking Platform for Tele-Rehabilitation
A Deep Time Delay Filter for Cooperative Adaptive Cruise Control
VIoLET: An Emulation Environment for Validating IoT Deployments at Large Scales
Heterogeneous Model Integration for Multi-Source Urban Infrastructure Data
Testing Deep Learning-based Visual Perception for Automated Driving
Distributed Scheduling of Event Analytics across Edge and Cloud
On Exploiting Structured Human Interactions to Enhance Sensing Accuracy in Cyber-physical Systems
Preserving Secrecy in Mobile Social Networks
How to Train Your Quadrotor: A Framework for Consistently Smooth and Responsive Flight Control via Reinforcement Learning
RollBack: A New Time-Agnostic Replay Attack Against the Automotive Remote Keyless Entry Systems
Socially Aware Path Planning for a Flying Robot in Close Proximity of Humans
Extensive Analysis of a Real-Time Dense Wired Sensor Network Based on Traffic Shaping
HPRoP: Hierarchical Privacy-preserving Route Planning for Smart Cities
A Mobile Health System for Neurocognitive Impairment Evaluation Based on P300 Detection
Adaptive Real-Time Scheduling of Cyber-Physical Energy Systems
Cyber-physical Support of Daily Activities: A Robot/Smart Home Partnership
Dynamic Bicycle Dispatching of Dockless Public Bicycle-sharing Systems Using Multi-objective Reinforcement Learning
Real-Time Cooling Power Attribution for Co-Located Data Center Rooms with Distinct Temperatures and Humidities
Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard
Extending Isolation Forest for Anomaly Detection in Big Data via K-Means
I Think Therefore You Are: Models for Interaction in Collectives of Self-aware Cyber-physical Systems
An End-to-End Solution for Public Transit Stationing and Dispatch Problem
Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods
Cyber Physical Games: Rational Multi-Agent Decision-Making in Temporally Non-Deterministic Environments
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design
Characterizing the Effect of Mind Wandering on Braking Dynamics in Partially Autonomous Vehicles
TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems
Event-Based Mobility Modeling and Analysis
Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS
Interpretable Latent Space for Meteorological Out-of-Distribution Detection via Weak Supervision
On Cyber-Physical Fault Resilience in Data Communication: A Case From A LoRaWAN Network Systems Design
QuickLoc: Adaptive Deep-Learning for Fast Indoor Localization with Mobile Devices
A Novel Approach for Deploying Minimum Sensors in Smart Buildings
Localization of Data Compromised by Hardware Attacks in Machine Learning Enabled Cyber-Physical Edge Devices
Control Software Engineering Approaches for Cyber-Physical Systems: A Systematic Mapping Study
Security in Centralized Data Store-based Home Automation Platforms: A Systematic Analysis of Nest and Hue
Switching and Data Injection Attacks on Stochastic Cyber-Physical Systems: Modeling, Resilient Estimation, and Attack Mitigation
TruckSTM: Runtime Realization of Operational State Transitions for Medium and Heavy Duty Vehicles
TangleCV: A Distributed Ledger Technique for Secure Message Sharing in Connected Vehicles
User Placement and Optimal Cooling Energy for Co-working Building Spaces
Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees
From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications
MC-Safe: Multi-channel Real-time V2V Communication for Enhancing Driving Safety
CANOPY: A Verifiable Privacy-Preserving Token Ring-Based Communication Protocol for Smart Homes
REMaQE: Reverse Engineering Math Equations from Executables
DistressNet-NG: A Resilient Data Storage and Sharing Framework for Mobile Edge Computing in Cyber-Physical Systems
Data-Driven Parameterized Corner Synthesis for Efficient Validation of Perception Systems for Autonomous Driving
Foreword for ICCPS'24 Special Issue
Preface to the Special Issue: Toward an Efficient and Effective Internet of Things for Cyber-Physical Systems (Part II)
Introduction to the Special Issue on Security and Privacy in Safety-Critical Cyber-Physical Systems
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies
Improve the Localization Dependability for Cyber-Physical Applications
Discovering Attack Signature and Its Travel Path using Graphical Model in CPS: A Case Study
RESCUE: A Reconfigurable Scheduling Framework for Securing Multi-Core Real-Time Systems
Data Analytics for Managing Power in Commercial Buildings
RSimplex: A Robust Control Architecture for Cyber And Physical Failures
Unsupervised BLSTM-Based Electricity Theft Detection with Training Data Contaminated
On Hiddenness of Moving Target Defense against False Data Injection Attacks on Power Grid
Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems
UACFinder : Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models
Switched Zero Dynamics Attacks on Sampled-Data Systems with Non-Uniform Sampling: Vulnerability and Countermeasures
Crossroads+: A Time-aware Approach for Intersection Management of Connected Autonomous Vehicles
Toward a Scientific and Engineering Discipline of Cyber-Physical Systems
System Resilience through Health Monitoring and Reconfiguration
VehiGAN: Generative Adversarial Networks for Adversarially Robust V2X Misbehavior Detection Systems
Sabotaging Material Extrusion-Based 3D Printed Parts through Low-Magnitude Kinetic Manipulation Attacks
Security Risk Assessments: Modeling and Risk Level Propagation
Differential Privacy and k -Anonymity for Pedestrian Image Data: Impact on Cross-Camera Person Re-Identification and Demographic Predictions
Efficient Multi-Factor User Authentication Protocol with Forward Secrecy for Real-Time Data Access in WSNs
Automated Adversary-in-the-Loop Cyber-Physical Defense Planning
Design and Realization of WInternet: From Net of Things to Internet of Things
Self-aware Power Management for Maintaining Event Detection Probability of Supercapacitor-powered Cyber-physical Systems
Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-physical Systems
A Dynamic Routing Framework for Shared Mobility Services
AcTrak: Controlling a Steerable Surveillance Camera using Reinforcement Learning
Resource-Cost-Aware Fault-Tolerant Design Methodology for End-to-End Functional Safety Computation on Automotive Cyber-Physical Systems
Introduction to Special Issue for ICCPS 2022
Control Communication Co-Design for Wide Area Cyber-Physical Systems
Evaluating Robustness of Learning-Enabled Medical Cyber-Physical Systems with Naturally Adversarial Datasets
Differentially Private Real-Time Pricing Control for Smart Grids
Quantitative Measurement of Cyber Resilience: Modeling and Experimentation
Multi-Agent Deep Reinforcement Learning for Efficient Vehicular Mobility via Federated Fog Computing
Hypergames and Cyber-Physical Security for Control Systems
Introduction to the Special Issue on Transportation Cyber-Physical Systems
QoS-Driven Data Processing Algorithms for Smart Electric Grids
Towards Safe Autonomy in Hybrid Traffic: Detecting Unpredictable Abnormal Behaviors of Human Drivers via Information Sharing
ASHRAY: Enhancing Water-usage Comfort in Developing Regions using Data-driven IoT Retrofits
A User-centric Approach toward Resilient Frequency-regulating Wind Generators
Fast Feedback Control over Multi-hop Wireless Networks with Mode Changes and Stability Guarantees
Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1
A Human-Centered Power Conservation Framework Based on Reverse Auction Theory and Machine Learning
Cyber-Physical System for Energy-Efficient Stadium Operation: Methodology and Experimental Validation
OD1NF1ST: True Skip Intrusion Detection and Avionics Network Cyber-attack Simulation
Carving Out Control Code: Automated Identification of Control Software in Autopilot Systems
Dependable Visual Light-Based Indoor Localization with Automatic Anomaly Detection for Location-Based Service of Mobile Cyber-Physical Systems
CASTNet: A Context-Aware, Spatio-Temporal Dynamic Motion Prediction Ensemble for Autonomous Driving
Adaptive Real-Time Communication for Wireless Cyber-Physical Systems
Cybersecurity Challenges in the Offshore Oil and Gas Industry: An Industrial Cyber-Physical Systems (ICPS) Perspective
Tool Integration for Automated Synthesis of Distributed Embedded Controllers
Anonymous, Fault-Tolerant Distributed Queries for Smart Devices
Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers
Utilizing Game Theory to Optimize In-motion Wireless Charging Service Efficiency for Electric Vehicles
Intrusion Detection Framework for Invasive FPV Drones Using Video Streaming Characteristics
Towards Cyber-Physical Systems Design for Structural Health Monitoring: Hurdles and Opportunities
TOP: Optimizing Vehicle Driving Speed with Vehicle Trajectories for Travel Time Minimization and Road Congestion Avoidance
Stochastic Model Predictive Control-Based Electric Taxi Fleet Coordination under Solar Power Uncertainty
Real-time Adversarial Image Perturbations for Autonomous Vehicles Using Reinforcement Learning
Self-triggered Control with Energy Harvesting Sensor Nodes
DT-DS: CAN Intrusion Detection with Decision Tree Ensembles
Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2
Achieving Robustness and Dropout Fairness with Hierarchical Federated Learning in Smart Grid Infrastructures
Securing the Precision Time Protocol with SDN-enabled Cyclic Path Asymmetry Analysis
IoTranx: Transactions for Safer Smart Spaces
Enabling Distributed Energy Storage by Incentivizing Small Load Shifts
Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations
Edge Computing for Cyber-physical Systems: A Systematic Mapping Study Emphasizing Trustworthiness
A Crowdsensing-based Cyber-physical System for Drone Surveillance Using Random Finite Set Theory
Security, Privacy, and Safety Aspects of Civilian Drones: A Survey
Efficient Encrypted Range Query on Cloud Platforms
Bayesian Spatiotemporal Gaussian Process for Short-term Load Forecasting Using Combined Transportation and Electricity Data
A Survey of Mobile Crowdsensing Techniques: A Critical Component for The Internet of Things
A Collaborative Visual Sensing System for Precise Quality Inspection at Manufacturing Lines
Guest Editorial: Special Issue on Smart Homes, Buildings and Infrastructures
Runtime Adaptation in Wireless Sensor Nodes Using Structured Learning
A Predictive Framework for Dynamic Heavy-Duty Vehicle Platoon Coordination
Introduction to the Special Issue on Automotive CPS Safety & Security: Part 1
Physical Layer Key Generation: Securing Wireless Communication in Automotive Cyber-Physical Systems
Machine Learning-based Intrusion Detection for Smart Grid Computing: A Survey
Message Authentication and Provenance Verification for Industrial Control Systems
Catering to Your Concerns: Automatic Generation of Personalised Security-Centric Descriptions for Android Apps
Drone-Mag: UAV Identification and Authentication via Electromagnetic Emissions
A User-centric Security Solution for Internet of Things and Edge Convergence
Modeling Adversarial Physical Movement in a Railway Station: Classification and Metrics
SLATS: Simultaneous Localization and Time Synchronization
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization
Efficient Holistic Control: Self-awareness across Controllers and Wireless Networks
A Survey on Intersection Management of Connected Autonomous Vehicles
Introduction to the Special Issue on Self-Aware Cyber-physical Systems
CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems
Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments
A Cyber-physical Approach for Emergency Braking in Close-Distance Driving Arrangements
Introduction to the Special Issue on Fault-Resilient Cyber-Physical Systems - Part 2
Tradeoffs in Neuroevolutionary Learning-Based Real-Time Robotic Task Design in the Imprecise Computation Framework
Threat Analysis in Systems-of-Systems: An Emergence-Oriented Approach
Semantic Diverse DMR and TMR for High-Integrity AI-Based Function Efficiency
Efficient Out-of-Distribution Detection Using Latent Space of β -VAE for Cyber-Physical Systems
Demand Response and Smart Buildings: A Survey of Control, Communication, and Cyber-Physical Security
Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation
Cyber Security of Smart-Grid Frequency Control: A Review and Vulnerability Assessment Framework
Experimentation and Implementation of the BFT++ Cyber-Attack Resilience Mechanism for Cyber-Physical Systems
Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures
Feature-Driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things
Preface to the Special Issue: Toward an Efficient and Effective Internet of Things for Cyber-Physical Systems
Assessing the Resilience of Automotive Intrusion Detection Systems to Adversarial Manipulation
LEC-MiCs: Low-Energy Checkpointing in Mixed-Criticality Multicore Systems
Event-Triggered Control with Intermittent Communications over Erasure Channels for Leader-Follower Problems with the Combined-Slip Effect
Assuring Autonomy of UAVs in Mission-critical Scenarios by Performability Modeling and Analysis
Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities
Toward a Distributed Trust Management System for Misbehavior Detection in the Internet of Vehicles
Introduction to the Special Issue on Fault-Resilient Cyber-Physical Systems - Part I
A Probabilistic Approach to Adaptive Protection in the Smart Grid
Human-Interaction-aware Adaptive Functional Safety Processing for Multi-Functional Automotive Cyber-Physical Systems
Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification
A Differentially Private Incentive Design for Traffic Offload to Public Transportation
Research Directions for Cyber Physical Systems in Wireless and Mobile Healthcare
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
Security analysis of ABAC under an administrative model
Cross-Space Conduction Assessment Method of Network Attack Risk under the Strong Coupling Characteristics of Electric Power Cyber Physics
Power of public-key function-private functional encryption
P 2 KASE A 2 - privacy-preserving key aggregate searchable encryption supporting authentication and access control on multi-delegation
Security of weak secrets based cryptographic primitives via the Rényi entropy
Blockchain Analytics Based on Artificial Intelligence: Using Machine Learning for Improved Transaction Analysis
Extended supersingular isogeny Diffie-Hellman key exchange protocol: Revenge of the SIDH
Escrowed decryption protocols for lawful interception of encrypted data
Multidimensional zero-correlation linear cryptanalysis of the block cipher KASUMI
Boosting the Transferability of Ensemble Adversarial Attack via Stochastic Average Variance Descent
Dynamic rule and rule-field optimisation for improving firewall performance and security
Defending against social engineering attacks: A security pattern-based analysis framework
An interpretable semi-supervised system for detecting cyberattacks using anomaly detection in industrial scenarios
Dynamic and secure key management model for hierarchical heterogeneous sensor networks
Securing solar energy-harvesting road-side unit using an embedded cooperative-hybrid intrusion detection system
Crypto-based algorithms for secured medical image transmission
Research on highly non-linear plateaued functions
Self-checking alternating logic bit-parallel gaussian normal basis multiplier with type-t
Scan-based attack tolerance with minimum testability loss: a gate-level approach
Efficient multistage secret sharing scheme using bilinear map
Improved integral cryptanalysis of SPNbox in digital rights management systems
Breaking the hardness assumption and IND-CPA security of HQC submitted to NIST PQC project
Constructing important features from massive network traffic for lightweight intrusion detection
Efficient batch identity-based fully homomorphic encryption scheme in the standard model
Efficient proof of bid validity with untrusted verifier in homomorphic e-auction
Practical attacks on the round-reduced PRINCE
Superposition Attacks on Pseudorandom Schemes Based on Two or Less Permutations
Non-linear error detection for elliptic curve cryptosystems