Stem cyber$ (all stems)

111 papers:

CBSE-2015-WahlerOM #component #cyber-physical #manycore #realtime

Real-time Multi-core Components for Cyber-physical Systems (MW, MO, AM), pp. 37–42.

ECSA-2015-0002QDSV #cyber-physical #named #smarttech

SmartyCo: Managing Cyber-Physical Systems for Smart Environments (DR, CQ, LD, LS, CV), pp. 294–302.

ECSA-2015-Gerostathopoulos #adaptation #cyber-physical

Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems (IG, TB, PH, AH, FP, DS), pp. 45–52.

ECSA-2015-LewisL

Characterization of Cyber-Foraging Usage Contexts (GAL, PL), pp. 195–211.

QoSA-2015-LewisL #architecture

A Catalog of Architectural Tactics for Cyber-Foraging (GAL, PL), pp. 53–62.

CASE-2015-Schwung #automaton #cyber-physical #hybrid #modelling #using

Cyber-physical modeling of compression systems using hybrid automata (AS), pp. 1125–1130.

CASE-2015-SongLBKNSSC #cyber-physical #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 #cyber-physical #modelling

Models, abstractions, and architectures: the missing links in cyber-physical systems (BB, MAAF, NDD, RKG, YA), p. 6.

DAC-2015-BuiniPG #automation #cyber-physical #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 #cyber-physical #design #lessons learnt

Design tool chain for cyber-physical systems: lessons learned (JS, TB, SN, XDK, EKJ), p. 6.

DATE-2015-BajajNMS #architecture #cyber-physical #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 #cyber-physical #manycore #personalisation

A cyber-physical systems approach to personalized medicine: challenges and opportunities for noc-based multicore platforms (PB), pp. 253–258.

DATE-2015-ZhaoLXLHX #cyber-physical #energy #reduction

Software assisted non-volatile register reduction for energy harvesting based cyber-physical system (MZ, QL, MX, YL, JH, CJX), pp. 567–572.

CSEET-2015-MeadGH #re-engineering

Cyber Sciences and Software Engineering (NRM, DSG, EKH), pp. 21–23.

SEFM-2015-SukkerdGS #cyber-physical

Task Planning of Cyber-Human Systems (RS, DG, RS), pp. 293–309.

DHM-HM-2015-FassG #modelling #physics #towards

Towards a Theory for Bio — — Cyber Physical Systems Modelling (DF, FG), pp. 245–255.

DUXU-DD-2015-PaelkeR #challenge #cyber-physical #user interface

User Interfaces for Cyber-Physical Systems: Challenges and Possible Approaches (VP, CR), pp. 75–85.

LCT-2015-SoleimaniGHWG #empirical

CyberPLAYce, A Cyber-Physical-Spatial Storytelling Tool: Results from an Empirical Study with 8-10-Year-Old Storytellers (AS, KEG, DCH, IDW, CGM), pp. 438–446.

KDD-2015-MomtazpourZRSR #cyber-physical #invariant #using

Analyzing Invariants in Cyber-Physical Systems using Latent Factor Regression (MM, JZ, SR, RKS, NR), pp. 2009–2018.

PADL-2015-BalducciniKS #semantics

Ontology-Driven Data Semantics Discovery for Cyber-Security (MB, SK, JS), pp. 1–16.

SAC-2015-AminikhanghahiS #image #robust

Study of wireless mammography image transmission impacts on robust cyber-aided diagnosis systems (SA, SYS, WW, SIJ, SHS, CP), pp. 2252–2256.

ICSE-v2-2015-TsigkanosPGN #adaptation #cyber-physical #named #security

Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems (CT, LP, CG, BN), pp. 729–732.

SPLC-2015-ArrietaSE #algorithm #cyber-physical #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 #cyber-physical

Composition of proof-carrying architectures for cyber-physical systems (ETM, JDM), pp. 419–426.

SPLC-2015-YueAS #analysis #case study #cyber-physical #experience #product line

Cyber-physical system product line engineering: comprehensive domain analysis and experience report (TY, SA, BS), pp. 338–347.

ASPLOS-2015-Lee #architecture #cyber-physical

Architectural Support for Cyber-Physical Systems (EAL), p. 1.

ICST-2015-AliY #behaviour #cyber-physical #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 #cyber-physical #development

