yusuke1997/dblp-id-title huggingface dataset:
A neural network powered solution approach for computationally expensive mixed integer programs for bio jet-fuel supply chain network design
Security games on infrastructure networks
Co-simulation of power systems, communication and controls
Control as a service (CaaS): cloud-based software architecture for automotive control applications
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias
A branching model for variability-affected cyber-physical systems
Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making
Astro Cultivators: Autonomous Growth System for Space Farming based on Machine Vision and Multi-Sensor Fusion
Towards hierarchical information architectures in automotive systems
On graph-based feature selection for multi-hop performance characterization in industrial smart water networks
Fault Tolerance on Control Applications: Empirical Investigations of Impacts from Incorrect Calculations
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
Simulation integration platforms for cyber-physical systems
A data-driven synchronization technique for cyber-physical systems
Towards hybrid model predictive control for computationally aware satellite applications
Privacy Friendly Aggregation of Smart Meter Readings, Even When Meters Crash
Identifying the Space Buddies to Track Lost Items
Workshop on Benchmarking Cyber-Physical Networks and Systems, Bench@CPSWeek 2018, Porto, Portugal, April 10, 2018
3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark
Automatic Re-synchronization Controller Analysis within a Multi-Domain Gas Turbine and Power System Model
Reachability Analysis of Transformer-Isolated DC-DC Converters
CarbonKit: Designing A Personal Carbon Tracking Platform
Heterogeneous Social Signals Capturing Real-world Diffusion Processes
Constrained Bayesian Optimization for Automatic Underwater Vehicle Hull Design
Hybrid Automata Model of the Heart for Formal Verification of Pacemakers
Developing a Stress-Testing Platform for Cyber-Physical Water Infrastructure
Formal Verification of a Multi-Basal Insulin Infusion Control Model
Waist Tightening of CNNs: A Case study on Tiny YOLOv3 for Distributed IoT Implementations
Indicator frameworks
Verifying safety of an autonomous spacecraft rendezvous mission
Automated Generation, Verification, and Ranking of Secure SoC Access Control Policies
Big Data Analytics, Data Science, ML&AI for Connected, Data-driven Precision Agriculture and Smart Farming Systems: Challenges and Future Directions
Using S-TaLiRo on Industrial Size AuImmlertomotive Models
Impact of Cyber Attacks on Data Integrity in Transient Stability Control
Supporting the engineering of cyber-physical production systems with the AutomationML analyzer
Direct Verification of Linear Systems with over 10000 Dimensions
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA
Ontological reasoning for consistency in the design of cyber-physical systems
The Fog Makes Sense: Enabling Social Sensing Services with Limited Internet Connectivity
Real-Time Packet-Based Intrusion Detection on Edge Devices
Investigating and Mitigating Contention on Low-End Multi-Core Microcontrollers
Sensing User-Generated Multimedia Traffic
SODA: 6TiSCH Open Data Action
Emerging flood model validation frameworks for street-level inundation modeling with StormSense
AIMED: AI-Mediated Exploration of Design: An Experience Report
RT-METER: a real-time, multi-layer cyber-power testbed for resiliency analysis
Daily multivariate forecasting of water demand in a touristic island with the use of artificial neural network and adaptive neuro-fuzzy inference system
Challenges in set-valued model-predictive control
Autonomous waypoints planning and trajectory generation for multi-rotor UAVs
Verifying a PI Controller using SoapBox and Stabhyli
Towards a methodology and instrumentation toolset for cloud manufacturing
Middleware for a Heterogeneous CAV Fleet
Proceedings of the 2nd International Workshop on Science of Smart City Operations and Platforms Engineering, SCOPE@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017
A Replicator Dynamics method for the Unit Commitment problem
High-level Hybrid Systems Analysis with Hypy
Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019
Improving QoE in Multi-layer Social Sensing: A Cognitive Architecture and Game Theoretic Model
EigenEdge: Real-Time Software Execution at the Edge with RISC-V and Hardware Accelerators
Towards Trusted Apps platforms for open CPS
A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems
A testbed for a smart building: design and implementation
Cross-Platform Comparison of Standard Power System Components used in Real Time Simulation
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
Challenges in Autonomous Vehicle Validation: Keynote Presentation Abstract
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks
Semantics foundations of PsyC based on synchronous Logical Execution Time
DRAEC: An Adaptive Edge Computing Framework for Enforcing Operational Policy in CPS-IoT Systems
Symbiotic CPS Design-Space Exploration through Iterated Optimization
Evaluating Bluetooth Low Energy for IoT
Optimal detection of faulty traffic sensors used in route planning
An Improved Tool of Water Data Analytics for Flowmeters Data: Application to the Barcelona Supra-Municipal Distribution Water Network
Consensus-based distributed state estimation of biofilm in reverse osmosis membranes by WSNs
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions
InterPRET: a Time-predictable Multicore Processor
Dependability assessment of networked embedded software systems
Towards cyber-resilient telecontrol commands using software-defined networking
Over Current Relay Modeling using Modelica with Cross-Verification against a Validated Model
Cyber-Physical Simulation Platform for Security Assessment of Transactive Energy Systems
Spatio-Temporal Modeling of Criminal Activity
Enabling privacy in a gaming framework for smart electricity and water grids
FrankenTrace: Low-Cost, Cycle-Level, Widely Applicable Program Execution Tracing for ARM Cortex-M SoC
K-hop learning: a network-based feature extraction for improved river flow prediction
MVAM: Multi-variant Attacks on Memory for IoT Trust Computing
CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21, 2021
Collaborative Simulation of Heterogeneous Components as a Means Toward a More Comprehensive Analysis of Smart Grids
Using coupled simulation for planning of energy efficient production facilities
Controlling for Unsafe Events in Dense Traffic through Autonomous Vehicles: Invited Talk Abstract
LetSynchronise: An Open-Source Framework for Analysing and Optimising Logical Execution Time Systems
Principles for designed-in security and privacy for smart cities
An End to End Tactile Cyber Physical System Design
Security assessment and impact analysis of cyberattacks in integrated T&D power systems
Verification of Fault-Tolerant Clock Synchronization Algorithms
Studying the effects of weather and roadway geometrics on daily accident occurrence using a multilayer perceptron model
A CPS-enabled architecture for sewer mining systems
Towards Sparse Synchronous Programming in Lua
Bounding the End-to-End Execution Time in Distributed Real-Time Systems: Arguing the case for Deterministic Networks in Lingua Franca
Modeling and Simulation of the Aurora Attack on Microgrid Point of Common Coupling
Cyber-Attacks to Voltage Control Applications via Wide Area Monitoring, Protection and Control System
Large-Scale Linear Systems from Order-Reduction
Toward urban vehicle mobility modeling in Japan
Model-based design for CPS with learning-enabled components
Critical components identification for cyber-physical power systems considering time-varying operational states
Towards model-integrated service-oriented manufacturing execution system
4th International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC'18)
Vehicle Platooning Simulations with Functional Reactive Programming
A Machine Learning Approach to Demographic Prediction using Geohashes
Mining Mobile Sensor Data for Social Behaviors
Verifying Properties of an Electro-Mechanical Braking System
Online management framework for building HVAC systems considering peak shaving and thermal comfort: an experimental study
A Benchmark for Component-based Hybrid Systems Safety Verification
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems
IoTBench: Towards a Benchmark for Low-Power Wireless Networking
Benchmarking Networked Control Systems
2016 International Workshop on Cyber-physical Systems for Smart Water Networks, CySWater@CPSWeek 2016, Vienna, Austria, April 11, 2016
Proceedings of the 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things, Bench@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019
A conceptual model of system of systems
Testing a battery management system via criticality-based rare event simulation
SmartShuttle: a unified, scalable and replicable approach to connected and automated driving in a smart city
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications
HackWrt: Network Traffic-Based Eavesdropping of Handwriting
Adversarial-HD: Hyperdimensional Computing Adversarial Attack Design for Secure Industrial Internet of Things
Information-theoretic abstractions for resource-constrained agents via mixed-integer linear programming
3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, EITEC@CPSWeek 2016, Vienna, Austria, April 11, 2016
Automated inconsistency detection and solution proposals in cyber-physical system networks
Reducing Vulnerability to Cyber-Physical Attacks in Water Distribution Networks
Formal verification of hyperproperties for control systems
A Cognitive Scaling Mixer for Concurrent Ultrasound Sensing and Music Playback in Smart Devices
A middleware architecture for vertical integration
Operating system support for mobile robot swarms
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Optimizing Seismic Retrofit of Bridges: Integrating Efficient Graph Neural Network Surrogates and Transportation Equity
Resource Optimized Hierarchical Split Federated Learning for Wireless Networks
A Digital Twin for Cyber-Physical Energy Systems
Analyzing the Effectiveness of Attack Countermeasures in a SCADA System
Integration of Social Behavioral Modeling for Energy Optimization in Smart Environments
ExSol: Collaboratively Assessing Cybersecurity Risks for Protecting Energy Delivery Systems
Safe CPS from unsafe controllers
1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015
Real-Time Portability in Software-Defined Systems
Mitigating Synchronized Hardware Trojan Attacks in Smart Grids
A Vision for Adaptive and Generalizable Audio-Sensing Systems
Towards collective intelligence system architectures for supporting multi-disciplinary engineering of cyber-physical production systems
Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
MegaFlow2D: A Parametric Dataset for Machine Learning Super-resolution in Computational Fluid Dynamics Simulations
4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems, EITEC@CPSWeek 2018, 10 April 2018, Porto, Portugal
Maximizing Influence Diffusion over Evolving Social Networks
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools
Architecture for logic programing with arrangements of finite-state machines
Exploring weakly-hard paradigm for networked systems
Moving Beyond Competitions: Extending D-Cube to Seamlessly Benchmark Low-Power Wireless Systems
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing
Lessons learned and challenges on benchmarking publish-subscribe IoT platforms
Unsupervised Event Tracking by Integrating Twitter and Instagram
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019
Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud, SWEC@CPSWeek 2015, Seattle, Washington, USA, April 13-16, 2015
Proceedings of the Fourth Workshop on International Science of Smart City Operations and Platforms Engineering, SCOPE@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis
Using ID-Hopping to Defend Against Targeted DoS on CAN
Towards a foundation for a collaborative replicable smart cities IoT architecture
1st CPSWeek Workshop on Declarative Cyber-Physical Systems, DCPS 2016, Vienna, Austria, April 12, 2016
Cyber-Physical Systems for Real-Time Management in the Urban Water Cycle
Industrial Examples of Formal Specifications for Test Case Generation
Demo: a design studio for verification tools
ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria
Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables
A fog architecture for decentralized decision making in smart buildings
ZerOBNL: A framework for distributed and reproducible co-simulation
Integration of heterogeneous small test beds for emulating large-scale smart power grids the emphasis on cyber architectures
A set-theoretic approach for secure and resilient control of Cyber-Physical Systems subject to false data injection attacks
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis
Analysis of a Runtime Data Sharing Architecture over LTE for a Heterogeneous CAV Fleet
Array of things: a scientific research instrument in the public way: platform design and early lessons learned
ARCH-COMP19 Category Report: Stochastic Modelling
Running SpaceEx on the ARCH14 Benchmarks
Computation-aware distributed optimization over networks: a hybrid dynamical systems approach
Real-time capabilities in functional languages
Software-Shaped Platforms
Benchmark Generator for Stratified Controllers of Tank Networks
Web-Based Platform for Evaluation of Resilient and Transactive Smart-Grids
A Game-Theoretic Approach and Evaluation of Adversarial Vehicular Platooning
Minimizing amortized cost of the on-demand irrigation system in smart farms
Crowdsourcing Social Media for Military Operations
Software Introspection for Signaling Social-Cyber Operations
Specification and Verification of Collaborative Transport Robots
Modelling physical impact of cyber attacks
Adversarial Attacks on Adaptive Cruise Control Systems
Trustworthy Authentication for IoT with Human-and-Environment-in-the-Loop
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers
Data integration platform for smart and connected cities
WaterOpt: a method for checking near-feasibility of continuous water supply
Privacy Mindset for Developing Internet of Things Applications for Social Sensing: Software Engineering Challenges
Hybrid Modelling of a Wind Turbine
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Bot Detection in Reddit Political Discussion
Insecure by Design in the Backbone of Critical Infrastructure
A Highly Efficient and Effective Attribute Learning Framework for Road Graph from Aerial Imagery and GPS
Proceedings of the 11th ACM SIGSPATIAL International Workshop on Analytics for Big Geospatial Data, BigSpatial 2023, Hamburg, Germany, 13 November 2023
Processing of Spatial-Keyword Range Queries in Apache Spark
Q-learning Based Simulation Tool for Studying Effectiveness of Dynamic Application of Fertilizer on Crop Productivity
Mobility Agent with SIP Registrar for VoIP Services
New Adaptive Trust Models against DDoS: Back-Up CA and Mesh PKI
Emancipatory Learning via the Internet: A Model for Reducing Maori Socio-Economic Exclusion in Aotearoa/New Zealand
Efficient Iris-Region Normalization for a Video Surveillance System
Message Transferring Model between Mobile Agents in Multi-region Mobile Agent Computing Environment
A Mobile Phone Malicious Software Detection Model with Behavior Checker
Flow Handoff Scheme to Support Group Mobility in Wireless Ad Hoc Networks
mSCTP for Vertical Handover Between Heterogeneous Networks
Efficient Change Detection in Tree-Structured Data
Correlations Between Digital Tools and Humans Cognitive Processes
The Role of Government Policy for Diffusing the High-Speed Internet and the Spreading Economic Effects in Korea
Exploiting Fine Grained Parallelism for Acceleration of Web Retrieval
A Study on Mobile Commerce AAA Mechanism for Wireless LAN
Reliable Real-Time Transport of Stereo Video for Immersive Media Communication
The Framework for the Message Transport Agent in a Web-Based Information System
A Practical RWA Algorithm Based on Lookup Table for Edge Disjoint Paths
An XML-Based 3-Dimensional Graphic Database System
Educational Use of E-mentoring to Encourage Women into Science and Engineering
A Preliminary Study on Multiple Documents Access via Mobile Devices
Symmetric and Asymmetric Cryptography Based Watermarking Scheme for Secure Electronic Commerce via the Internet
Increasing TCP Capacity in Wireless Multihop Networks
Network Management Services in GSMP Open Interface
Use Case Study of Grid Computing with CGSP
A New Incremental Rerouting for Handoff in Wireless ATM Networks
Analysis of Internet Reference Behaviors in the Korean Education
The Virtual Enterprise: Redefining the Concept
Topological-Order Based Dynamic Polling Scheme Using Routing Path for Network Monitoring
Development of a Multipurpose Audio Transmission System on the Internet - To Realize Multiple Audio Communication Scenes
Integrated Scheduling Using Rendezvous Window and Sniff Mode for Wireless Personal Area Networks
Design and Implementation of IPv6-IPv4 Protocol Translation System Using Dynamic IP Address
A Design of Presentation System for Interactive Multimedia Contents Based on Event-Driven Processing Model
Internet at a Crossroads of Education
Market Strategies in the Internet Content Business
SMIL-Based eLearning Wrapper for Incorporating Computer Games on Personalized Multimedia Course Materials
Analysis of User Utility Function in the Combined Cellular/WLAN Environments
A Configuration Algorithm for Supporting VC-merge Concept under the Cell-Based MPLS Network
Merits of Open-Source Resolution to Resolve a Digital Divide in Information Technology
Economically-Motivated Decentralized Control of Eco-Network Computation Platform
Flow in Computer Hacking: A Model
Automatic Generation and Use of Negative Terms to Evaluate Topic-Related Web Pages
Improved Client Authentication Using Session Authentication in the Internet
Leapfrogging form Traditional Government to e-Government
A Nested Token-Based Delegation Scheme for Cascaded Delegation in Mobile Agent Environments
Security Enhancement on Mobile Commerce
Practical Adaptive Routing Schemes Considering Load Balancing in WDM Networks
CESUE: A Cooking Education System in ubiHome Environment
A Robust and Recoverable Tamper Proofing Technique for Image Authentication
On a Video Surveillance System with a DSP by the LDA Algorithm
Fair Real-Time Resource Allocation for Internet End System's QoS Support
A Study on Monitoring and Protecting Computer System against Interception Threat
A Study on Mobile Payment System with United Mileage Using USIM
A Multimedia Service Implementation Using MJPEG and QCELP in Wireless Handset
Web Caching Performance: How Much Is Lost Unwarily?
An Algorithm for Formation and Confirmation of Password for Paid Members on the Internet-Based Telemedicine
A Vision for Improving Mathematics Education in the Internet-Based Society
A Study of the Conduct of Korean IT Participants in Ethical Decision Making
A Design and Implementation of Web-Based Project-Based Learning Support Systems
Compete with the Retailing Giants for Survival: A Procurement Alliance Approach Enabled by Internet Technology
A Novel Conference Key Distribution System with Re-keying Protocol
Staying Put but Going Far: Empowring Online Rural Communities in Malaysia
Intercultural and Multilingual E-Learning to Bridge the Digital Divide
A Flexible Transition Scheme within a Dual Stack Host in IPv4/IPv6 Coexistence Phase
DOC: A Distributed Object Caching System for Information Infrastructure
An Efficient Buffer Allocation Technique for Virtual Lanes in InfiniBand Networks
Reduction of Location Update Traffic Using Virtual Layer in PCS
Appling the AHP Techniques to Electronic Commerce in a Special Attention to Fashion Website Selection
A Method to Monitor a BBS Using Feature Extraction of Text Data
Peer-to-Peer Money: Free Currency over the Internet
Web-Based Instruction Model for Interactive Classroom Learning
Refundable Electronic Cash for Mobile Commerce
Teaching Methods of Web Authoring
Image-Guided Telemedicine System via the Internet
Towards Cyber-democracy: True Representation
Visual Media Retrieval Framework Using Web Service
A PKI-Based Authentication Framework for Next Generation Mobile Internet
TCP Performance Improvement with ACK Pacing in Wireless Data Networks
Block Splitting Indexing for Supporting Containment Queries
An Integrated Medical Information System Using XML
A Web Service-Based Molecular Modeling System Using a Distributed Processing System
Tracking Data Management of Spatial DBMS Using Topology for Location-Based Services
Towards Policy-Based Management QoS in Multicommunicative Education
A Study on Scalable Bluetooth Piconet for Secure Ubiquitous
Web and Communication Technologies and Internet-Related Social Issues - HSI 2005, 3rd International Conference on Human.Society@Internet, Tokyo, Japan, July 27-29, 2005, Proceedings
Detecting Adult Images Using Seven MPEG-7 Visual Descriptors
A Framework of Winner Determination Algorithms for Internet Auctions
Proposal of Social Internetworking
Composition of MPEG-7 Visual Descriptors for Detecting Adult Images on the Internet
Agent-Based Approach to e-Learning: An Architectural Framework
Mesh Simplification for QoS Control in 3D Web Environment
Fast Updatable Indexing Scheme for Structured XML Documents
An Algorithm for Incremental Nearest Neighbor Search in High-Dimensional Data Spaces
Dynamic Order of Rules for RBR Based Network Fault Diagnosis and Recovery System
Challenges in Building Design and the Construction Industry: The Future of Design and Construction in the Internet Age
Vector Graphics Application Using Self-networking and Replaceable Structure in Wireless Handset
T. Kapnoullas, A Virtual Logistics Network and an E-hub as a Competitive Approach for Small to Medium Size Companies
Lossy Compression Tolerant Steganography
A Strategy for Maintaining Client-Based Web Warehouse
Establishment and Assessment of Wide Area Medical Information Network System in Hokkaido
The Human Society and the Internet - Internet Related Socio-Economic Issues, First International Conference, Human.Society@Internet 2001, Seoul, Korea, July 4-6 2001, Proceedings
Robust Authentication of Multimedia Stream over Multicast Network
Impacts and Limitations of Intelligent Agents in Electronic Commerce
Framework of Control Protocol for Relayed Multicast