yusuke1997/dblp-id-title huggingface dataset:
E-Business bei Finanzdienstleistern - warum dominieren integrierte Modelle?
Online-Algorithmus für die Steuerung einer Kommissionierung mit dynamischer Bereitstellung für die After-Sales-Distribution in der Automobilzulieferindustrie
Praxiserprobte Konzepte für erfolgreiches E-Commerce
Produktdatenmanagement für Dienstleistungen
Softwareauswahl in EAI-Szenarien
Typologie und Erfolgsfaktoren von Verlagerungsprojekten
Softwaregestützte, integrierte Produktionsterminierung und Transportplanung
Logistik zeitnah gestalten
Aktuelle Trends in der Logistik unter dem Einfluss von E-Commerce
Finanzkommunikation börsennotierter Unternehmen im Internet - Bestandsaufnahme und Trends
Referenzmodelle für das E-Business
Logistikkooperationen im internationalen Katastrophenmanagement
Performance Controlling mithilfe von Condition Monitoring
Methoden und Instrumente für die robuste Planung von Produktionsprozessen im Wertschöpfungssystem
E-Business in Energieversorgungsunternehmen
Bedeutung des Katalog Management für E-Business und Supply Chain Management
Tourenplanung in einer Distributionskooperation komplementärer Lieferanten
Collaborative Engineering - Fiktion oder Realität?
Neue Geschäftspotentiale und Wertschöpfungsketten durch E-Business
Erfolg im E-Commerce durch innovative Kooperationslösungen im Online-Vertrieb
Bereitstellung recyclingrelevanter Produktdaten im Rahmen eines stoffstrombasierten Supply Chain Managements
Innovationen im E-Business, 5. Paderborner Frühjahrstagung des Fraunhofer-Anwendungszentrums für Logistikorientierte Betriebswirtschaft, 10.4.2003, Paderborn, Germany
Flexible Supply Chains im Fahrzeugersatzteilbereich
Collaborative Engineering - ein erfolgversprechendes Konzept zur Integration von Lieferanten in die Produktentwicklung
Konzeption und Implementierung einer IT-Lösung för das Product Life Cycle Management in der Automobilzulieferer Industrie
IT am Scheidepunkt
Integrierte Planung von Produktion und Transport: Modellierung und Fallstudie zur zukünftigen Rolle von 4PL
Produktlebenszyklus- und Produktdatenmanagement im Umfeld betrieblicher Informationssysteme
E-Businessstrategie eines weltweit tätigen Bremsenherstellers
Interoperabilität, Metamarktplätze und agentenbasierte Arbitrageure
Systemunterstütztes strategisches Prognose Management am Beispiel von SAP APO
Ergebnisorientierte Optimierung der werksöbergreifenden Wertschöpfungskette eines Stahl- & Rohrproduzenten durch einen ganzheitlichen Supply ChainManagement Ansatz
Eine Methodik für das Bedarfs- und Kapazitätsmanagement bei variantenreichen Serienprodukten
Netsourcing Implementation Program
xpressCRM, die syskoplan-Methodik zur erfolgreichen CRM-Einfürung
Flexible Integration in Supply Chains auf Basis von Web Services
Innovationscontrolling in Supply Networks
Cost-Efficient Risk Management with Reserve Repair Crew Planning in CLOUD Computing
Implementation of Fuzzy Decision Based Mobile Robot Navigation Using Stereo Vision
Analysis of Demographic Characteristics Creating Coronary Artery Disease Susceptibility Using Random Forests Classifier
A Cloud to Mobile Application for Consumer Behavior Modification
Gaussian Mixture Distribution Analysis as Estimation of Probability Density Function and it's the Periphery
An Evaluation of Security and Privacy Threats for Cloud-based Applications
A Big Data Dashboard for Urban Mobility
Modeling Firewalls for Behavior Analysis
Integration of Object Oriented Host Program with Network DBMS
Fuzzified Expert System for Employability Assessment
Soft Computing Methodology for Software Evaluation
A Secure Healthcare System: From Design to Implementation
MRAI Optimization for BGP Convergence Time Reduction without Increasing the Number of Advertisement Messages
Arabic Ontology Model for Financial Accounting
A Parametric Empirical Bayes Model to Predict Software Reliability Growth
CLOUD Computing: Cost-effective Risk Management with Additional Product Deployment
Impulsive Noise Cancellation of ECG signal based on SSRLS
A Distinctive Genetic Approach for Test-Suite Optimization
E-learning Systems Based on Cloud Computing: A Review
A Programming Environment for Visual Block-Based Domain-Specific Languages
The Impact of Search Algorithms in Automated Program Repair
Multi-View Human Action Recognition Using Wavelet Data Reduction and Multi-Class Classification
Evolution of Modern Management through Taylorism: An Adjustment of Scientific Management Comprising Behavioral Science
Strategic Accumulation and Organization of the Polish Contexts in Research Document Creation
An Optimized Genetic Stowed Biometric Approach to Potent QOS in MANET
Quality Assurance through Rigorous Software Specification and Testing: A Case Study
Usability Evaluation of Tadarus: Student Perceptions
A Suigeneris Automated Software Testing Methodology
Hybrid Analysis of Audience Gaze and Slide Construction to Obtain the Clues for Improving Presentations
ANN Based Robotic Arm Visual Servoing Nonlinear System
Domain Model Validation of Context-aware Mobile Patient Monitoring Systems
ASIC Implementation for Improved Character Recognition and Classification using SNN Model
Combinatorial Methods in Software Testing
Requirement Management in Agile Software Environment
Knowledge Representation through Graphs
Impact on SDN Powered Network Services Under Adversarial Attacks
High-Level Representation of Time in Diagrammatic Specification
Tagged-Sub Optimal Code (TSC) Compression for Improving Performance of Web Services
Towards a Knowledge Based Approach to Style Driven Architecture Design
Precepts and Evolvability of Complex Systems
2-Bit Branch Predictor Modeling Using Markov Model
A Review of Evaluation Methods and Techniques for Simulation Packages
Simulation Studies for Analysis of Inherent Resilience Properties of an Amine Regeneration Column used in a Gas Sweetening Unit
A Theoretical Framework for the Maintainability Model of Aspect Oriented Systems
Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications
DTD2OWL 2 : A New Approach for the Transformation of the DTD to OWL
New Theory for Code-translation; Punctuator and Qualifier as Two Token Categories and Supplementary Concepts of Programming
Predicting Unit Testing Effort Levels of Classes: An Exploratory Study based on Multinomial Logistic Regression Modeling
Validation of Usability Driven Web based Software Process Model using Simulation
Using Essence Reflection Meetings in Team-based Project Courses
Ranking of Fuzzy Similar Faces Using Relevance Matrix and Aggregation Operators
A New Competitive Intelligence-based Strategy for Web Page Search
Revealing of Earth Quake Magnitude Using Seismic Signals and Wavelet Transforms
A Review of the Advances in Cyber Security Benchmark Datasets for Evaluating Data-Driven Based Intrusion Detection Systems
Using First-Order Logic to Query Heterogeneous Internet Data Sources
Developing a Novel Holistic Taxonomy of Security Requirements
A Study on the Limitations of Evolutionary Computation and other Bio-inspired Approaches for Integer Factorization
A Hierarchical Method for Solving Soft Nonlinear Constraints
Mobile Platform Detect and Alerts System for Driver Fatigue
Analysis of a Monte Carlo Tree Search in Knight-Amazons
High Speed Database Sequence Comparison
Fuzzy Measures in Multi-Criteria Decision Making
A Web based System for Cricket Talent Identification, Enhancement and Selection (C-TIES)
An Introduction to Multi-trapdoor Hash Functions and It's Applications
A Review of the Applications of Bio-inspired Flower Pollination Algorithm
Satellite Derived pH Estimation for Acidity in Precipitation Using Water Vapor and Nitrogen Dioxide Imagery
Evaluation of Visualization of a Fuzzy-Based Recommender System for Political Community-Building
ABCE: A Novel Framework for Improved Branch Coverage Analysis
A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models
CLOURA: CLOUD Risk Assessor (with Stochastic & Non-Stochastic Simulations)
An Ameliorated Methodology to Abstract Object Oriented Features from Programming System
Automated Business Rules Transformation into a Persistence Layer
Unequal Clustering by Improved Particle Swarm Optimization in Wireless Sensor Network
An Ameliorated Methodology for the Abstraction of Object Oriented Features from Software Requirements Specification
An Analysis of Software Reliability Assessment with Neuro-Fuzzy based Expert Systems
Exploring a Context-based Network Access Control for Mobile Devices
Impact of Developer Choices on Energy Consumption of Software on Servers
OWA based Book Recommendation Technique
Big Data- Is a Turnkey Solution
Jitter Buffer Modelling and Analysis for TDM over PSN
Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, SCSE'15, Berkeley, CA, USA, March 5-6, 2015
Towards Search Engine Optimization: Feedback Collation
Towards Generating Essence Kernels Using Genetic Algorithms
Predicting Number of Faults in Software System using Genetic Programming
Second-Order Spline-Wavelet Robust Code under Non-Uniform Codeword Distribution
Optimal Design of A Standing Wave Thermoacoustic Refrigerator Using GAMS
Morphological Analysis in the Environment "TELA"
Fitness Based Position Update in Spider Monkey Optimization Algorithm
Global Collaboration Requirement Analysis System in Cloud Computing
Enabling Untrained Users to Shape Real-World Robot Behavior Using an Intuitive Visual Programming Tool in Human-Robot Interaction Scenarios
An Automatic Evaluation Framework for Social Conversations with Robots
Proceedings of the 2024 International Symposium on Technological Advances in Human-Robot Interaction, TAHRI 2024, Boulder, CO, USA, March 9-10, 2024
Dancing with Robots at a Science Museum: Coherent Motions Got More People To Dance, Incoherent Sends Weaker Signal
A Multi-Robot Architecture Framework for Effective Robot Teammates in Mixed-Initiative Teams
Single-Channel Robot Ego-Speech Filtering during Human-Robot Interaction
VR Storytelling: Early Explorations of Minimal Social Robots in Virtual Reality
Improved Situational Awareness and Performance with Dynamic Task-Based Overlays for Teleoperation
Recognition and Identification of Intentional Blocking in Social Navigation
Exploring the Impact of Explanation Representation on User Satisfaction in Robot Navigation
A Systematic Approach to Modeling Structured Behavior in Social Robots
Designing a Tabletop SAR as an Advanced HRI Experimentation Platform
A Socially Assistive Robot using Automated Planning in a Paediatric Clinical Setting
Non-linear Continuous Systems for Safety Verification
Exploring Compliance: Observations from a Large Scale Fitbit Study
An Autonomous Vehicle Control Stack
Challenges and Opportunities in IoT Data Markets
An Stochastic Cold Food Supply Chain (CFSC) Design
WADI: a water distribution testbed for research in the design of secure cyber physical systems
A colonel blotto game for interdependence-aware cyber-physical systems security in smart cities
Anytime ellipsoidal over-approximation of forward reach sets of uncertain linear systems
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees
Audio Analysis as a Control Knob for Social Sensing
Hidden Moving Target Defense in Smart Grids
P-FRP task scheduling: A survey
Towards a platform for community-centric smart connected services
2016 Science of Security for Cyber-Physical Systems Workshop, SOSCYPS@CPSWeek 2016, Vienna, Austria, April 11, 2016
Process-level modeling and simulation for HP's Multi Jet Fusion 3D printing technology
An Introduction to CORA 2015
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12, 2023
Adige: an efficient smart water network based on long-range wireless technology
HeteroSense: An Occupancy Sensing Framework for Multi-Class Classification for Activity Recognition and Trajectory Detection
Benchmark: Reachability on a model with holes
Challenges for Safe Autonomous Flight
Improving Signal-Strength-based Distance Estimation in UWB Transceivers
Assessing the Impact of Disruptive Events on Urban Mobility: A Case Study of Chicago Taxis during COVID-19
Towards a methodology for experimental evaluation in low-power wireless networking
Progress on Powertrain Verification Challenge with C2E2
A Hardware-in-the-Loop co-simulation architecture for power system applications in virtual execution environments
Time-Staging Enhancement of Hybrid System Falsification
Distributed Autonomous Systems
Platforms for Cyber-Physical Systems - fractal operating system and integrated development environment for the physical world
Hybrid modeling and co-simulation of district heating systems with distributed energy resources
Stimulus Generator for Circuit Model Generation
Towards Context-Aware Cyber-Physical Systems
Many-Core Real-Time Network-on-Chip I/O Systems for Reducing Contention and Enhancing Predictability
Performance analysis of a user-centric crowd-sensing water quality assessment system
Sensor placement strategy for locating leaks using lean graphs
Surrogate Modeling using Physics-guided Learning
Shared-Memory-Based Lock-Free Queues: The Key to Fast and Robust Communication on Safety-Critical Edge Devices
Localize Online Social Network User via Social Sensing
Applying Valued Booleans in Testing of Cyber-Physical Systems
Enhancing precipitation models by capturing multivariate and multiscale climate dynamics
Novel simulation concepts for buildings and community energy systems based on the Functional Mock-up Interface specification
Collaborative embedded systems - a case study
Data-driven estimation of forward reachable sets
A Human-in-the-Loop Cyber-Physical Approach for Students Performance Assessment
Implementing and Deploying an ML Pipeline for IoT Intrusion Detection with Node-RED
A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
Testbed for Model-based Verification of Cyber-physical Production Systems
Proceedings of the 2nd International Workshop on Social Sensing, SocialSens@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017
Synergic security for smart water networks: redundancy, diversity, and hardening
Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification
Energy hub gas: a multi-domain system modelling and co-simulation approach
Correlated Friends' Impacts in Social-crowdsensing
Automated Titration in a Recirculating Water System
Protocol-agnostic IoT Device Classification on Encrypted Traffic Using Link-Level Flows
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Towards Benchmark Optimization by Automated Equivalence Detection
Explainable cyber-physical energy systems based on knowledge graph
Graph-Theoretic Approach for Increasing Participation in Social Sensing
From control system security indices to attack identifiability
ARCH-COMP 2019 Category Report: Falsification
PASoC: A Predictable Accelerator-rich SoC
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis
Digital Shadows for Remote Automotive SW Verification
Towards Usable Parental Control for Voice Assistants
Emergency communications leveraging decentralized swarm computing
Visualization of large-scale trajectory datasets
Electric power dependent dynamic tariffs for water distribution systems
Modeling of combined heat and power generation unit for dynamic analysis of integrated thermal-electric grids
Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, SPSR-SG@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017
Safety from in-the-loop reachability for cyber-physical systems
Co-Simulating the Internet of Things in a Smart Grid use case scenario
ARCH-COMP17 Repeatability Evaluation Report
Falsification of Cyber-Physical Systems with Reinforcement Learning
ARCH-COMP19 Repeatability Evaluation Report
SMT Encoding of Hybrid Systems in dReal
Towards Efficient Personalized Driver Behavior Modeling with Machine Unlearning
Analysis of Time Delay Attacks against Power Grid Stability
SecWater: a multi-layer security framework for water treatment plants
ASC: actuation system for city-wide crowdsensing with ride-sharing vehicular platform
The Technical Development of an Extended Reality Research Testbed for Public Safety
Fostering concurrent engineering of cyber-physical systems a proposal for an ontological context framework
Structure Assisted Spectrum Sensing for Low-power Acoustic Event Detection
Performance Metrics for Storage-Based Transient Stability Control
A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees
Impact of hydraulic faults on the electric system in an integrated multi-energy microgrid
Agent-based microscopic pedestrian interaction with intelligent vehicles in shared space
Efforts Towards a Digital Twin-based Testbed for Public Safety
Developing Ontologies for the Collaboration of Cyber-Physical Systems: Requirements and Solution Approach
Flow* 1.2: More Effective to Play with Hybrid Systems
A WSSL Implementation for Critical Cyber-Physical Systems Applications
Integrated Multi-Domain Risk Assessment Using Automated Hypothesis Testing
Intelligent Distributed Charging Control for Large Scale Electric Vehicles: A Multi-Cluster Mean Field Game Approach
Proceedings of the Fourth International Workshop on Social Sensing, SocialSens@CPSIoTWeek 2019. Montreal, QC, Canada, April 15, 2019
1st International Workshop on Cyber-Physical Production Systems, CPPS@CPSWeek 2016, Vienna, Austria, April 12, 2016
Airborne Disease Propagation on Large Scale Social Contact Networks
Benchmarks for Temporal Logic Requirements for Automotive Systems
Resilient Control and Safety for Cyber-Physical Systems
Urban informatics for social good: definitions, tensions, and challenges
A Game-Theoretic Approach to Secure Control of Communication-Based Train Control Systems Under Jamming Attacks
SMT-Based CPS Parameter Synthesis
Benchmark: Quadrotor Attitude Control
Advances and challenges of quantitative verification and synthesis for cyber-physical systems
Proceedings of the 3rd International Workshop on Cyber-Physical Systems for Smart Water Networks, CySWATER@CPSWeek 2017, Pittsburgh, Pennsylvania, USA, April 21, 2017
An early View on the work of STF 623 in the Emergency Communications Network Resilience and Preparedness
Tackling simulation inconsistencies in the robot design process by selective empirical evaluation
Physics-Informed Machine Learning Model Generalization in AIoT: Opportunites and Challenges
Cyber-Physical Doping Tests
Augmenting Vibration-Based Customer-Product Interaction Recognition with Sparse Load Sensing
A large software vendor's view on Cyber Physical Systems
CaNRun: Non-Contact, Acoustic-based Cadence Estimation on Treadmills using Smartphones
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems
Implementation of Interval Arithmetic in CORA 2016
Optimising maintenance: What are the expectations for Cyber Physical Systems
Reusable Network Simulation for CPS Co-Simulations
A Study on Software Vulnerabilities and Weaknesses of Embedded Systems in Power Networks
Logical Time for Reactive Software
MSCPES@CPSIoTWeek '21: Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, Virtual Event, May 19 - 21, 2021
Does Confidence Reporting from the Crowd Benefit Crowdsourcing Performance?
Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery
Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, MSCPES@CPSWeek 2014, Berlin, Germany, April 14, 2014
Towards foundational verification of cyber-physical systems
Optimization techniques for time-critical cyber-physical systems
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017
Dynamic generation containment systems (DGCS): A Moving Target Defense approach
Attack Models for Advanced Persistent Threats in Smart Grid Wide Area Monitoring
HATBED: a distributed hardware assisted testbed for non-invasive profiling of IoT devices
Blockchain Strategy for Multi-level Interoperability in Public Safety Scenario
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Semantic swarm
2018 International Workshop on Cyber-physical Systems for Smart Water Networks, CySWater@CPSWeek, Porto, Portugal, April 10-13, 2018
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)
Spatiotemporal scenario data-driven decision for the path planning of multiple UASs
Motor-Transmission Drive System: a Benchmark Example for Safety Verification
Interfacing the internet of a trillion things
GENEE: a benchmark generator for static analysis tools of energy-constrained cyber-physical systems
Towards a model to identify the need and the economic efficiency of digital assistance systems in cyber-physical assembly systems
A runtime system for logical-space programming
7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, MSCPES@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019
Towards demand-oriented flexible rerouting of public transit under uncertainty
Social Sensing in Developing Regions: Challenges for Bus Arrival Time Prediction
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics
Applying NLOS Classification and Error Correction Techniques to UWB Systems: Lessons Learned and Recommendations
Toward Standard Non-Line-of-Sight Benchmarking of Ultra-Wideband Radio-Based Localization
Secure cyber-physical production systems: Solid steps towards realization
Graceful Degradation with Condition- and Inference-Awareness for Mixed-Criticality Scheduling in Autonomous Systems
SWaT: a water treatment testbed for research and training on ICS security
Spatial Audio Empowered Smart speakers with Xblock - A Pose-Adaptive Crosstalk Cancellation Algorithm for Free-moving Users
Maintaining Configuration Knowledge Bases: Classification and Detection of Faults
AutoVAPS: an IoT-enabled public safety service on vehicles
Approaches for Synthesis and Deployment of Controller Models on Automated Vehicles for Car-following in Mixed Autonomy
hamiltorch: A PyTorch-based library for Hamiltonian Monte Carlo
Automated Parameter Identification and Calibration for the Itaipu Power Generation System using Modelica, FMI, and RaPId
Reliable Event Detection Using Time-Synchronized IoT Platforms
Agent-based control of VSC-HVDC transmission grid - A Cyber Physical System perspective
Verification of Closed-loop Systems with Neural Network Controllers
Evaluating Low-Power Wireless Cyber-Physical Systems
An FMI-compliant Co-simulation Approach for Smart Grid ICT Assessments
From Ideas to Social Signals: Spatiotemporal Analysis of Social Media Dynamics
Under the Hood of a Stand-Alone Lagrangian Reachability Tool
Benchmarking and Security Considerations of Wi-Fi FTM for Ranging in IoT Devices
Smooth: improved short-distance mobility for a smarter city
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability
DejaVu: A Monitoring Tool for First-Order Temporal Logic
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue
Towards an Assisted Simulation Planning for Co-Simulation of Cyber-Physical Energy Systems
Accountability in cyber-physical systems
Faster than real-time simulation: methods, tools, and applications
Model-based control of device replication for trusted data collection
Power-attack: a comprehensive tool-chain for modeling and simulating attacks in power systems
Offline Consequences of Echo Chambers
Benchmark problem: an air brake model for trains
The impact of decreasing transmit power levels on FlockLab to achieve a sparse network
Smart building: a private cyber-physical system approach
Energy-based adaptive compression in water network control systems
Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems
Analysis of Frequency Control in Microgrids with Multiple Phasor Measurement Unit Delays