Development of smart cyber-physical systems (TB), pp. 189–190.

ECSA-2014-BuresGHKKP #component #cyber-physical

Gossiping Components for Cyber-Physical Systems (TB, IG, PH, JK, MK, FP), pp. 250–266.

ECSA-2014-LewisLP #architecture #bibliography #perspective

Architecture Strategies for Cyber-Foraging: Preliminary Results from a Systematic Literature Review (GAL, PL, GP), pp. 154–169.

DAC-2014-WasicekDL #aspect-oriented #cyber-physical #modelling

Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems (AW, PD, EAL), p. 6.

DATE-2014-CanedoFR #automation #cyber-physical #design #multi

Multi-disciplinary integrated design automation tool for automotive cyber-physical systems (AC, MAAF, JHR), pp. 1–2.

DATE-2014-DhruvaKGT #cyber-physical

Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.

DATE-2014-MunirK #automation #design #named

D2Cyber: A design automation tool for dependable cybercars (AM, FK), pp. 1–4.

DATE-2014-NuzzoFIS #contract #cyber-physical #design #protocol #safety

Contract-based design of control protocols for safety-critical cyber-physical systems (PN, JBF, AI, ALSV), pp. 1–4.

DUXU-ELAS-2014-Chunpir0B #comprehension #using

Using Soft Systems Methodology (SSM) in Understanding Current User-Support Scenario in the Climate Science Domain of Cyber-Infrastructures (HIC, TL, AAB), pp. 495–506.

DUXU-TMT-2014-CoventryBJM #behaviour #named #security

SCENE: A Structured Means for Creating and Evaluating Behavioral Nudges in a Cyber Security Environment (LMC, PB, DJ, APAvM), pp. 229–239.

HIMI-AS-2014-SeigerSMS #concept #cyber-physical #interactive #process

A Resilient Interaction Concept for Process Management on Tabletops for Cyber-Physical Systems (RS, SS, SM, TS), pp. 347–358.

HILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling

Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.

ICEIS-v3-2014-SvedaH #cyber-physical #enterprise #information management

Cyber-physical Information Systems for Enterprise Engineering — Cyber-physical Applications Timing (MS, PH), pp. 441–446.

SEKE-2014-GayedLB #case study #forensics #lightweight #ontology #process #using

Creating Proprietary Terms Using Lightweight Ontology: A Case Study on Acquisition Phase in a Cyber Forensic Process (TFG, HL, MB), pp. 76–81.

MoDELS-2014-WestmanN #contract #cyber-physical #design

Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.

MoDELS-2014-WestmanN #contract #cyber-physical #design

Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.

SAC-2014-ShoshitaishviliIDV #analysis #scalability #security #trade-off

Do you feel lucky?: a large-scale analysis of risk-rewards trade-offs in cyber security (YS, LI, AD, GV), pp. 1649–1656.

SAC-2014-SilvaPBAP #architecture #cyber-physical #modelling #testing

A model-based architecture for testing medical cyber-physical systems (LCS, MP, FMB, HOA, AP), pp. 25–30.

SAC-2014-TesfayHBO #architecture #communication #network

Cyber-secure communication architecture for active power distribution networks (TTT, JPH, JYLB, PO), pp. 545–552.

FSE-2014-DziwokGBTHP #cyber-physical #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.

CASE-2013-HanzG #abstraction #cyber-physical #mobile

An abstraction layer for controlling heterogeneous mobile cyber-physical systems (TH, MG), pp. 117–121.

DATE-2013-AminifarEPC #cyber-physical #design #robust

Control-quality driven design of cyber-physical systems with robustness guarantees (AA, PE, ZP, AC), pp. 1093–1098.

DATE-2013-GurgenGBG #cyber-physical #self

Self-aware cyber-physical systems and applications in smart buildings and cities (LG, OG, YB, MG), pp. 1149–1154.

CEFP-2013-JuhaszDK #cyber-physical #named #workflow

Rea: Workflows for Cyber-Physical Systems (DJ, LD, BK), pp. 479–506.

DUXU-NTE-2013-SonntagZSWT #artificial reality #cyber-physical #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-Gesher #adaptation

Adaptive adversaries: building systems to fight fraud and cyber intruders (AG), p. 1136.

KDD-2013-Marty #how #security #visual notation

Cyber security: how visual analytics unlock insight (RM), p. 1139.

