Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/iccps/iccps2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/iccps/0002KST18,
author = {Kai Li and
Harrison Kurunathan and
Ricardo Severino and
Eduardo Tovar},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Cooperative key generation for data dissemination in cyber-physical
systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {331--332},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00039},
doi = {10.1109/ICCPS.2018.00039},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/0002KST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/AbdiCHLMC18,
author = {Fardin Abdi and
Chien{-}Ying Chen and
Monowar Hasan and
Songran Liu and
Sibin Mohan and
Marco Caccamo},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Guaranteed physical security with restart-based design for cyber-physical
systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {10--21},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00010},
doi = {10.1109/ICCPS.2018.00010},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/AbdiCHLMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/AokiR18,
author = {Shunsuke Aoki and
Ragunathan Raj Rajkumar},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Dynamic intersections and self-driving vehicles},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {320--330},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00038},
doi = {10.1109/ICCPS.2018.00038},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/AokiR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/Bezzo18,
author = {Nicola Bezzo},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Predicting malicious intention in {CPS} under cyber-attack},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {351--352},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00049},
doi = {10.1109/ICCPS.2018.00049},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/Bezzo18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/DarulovaHS18,
author = {Eva Darulova and
Einar Horn and
Saksham Sharma},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Sound mixed-precision optimization with rewriting},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {208--219},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00028},
doi = {10.1109/ICCPS.2018.00028},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/DarulovaHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/DasS18,
author = {Sankar Narayan Das and
Indranil Saha},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Rhocop: receding horizon multi-robot coverage},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {174--185},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00025},
doi = {10.1109/ICCPS.2018.00025},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/DasS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/DeshmukhJMP18,
author = {Jyotirmoy V. Deshmukh and
Xiaoqing Jin and
Rupak Majumdar and
Vinayak S. Prabhu},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Parameter optimization in control software using statistical fault
localization techniques},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {220--231},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00029},
doi = {10.1109/ICCPS.2018.00029},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/DeshmukhJMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/DilipAJ18,
author = {A. Sanand Amita Dilip and
Nikolaos Athanasopoulos and
Rapha{\"{e}}l M. Jungers},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {The impact of packet dropouts on the reachability energy},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {198--207},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00027},
doi = {10.1109/ICCPS.2018.00027},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/DilipAJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/DingHYJO18,
author = {Yuhao Ding and
Farshad Harirchi and
Sze Zheng Yong and
Emil Jacobsen and
Necmiye Ozay},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Optimal input design for affine model discrimination with applications
in intention-aware vehicles},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {297--307},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00036},
doi = {10.1109/ICCPS.2018.00036},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/DingHYJO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/DutreixC18,
author = {Maxence Dutreix and
Samuel Coogan},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Efficient verification for stochastic mixed monotone systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {150--161},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00023},
doi = {10.1109/ICCPS.2018.00023},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/DutreixC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/GuoFZRS18,
author = {Chunhui Guo and
Zhicheng Fu and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Model and integrate medical resource available times and relationships
in verifiably correct executable medical best practice guideline models},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {253--262},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00032},
doi = {10.1109/ICCPS.2018.00032},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/GuoFZRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/GuptaPB18,
author = {Gaurav Gupta and
S{\'{e}}rgio Daniel Pequito and
Paul Bogdan},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Re-thinking EEG-based non-invasive brain interfaces: modeling and
analysis},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {275--286},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00034},
doi = {10.1109/ICCPS.2018.00034},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/GuptaPB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/GurrietSRCFA18,
author = {Thomas Gurriet and
Andrew Singletary and
Jacob Reher and
Laurent Ciarletta and
Eric Feron and
Aaron D. Ames},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Towards a framework for realizable safety critical control through
active set invariance},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {98--106},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00018},
doi = {10.1109/ICCPS.2018.00018},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/GurrietSRCFA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/HayakawaASU18,
author = {Hiroki Hayakawa and
Takuya Azumi and
Akinori Sakaguchi and
Toshimitsu Ushio},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {ROS-based support system for supervision of multiple UAVs by a single
operator},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {341--342},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00044},
doi = {10.1109/ICCPS.2018.00044},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/HayakawaASU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/InversoBT18,
author = {Omar Inverso and
Alberto Bemporad and
Mirco Tribastone},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {SAT-based synthesis of spoofing attacks in cyber-physical control
systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {1--9},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00009},
doi = {10.1109/ICCPS.2018.00009},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/InversoBT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/IvanovWL18,
author = {Radoslav Ivanov and
James Weimer and
Insup Lee},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Context-aware detection in medical cyber-physical systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {232--241},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00030},
doi = {10.1109/ICCPS.2018.00030},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/IvanovWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/JainNMM18,
author = {Achin Jain and
Truong X. Nghiem and
Manfred Morari and
Rahul Mangharam},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Learning and control using gaussian processes: towards bridging machine
learning and controls for physical systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {140--149},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00022},
doi = {10.1109/ICCPS.2018.00022},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/JainNMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/JovanovNKGP18,
author = {Ilija Jovanov and
Michael Naumann and
Karthik Kumaravelu and
Warren M. Grill and
Miroslav Pajic},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Platform for model-based design and testing for deep brain stimulation},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {263--274},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00033},
doi = {10.1109/ICCPS.2018.00033},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/JovanovNKGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/JovanovNKLZGP18,
author = {Ilija Jovanov and
Michael Naumann and
Karthik Kumaravelu and
Vuk Lesi and
Aditya Zutshi and
Warren M. Grill and
Miroslav Pajic},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Learning-based control design for deep brain stimulation},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {349--350},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00048},
doi = {10.1109/ICCPS.2018.00048},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/JovanovNKLZGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KantarosZ18,
author = {Yiannis Kantaros and
Michael M. Zavlanos},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Distributed optimal control synthesis for multi-robot systems under
global temporal tasks},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {162--173},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00024},
doi = {10.1109/ICCPS.2018.00024},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/KantarosZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KatoTMMHKMAFA18,
author = {Shinpei Kato and
Shota Tokunaga and
Yuya Maruyama and
Seiya Maeda and
Manato Hirabayashi and
Yuki Kitsukawa and
Abraham Monrroy and
Tomohito Ando and
Yusuke Fujii and
Takuya Azumi},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Autoware on board: enabling autonomous vehicles with embedded systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {287--296},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00035},
doi = {10.1109/ICCPS.2018.00035},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/KatoTMMHKMAFA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KongXWSL18,
author = {Fanxin Kong and
Meng Xu and
James Weimer and
Oleg Sokolsky and
Insup Lee},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Cyber-physical system checkpointing and recovery},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {22--31},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00011},
doi = {10.1109/ICCPS.2018.00011},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/KongXWSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KushnerBMS18,
author = {Taisa Kushner and
David M. Bortz and
David M. Maahs and
Sriram Sankaranarayanan},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {A data-driven approach to artificial pancreas verification and synthesis},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {242--252},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00031},
doi = {10.1109/ICCPS.2018.00031},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/KushnerBMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/LiLZCC18,
author = {Xing Li and
Mengxiang Liu and
Rui Zhang and
Peng Cheng and
Jiming Chen},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {An industrial control system testbed for the encrypted controller:
demo abstract},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {343--344},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00045},
doi = {10.1109/ICCPS.2018.00045},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/LiLZCC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/LukinaKSSDRBSG018,
author = {Anna Lukina and
Arjun Kumar and
Matt Schmittle and
Abhijeet Singh and
Jnaneshwar Das and
Stephen A. Rees and
Christopher P. van Buskirk and
Janos Sztipanovits and
Radu Grosu and
Vijay Kumar},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Formation control and persistent monitoring in the openUAV swarm simulator
on the {NSF} {CPS-VO}},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {353--354},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00050},
doi = {10.1109/ICCPS.2018.00050},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/LukinaKSSDRBSG018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/MaSF18,
author = {Meiyi Ma and
John A. Stankovic and
Lu Feng},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Cityresolver: a decision support system for conflict resolution in
smart cities},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {55--64},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00014},
doi = {10.1109/ICCPS.2018.00014},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/MaSF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/OliveiraGP18,
author = {Daniel Oliveira and
Tiago Gomes and
Sandro Pinto},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Towards a green and secure architecture for reconfigurable IoT end-devices},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {335--336},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00041},
doi = {10.1109/ICCPS.2018.00041},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/OliveiraGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PantAQM18,
author = {Yash Vardhan Pant and
Houssam Abbas and
Rhudii A. Quaye and
Rahul Mangharam},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Fly-by-logic: control of multi-drone fleets with temporal logic objectives},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {186--197},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00026},
doi = {10.1109/ICCPS.2018.00026},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/PantAQM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PotokCMM18,
author = {Matthew Potok and
Chien{-}Ying Chen and
Sayan Mitra and
Sibin Mohan},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {SDCworks: a formal framework for software defined control of smart
manufacturing systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {88--97},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00017},
doi = {10.1109/ICCPS.2018.00017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/PotokCMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PreumSTLWSA18,
author = {Sarah Masud Preum and
Sile Shu and
Jonathan Ting and
Vincent Lin and
Ronald D. Williams and
John A. Stankovic and
Homa Alemzadeh},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Towards a cognitive assistant system for emergency response},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {347--348},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00047},
doi = {10.1109/ICCPS.2018.00047},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/PreumSTLWSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/SaabMBB18,
author = {Wajeb Saab and
Maaz Mohiuddin and
Simon Bliudze and
Jean{-}Yves Le Boudec},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Ordering events based on intentionality in cyber-physical systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {107--118},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00019},
doi = {10.1109/ICCPS.2018.00019},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/SaabMBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/SagongYCBP18,
author = {Sang Uk Sagong and
Xuhang Ying and
Andrew Clark and
Linda Bushnell and
Radha Poovendran},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Cloaking the clock: emulating clock skew in controller area networks},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {32--42},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00012},
doi = {10.1109/ICCPS.2018.00012},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/SagongYCBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/SchmittleLVDBRS18,
author = {Matt Schmittle and
Anna Lukina and
Lukas Vacek and
Jnaneshwar Das and
Christopher P. van Buskirk and
Stephen A. Rees and
Janos Sztipanovits and
Radu Grosu and
Vijay Kumar},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {OpenUAV: a {UAV} testbed for the {CPS} and robotics community},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {130--139},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ICCPS.2018.00021},
doi = {10.1109/ICCPS.2018.00021},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/SchmittleLVDBRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ShenFW18,
author = {Jiajun Shen and
Xueli Fan and
Qixin Wang},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Underwater {AUV} localization with refraction consideration: WiP abstract},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {333--334},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00040},
doi = {10.1109/ICCPS.2018.00040},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/ShenFW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ShoukryMLD18,
author = {Yasser Shoukry and
Shaunak Mishra and
Zutian Luo and
Suhas N. Diggavi},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Sybil attack resilient traffic networks: a physics-based trust propagation
approach},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {43--54},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00013},
doi = {10.1109/ICCPS.2018.00013},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/ShoukryMLD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/VenkateswaranHE18,
author = {Praveen Venkateswaran and
Qing Han and
Ronald T. Eguchi and
Nalini Venkatasubramanian},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Impact driven sensor placement for leak detection in community water
networks},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {77--87},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00016},
doi = {10.1109/ICCPS.2018.00016},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/VenkateswaranHE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WatariTO18,
author = {Daichi Watari and
Ittetsu Taniguchi and
Takao Onoye},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Soh aware battery management optimization on decentralized energy
network},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {337--338},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00042},
doi = {10.1109/ICCPS.2018.00042},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/WatariTO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WonYPPJBKLPE18,
author = {Yuchang Won and
Buyeon Yu and
Jaegeun Park and
In{-}Hee Park and
Haegeon Jeong and
Jeanseong Baik and
Kyungtae Kang and
Insup Lee and
Kyung{-}Joon Park and
Yongsoon Eun},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {{KRS-DGIST:} a resilient {CPS} testbed for radio-based train control:
WiP abstract},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {339--340},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00043},
doi = {10.1109/ICCPS.2018.00043},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/WonYPPJBKLPE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/YuanZMSHPL18,
author = {Yukun Yuan and
Desheng Zhang and
Fei Miao and
John A. Stankovic and
Tian He and
George J. Pappas and
Shan Lin},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Dynamic integration of heterogeneous transportation modes under disruptive
events},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {65--76},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00015},
doi = {10.1109/ICCPS.2018.00015},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/YuanZMSHPL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhangDB18,
author = {Xinkai Zhang and
Seth Doebbeling and
Justin M. Bradley},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Co-regulation of computational and physical effectors in a quadrotor
unmanned aircraft system},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {119--129},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00020},
doi = {10.1109/ICCPS.2018.00020},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/ZhangDB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhangWYCC18,
author = {Zhenyong Zhang and
Junfeng Wu and
David K. Y. Yau and
Peng Cheng and
Jiming Chen},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Secure kalman filter state estimation by partially homomorphic encryption},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {345--346},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00046},
doi = {10.1109/ICCPS.2018.00046},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/ZhangWYCC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhaoYSA18,
author = {Yiran Zhao and
Shuochao Yao and
Huajie Shao and
Tarek F. Abdelzaher},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Codrive: cooperative driving scheme for vehicles in urban signalized
intersections},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {308--319},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00037},
doi = {10.1109/ICCPS.2018.00037},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/ZhaoYSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccps/2018,
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://ieeexplore.ieee.org/xpl/conhome/8429083/proceeding},
isbn = {978-1-5386-5301-2},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-28 13:07 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
