Tag #cyber-physical
107 papers:
CGO-2020-LovelessOB #compilation- A performance-optimizing compiler for cyber-physical digital microfluidic biochips (TL, JO, PB), pp. 171–184.
ICSA-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.
SEFM-2019-AraujoCMS #effectiveness #multi #testing- Multi-objective Search for Effective Testing of Cyber-Physical Systems (HLSA, GC, MRM, AS), pp. 183–202.
ASE-2019-ChenPSAZ #fuzzing #network #testing- Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences (YC, CMP, JS, SA, FZ), pp. 962–973.
CASE-2019-LiuWXGS #estimation- Simulation-based Sensor Allocation for Dynamic Environment Estimation in Cyber-Physical Building System (YL, JW, ZX, XG, YS), pp. 979–984.
- CASE-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.
- CASE-2019-RashidQF #design
- A Survivability-Aware Cyber-Physical Systems Design Methodology (NR, GQ, MAAF), pp. 848–853.
CAV-2019-FaymonvilleFSSS #monitoring #named- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems (PF, BF, MS, MS, MS, LT, HT), pp. 421–431.
ECSA-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.
- ICSA-2018-TenbergenDOB #modelling #network
- View-Centric Context Modeling to Foster the Engineering of Cyber-Physical System Networks (BT, MD, PAO, JB), pp. 206–216.
FM-2018-AkazakiLYDH #learning #using- Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning (TA, SL, YY, YD, JH), pp. 456–465.
- FM-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.
MoDELS-2018-GonzalezVNBI #testing- Enabling Model Testing of Cyber-Physical Systems (CAG, MV, SN, LCB, YI), pp. 176–186.
PLDI-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.
- CASE-2018-BandyszakDTW #documentation #modelling #nondeterminism
- Model-based Documentation of Context Uncertainty for Cyber-Physical Systems (TB, MD, BT, TW), pp. 1087–1092.
- CASE-2018-CecilAC #assembly #framework #industrial
- An Industry 4.0 Cyber-Physical Framework for Micro Devices Assembly (JC, SA, ACX), pp. 427–432.
- CASE-2018-HildebrandtTCF #approach #ontology
- Ontology Building for Cyber-Physical Systems: A domain expert-centric approach (CH, ST, BC, AF), pp. 1079–1086.
- CASE-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.
- CASE-2018-Vogel-Heuser0 #automation
- Bringing Automated Intelligence to Cyber-Physical Production Systems in Factory Automation (BVH, LR0), pp. 347–352.
- CASE-2018-YangGWD #distributed #energy #multi #network
- A Multi-layered Distributed Cloud Network for Cyber-Physical Energy System (LY, XG, JW, SD), pp. 402–407.
- CGO-2018-CurtisGB #compilation
- A compiler for cyber-physical digital microfluidic biochips (CC, DTG, PB), pp. 365–377.
FASE-2018-BurSVV #distributed #graph #monitoring #query #runtime- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems (MB, GS, AV0, DV), pp. 111–128.
- ECSA-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.
ECMFA-2017-Kusmenko0RW #architecture #modelling- Modeling Architectures of Cyber-Physical Systems (EK, AR, BR, MvW), pp. 34–50.
ESEC-FSE-2017-AliabadiKGP #detection #invariant #named #security- ARTINALI: dynamic invariant detection for cyber-physical system security (MRA, AAK, JGS, KP), pp. 349–361.
- ESEC-FSE-2017-TsigkanosKG #evolution #modelling #verification
- Modeling and verification of evolving cyber-physical spaces (CT, TK, CG), pp. 38–48.
- CASE-2017-BaoYZ #framework
- A framework of cyber-physical system for smart cotton production (JB, SY, XZ), pp. 67–73.
- CASE-2017-EddelandMFA #logic
- Objective functions for falsification of signal temporal logic properties in cyber-physical systems (JE, SM, MF, KÅ), pp. 1326–1331.
- CASE-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.
- CASE-2017-LiuMR #analysis #security
- Security analysis of continuous-time cyber-physical system against sensor attacks (XL, YM, XR), pp. 1586–1591.
- CASE-2017-RashidWQCF #modelling #simulation
- Modeling and simulation of cyberattacks for resilient cyber-physical systems (NR, JW, GQ, AC, MAAF), pp. 988–993.
- CASE-2017-SaezMBT #analysis #detection
- Anomaly detection and productivity analysis for cyber-physical systems in manufacturing (MS, FPM, KB, DMT), pp. 23–29.
- CASE-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.
CBSE-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.
- CBSE-2016-SchubertHG #configuration management #execution #towards
- Towards Safe Execution of Reconfigurations in Cyber-Physical Systems (DS, CH, CG), pp. 33–38.
- ECSA-2016-Gerostathopoulos #adaptation #architecture #self
- Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems (IG, DS, FP, TB, AK), pp. 113–128.
- FM-2016-ChenP0 #invariant #learning #towards #verification
- Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation (YC0, CMP, JS0), pp. 155–163.
- ECMFA-2016-ZhangSAYON #comprehension #concept #nondeterminism
- Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model (MZ, BS, SA, TY, OO, RN), pp. 247–264.
- CASE-2016-BasileCC #automation
- A cyber-physical view of automated warehouse systems (FB, PC, JC), pp. 407–412.
IJCAR-2016-Platzer #logic #proving- Logic & Proofs for Cyber-Physical Systems (AP), pp. 15–21.
- CBSE-2015-WahlerOM #component #manycore #realtime
- Real-time Multi-core Components for Cyber-physical Systems (MW, MO, AM), pp. 37–42.
- ECSA-2015-0002QDSV #named #smarttech
- SmartyCo: Managing Cyber-Physical Systems for Smart Environments (DR, CQ, LD, LS, CV), pp. 294–302.
- ECSA-2015-Gerostathopoulos #adaptation
- Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems (IG, TB, PH, AH, FP, DS), pp. 45–52.
HOFM-2015-BlechH #behaviour #component #development- Behavioral Types for Component-Based Development of Cyber-Physical Systems (JOB, PH), pp. 43–52.
- SEFM-2015-SukkerdGS
- Task Planning of Cyber-Human Systems (RS, DG, RS), pp. 293–309.
CIG-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.
DUXU-DD-2015-PaelkeR #challenge #user interface- User Interfaces for Cyber-Physical Systems: Challenges and Possible Approaches (VP, CR), pp. 75–85.
KDD-2015-MomtazpourZRSR #invariant #using- Analyzing Invariants in Cyber-Physical Systems using Latent Factor Regression (MM, JZ, SR, RKS, NR), pp. 2009–2018.
SPLC-2015-ArrietaSE #algorithm #product line #validation- Test control algorithms for the validation of cyber-physical systems product lines (AA, GS, LE), pp. 273–282.
- SPLC-2015-McGeeM #architecture #composition
- Composition of proof-carrying architectures for cyber-physical systems (ETM, JDM), pp. 419–426.
- SPLC-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.
ICSE-v2-2015-TsigkanosPGN #adaptation #named #security- Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems (CT, LP, CG, BN), pp. 729–732.
ASPLOS-2015-Lee #architecture- Architectural Support for Cyber-Physical Systems (EAL), p. 1.
- CASE-2015-Schwung #automaton #hybrid #modelling #using
- Cyber-physical modeling of compression systems using hybrid automata (AS), pp. 1125–1130.
- CASE-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.
DAC-2015-BalajiFDGA #abstraction #architecture #modelling- Models, abstractions, and architectures: the missing links in cyber-physical systems (BB, MAAF, NDD, RKG, YA), p. 6.
- DAC-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.
- DAC-2015-SztipanovitsBNK #design #lessons learnt
- Design tool chain for cyber-physical systems: lessons learned (JS, TB, SN, XDK, EKJ), p. 6.
DATE-2015-BajajNMS #architecture #effectiveness #reliability- Optimized selection of reliable and cost-effective cyber-physical system architectures (NB, PN, MM, ALSV), pp. 561–566.
- DATE-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.
- DATE-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.
ICST-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.
- CBSE-2014-Bures #development
- Development of smart cyber-physical systems (TB), pp. 189–190.
- ECSA-2014-BuresGHKKP #component
- Gossiping Components for Cyber-Physical Systems (TB, IG, PH, JK, MK, FP), pp. 250–266.
- HIMI-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.
ICEIS-v3-2014-SvedaH #enterprise #information management- Cyber-physical Information Systems for Enterprise Engineering — Cyber-physical Applications Timing (MS, PH), pp. 441–446.
- MoDELS-2014-WestmanN #contract #design
- Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.
HILT-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.
FSE-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.
SAC-2014-SilvaPBAP #architecture #modelling #testing- A model-based architecture for testing medical cyber-physical systems (LCS, MP, FMB, HOA, AP), pp. 25–30.
- DAC-2014-WasicekDL #aspect-oriented #modelling
- Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems (AW, PD, EAL), p. 6.
- DATE-2014-CanedoFR #automation #design #multi
- Multi-disciplinary integrated design automation tool for automotive cyber-physical systems (AC, MAAF, JHR), pp. 1–2.
- DATE-2014-DhruvaKGT
- Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.
- DATE-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.
SIGITE-2013-HelpsP #concept #student- Cyber-physical system concepts for IT students (CRGH, SJP), pp. 7–12.
CEFP-2013-JuhaszDK #named #workflow- Rea: Workflows for Cyber-Physical Systems (DJ, LD, BK), pp. 479–506.
- DUXU-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.
- KDD-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.
- MoDELS-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.
- MoDELS-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.
- CASE-2013-HanzG #abstraction #mobile
- An abstraction layer for controlling heterogeneous mobile cyber-physical systems (TH, MG), pp. 117–121.
- DATE-2013-AminifarEPC #design #robust
- Control-quality driven design of cyber-physical systems with robustness guarantees (AA, PE, ZP, AC), pp. 1093–1098.
- DATE-2013-GurgenGBG #self
- Self-aware cyber-physical systems and applications in smart buildings and cities (LG, OG, YB, MG), pp. 1149–1154.
- FM-2012-OwreSS #analysis #automation
- Automatic Dimensional Analysis of Cyber-Physical Systems (SO, IS, NS), pp. 356–371.
SEKE-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.
- ICSE-2012-BoosFJK #debugging #framework #named
- BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.
- DAC-2012-KumarGCALT #approach #hybrid #verification
- A hybrid approach to cyber-physical systems verification (PK, DG, SC, AA, KL, LT), pp. 688–696.
- DATE-2012-CanedoF #execution #industrial #parallel #towards
- Towards parallel execution of IEC 61131 industrial cyber-physical systems applications (AC, MAAF), pp. 554–557.
- DATE-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.
- DATE-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.
- DATE-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.
- KDD-2011-LiLLNTF #named
- ThermoCast: a cyber-physical forecasting model for datacenters (LL, CJML, JL, SN, AT, CF), pp. 1370–1378.
SIGIR-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.
- DATE-2011-GoswamiSC #communication #hybrid #protocol #re-engineering
- Re-engineering cyber-physical control applications for hybrid communication protocols (DG, RS, SC), pp. 914–919.
- CAV-2011-HangMP #architecture #constraints #modelling #realtime
- Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints (CH, PM, VP), pp. 441–456.
- ICEIS-DISI-2010-LiQW #monitoring
- A Cyber-physical System for Elders Monitoring (XL, YQ, HW), pp. 294–299.
OOPSLA-2010-SorensenG #programming- Programming with time: cyber-physical programming with impromptu (AS, HG), pp. 822–834.
- DAC-2010-KleisslA #energy
- Cyber-physical energy systems: focus on smart buildings (JK, YA), pp. 749–754.
- DAC-2010-RajkumarLSS
- Cyber-physical systems: the next computing revolution (RR, IL, LS, JAS), pp. 731–736.
- DATE-2010-Benveniste #architecture
- Loosely Time-Triggered Architectures for Cyber-Physical Systems (AB), pp. 3–8.
ICLP-2010-Saeedloei10 #logic programming- Logic Programming Foundations of Cyber-Physical Systems (NS), pp. 289–293.
- DAC-2009-Chou #user interface
- Endosymbiotic computing: enabling surrogate GUI and cyber-physical connectivity (PHC), pp. 625–626.
- SAC-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.