KDD-2013-TangYGHLP #cyber-physical #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 #cyber-physical #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 #cyber-physical #integration #semantics #specification

Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.

MoDELS-2013-NieYAZF #automation #constraints #cyber-physical #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 #cyber-physical #integration #semantics #specification

Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.

CBSE-2012-FouquetMFBPJ #component #physics

A dynamic component model for cyber physical systems (FF, BM, FF, OB, NP, JMJ), pp. 135–144.

DAC-2012-KumarGCALT #approach #cyber-physical #hybrid #verification

A hybrid approach to cyber-physical systems verification (PK, DG, SC, AA, KL, LT), pp. 688–696.

DATE-2012-CanedoF #cyber-physical #execution #industrial #parallel #towards

Towards parallel execution of IEC 61131 industrial cyber-physical systems applications (AC, MAAF), pp. 554–557.

DATE-2012-KirschPSCHHLLRSTV #cyber-physical #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 #cyber-physical #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 #cyber-physical #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.

ITiCSE-2012-BrownCDGHMNPPSSSSS #education

Anatomy, dissection, and mechanics of an introductory cyber-security course’s curriculum at the United States naval academy (CB, FC, RD, RG, CH, JM, DN, AP, AP, SS, JS, SS, DS, SS), pp. 303–308.

FM-2012-OwreSS #analysis #automation #cyber-physical

Automatic Dimensional Analysis of Cyber-Physical Systems (SO, IS, NS), pp. 356–371.

HILT-2012-Fisher #assurance #named

HACMS: high assurance cyber military systems (KF), pp. 51–52.

SEKE-2012-ZhaiLZLCJ #algebra #cyber-physical #logic #verification

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.

SAC-2012-WeiWRR #artificial reality #challenge #framework

Examining the practical challenges of an Augmented Reality cyber-infrastructure framework (CW, CNW, RR, JR), pp. 531–536.

ICSE-2012-BoosFJK #cyber-physical #debugging #framework #named

BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.

DATE-2011-GoswamiSC #communication #cyber-physical #hybrid #protocol #re-engineering

Re-engineering cyber-physical control applications for hybrid communication protocols (DG, RS, SC), pp. 914–919.

CSEET-2011-ChookittikulM #collaboration #effectiveness #security

Effective real-world project collaboration: Strategies from a cyber security degree program (WC, PEM), pp. 429–433.

FM-2011-Sztipanovits #integration #perspective #physics #semantics

Model Integration and Cyber Physical Systems: A Semantics Perspective (JS), p. 1.

ICEIS-v4-2011-GuanZ #ecosystem #evolution #research

Research on the Evolution Mechanism of Ecosystem of Cyber Society based on the Haken Model (XG, ZZ), pp. 124–131.

ICEIS-v4-2011-LiuGF #coordination #development #ecosystem #metric #research

Research on the Coordinated Development of Ecosystem of Cyber-society and Its Measurement (HL, XG, JF), pp. 137–146.

KDD-2011-LiLLNTF #cyber-physical #named

ThermoCast: a cyber-physical forecasting model for datacenters (LL, CJML, JL, SN, AT, CF), pp. 1370–1378.

SIGIR-2011-ShouCCZMZ #cyber-physical #named

What-you-retrieve-is-what-you-see: a preliminary cyber-physical search engine (LS, KC, GC, CZ, YM, XZ), pp. 1273–1274.

CAV-2011-HangMP #architecture #constraints #cyber-physical #modelling #realtime

Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints (CH, PM, VP), pp. 441–456.

DAC-2010-KleisslA #cyber-physical #energy

Cyber-physical energy systems: focus on smart buildings (JK, YA), pp. 749–754.

DAC-2010-LeeS #physics

Medical cyber physical systems (IL, OS), pp. 743–748.

DAC-2010-RajkumarLSS #cyber-physical

Cyber-physical systems: the next computing revolution (RR, IL, LS, JAS), pp. 731–736.

DATE-2010-Benveniste #architecture #cyber-physical

Loosely Time-Triggered Architectures for Cyber-Physical Systems (AB), pp. 3–8.

ICEIS-DISI-2010-LiQW #cyber-physical #monitoring

A Cyber-physical System for Elders Monitoring (XL, YQ, HW), pp. 294–299.

OOPSLA-2010-SorensenG #cyber-physical #programming

