Search dblp for Publications

export results for "toc:db/conf/iccps/iccps2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iccps/AsareLS13,
  author       = {Philip Asare and
                  John C. Lach and
                  John A. Stankovic},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {{FSTPA-I:} a formal approach to hazard identification via system theoretic
                  process analysis},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {150--159},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502545},
  doi          = {10.1145/2502524.2502545},
  timestamp    = {Fri, 20 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/AsareLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/AzimiBRM13,
  author       = {Seyed (Reza) Azimi and
                  Gaurav Bhatia and
                  Ragunathan Rajkumar and
                  Priyantha Mudalige},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Reliable intersection protocols using vehicular networks},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502526},
  doi          = {10.1145/2502524.2502526},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/AzimiBRM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/AzimiBRM13a,
  author       = {Seyed (Reza) Azimi and
                  Gaurav Bhatia and
                  Ragunathan Rajkumar and
                  Priyantha Mudalige},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Impact of position inaccuracy on {V2V} intersection protocols},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {242},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502560},
  doi          = {10.1145/2502524.2502560},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/AzimiBRM13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/BanerjeeG13,
  author       = {Ayan Banerjee and
                  Sandeep K. S. Gupta},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Spatio-temporal hybrid automata for safe cyber-physical systems: a
                  medical case study},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {71--80},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502535},
  doi          = {10.1145/2502524.2502535},
  timestamp    = {Mon, 21 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/BanerjeeG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/BidmeshkiJ13,
  author       = {Mohammad{-}Mahdi Bidmeshki and
                  Roozbeh Jafari},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Low power programmable architecture for periodic activity monitoring},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {81--88},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502536},
  doi          = {10.1145/2502524.2502536},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/BidmeshkiJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/CaglarSAG13,
  author       = {Faruk Caglar and
                  Shashank Shekhar and
                  Kyoungho An and
                  Aniruddha S. Gokhale},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Intelligent power- and performance-aware tradeoffs for multicore servers
                  in cloud data centers},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {241},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502559},
  doi          = {10.1145/2502524.2502559},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/CaglarSAG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/CanedoSF13,
  author       = {Arquimedes Canedo and
                  Eric Schwarzenbach and
                  Mohammad Abdullah Al Faruque},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Context-sensitive synthesis of executable functional models of cyber-physical
                  systems},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {99--108},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502539},
  doi          = {10.1145/2502524.2502539},
  timestamp    = {Thu, 25 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/CanedoSF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/CarvajalF13,
  author       = {Gonzalo Carvajal and
                  Sebastian Fischmeister},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Atacama: an open research platform for mixed-criticality communication
                  in ethernet},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {248},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502567},
  doi          = {10.1145/2502524.2502567},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/CarvajalF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ChenRFRW13,
  author       = {Peiyi Chen and
                  Thomas Reidemeister and
                  Sebastian Fischmeister and
                  Yassir Rizwan and
                  Steven Lake Waslander},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Hexacopters for everyone: online access to advanced robotics platforms
                  for your research},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {247},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502566},
  doi          = {10.1145/2502524.2502566},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/ChenRFRW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ChoudhariRPKZMC13,
  author       = {Ashish Choudhari and
                  Harini Ramaprasad and
                  Tamal Paul and
                  Jonathan W. Kimball and
                  Maciej J. Zawodniok and
                  Bruce M. McMillin and
                  Sriram Chellappan},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Stability of a cyber-physical smart grid system using cooperating
                  invariants},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {240},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502558},
  doi          = {10.1145/2502524.2502558},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/ChoudhariRPKZMC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/DerlerLTT13,
  author       = {Patricia Derler and
                  Edward A. Lee and
                  Stavros Tripakis and
                  Martin T{\"{o}}rngren},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Cyber-physical system design contracts},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {109--118},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502540},
  doi          = {10.1145/2502524.2502540},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/DerlerLTT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/GouW13,
  author       = {Bei Gou and
                  Weibiao Wu},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Possibility of power system blackout prediction},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {243},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502561},
  doi          = {10.1145/2502524.2502561},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/GouW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/HanMMWHLZSKM13,
  author       = {Song Han and
                  Aloysius K. Mok and
                  Jianyong Meng and
                  Yi{-}Hung Wei and
                  Pei{-}Chi Huang and
                  Quan Leng and
                  Xiuming Zhu and
                  Luis Sentis and
                  Kwan{-}Suk Kim and
                  Risto Miikkulainen},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Architecture of a cyberphysical avatar},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {189--198},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502550},
  doi          = {10.1145/2502524.2502550},
  timestamp    = {Thu, 19 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/HanMMWHLZSKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/HanPS13,
  author       = {Kyusuk Han and
                  Swapna Divya Potluri and
                  Kang G. Shin},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {On authentication in a connected vehicle: secure integration of mobile
                  devices with vehicular networks},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {160--169},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502546},
  doi          = {10.1145/2502524.2502546},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/HanPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/HorvathYXK13,
  author       = {P{\'{e}}ter Horv{\'{a}}th and
                  Mark Yampolskiy and
                  Yuan Xue and
                  Xenofon D. Koutsoukos},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Low-complexity multicarrier physical layer for wireless real-time
                  control networks},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {257},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502576},
  doi          = {10.1145/2502524.2502576},
  timestamp    = {Thu, 11 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/HorvathYXK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KatoAB13,
  author       = {Shinpei Kato and
                  Jason Aumiller and
                  Scott A. Brandt},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Zero-copy {I/O} processing for low-latency {GPU} computing},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {170--178},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502548},
  doi          = {10.1145/2502524.2502548},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/KatoAB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KattiSK13,
  author       = {Raj S. Katti and
                  Rucha Sule and
                  Rajesh G. Kavasseri},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Multicast authentication in the smart grid with one-time signatures
                  from sigma-protocols},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {239},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502557},
  doi          = {10.1145/2502524.2502557},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/KattiSK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/Kim13,
  author       = {Kyoung{-}Dae Kim},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Collision free autonomous ground traffic: a model predictive control
                  approach},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {51--60},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502532},
  doi          = {10.1145/2502524.2502532},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/Kim13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KimKLR13,
  author       = {Junsung Kim and
                  Hyoseung Kim and
                  Karthik Lakshmanan and
                  Ragunathan Rajkumar},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Parallel scheduling for cyber-physical systems: analysis and case
                  study on a self-driving car},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {31--40},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502530},
  doi          = {10.1145/2502524.2502530},
  timestamp    = {Mon, 29 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/KimKLR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KimLPS13,
  author       = {BaekGyu Kim and
                  Insup Lee and
                  Linh T. X. Phan and
                  Oleg Sokolsky},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Platform dependent code generation of real-time embedded software},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {246},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502565},
  doi          = {10.1145/2502524.2502565},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/KimLPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KimLS13,
  author       = {Eugene Kim and
                  Jinkyu Lee and
                  Kang G. Shin},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Real-time prediction of battery power requirements for electric vehicles},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502527},
  doi          = {10.1145/2502524.2502527},
  timestamp    = {Mon, 22 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/KimLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KurtRO13,
  author       = {Arda Kurt and
                  Keith A. Redmill and
                  {\"{U}}mit {\"{O}}zg{\"{u}}ner},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Coordinated autonomous driving with 100 connected vehicles},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {244},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502562},
  doi          = {10.1145/2502524.2502562},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/KurtRO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/LeeJ13,
  author       = {Sang{-}Hun Lee and
                  Hyun{-}Wook Jin},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {A model for analyzing data freshness of periodic real-time communication},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {260},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502579},
  doi          = {10.1145/2502524.2502579},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/LeeJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/LiK13,
  author       = {Wenjia Li and
                  Lindah Kotut},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Finding abnormal data in vehicular cyber physical systems},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {259},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502578},
  doi          = {10.1145/2502524.2502578},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/LiK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/LiSMHLDAS13,
  author       = {Bo Li and
                  Zhuoxiong Sun and
                  Kirill Mechitov and
                  Gregory Hackmann and
                  Chenyang Lu and
                  Shirley Dyke and
                  Gul Agha and
                  Billie F. Spencer},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Realistic case studies of wireless structural control},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {179--188},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502549},
  doi          = {10.1145/2502524.2502549},
  timestamp    = {Tue, 05 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/LiSMHLDAS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/MaasoumyZLMS13,
  author       = {Mehdi Maasoumy and
                  Qi Zhu and
                  Cheng Li and
                  Forrest Meggers and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Co-design of control algorithm and embedded platform for building
                  {HVAC} systems},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {61--70},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502533},
  doi          = {10.1145/2502524.2502533},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/MaasoumyZLMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/MarchesaniPSP13,
  author       = {Stefano Marchesani and
                  Luigi Pomante and
                  Fortunato Santucci and
                  Marco Pugliese},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {A cryptographic scheme for real-world wireless sensor networks applications},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {249},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502568},
  doi          = {10.1145/2502524.2502568},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/MarchesaniPSP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PajicMBWSPTL13,
  author       = {Miroslav Pajic and
                  Nathan Michael and
                  Nicola Bezzo and
                  James Weimer and
                  Oleg Sokolsky and
                  George J. Pappas and
                  Paulo Tabuada and
                  Insup Lee},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Synthesis of platform-aware attack-resilient vehicular systems},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {251},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502570},
  doi          = {10.1145/2502524.2502570},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/PajicMBWSPTL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ParkKO13,
  author       = {Jaeyong Park and
                  Arda Kurt and
                  {\"{U}}mit {\"{O}}zg{\"{u}}ner},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {A game theoretic approach to controller design for cyber-physical
                  systems: collision avoidance},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {254},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502573},
  doi          = {10.1145/2502524.2502573},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/ParkKO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/Pavlic13,
  author       = {Theodore P. Pavlic},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Physical stigmergy for decentralized constrained optimization: an
                  intelligent lighting example},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {258},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502577},
  doi          = {10.1145/2502524.2502577},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/Pavlic13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/Peddi13,
  author       = {Sai Prathyusha Peddi},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Real-time adaptive signaling for isolated intersections},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {256},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502575},
  doi          = {10.1145/2502524.2502575},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/Peddi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PereiraKSS13,
  author       = {Eloi Pereira and
                  Christoph M. Kirsch and
                  Jo{\~{a}}o Borges de Sousa and
                  Raja Sengupta},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {BigActors: a model for structure-aware computation},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {199--208},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502551},
  doi          = {10.1145/2502524.2502551},
  timestamp    = {Thu, 14 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/PereiraKSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/RahmanDA13,
  author       = {Mohammad Ashiqur Rahman and
                  Qi Duan and
                  Ehab Al{-}Shaer},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Energy efficient navigation management for hybrid electric vehicles
                  on highways},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {21--30},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502528},
  doi          = {10.1145/2502524.2502528},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/RahmanDA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/RajagopalGBR13,
  author       = {Niranjini Rajagopal and
                  Suman Giri and
                  Mario Berges and
                  Anthony Rowe},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {A magnetic field-based appliance metering system},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {229--238},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502555},
  doi          = {10.1145/2502524.2502555},
  timestamp    = {Mon, 22 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/RajagopalGBR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/SaleheenOW13,
  author       = {Firdous Saleheen and
                  Vira Oleksyuk and
                  Chang{-}Hee Won},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Cyber-physical tactile imaging system for malignant tumor identification},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {250},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502569},
  doi          = {10.1145/2502524.2502569},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/SaleheenOW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/SfyrlaMV13,
  author       = {Vasiliki Sfyrla and
                  S{\'{e}}bastien Marcoux and
                  Claude Vittoria},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Formal analysis of Fresenius infusion pump {(FIP)}},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {253},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502572},
  doi          = {10.1145/2502524.2502572},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/SfyrlaMV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/SookoorW13,
  author       = {Tamim I. Sookoor and
                  Kamin Whitehouse},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {RoomZoner: occupancy-based room-level zoning of a centralized {HVAC}
                  system},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {209--218},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502553},
  doi          = {10.1145/2502524.2502553},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/SookoorW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/SoudbakhshPSLA13,
  author       = {Damoon Soudbakhsh and
                  Linh T. X. Phan and
                  Oleg Sokolsky and
                  Insup Lee and
                  Anuradha Annaswamy},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Co-design of control and platform with dropped signals},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {129--140},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502542},
  doi          = {10.1145/2502524.2502542},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/SoudbakhshPSLA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WangHS13,
  author       = {Xiaofeng Wang and
                  Naira Hovakimyan and
                  Lui Sha},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {L1Simplex: fault-tolerant control of cyber-physical systems},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {41--50},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502531},
  doi          = {10.1145/2502524.2502531},
  timestamp    = {Sat, 26 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/WangHS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WangSGL13,
  author       = {Xi Wang and
                  Weidong Shi and
                  Omprakash Gnawali and
                  Katherine A. Loveland},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Speaker localization and cancellation for improving social attention},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {261},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502580},
  doi          = {10.1145/2502524.2502580},
  timestamp    = {Wed, 03 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/WangSGL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WeKOJL13,
  author       = {Kyoung{-}Soo We and
                  Jong{-}Chan Kim and
                  Yuyeon Oh and
                  Sangmin Jeong and
                  Chang{-}Gun Lee},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {An efficient and easilly reconfigurable cyber-physical simulator},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {245},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502564},
  doi          = {10.1145/2502524.2502564},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/WeKOJL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WuKASBG13,
  author       = {Po{-}Liang Wu and
                  Woochul Kang and
                  Abdullah Al{-}Nayeem and
                  Lui Sha and
                  Richard B. Berlin Jr. and
                  Julian M. Goldman},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {A low complexity coordination architecture for networked supervisory
                  medical systems},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {89--98},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502537},
  doi          = {10.1145/2502524.2502537},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/WuKASBG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhangLLCCLWY13,
  author       = {Hongwei Zhang and
                  Xiaohui Liu and
                  Chuan Li and
                  Yu Chen and
                  Xin Che and
                  Feng Lin and
                  Le Yi Wang and
                  Gang George Yin},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {PRK-based scheduling for predictable link reliability in wireless
                  networked sensing and control},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {255},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502574},
  doi          = {10.1145/2502524.2502574},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/ZhangLLCCLWY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhangPEKKS13,
  author       = {Zhenkai Zhang and
                  Joseph Porter and
                  Emeka Eyisi and
                  Gabor Karsai and
                  Xenofon D. Koutsoukos and
                  Janos Sztipanovits},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Co-simulation framework for design of time-triggered cyber physical
                  systems},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {119--128},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502541},
  doi          = {10.1145/2502524.2502541},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/ZhangPEKKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhangTLD13,
  author       = {Zhenghao Zhang and
                  Matthew Trinkle and
                  Husheng Li and
                  Aleksandar D. Dimitrovski},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Combating time synchronization attack: a cross layer defense mechanism},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {141--149},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502544},
  doi          = {10.1145/2502524.2502544},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/ZhangTLD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhuHSSIMMS13,
  author       = {Ting Zhu and
                  Zhichuan Huang and
                  Ankur Sharma and
                  Jikui Su and
                  David E. Irwin and
                  Aditya Kumar Mishra and
                  Daniel S. Menasch{\'{e}} and
                  Prashant J. Shenoy},
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {Sharing renewable energy in smart microgrids},
  booktitle    = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  pages        = {219--228},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2502524.2502554},
  doi          = {10.1145/2502524.2502554},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/ZhuHSSIMMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccps/2013,
  editor       = {Chenyang Lu and
                  P. R. Kumar and
                  Radu Stoleru},
  title        = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
                  (with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
                  8-11, 2013},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {http://dl.acm.org/citation.cfm?id=2502524},
  isbn         = {978-1-4503-1996-6},
  timestamp    = {Thu, 08 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics