BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
cyber-physical
Google cyber-physical

Tag #cyber-physical

107 papers:

CGOCGO-2020-LovelessOB #compilation
A performance-optimizing compiler for cyber-physical digital microfluidic biochips (TL, JO, PB), pp. 171–184.
ICSAICSA-2019-GerkingS #architecture #component #data flow #policy #refinement #security #verification
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures (CG, DS), pp. 61–70.
SEFMSEFM-2019-AraujoCMS #effectiveness #multi #testing
Multi-objective Search for Effective Testing of Cyber-Physical Systems (HLSA, GC, MRM, AS), pp. 183–202.
ASEASE-2019-ChenPSAZ #fuzzing #network #testing
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences (YC, CMP, JS, SA, FZ), pp. 962–973.
CASECASE-2019-LiuWXGS #estimation
Simulation-based Sensor Allocation for Dynamic Environment Estimation in Cyber-Physical Building System (YL, JW, ZX, XG, YS), pp. 979–984.
CASECASE-2019-MathesenYPF #adaptation #nondeterminism #optimisation #probability #quantifier #robust
Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart (LM, SY, GP, GF), pp. 991–997.
CASECASE-2019-RashidQF #design
A Survivability-Aware Cyber-Physical Systems Design Methodology (NR, GQ, MAAF), pp. 848–853.
CAVCAV-2019-FaymonvilleFSSS #monitoring #named
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems (PF, BF, MS, MS, MS, LT, HT), pp. 421–431.
ECSAECSA-2018-GerkingS #architecture #composition #data flow #security #towards
Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems (CG, DS), pp. 147–155.
ICSAICSA-2018-TenbergenDOB #modelling #network
View-Centric Context Modeling to Foster the Engineering of Cyber-Physical System Networks (BT, MD, PAO, JB), pp. 206–216.
FMFM-2018-AkazakiLYDH #learning #using
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning (TA, SL, YY, YD, JH), pp. 456–465.
FMFM-2018-RuchkinSISG #integration #multi #named
IPL: An Integration Property Language for Multi-model Cyber-physical Systems (IR, JS, GI, BRS, DG), pp. 165–184.
IFM-2018-LanotteMT #metric #towards
Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks (RL, MM, ST), pp. 296–315.
MoDELSMoDELS-2018-GonzalezVNBI #testing
Enabling Model Testing of Cyber-Physical Systems (CAG, MV, SN, LCB, YI), pp. 176–186.
PLDIPLDI-2018-BohrerTMMP #bytecode #modelling #named
VeriPhy: verified controller executables from verified cyber-physical system models (BB, YKT, SM, MOM, AP), pp. 617–630.
ICSE-2018-ChowdhuryMMGJC #automation #debugging #development
Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge (SAC, SM, SM, SG, TTJ, CC), pp. 981–992.
ICSE-2018-FreyRAPN #case study #game studies #security
The good, the bad and the ugly: a study of security decisions in a cyber-physical systems game (SF, AR, PA, MPA, SAN), p. 496.
CASECASE-2018-BandyszakDTW #documentation #modelling #nondeterminism
Model-based Documentation of Context Uncertainty for Cyber-Physical Systems (TB, MD, BT, TW), pp. 1087–1092.
CASECASE-2018-CecilAC #assembly #framework #industrial
An Industry 4.0 Cyber-Physical Framework for Micro Devices Assembly (JC, SA, ACX), pp. 427–432.
CASECASE-2018-HildebrandtTCF #approach #ontology
Ontology Building for Cyber-Physical Systems: A domain expert-centric approach (CH, ST, BC, AF), pp. 1079–1086.
CASECASE-2018-KastnerKSJH #architecture #communication #design #performance
Design of an efficient Communication Architecture for Cyber-Physical Production Systems (FK, DK, CS, BJ, MH), pp. 829–835.
CASECASE-2018-Vogel-Heuser0 #automation
Bringing Automated Intelligence to Cyber-Physical Production Systems in Factory Automation (BVH, LR0), pp. 347–352.
CASECASE-2018-YangGWD #distributed #energy #multi #network
A Multi-layered Distributed Cloud Network for Cyber-Physical Energy System (LY, XG, JW, SD), pp. 402–407.
CGOCGO-2018-CurtisGB #compilation
A compiler for cyber-physical digital microfluidic biochips (CC, DTG, PB), pp. 365–377.
FASEFASE-2018-BurSVV #distributed #graph #monitoring #query #runtime
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems (MB, GS, AV0, DV), pp. 111–128.
ECSAECSA-2017-SharafAMA #architecture #framework #modelling #simulation
An Architecture Framework for Modelling and Simulation of Situational-Aware Cyber-Physical Systems (MS, MA, HM, MA), pp. 95–111.
IFM-2017-SilvettiPB #approach #black box #learning
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems (SS, AP, LB), pp. 3–17.
ECMFAECMFA-2017-Kusmenko0RW #architecture #modelling
Modeling Architectures of Cyber-Physical Systems (EK, AR, BR, MvW), pp. 34–50.
ESEC-FSEESEC-FSE-2017-AliabadiKGP #detection #invariant #named #security
ARTINALI: dynamic invariant detection for cyber-physical system security (MRA, AAK, JGS, KP), pp. 349–361.
ESEC-FSEESEC-FSE-2017-TsigkanosKG #evolution #modelling #verification
Modeling and verification of evolving cyber-physical spaces (CT, TK, CG), pp. 38–48.
CASECASE-2017-BaoYZ #framework
A framework of cyber-physical system for smart cotton production (JB, SY, XZ), pp. 67–73.
CASECASE-2017-EddelandMFA #logic
Objective functions for falsification of signal temporal logic properties in cyber-physical systems (JE, SM, MF, ), pp. 1326–1331.
CASECASE-2017-LiuH17a #analysis #hybrid #theorem
Hybrid stability analysis via extended small-gain theorem for networked cyber-physical systems with transmission delay (QL, QH), pp. 1598–1603.
CASECASE-2017-LiuMR #analysis #security
Security analysis of continuous-time cyber-physical system against sensor attacks (XL, YM, XR), pp. 1586–1591.
CASECASE-2017-RashidWQCF #modelling #simulation
Modeling and simulation of cyberattacks for resilient cyber-physical systems (NR, JW, GQ, AC, MAAF), pp. 988–993.
CASECASE-2017-SaezMBT #analysis #detection
Anomaly detection and productivity analysis for cyber-physical systems in manufacturing (MS, FPM, KB, DMT), pp. 23–29.
CASECASE-2017-WangJL #case study #evaluation #performance
A study on performance evaluation and status-based decision for cyber-physical production systems (FW, FJ, YL), pp. 1000–1005.
CBSECBSE-2016-CrnkovicMMS #architecture #component #on the #using
On the Use of Component-Based Principles and Practices for Architecting Cyber-Physical Systems (IC, IM, HM, MS), pp. 23–32.
CBSECBSE-2016-SchubertHG #configuration management #execution #towards
Towards Safe Execution of Reconfigurations in Cyber-Physical Systems (DS, CH, CG), pp. 33–38.
ECSAECSA-2016-Gerostathopoulos #adaptation #architecture #self
Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems (IG, DS, FP, TB, AK), pp. 113–128.
FMFM-2016-ChenP0 #invariant #learning #towards #verification
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation (YC0, CMP, JS0), pp. 155–163.
ECMFAECMFA-2016-ZhangSAYON #comprehension #concept #nondeterminism
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model (MZ, BS, SA, TY, OO, RN), pp. 247–264.
CASECASE-2016-BasileCC #automation
A cyber-physical view of automated warehouse systems (FB, PC, JC), pp. 407–412.
IJCARIJCAR-2016-Platzer #logic #proving
Logic & Proofs for Cyber-Physical Systems (AP), pp. 15–21.
CBSECBSE-2015-WahlerOM #component #manycore #realtime
Real-time Multi-core Components for Cyber-physical Systems (MW, MO, AM), pp. 37–42.
ECSAECSA-2015-0002QDSV #named #smarttech
SmartyCo: Managing Cyber-Physical Systems for Smart Environments (DR, CQ, LD, LS, CV), pp. 294–302.
ECSAECSA-2015-Gerostathopoulos #adaptation
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems (IG, TB, PH, AH, FP, DS), pp. 45–52.
HOFMHOFM-2015-BlechH #behaviour #component #development
Behavioral Types for Component-Based Development of Cyber-Physical Systems (JOB, PH), pp. 43–52.
SEFMSEFM-2015-SukkerdGS
Task Planning of Cyber-Human Systems (RS, DG, RS), pp. 293–309.
CoGCIG-2015-RaffeTZLM #adaptation #case study #experience #game studies
Enhancing theme park experiences through adaptive cyber-physical play (WLR, MT, FZ, XL0, F'M), pp. 503–510.
HCIDUXU-DD-2015-PaelkeR #challenge #user interface
User Interfaces for Cyber-Physical Systems: Challenges and Possible Approaches (VP, CR), pp. 75–85.
KDDKDD-2015-MomtazpourZRSR #invariant #using
Analyzing Invariants in Cyber-Physical Systems using Latent Factor Regression (MM, JZ, SR, RKS, NR), pp. 2009–2018.
SPLCSPLC-2015-ArrietaSE #algorithm #product line #validation
Test control algorithms for the validation of cyber-physical systems product lines (AA, GS, LE), pp. 273–282.
SPLCSPLC-2015-McGeeM #architecture #composition
Composition of proof-carrying architectures for cyber-physical systems (ETM, JDM), pp. 419–426.
SPLCSPLC-2015-YueAS #analysis #case study #experience #product line
Cyber-physical system product line engineering: comprehensive domain analysis and experience report (TY, SA, BS), pp. 338–347.
ICSEICSE-v2-2015-TsigkanosPGN #adaptation #named #security
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems (CT, LP, CG, BN), pp. 729–732.
ASPLOSASPLOS-2015-Lee #architecture
Architectural Support for Cyber-Physical Systems (EAL), p. 1.
CASECASE-2015-Schwung #automaton #hybrid #modelling #using
Cyber-physical modeling of compression systems using hybrid automata (AS), pp. 1125–1130.
CASECASE-2015-SongLBKNSSC #industrial #integration #modelling #process
Model-based cyber-physical system integration in the process industry (ZS, PL, RB, WK, SN, SS, LS, AC), pp. 1012–1017.
DACDAC-2015-BalajiFDGA #abstraction #architecture #modelling
Models, abstractions, and architectures: the missing links in cyber-physical systems (BB, MAAF, NDD, RKG, YA), p. 6.
DACDAC-2015-BuiniPG #automation #design #modelling #physics #variability
Including variability of physical models into the design automation of cyber-physical systems (HMB, SP, TG), p. 6.
DACDAC-2015-SztipanovitsBNK #design #lessons learnt
Design tool chain for cyber-physical systems: lessons learned (JS, TB, SN, XDK, EKJ), p. 6.
DATEDATE-2015-BajajNMS #architecture #effectiveness #reliability
Optimized selection of reliable and cost-effective cyber-physical system architectures (NB, PN, MM, ALSV), pp. 561–566.
DATEDATE-2015-Bogdan #approach #challenge #manycore #personalisation #platform
A cyber-physical systems approach to personalized medicine: challenges and opportunities for noc-based multicore platforms (PB), pp. 253–258.
DATEDATE-2015-ZhaoLXLHX #energy #reduction
Software assisted non-volatile register reduction for energy harvesting based cyber-physical system (MZ, QL, MX, YL, JH, CJX), pp. 567–572.
ICSTICST-2015-AliY #behaviour #evolution #modelling #named #nondeterminism #testing
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems (SA, TY), pp. 1–2.
CBSECBSE-2014-Bures #development
Development of smart cyber-physical systems (TB), pp. 189–190.
ECSAECSA-2014-BuresGHKKP #component
Gossiping Components for Cyber-Physical Systems (TB, IG, PH, JK, MK, FP), pp. 250–266.
HCIHIMI-AS-2014-SeigerSMS #concept #interactive #process
A Resilient Interaction Concept for Process Management on Tabletops for Cyber-Physical Systems (RS, SS, SM, TS), pp. 347–358.
ICEISICEIS-v3-2014-SvedaH #enterprise #information management
Cyber-physical Information Systems for Enterprise Engineering — Cyber-physical Applications Timing (MS, PH), pp. 441–446.
MODELSMoDELS-2014-WestmanN #contract #design
Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.
HILTHILT-2014-AhmadLBZD #behaviour #hybrid #interactive #modelling
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
FSEFSE-2014-DziwokGBTHP #modelling #re-engineering
A tool suite for the model-driven software engineering of cyber-physical systems (SD, CG, SB, ST, CH, UP), pp. 715–718.
SACSAC-2014-SilvaPBAP #architecture #modelling #testing
A model-based architecture for testing medical cyber-physical systems (LCS, MP, FMB, HOA, AP), pp. 25–30.
DACDAC-2014-WasicekDL #aspect-oriented #modelling
Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems (AW, PD, EAL), p. 6.
DATEDATE-2014-CanedoFR #automation #design #multi
Multi-disciplinary integrated design automation tool for automotive cyber-physical systems (AC, MAAF, JHR), pp. 1–2.
DATEDATE-2014-DhruvaKGT
Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.
DATEDATE-2014-NuzzoFIS #contract #design #protocol #safety
Contract-based design of control protocols for safety-critical cyber-physical systems (PN, JBF, AI, ALSV), pp. 1–4.
SIGITESIGITE-2013-HelpsP #concept #student
Cyber-physical system concepts for IT students (CRGH, SJP), pp. 7–12.
CEFPCEFP-2013-JuhaszDK #named #workflow
Rea: Workflows for Cyber-Physical Systems (DJ, LD, BK), pp. 479–506.
HCIDUXU-NTE-2013-SonntagZSWT #artificial reality #information management #multimodal #towards
Towards Medical Cyber-Physical Systems: Multimodal Augmented Reality for Doctors and Knowledge Discovery about Patients (DS, SZ, CHS, MW, TT), pp. 401–410.
KDDKDD-2013-TangYGHLP #mining
Mining lines in the sand: on trajectory discovery from untrustworthy data in cyber-physical system (LAT, XY, QG, JH, AL, TFLP), pp. 410–418.
MODELSMoDELS-2013-NieYAZF #automation #constraints #named
Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems (KN, TY, SA, LZ, ZF), pp. 370–387.
MODELSMoDELS-2013-SimkoLLNS #component #composition #integration #semantics #specification
Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.
CASECASE-2013-HanzG #abstraction #mobile
An abstraction layer for controlling heterogeneous mobile cyber-physical systems (TH, MG), pp. 117–121.
DATEDATE-2013-AminifarEPC #design #robust
Control-quality driven design of cyber-physical systems with robustness guarantees (AA, PE, ZP, AC), pp. 1093–1098.
DATEDATE-2013-GurgenGBG #self
Self-aware cyber-physical systems and applications in smart buildings and cities (LG, OG, YB, MG), pp. 1149–1154.
FMFM-2012-OwreSS #analysis #automation
Automatic Dimensional Analysis of Cyber-Physical Systems (SO, IS, NS), pp. 356–371.
SEKESEKE-2012-ZhaiLZLCJ #algebra #logic #verification
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.
ICSEICSE-2012-BoosFJK #debugging #framework #named
BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.
DACDAC-2012-KumarGCALT #approach #hybrid #verification
A hybrid approach to cyber-physical systems verification (PK, DG, SC, AA, KL, LT), pp. 688–696.
DATEDATE-2012-CanedoF #execution #industrial #parallel #towards
Towards parallel execution of IEC 61131 industrial cyber-physical systems applications (AC, MAAF), pp. 554–557.
DATEDATE-2012-KirschPSCHHLLRSTV #in the cloud #migration #problem
Cyber-physical cloud computing: The binding and migration problem (CMK, EP, RS, HC, RH, JH, FL, ML, AR, RS, RT, DV), pp. 1425–1428.
DATEDATE-2012-MasrurGCCAB #analysis #communication #hybrid #protocol
Timing analysis of cyber-physical applications for hybrid communication protocols (AM, DG, SC, JJC, AA, AB), pp. 1233–1238.
DATEDATE-2012-MillerVG #automation #mockup #named #testing #using
MEDS: Mockup Electronic Data Sheets for automated testing of cyber-physical systems using digital mockups (BM, FV, TG), pp. 1417–1420.
KDDKDD-2011-LiLLNTF #named
ThermoCast: a cyber-physical forecasting model for datacenters (LL, CJML, JL, SN, AT, CF), pp. 1370–1378.
SIGIRSIGIR-2011-ShouCCZMZ #named
What-you-retrieve-is-what-you-see: a preliminary cyber-physical search engine (LS, KC, GC, CZ, YM, XZ), pp. 1273–1274.
DATEDATE-2011-GoswamiSC #communication #hybrid #protocol #re-engineering
Re-engineering cyber-physical control applications for hybrid communication protocols (DG, RS, SC), pp. 914–919.
CAVCAV-2011-HangMP #architecture #constraints #modelling #realtime
Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints (CH, PM, VP), pp. 441–456.
ICEISICEIS-DISI-2010-LiQW #monitoring
A Cyber-physical System for Elders Monitoring (XL, YQ, HW), pp. 294–299.
OOPSLAOOPSLA-2010-SorensenG #programming
Programming with time: cyber-physical programming with impromptu (AS, HG), pp. 822–834.
DACDAC-2010-KleisslA #energy
Cyber-physical energy systems: focus on smart buildings (JK, YA), pp. 749–754.
DACDAC-2010-RajkumarLSS
Cyber-physical systems: the next computing revolution (RR, IL, LS, JAS), pp. 731–736.
DATEDATE-2010-Benveniste #architecture
Loosely Time-Triggered Architectures for Cyber-Physical Systems (AB), pp. 3–8.
ICLPICLP-2010-Saeedloei10 #logic programming
Logic Programming Foundations of Cyber-Physical Systems (NS), pp. 289–293.
DACDAC-2009-Chou #user interface
Endosymbiotic computing: enabling surrogate GUI and cyber-physical connectivity (PHC), pp. 625–626.
SACSAC-2004-FujinamiYN #case study #exclamation #physics #quote
“Take me with you!”: a case study of context-aware application integrating cyber and physical spaces (KF, TY, TN), pp. 1607–1614.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.