Programming with time: cyber-physical programming with impromptu (AS, HG), pp. 822–834.

REFSQ-2010-KarpatiSO #case study #visualisation

Visualizing Cyber Attacks with Misuse Case Maps (PK, GS, ALO), pp. 262–275.

ICLP-2010-Saeedloei10 #cyber-physical #logic programming

Logic Programming Foundations of Cyber-Physical Systems (NS), pp. 289–293.

DAC-2009-Chou #cyber-physical #user interface

Endosymbiotic computing: enabling surrogate GUI and cyber-physical connectivity (PHC), pp. 625–626.

IDGD-2009-LorentsOR

Cyber Society and Cooperative Cyber Defence (PL, RO, RR), pp. 180–186.

ICEIS-HCI-2008-ZineldinV

A Cyber Organization in the Cyber World — ICT and e.Total Relationship Management (e.TRM) (MZ, VV), pp. 118–123.

TestCom-FATES-2008-ShuCLLSL #framework #named #network #paradigm #security #testing

VCSTC: Virtual Cyber Security Testing Capability — An Application Oriented Paradigm for Network Infrastructure Protection (GS, DC, ZL, NL, LS, DL), pp. 119–134.

SAC-2007-DjemaielB

A global marking scheme for tracing cyber attacks (YD, NB), pp. 170–174.

SAC-2004-FujinamiYN #case study #cyber-physical #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.

ITiCSE-2003-CampbellHK03a

The role of two-year colleges in educating the cyber-security workforce (RDC, EKH, KJK), p. 235.

ITiCSE-2001-ClearD #effectiveness #question

A cyber-icebreaker for an effective virtual group? (TC, MD), pp. 121–124.

HT-2000-Larsen #flexibility #hypermedia #what

Providing flexibility within hypertext systems: what we’ve learned at HT workshops, CyberMountain, and elsewhere (DL), pp. 268–269.

WRLA-2000-Nakashima #bibliography #information management

Cyber Assistance for Situtated Human Information Processing Overview of the invited talk (HN), pp. 292–293.

CHI-2000-LeeKM #design #internet #what

What makes Internet users visit cyber stores again? key design factors for customer loyalty (JL, JK, JYM), pp. 305–312.

DATE-1999-Wakabayashi #behaviour #case study #experience #synthesis

C-based Synthesis Experiences with a Behavior Synthesizer, “Cyber” (KW), p. 390–?.

VLDB-1999-Pound

In Cyber Space No One can Hear You Scream (CP), pp. 207–210.

HCI-CCAD-1999-RamalhoBCCLMMV #experience #internet

Cyber Rally: An experience of democratic use of the internet (GR, FAB, SC, AC, ML, SRdLM, HPM, AV), pp. 402–406.

HCI-EI-1999-Tsunoda #prototype

Cyber-Messe part 2: An Operational Prototype Model (TT), pp. 769–773.

ICEIS-1999-MarcosBGTF

Realization of Exposition-Like Events in Cyber-Space (AM, JB, LG, ET, RF), pp. 682–689.

CHI-1998-SchianoW #people

The First Noble Truth of CyberSpace: People are People (even when they MOO) (DJS, SW), pp. 352–359.

CHI-1997-WoodDA #automation #integration #named #network

CyberDesk: Automated Integration of Desktop and Network Services (AW, AKD, GDA), pp. 552–553.

HCI-CC-1997-Nishimura #empirical

Building Cyber-Community-Learning from CyberCampus[TM] Experiment (TN), pp. 35–39.

HCI-SEC-1997-Mizuno #analysis

Conjoint Analysis of Consumer Preferences in Cyber Space (MM), pp. 475–478.

HCI-SEC-1997-SadakataYTH

CyberForum on InterSpace (TS, TY, TT, HH), pp. 375–378.

HCI-SEC-1997-Tsunoda #design #implementation

A Design and Implementation of Cyber Laboratory (TT), pp. 483–486.

CSCW-1996-SugawaraMKSIYKSTNLTS #video

InterSpace Project — CyberCampus (Video Program) (SS, NM, YK, KS, MI, TY, YK, KS, TT, TN, CL, TT, GS), p. 7.

SAC-1995-Berghel #named #navigation #state of the art

CYBER-SURFING: the state-of-the-art in client server browsing and navigation (HB), pp. 1–4.