Search dblp for Publications

export results for "stream:streams/journals/tcps:"

 download as .bib file

@article{DBLP:journals/tcps/AmbrosinCLY21,
  author    = {Moreno Ambrosin and
               Mauro Conti and
               Riccardo Lazzeretti and
               Chia{-}Mu Yu},
  title     = {Introduction to the Special Issue on Security and Privacy for Connected
               Cyber-physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {1:1--1:2},
  year      = {2021},
  url       = {https://doi.org/10.1145/3431201},
  doi       = {10.1145/3431201},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/AmbrosinCLY21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ArdagnaADIEP21,
  author    = {Claudio Agostino Ardagna and
               Rasool Asal and
               Ernesto Damiani and
               Nabil El Ioini and
               Mehdi Elahi and
               Claus Pahl},
  title     = {From Trustworthy Data to Trustworthy IoT: {A} Data Collection Methodology
               Based on Blockchain},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {11:1--11:26},
  year      = {2021},
  url       = {https://doi.org/10.1145/3418686},
  doi       = {10.1145/3418686},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ArdagnaADIEP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/AzadPBBH21,
  author    = {Muhammad Ajmal Azad and
               Charith Perera and
               Samiran Bag and
               Mahmoud Barhamgi and
               Feng Hao},
  title     = {Privacy-preserving Crowd-sensed Trust Aggregation in the User-centeric
               Internet of People Networks},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {4:1--4:24},
  year      = {2021},
  url       = {https://doi.org/10.1145/3390860},
  doi       = {10.1145/3390860},
  timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/AzadPBBH21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BahetiBS21,
  author    = {Shrey Baheti and
               Shreyas Badiger and
               Yogesh Simmhan},
  title     = {VIoLET: An Emulation Environment for Validating IoT Deployments at
               Large Scales},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {25:1--25:39},
  year      = {2021},
  url       = {https://doi.org/10.1145/3446346},
  doi       = {10.1145/3446346},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BahetiBS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BakirtzisFV21,
  author    = {Georgios Bakirtzis and
               Cody Harrison Fleming and
               Christina Vasilakopoulou},
  title     = {Categorical Semantics of Cyber-Physical Systems Theory},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {32:1--32:32},
  year      = {2021},
  url       = {https://doi.org/10.1145/3461669},
  doi       = {10.1145/3461669},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BakirtzisFV21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BakkerBCV21,
  author    = {Craig Bakker and
               Arnab Bhattacharya and
               Samrat Chatterjee and
               Draguna L. Vrabie},
  title     = {Metagames and Hypergames for Deception-Robust Control},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {23:1--23:25},
  year      = {2021},
  url       = {https://doi.org/10.1145/3439430},
  doi       = {10.1145/3439430},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BakkerBCV21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BarrereH21,
  author    = {Mart{\'{\i}}n Barr{\`{e}}re and
               Chris Hankin},
  title     = {Analysing Mission-critical Cyber-physical Systems with {AND/OR} Graphs
               and MaxSAT},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {30:1--30:29},
  year      = {2021},
  url       = {https://doi.org/10.1145/3451169},
  doi       = {10.1145/3451169},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BarrereH21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BastosVSSC21,
  author    = {Jo{\~{a}}o Bastos and
               Jeroen Voeten and
               Sander Stuijk and
               Ramon R. H. Schiffelers and
               Henk Corporaal},
  title     = {Taming the State-space Explosion in the Makespan Optimization of Flexible
               Manufacturing Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {15:1--15:26},
  year      = {2021},
  url       = {https://doi.org/10.1145/3426194},
  doi       = {10.1145/3426194},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/BastosVSSC21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BhatiaTFBM21,
  author    = {Laksh Bhatia and
               Ivana Tomic and
               Anqi Fu and
               Michael Breza and
               Julie A. McCann},
  title     = {Control Communication Co-Design for Wide Area Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {18:1--18:27},
  year      = {2021},
  url       = {https://doi.org/10.1145/3418528},
  doi       = {10.1145/3418528},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/BhatiaTFBM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BombaraB21,
  author    = {Giuseppe Bombara and
               Calin Belta},
  title     = {Offline and Online Learning of Signal Temporal Logic Formulae Using
               Decision Trees},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {22:1--22:23},
  year      = {2021},
  url       = {https://doi.org/10.1145/3433994},
  doi       = {10.1145/3433994},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BombaraB21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BourbouhGGT21,
  author    = {Hamza Bourbouh and
               Pierre{-}Lo{\"{\i}}c Garoche and
               Christophe Garion and
               Xavier Thirioux},
  title     = {From Lustre to Simulink: Reverse Compilation for Embedded Systems
               Applications},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {31:1--31:20},
  year      = {2021},
  url       = {https://doi.org/10.1145/3461668},
  doi       = {10.1145/3461668},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BourbouhGGT21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/EiseleECALD21,
  author    = {Scott Eisele and
               Taha Eghtesad and
               Keegan Campanelli and
               Prakhar Agrawal and
               Aron Laszka and
               Abhishek Dubey},
  title     = {Safe and Private Forward-trading Platform for Transactive Microgrids},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {8:1--8:29},
  year      = {2021},
  url       = {https://doi.org/10.1145/3403711},
  doi       = {10.1145/3403711},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/EiseleECALD21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/GemlauKEQ21,
  author    = {Kai{-}Bj{\"{o}}rn Gemlau and
               Leonie K{\"{o}}hler and
               Rolf Ernst and
               Sophie Quinton},
  title     = {System-level Logical Execution Time: Augmenting the Logical Execution
               Time Paradigm for Distributed Real-time Automotive Software},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {14:1--14:27},
  year      = {2021},
  url       = {https://doi.org/10.1145/3381847},
  doi       = {10.1145/3381847},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/GemlauKEQ21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/GimenezRAAKN21,
  author    = {Pierre{-}Fran{\c{c}}ois Gimenez and
               Jonathan Roux and
               Eric Alata and
               Guillaume Auriol and
               Mohamed Ka{\^{a}}niche and
               Vincent Nicomette},
  title     = {{RIDS:} Radio Intrusion Detection and Diagnosis System for Wireless
               Communications in Smart Environment},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {24:1},
  year      = {2021},
  url       = {https://doi.org/10.1145/3441458},
  doi       = {10.1145/3441458},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/GimenezRAAKN21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/JesusCO21,
  author    = {Gon{\c{c}}alo de Jesus and
               Ant{\'{o}}nio Casimiro and
               Anabela Oliveira},
  title     = {Using Machine Learning for Dependable Outlier Detection in Environmental
               Monitoring Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {29:1--29:30},
  year      = {2021},
  url       = {https://doi.org/10.1145/3445812},
  doi       = {10.1145/3445812},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/JesusCO21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KafleMMNP21,
  author    = {Kaushal Kafle and
               Kevin Moran and
               Sunil Manandhar and
               Adwait Nadkarni and
               Denys Poshyvanyk},
  title     = {Security in Centralized Data Store-based Home Automation Platforms:
               {A} Systematic Analysis of Nest and Hue},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {2:1--2:27},
  year      = {2021},
  url       = {https://doi.org/10.1145/3418286},
  doi       = {10.1145/3418286},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/KafleMMNP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KhaledOTD21,
  author    = {Abdelaziz Khaled and
               Samir Ouchani and
               Zahir Tari and
               Khalil Drira},
  title     = {Assessing the Severity of Smart Attacks in Industrial Cyber-Physical
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {10:1--10:28},
  year      = {2021},
  url       = {https://doi.org/10.1145/3422369},
  doi       = {10.1145/3422369},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/KhaledOTD21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LiLZZNT21,
  author    = {Kai Li and
               Ning Lu and
               Jingjing Zheng and
               Pei Zhang and
               Wei Ni and
               Eduardo Tovar},
  title     = {BloothAir: {A} Secure Aerial Relay System Using Bluetooth Connected
               Autonomous Drones},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {27:1--27:22},
  year      = {2021},
  url       = {https://doi.org/10.1145/3448254},
  doi       = {10.1145/3448254},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LiLZZNT21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/Lu21,
  author    = {Chenyang Lu},
  title     = {Toward a Scientific and Engineering Discipline of Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {22e:1--22e:2},
  year      = {2021},
  url       = {https://doi.org/10.1145/3464945},
  doi       = {10.1145/3464945},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/Lu21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MaoYLLC21,
  author    = {Jiachen Mao and
               Huanrui Yang and
               Ang Li and
               Hai Li and
               Yiran Chen},
  title     = {TPrune: Efficient Transformer Pruning for Mobile Devices},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {26:1--26:22},
  year      = {2021},
  url       = {https://doi.org/10.1145/3446640},
  doi       = {10.1145/3446640},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/MaoYLLC21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MiaoHPHHKSP21,
  author    = {Fei Miao and
               Sihong He and
               Lynn Pepin and
               Shuo Han and
               Abdeltawab M. Hendawi and
               Mohamed E. Khalefa and
               John A. Stankovic and
               George J. Pappas},
  title     = {Data-driven Distributionally Robust Optimization For Vehicle Balancing
               of Mobility-on-Demand Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {17:1--17:27},
  year      = {2021},
  url       = {https://doi.org/10.1145/3418287},
  doi       = {10.1145/3418287},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/MiaoHPHHKSP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/NagarathinamVSJ21,
  author    = {Srinarayana Nagarathinam and
               Arunchandar Vasan and
               Venkatesh Sarangan and
               Rajesh Jayaprakash and
               Anand Sivasubramaniam},
  title     = {User Placement and Optimal Cooling Energy for Co-working Building
               Spaces},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {21:1--21:24},
  year      = {2021},
  url       = {https://doi.org/10.1145/3432818},
  doi       = {10.1145/3432818},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/NagarathinamVSJ21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/NiuC21,
  author    = {Luyao Niu and
               Andrew Clark},
  title     = {A Differentially Private Incentive Design for Traffic Offload to Public
               Transportation},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {20:1--20:27},
  year      = {2021},
  url       = {https://doi.org/10.1145/3430847},
  doi       = {10.1145/3430847},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/NiuC21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/PalletiMAM21,
  author    = {Venkata Reddy Palleti and
               Vishrut Kumar Mishra and
               Chuadhry Mujeeb Ahmed and
               Aditya Mathur},
  title     = {Can Replay Attacks Designed to Steal Water from Water Distribution
               Systems Remain Undetected?},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {9:1--9:19},
  year      = {2021},
  url       = {https://doi.org/10.1145/3406764},
  doi       = {10.1145/3406764},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/PalletiMAM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/PanwarSWMV21,
  author    = {Nisha Panwar and
               Shantanu Sharma and
               Guoxi Wang and
               Sharad Mehrotra and
               Nalini Venkatasubramanian},
  title     = {{CANOPY:} {A} Verifiable Privacy-Preserving Token Ring-Based Communication
               Protocol for Smart Homes},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {3:1--3:34},
  year      = {2021},
  url       = {https://doi.org/10.1145/3390859},
  doi       = {10.1145/3390859},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/PanwarSWMV21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/RathoreSJ21,
  author    = {Heena Rathore and
               Abhay Samant and
               Murtuza Jadliwala},
  title     = {TangleCV: {A} Distributed Ledger Technique for Secure Message Sharing
               in Connected Vehicles},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {6:1--6:25},
  year      = {2021},
  url       = {https://doi.org/10.1145/3404500},
  doi       = {10.1145/3404500},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/RathoreSJ21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/RawatKAG21,
  author    = {Abhimanyu Rawat and
               Mohammad Khodari and
               Mikael Asplund and
               Andrei V. Gurtov},
  title     = {Decentralized Firmware Attestation for In-Vehicle Networks},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {7:1--7:23},
  year      = {2021},
  url       = {https://doi.org/10.1145/3418685},
  doi       = {10.1145/3418685},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/RawatKAG21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/RosalesP21,
  author    = {Rafael Rosales and
               Michael Paulitsch},
  title     = {Composable Finite State Machine-based Modeling for Quality-of-Information-aware
               Cyber-physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {13:1--13:27},
  year      = {2021},
  url       = {https://doi.org/10.1145/3386244},
  doi       = {10.1145/3386244},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/RosalesP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ShrivastavaD21,
  author    = {Aviral Shrivastava and
               Patricia Derler},
  title     = {Introduction to the Special Issue on Time for {CPS} {(TCPS)}},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {12:1--12:2},
  year      = {2021},
  url       = {https://doi.org/10.1145/3433948},
  doi       = {10.1145/3433948},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/ShrivastavaD21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SuntaxiGB21,
  author    = {Gabriela Suntaxi and
               Aboubakr Achraf El Ghazi and
               Klemens B{\"{o}}hm},
  title     = {Preserving Secrecy in Mobile Social Networks},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {5:1--5:29},
  year      = {2021},
  url       = {https://doi.org/10.1145/3396071},
  doi       = {10.1145/3396071},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/SuntaxiGB21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WenD21,
  author    = {Jianjun Wen and
               Waltenegus Dargie},
  title     = {Characterization of Link Quality Fluctuation in Mobile Wireless Sensor
               Networks},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {3},
  pages     = {28:1--28:24},
  year      = {2021},
  url       = {https://doi.org/10.1145/3448737},
  doi       = {10.1145/3448737},
  timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WenD21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/YanS21,
  author    = {Li Yan and
               Haiying Shen},
  title     = {Utilizing Game Theory to Optimize In-motion Wireless Charging Service
               Efficiency for Electric Vehicles},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {19:1--19:26},
  year      = {2021},
  url       = {https://doi.org/10.1145/3430194},
  doi       = {10.1145/3430194},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/YanS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZhongJP21,
  author    = {Bingzhuo Zhong and
               Claudius Jordan and
               Julien Provost},
  title     = {Extending Signal Temporal Logic with Quantitative Semantics by Intervals
               for Robust Monitoring of Cyber-physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {5},
  number    = {2},
  pages     = {16:1--16:25},
  year      = {2021},
  url       = {https://doi.org/10.1145/3377868},
  doi       = {10.1145/3377868},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/ZhongJP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/AlaeiyanDDCP20,
  author    = {Mohammad Hadi Alaeiyan and
               Ali Dehghantanha and
               Tooska Dargahi and
               Mauro Conti and
               Saeed Parsa},
  title     = {A Multilabel Fuzzy Relevance Clustering System for Malware Attack
               Attribution in the Edge Layer of Cyber-Physical Networks},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {31:1--31:22},
  year      = {2020},
  url       = {https://doi.org/10.1145/3351881},
  doi       = {10.1145/3351881},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/AlaeiyanDDCP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/AraniK20,
  author    = {Mohammadreza Fakhari Moghaddam Arani and
               Deepa Kundur},
  title     = {A User-centric Approach toward Resilient Frequency-regulating Wind
               Generators},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {36:1--36:23},
  year      = {2020},
  url       = {https://doi.org/10.1145/3389682},
  doi       = {10.1145/3389682},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/AraniK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/Asplund20,
  author    = {Mikael Asplund},
  title     = {Combining Detection and Verification for Secure Vehicular Cooperation
               Groups},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {10:1--10:31},
  year      = {2020},
  url       = {https://doi.org/10.1145/3322129},
  doi       = {10.1145/3322129},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/Asplund20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BabunAU20,
  author    = {Leonardo Babun and
               Hidayet Aksu and
               A. Selcuk Uluagac},
  title     = {A System-level Behavioral Detection Framework for Compromised {CPS}
               Devices: Smart-Grid Case},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {16:1--16:28},
  year      = {2020},
  url       = {https://doi.org/10.1145/3355300},
  doi       = {10.1145/3355300},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BabunAU20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BaiZWWW20,
  author    = {Yunhao Bai and
               Kuangyu Zheng and
               Zejiang Wang and
               Xiaorui Wang and
               Junmin Wang},
  title     = {MC-Safe: Multi-channel Real-time {V2V} Communication for Enhancing
               Driving Safety},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {46:1--46:27},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3394961},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BaiZWWW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BakkerBCV20,
  author    = {Craig Bakker and
               Arnab Bhattacharya and
               Samrat Chatterjee and
               Draguna L. Vrabie},
  title     = {Hypergames and Cyber-Physical Security for Control Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {45:1--45:41},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3384676},
  timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BakkerBCV20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BarnwalGGD20,
  author    = {Rajesh P. Barnwal and
               Nirnay Ghosh and
               Soumya K. Ghosh and
               Sajal K. Das},
  title     = {Publish or Drop Traffic Event Alerts? Quality-aware Decision Making
               in Participatory Sensing-based Vehicular {CPS}},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {9:1--9:28},
  year      = {2020},
  url       = {https://doi.org/10.1145/3321480},
  doi       = {10.1145/3321480},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BarnwalGGD20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BaumannMJTZT20,
  author    = {Dominik Baumann and
               Fabian Mager and
               Romain Jacob and
               Lothar Thiele and
               Marco Zimmerling and
               Sebastian Trimpe},
  title     = {Fast Feedback Control over Multi-hop Wireless Networks with Mode Changes
               and Stability Guarantees},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {18:1--18:32},
  year      = {2020},
  url       = {https://doi.org/10.1145/3361846},
  doi       = {10.1145/3361846},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BaumannMJTZT20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BellmanLDEHJTLP20,
  author    = {Kirstie L. Bellman and
               Christopher Landauer and
               Nikil D. Dutt and
               Lukas Esterle and
               Andreas Herkersdorf and
               Axel Jantsch and
               Nima Taherinejad and
               Peter R. Lewis and
               Marco Platzner and
               Kalle Tammem{\"{a}}e},
  title     = {Self-aware Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {38:1--38:26},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3375716},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BellmanLDEHJTLP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BiHXJLC20,
  author    = {Chongguang Bi and
               Jun Huang and
               Guoliang Xing and
               Landu Jiang and
               Xue Liu and
               Minghua Chen},
  title     = {SafeWatch: {A} Wearable Hand Motion Tracking System for Improving
               Driving Safety},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {13:1--13:21},
  year      = {2020},
  url       = {https://doi.org/10.1145/3360323},
  doi       = {10.1145/3360323},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BiHXJLC20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ChaiZSL20,
  author    = {Ruizhi Chai and
               Ying Zhang and
               Geng Sun and
               Hongsheng Li},
  title     = {Self-aware Power Management for Maintaining Event Detection Probability
               of Supercapacitor-powered Cyber-physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {42:1--42:19},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3375407},
  timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/ChaiZSL20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ChakrabortyH20,
  author    = {Samarjit Chakraborty and
               Tian He},
  title     = {Introduction to the Special Issue on Transportation Cyber-Physical
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {1:1--1:3},
  year      = {2020},
  url       = {https://doi.org/10.1145/3372495},
  doi       = {10.1145/3372495},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/ChakrabortyH20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ChehCTS20,
  author    = {Carmen Cheh and
               Binbin Chen and
               William G. Temple and
               William H. Sanders},
  title     = {Modeling Adversarial Physical Movement in a Railway Station: Classification
               and Metrics},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {11:1--11:25},
  year      = {2020},
  url       = {https://doi.org/10.1145/3349584},
  doi       = {10.1145/3349584},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ChehCTS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/EsterleB20,
  author    = {Lukas Esterle and
               John N. A. Brown},
  title     = {I Think Therefore You Are: Models for Interaction in Collectives of
               Self-aware Cyber-physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {39:1--39:25},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3375403},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/EsterleB20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/FuGZRS20,
  author    = {Zhicheng Fu and
               Chunhui Guo and
               Zhenyu Zhang and
               Shangping Ren and
               Lui Sha},
  title     = {\emph{UACFinder}: Mining Syntactic Carriers of Unspecified Assumptions
               in Medical Cyber-Physical System Design Models},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {24:1--24:25},
  year      = {2020},
  url       = {https://doi.org/10.1145/3375405},
  doi       = {10.1145/3375405},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/FuGZRS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/GavrilutP20,
  author    = {Voica Gavrilut and
               Paul Pop},
  title     = {Traffic-type Assignment for TSN-based Mixed-criticality Cyber-physical
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {23:1--23:27},
  year      = {2020},
  url       = {https://doi.org/10.1145/3371708},
  doi       = {10.1145/3371708},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/GavrilutP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/GilanifarWOZA20,
  author    = {Mostafa Gilanifar and
               Hui Wang and
               Eren Erman Ozguven and
               Yuxun Zhou and
               Reza Arghandeh},
  title     = {Bayesian Spatiotemporal Gaussian Process for Short-term Load Forecasting
               Using Combined Transportation and Electricity Data},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {2:1--2:25},
  year      = {2020},
  url       = {https://doi.org/10.1145/3300185},
  doi       = {10.1145/3300185},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/GilanifarWOZA20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/GuanAT20,
  author    = {Yue Guan and
               Anuradha M. Annaswamy and
               H. Eric Tseng},
  title     = {A Dynamic Routing Framework for Shared Mobility Services},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {6:1--6:28},
  year      = {2020},
  url       = {https://doi.org/10.1145/3300181},
  doi       = {10.1145/3300181},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/GuanAT20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/GuerarVMPMV20,
  author    = {Meriem Guerar and
               Luca Verderame and
               Alessio Merlo and
               Francesco Palmieri and
               Mauro Migliardi and
               Luca Vallerini},
  title     = {CirclePIN: {A} Novel Authentication Mechanism for Smartwatches to
               Prevent Unauthorized Access to IoT Devices},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {34:1--34:19},
  year      = {2020},
  url       = {https://doi.org/10.1145/3365995},
  doi       = {10.1145/3365995},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/GuerarVMPMV20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HarbinBDIBG20,
  author    = {James Harbin and
               Alan Burns and
               Robert I. Davis and
               Leandro Soares Indrusiak and
               Iain Bate and
               David Griffin},
  title     = {The AirTight Protocol for Mixed Criticality Wireless {CPS}},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {19:1--19:28},
  year      = {2020},
  url       = {https://doi.org/10.1145/3362987},
  doi       = {10.1145/3362987},
  timestamp = {Thu, 20 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/HarbinBDIBG20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HatzivasilisSIS20,
  author    = {George Hatzivasilis and
               Othonas Soultatos and
               Sotiris Ioannidis and
               George Spanoudakis and
               Vasilios Katos and
               Giorgos Demetriou},
  title     = {MobileTrust: Secure Knowledge Integration in VANETs},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {33:1--33:25},
  year      = {2020},
  url       = {https://doi.org/10.1145/3364181},
  doi       = {10.1145/3364181},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/HatzivasilisSIS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HoefMDJ20,
  author    = {Sebastian van de Hoef and
               Jonas M{\aa}rtensson and
               Dimos V. Dimarogonas and
               Karl Henrik Johansson},
  title     = {A Predictive Framework for Dynamic Heavy-Duty Vehicle Platoon Coordination},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {5:1--5:25},
  year      = {2020},
  url       = {https://doi.org/10.1145/3299110},
  doi       = {10.1145/3299110},
  timestamp = {Wed, 27 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/HoefMDJ20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HuangZWMRXWZYXD20,
  author    = {Ke Huang and
               Xiaosong Zhang and
               Xiaofen Wang and
               Yi Mu and
               Fatemeh Rezaeibagha and
               Guangquan Xu and
               Hao Wang and
               Xi Zheng and
               Guomin Yang and
               Qi Xia and
               Xiaojiang Du},
  title     = {{HUCDO:} {A} Hybrid User-centric Data Outsourcing Scheme},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {35:1--35:23},
  year      = {2020},
  url       = {https://doi.org/10.1145/3379464},
  doi       = {10.1145/3379464},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/HuangZWMRXWZYXD20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/JagtapARZC20,
  author    = {Pushpak Jagtap and
               Fardin Abdi and
               Matthias Rungger and
               Majid Zamani and
               Marco Caccamo},
  title     = {Software Fault Tolerance for Cyber-Physical Systems via Full System
               Restart},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {47:1--47:20},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3407183},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/JagtapARZC20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/JantschLD20,
  author    = {Axel Jantsch and
               Peter R. Lewis and
               Nikil D. Dutt},
  title     = {Introduction to the Special Issue on Self-Aware Cyber-physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {37:1--37:2},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3397266},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/JantschLD20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KhayatianLMS20,
  author    = {Mohammad Khayatian and
               Yingyan Lou and
               Mohammadreza Mehrabian and
               Aviral Shirvastava},
  title     = {Crossroads+: {A} Time-aware Approach for Intersection Management of
               Connected Autonomous Vehicles},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {20:1--20:28},
  year      = {2020},
  url       = {https://doi.org/10.1145/3364182},
  doi       = {10.1145/3364182},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/KhayatianLMS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KhayatianMADCLS20,
  author    = {Mohammad Khayatian and
               Mohammadreza Mehrabian and
               Edward Andert and
               Rachel Dedinsky and
               Sarthake Choudhary and
               Yingyan Lou and
               Aviral Shirvastava},
  title     = {A Survey on Intersection Management of Connected Autonomous Vehicles},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {48:1--48:27},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3407903},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/KhayatianMADCLS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KimMS20,
  author    = {BaekGyu Kim and
               Takato Masuda and
               Shinichi Shiraishi},
  title     = {Test Specification and Generation for Connected and Autonomous Vehicle
               in Virtual Environments},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {8:1--8:26},
  year      = {2020},
  url       = {https://doi.org/10.1145/3311954},
  doi       = {10.1145/3311954},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/KimMS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KoSK20,
  author    = {Woo{-}Hyun Ko and
               Bharadwaj Satchidanandan and
               P. R. Kumar},
  title     = {Dynamic Watermarking-based Defense of Transportation Cyber-physical
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {12:1--12:21},
  year      = {2020},
  url       = {https://doi.org/10.1145/3361700},
  doi       = {10.1145/3361700},
  timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/KoSK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LesiJP20,
  author    = {Vuk Lesi and
               Ilija Jovanov and
               Miroslav Pajic},
  title     = {Integrating Security in Resource-Constrained Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {28:1--28:27},
  year      = {2020},
  url       = {https://doi.org/10.1145/3380866},
  doi       = {10.1145/3380866},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/LesiJP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LiNESSPT20,
  author    = {Kai Li and
               Wei Ni and
               Yousef Emami and
               Yiran Shen and
               Ricardo Severino and
               David Pereira and
               Eduardo Tovar},
  title     = {Design and Implementation of Secret Key Agreement for Platoon-based
               Vehicular Cyber-physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {22:1--22:20},
  year      = {2020},
  url       = {https://doi.org/10.1145/3365996},
  doi       = {10.1145/3365996},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/LiNESSPT20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LimTTCKZ20,
  author    = {Hoon Wei Lim and
               William G. Temple and
               Bao Anh N. Tran and
               Binbin Chen and
               Zbigniew Kalbarczyk and
               Jianying Zhou},
  title     = {Data Integrity Threats and Countermeasures in Railway Spot Transmission
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {7:1--7:26},
  year      = {2020},
  url       = {https://doi.org/10.1145/3300179},
  doi       = {10.1145/3300179},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LimTTCKZ20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LuYA20,
  author    = {Hong Lu and
               Tao Yue and
               Shaukat Ali},
  title     = {Pattern-based Interactive Configuration Derivation for Cyber-physical
               System Product Lines},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {44:1--44:24},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3389397},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LuYA20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MaLW20,
  author    = {Yehan Ma and
               Chenyang Lu and
               Yebin Wang},
  title     = {Efficient Holistic Control: Self-awareness across Controllers and
               Wireless Networks},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {41:1--41:27},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3371500},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/MaLW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MaPATHS20,
  author    = {Meiyi Ma and
               Sarah Masud Preum and
               Mohsin Y. Ahmed and
               William T{\"{a}}rneberg and
               Abdeltawab M. Hendawi and
               John A. Stankovic},
  title     = {Data Sets, Modeling, and Decision Making in Smart Cities: {A} Survey},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {14:1--14:28},
  year      = {2020},
  url       = {https://doi.org/10.1145/3355283},
  doi       = {10.1145/3355283},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/MaPATHS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MukherjeeESWRR20,
  author    = {Subhojeet Mukherjee and
               Jeffrey C. Van Etten and
               Namburi Rani Samyukta and
               Jacob Walker and
               Indrakshi Ray and
               Indrajit Ray},
  title     = {TruckSTM: Runtime Realization of Operational State Transitions for
               Medium and Heavy Duty Vehicles},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {4:1--4:25},
  year      = {2020},
  url       = {https://doi.org/10.1145/3300183},
  doi       = {10.1145/3300183},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/MukherjeeESWRR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MunirYLNLHSW20,
  author    = {Sirajum Munir and
               Hao{-}Tsung Yang and
               Shan Lin and
               S. M. Shahriar Nirjon and
               Chen Lin and
               Enamul Hoque and
               John A. Stankovic and
               Kamin Whitehouse},
  title     = {Reliable Communication and Latency Bound Generation in Wireless Cyber-Physical
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {15:1--15:26},
  year      = {2020},
  url       = {https://doi.org/10.1145/3354917},
  doi       = {10.1145/3354917},
  timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/MunirYLNLHSW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/PereydaRMWSC20,
  author    = {Christopher Pereyda and
               Nisha Raghunath and
               Bryan David Minor and
               Garrett Wilson and
               Maureen Schmitter{-}Edgecombe and
               Diane J. Cook},
  title     = {Cyber-physical Support of Daily Activities: {A} Robot/Smart Home Partnership},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {21:1--21:24},
  year      = {2020},
  url       = {https://doi.org/10.1145/3365225},
  doi       = {10.1145/3365225},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/PereydaRMWSC20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/PuthalYDWSMR20,
  author    = {Deepak Puthal and
               Laurence T. Yang and
               Schahram Dustdar and
               Zhenyu Wen and
               Jun Song and
               Aad van Moorsel and
               Rajiv Ranjan},
  title     = {A User-centric Security Solution for Internet of Things and Edge Convergence},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {32:1--32:19},
  year      = {2020},
  url       = {https://doi.org/10.1145/3351882},
  doi       = {10.1145/3351882},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/PuthalYDWSMR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SapioBW20,
  author    = {Adrian E. Sapio and
               Shuvra S. Bhattacharyya and
               Marilyn Wolf},
  title     = {Runtime Adaptation in Wireless Sensor Nodes Using Structured Learning},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {40:1--40:28},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3372153},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/SapioBW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SaxenaCBLCC20,
  author    = {Neetesh Saxena and
               Alvaro A. C{\'{a}}rdenas and
               Raheem Beyah and
               Rongxing Lu and
               Kim{-}Kwang Raymond Choo and
               Yiran Chen},
  title     = {Introduction to the Special Issue on User-Centric Security and Safety
               for {CPS}},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {29:1--29:2},
  year      = {2020},
  url       = {https://doi.org/10.1145/3392715},
  doi       = {10.1145/3392715},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/SaxenaCBLCC20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/TamimiHR20,
  author    = {Ali Tamimi and
               Adam Hahn and
               Sandip Roy},
  title     = {Cyber Threat Impact Analysis to Air Traffic Flows Through Dynamic
               Queue Networks},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {26:1--26:22},
  year      = {2020},
  url       = {https://doi.org/10.1145/3377425},
  doi       = {10.1145/3377425},
  timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/TamimiHR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WangWW20,
  author    = {Ding Wang and
               Ping Wang and
               Chenyu Wang},
  title     = {Efficient Multi-Factor User Authentication Protocol with Forward Secrecy
               for Real-Time Data Access in WSNs},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {30:1--30:26},
  year      = {2020},
  url       = {https://doi.org/10.1145/3325130},
  doi       = {10.1145/3325130},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WangWW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WeberJLSLSS20,
  author    = {Matthew Weber and
               Baihong Jin and
               Gil Lederman and
               Yasser Shoukry and
               Edward A. Lee and
               Sanjit Seshia and
               Alberto L. Sangiovanni{-}Vincentelli},
  title     = {Gordian: Formal Reasoning-based Outlier Detection for Secure Localization},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {4},
  pages     = {43:1--43:27},
  year      = {2020},
  url       = {https://dl.acm.org/doi/10.1145/3386568},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WeberJLSLSS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WuZZCHHWFTH20,
  author    = {Di Wu and
               Hanlin Zhu and
               Yongxin Zhu and
               Victor Chang and
               Cong He and
               Ching{-}Hsien Hsu and
               Hui Wang and
               Songlin Feng and
               Li Tian and
               Zunkai Huang},
  title     = {Anomaly Detection Based on {RBM-LSTM} Neural Network for {CPS} in
               Advanced Driver Assistance System},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {27:1--27:17},
  year      = {2020},
  url       = {https://doi.org/10.1145/3377408},
  doi       = {10.1145/3377408},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WuZZCHHWFTH20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/YanS20,
  author    = {Li Yan and
               Haiying Shen},
  title     = {{TOP:} Optimizing Vehicle Driving Speed with Vehicle Trajectories
               for Travel Time Minimization and Road Congestion Avoidance},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {17:1--17:25},
  year      = {2020},
  url       = {https://doi.org/10.1145/3362162},
  doi       = {10.1145/3362162},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/YanS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZhangDYCC20,
  author    = {Zhenyong Zhang and
               Ruilong Deng and
               David K. Y. Yau and
               Peng Cheng and
               Jiming Chen},
  title     = {On Hiddenness of Moving Target Defense against False Data Injection
               Attacks on Power Grid},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {25:1--25:29},
  year      = {2020},
  url       = {https://doi.org/10.1145/3372751},
  doi       = {10.1145/3372751},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ZhangDYCC20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZhengLSZ20,
  author    = {Bowen Zheng and
               Chung{-}Wei Lin and
               Shinichi Shiraishi and
               Qi Zhu},
  title     = {Design and Analysis of Delay-Tolerant Intelligent Intersection Management},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {3:1--3:27},
  year      = {2020},
  url       = {https://doi.org/10.1145/3300184},
  doi       = {10.1145/3300184},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ZhengLSZ20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/AlmeidaAHCH19,
  author    = {Lu{\'{\i}}s Almeida and
               Bj{\"{o}}rn Andersson and
               Jen{-}Wei Hsieh and
               Li{-}Pin Chang and
               Xiaobo Sharon Hu},
  title     = {Introduction to the Special Issue on Real-Time aspects in Cyber-Physical
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {24:1--24:2},
  year      = {2019},
  url       = {https://doi.org/10.1145/3342564},
  doi       = {10.1145/3342564},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/AlmeidaAHCH19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/AokiR19,
  author    = {Shunsuke Aoki and
               Ragunathan Raj Rajkumar},
  title     = {{CSIP:} {A} Synchronous Protocol for Automated Vehicles at Road Intersections},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {25:1--25:25},
  year      = {2019},
  url       = {https://doi.org/10.1145/3226032},
  doi       = {10.1145/3226032},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/AokiR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BadenhopGMM19,
  author    = {Christopher W. Badenhop and
               Scott R. Graham and
               Barry E. Mullins and
               Logan O. Mailloux},
  title     = {Looking Under the Hood of Z-Wave: Volatile Memory Introspection for
               the {ZW0301} Transceiver},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {20:1--20:24},
  year      = {2019},
  url       = {https://doi.org/10.1145/3285030},
  doi       = {10.1145/3285030},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BadenhopGMM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BarkerKIS19,
  author    = {Sean Kenneth Barker and
               Sandeep Kalra and
               David E. Irwin and
               Prashant J. Shenoy},
  title     = {Building Virtual Power Meters for Online Load Tracking},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {23:1--23:24},
  year      = {2019},
  url       = {https://doi.org/10.1145/3303860},
  doi       = {10.1145/3303860},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BarkerKIS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BhuiyanKLS19,
  author    = {Md. Zakirul Alam Bhuiyan and
               Sy{-}Yen Kuo and
               Damian M. Lyons and
               Zili Shao},
  title     = {Dependability in Cyber-Physical Systems and Applications},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {1:1--1:4},
  year      = {2019},
  url       = {https://doi.org/10.1145/3271432},
  doi       = {10.1145/3271432},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BhuiyanKLS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BiagiCTV19,
  author    = {Marco Biagi and
               Laura Carnevali and
               Fabio Tarani and
               Enrico Vicario},
  title     = {Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution
               Networks},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {19:1--19:26},
  year      = {2019},
  url       = {https://doi.org/10.1145/3284037},
  doi       = {10.1145/3284037},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BiagiCTV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/CeccarelliZVMIM19,
  author    = {Andrea Ceccarelli and
               Tommaso Zoppi and
               Alexandr Vasenev and
               Marco Mori and
               Dan Ionita and
               Lorena Montoya and
               Andrea Bondavalli},
  title     = {Threat Analysis in Systems-of-Systems: An Emergence-Oriented Approach},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {18:1--18:24},
  year      = {2019},
  url       = {https://doi.org/10.1145/3234513},
  doi       = {10.1145/3234513},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/CeccarelliZVMIM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HuangHS19,
  author    = {Hui Huang and
               Shiyan Hu and
               Ye Sun},
  title     = {Energy-Efficient {ECG} Signal Compression for User Data Input in Cyber-Physical
               Systems by Leveraging Empirical Mode Decomposition},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {4},
  pages     = {40:1--40:19},
  year      = {2019},
  url       = {https://doi.org/10.1145/3341559},
  doi       = {10.1145/3341559},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/HuangHS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HuangSLFMM19,
  author    = {Pei{-}Chi Huang and
               Luis Sentis and
               Joel Lehman and
               Chien{-}Liang Fok and
               Aloysius K. Mok and
               Risto Miikkulainen},
  title     = {Tradeoffs in Neuroevolutionary Learning-Based Real-Time Robotic Task
               Design in the Imprecise Computation Framework},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {14:1--14:29},
  year      = {2019},
  url       = {https://doi.org/10.1145/3178903},
  doi       = {10.1145/3178903},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/HuangSLFMM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/IyengarKGISM19,
  author    = {Srinivasan Iyengar and
               Sandeep Kalra and
               Anushree Ghosh and
               David E. Irwin and
               Prashant J. Shenoy and
               Benjamin M. Marlin},
  title     = {Inferring Smart Schedules for Dumb Thermostats},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {17:1--17:29},
  year      = {2019},
  url       = {https://doi.org/10.1145/3226031},
  doi       = {10.1145/3226031},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/IyengarKGISM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/JiangSYLGGSS19,
  author    = {Yu Jiang and
               Houbing Song and
               Yixiao Yang and
               Han Liu and
               Ming Gu and
               Yong Guan and
               Jiaguang Sun and
               Lui Sha},
  title     = {Dependable Model-driven Development of {CPS:} From Stateflow Simulation
               to Verified Implementation},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {12:1--12:31},
  year      = {2019},
  url       = {https://doi.org/10.1145/3078623},
  doi       = {10.1145/3078623},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/JiangSYLGGSS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KimFSL19,
  author    = {BaekGyu Kim and
               Lu Feng and
               Oleg Sokolsky and
               Insup Lee},
  title     = {Determining Timing Parameters for the Code Generation from Platform-Independent
               Timed Models},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {28:1--28:32},
  year      = {2019},
  url       = {https://doi.org/10.1145/3230711},
  doi       = {10.1145/3230711},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/KimFSL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KochMWB19,
  author    = {William Koch and
               Renato Mancuso and
               Richard West and
               Azer Bestavros},
  title     = {Reinforcement Learning for {UAV} Attitude Control},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {22:1--22:21},
  year      = {2019},
  url       = {https://doi.org/10.1145/3301273},
  doi       = {10.1145/3301273},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/KochMWB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LiCCYSZ19,
  author    = {Wei Li and
               Xiaomin Chang and
               Junwei Cao and
               Ting Yang and
               Yaojie Sun and
               Albert Y. Zomaya},
  title     = {A Sustainable and User-Behavior-Aware Cyber-Physical System for Home
               Energy Management},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {4},
  pages     = {37:1--37:24},
  year      = {2019},
  url       = {https://doi.org/10.1145/3320075},
  doi       = {10.1145/3320075},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LiCCYSZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LiLCWL19,
  author    = {Beibei Li and
               Rongxing Lu and
               Kim{-}Kwang Raymond Choo and
               Wei Wang and
               Sheng Luo},
  title     = {On Reliability Analysis of Smart Grids under Topology Attacks: {A}
               Stochastic Petri Net Approach},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {10:1--10:25},
  year      = {2019},
  url       = {https://doi.org/10.1145/3127021},
  doi       = {10.1145/3127021},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LiLCWL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LiYWY19,
  author    = {Ning Li and
               Zheng Yan and
               Mingjun Wang and
               Laurence T. Yang},
  title     = {Securing Communication Data in Pervasive Social Networking Based on
               Trust with {KP-ABE}},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {9:1--9:23},
  year      = {2019},
  url       = {https://doi.org/10.1145/3145624},
  doi       = {10.1145/3145624},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LiYWY19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LiuCKBLHZ19,
  author    = {Yang Liu and
               Xiaoming Chen and
               Dileep Kadambi and
               Ajinkya Bari and
               Xin Li and
               Shiyan Hu and
               Pingqiang Zhou},
  title     = {Dependable Visual Light-Based Indoor Localization with Automatic Anomaly
               Detection for Location-Based Service of Mobile Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {5:1--5:17},
  year      = {2019},
  url       = {https://doi.org/10.1145/3162051},
  doi       = {10.1145/3162051},
  timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LiuCKBLHZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LoureiroRNIT19,
  author    = {Jo{\~{a}}o Loureiro and
               Raghuraman Rangarajan and
               Borislav Nikolic and
               Leandro Soares Indrusiak and
               Eduardo Tovar},
  title     = {Extensive Analysis of a Real-Time Dense Wired Sensor Network Based
               on Traffic Shaping},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {27:1--27:27},
  year      = {2019},
  url       = {https://doi.org/10.1145/3230872},
  doi       = {10.1145/3230872},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LoureiroRNIT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MaGLGL19,
  author    = {Yehan Ma and
               Dolvara Gunatilaka and
               Bo Li and
               Humberto Gonz{\'{a}}lez and
               Chenyang Lu},
  title     = {Holistic Cyber-Physical Management for Dependable Wireless Control
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {3:1--3:25},
  year      = {2019},
  url       = {https://doi.org/10.1145/3185510},
  doi       = {10.1145/3185510},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/MaGLGL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/PanXHMH19,
  author    = {Chen Pan and
               Mimi Xie and
               Song Han and
               Zhi{-}Hong Mao and
               Jingtong Hu},
  title     = {Modeling and Optimization for Self-powered Non-volatile IoT Edge Devices
               with Ultra-low Harvesting Power},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {32:1--32:26},
  year      = {2019},
  url       = {https://doi.org/10.1145/3324609},
  doi       = {10.1145/3324609},
  timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/PanXHMH19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ParschM19,
  author    = {Philip Parsch and
               Alejandro Masrur},
  title     = {Accounting for Reliability in Unacknowledged Time-Constrained WSNs},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {26:1--26:28},
  year      = {2019},
  url       = {https://doi.org/10.1145/3241746},
  doi       = {10.1145/3241746},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ParschM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/RabadiTYVZC19,
  author    = {Dima Rabadi and
               Rui Tan and
               David K. Y. Yau and
               Sreejaya Viswanathan and
               Hao Zheng and
               Peng Cheng},
  title     = {Resilient Clock Synchronization Using Power Grid Voltage},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {31:1--31:26},
  year      = {2019},
  url       = {https://doi.org/10.1145/3342048},
  doi       = {10.1145/3342048},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/RabadiTYVZC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/RoehmOWA19,
  author    = {Hendrik Roehm and
               Jens Oehlerking and
               Matthias Woehrle and
               Matthias Althoff},
  title     = {Model Conformance for Cyber-Physical Systems: {A} Survey},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {30:1--30:26},
  year      = {2019},
  url       = {https://doi.org/10.1145/3306157},
  doi       = {10.1145/3306157},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/RoehmOWA19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SanchezVSGB19,
  author    = {R{\'{o}}binson Medina S{\'{a}}nchez and
               Juan Valencia and
               Sander Stuijk and
               Dip Goswami and
               Twan Basten},
  title     = {Designing a Controller with Image-based Pipelined Sensing and Additive
               Uncertainties},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {33:1--33:26},
  year      = {2019},
  url       = {https://doi.org/10.1145/3326067},
  doi       = {10.1145/3326067},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/SanchezVSGB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SinhaDZV19,
  author    = {Roopak Sinha and
               Barry Dowdeswell and
               Gulnara Zhabelova and
               Valeriy Vyatkin},
  title     = {{TORUS:} Scalable Requirements Traceability for Large-Scale Cyber-Physical
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {15:1--15:25},
  year      = {2019},
  url       = {https://doi.org/10.1145/3203208},
  doi       = {10.1145/3203208},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/SinhaDZV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/TanLWWSBPLP19,
  author    = {Feng Tan and
               Liansheng Liu and
               Stefan Winter and
               Qixin Wang and
               Neeraj Suri and
               Lei Bu and
               Yu Peng and
               Xue Liu and
               Xiyuan Peng},
  title     = {Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control
               {CPS}},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {2:1--2:25},
  year      = {2019},
  url       = {https://doi.org/10.1145/3226029},
  doi       = {10.1145/3226029},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/TanLWWSBPLP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/TremelBKJ19,
  author    = {Edward Tremel and
               Ken Birman and
               Robert Kleinberg and
               M{\'{a}}rk Jelasity},
  title     = {Anonymous, Fault-Tolerant Distributed Queries for Smart Devices},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {16:1--16:29},
  year      = {2019},
  url       = {https://doi.org/10.1145/3204411},
  doi       = {10.1145/3204411},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/TremelBKJ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ValenteBVCB19,
  author    = {Junia Valente and
               Kanchan Bahirat and
               Kelly Venechanos and
               Alvaro A. C{\'{a}}rdenas and
               Prabhakaran Balakrishnan},
  title     = {Improving the Security of Visual Challenges},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {34:1--34:26},
  year      = {2019},
  url       = {https://doi.org/10.1145/3331183},
  doi       = {10.1145/3331183},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/ValenteBVCB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WanLF19,
  author    = {Jiang Wan and
               Anthony Bahadir Lopez and
               Mohammad Abdullah Al Faruque},
  title     = {Physical Layer Key Generation: Securing Wireless Communication in
               Automotive Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {13:1--13:26},
  year      = {2019},
  url       = {https://doi.org/10.1145/3140257},
  doi       = {10.1145/3140257},
  timestamp = {Thu, 25 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/WanLF19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WangGL19,
  author    = {Chao Wang and
               Christopher D. Gill and
               Chenyang Lu},
  title     = {Real-Time Middleware for Cyber-Physical Event Processing},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {3},
  pages     = {29:1--29:25},
  year      = {2019},
  url       = {https://doi.org/10.1145/3218816},
  doi       = {10.1145/3218816},
  timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/WangGL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WangWLCC19,
  author    = {Tian Wang and
               Wenhua Wang and
               Anfeng Liu and
               Shaobin Cai and
               Jiannong Cao},
  title     = {Improve the Localization Dependability for Cyber-Physical Applications},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {6:1--6:21},
  year      = {2019},
  url       = {https://doi.org/10.1145/3140240},
  doi       = {10.1145/3140240},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WangWLCC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WangYWLZD19,
  author    = {Xiaokang Wang and
               Laurence T. Yang and
               Yihao Wang and
               Xingang Liu and
               Qingxia Zhang and
               M. Jamal Deen},
  title     = {A Distributed Tensor-Train Decomposition Method for Cyber-Physical-Social
               Services},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {4},
  pages     = {35:1--35:15},
  year      = {2019},
  url       = {https://doi.org/10.1145/3323926},
  doi       = {10.1145/3323926},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WangYWLZD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WangZSCVLMWF19,
  author    = {Chang Wang and
               Yongxin Zhu and
               Weiwei Shi and
               Victor Chang and
               Pandi Vijayakumar and
               Bin Liu and
               Yishu Mao and
               Jiabao Wang and
               Yiping Fan},
  title     = {A Dependable Time Series Analytic Framework for Cyber-Physical Systems
               of IoT-based Smart Grid},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {7:1--7:18},
  year      = {2019},
  url       = {https://doi.org/10.1145/3145623},
  doi       = {10.1145/3145623},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/WangZSCVLMWF19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WeiZRTYXD19,
  author    = {Tongquan Wei and
               Junlong Zhou and
               Rajiv Ranjan and
               Isaac Triguero and
               Huafeng Yu and
               Chun Jason Xue and
               Schahram Dustdar},
  title     = {Introduction to the Special Issue on Human-interaction-aware Data
               Analytics for Cyber-physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {4},
  year      = {2019},
  url       = {https://doi.org/10.1145/3344260},
  doi       = {10.1145/3344260},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WeiZRTYXD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WuTZWPNGX19,
  author    = {Tingmin Wu and
               Lihong Tang and
               Rongjunchen Zhang and
               Sheng Wen and
               C{\'{e}}cile Paris and
               Surya Nepal and
               Marthie Grobler and
               Yang Xiang},
  title     = {Catering to Your Concerns: Automatic Generation of Personalised Security-Centric
               Descriptions for Android Apps},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {4},
  pages     = {36:1--36:21},
  year      = {2019},
  url       = {https://doi.org/10.1145/3317699},
  doi       = {10.1145/3317699},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WuTZWPNGX19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/XiaoCLHS19,
  author    = {Fu Xiao and
               Jing Chen and
               Zhetao Li and
               Haiping Huang and
               Lijuan Sun},
  title     = {Improved {LDA} Dimension Reduction Based Behavior Learning with Commodity
               WiFi for Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {4},
  pages     = {38:1--38:19},
  year      = {2019},
  url       = {https://doi.org/10.1145/3342219},
  doi       = {10.1145/3342219},
  timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/XiaoCLHS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/XieBWLLL19,
  author    = {Guoqi Xie and
               Yang Bai and
               Wei Wu and
               Yanwen Li and
               Renfa Li and
               Keqin Li},
  title     = {Human-Interaction-aware Adaptive Functional Safety Processing for
               Multi-Functional Automotive Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {4},
  pages     = {39:1--39:25},
  year      = {2019},
  url       = {https://doi.org/10.1145/3337931},
  doi       = {10.1145/3337931},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/XieBWLLL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/XieZALL19,
  author    = {Guoqi Xie and
               Gang Zeng and
               Jiyao An and
               Renfa Li and
               Keqin Li},
  title     = {Resource-Cost-Aware Fault-Tolerant Design Methodology for End-to-End
               Functional Safety Computation on Automotive Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {4:1--4:27},
  year      = {2019},
  url       = {https://doi.org/10.1145/3162052},
  doi       = {10.1145/3162052},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/XieZALL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/YangFSLC19,
  author    = {Chaoqun Yang and
               Li Feng and
               Zhiguo Shi and
               Rongxing Lu and
               Kim{-}Kwang Raymond Choo},
  title     = {A Crowdsensing-based Cyber-physical System for Drone Surveillance
               Using Random Finite Set Theory},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {4},
  pages     = {42:1--42:22},
  year      = {2019},
  url       = {https://doi.org/10.1145/3342049},
  doi       = {10.1145/3342049},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/YangFSLC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/YoonWMWH19,
  author    = {Hyung{-}Jin Yoon and
               Christopher Widdowson and
               Thiago Marinho and
               Ranxiao Frances Wang and
               Naira Hovakimyan},
  title     = {Socially Aware Path Planning for a Flying Robot in Close Proximity
               of Humans},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {4},
  pages     = {41:1--41:24},
  year      = {2019},
  url       = {https://doi.org/10.1145/3341570},
  doi       = {10.1145/3341570},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/YoonWMWH19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/YuWZZG19,
  author    = {Jiahui Yu and
               Kun Wang and
               Deze Zeng and
               Chunsheng Zhu and
               Song Guo},
  title     = {Privacy-preserving Data Aggregation Computing in Cyber-Physical Social
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {8:1--8:23},
  year      = {2019},
  url       = {https://doi.org/10.1145/3145625},
  doi       = {10.1145/3145625},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/YuWZZG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZhangHZ19,
  author    = {Desheng Zhang and
               Tian He and
               Fan Zhang},
  title     = {National-scale Traffic Model Calibration in Real Time with Multi-source
               Incomplete Data},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {2},
  pages     = {21:1--21:26},
  year      = {2019},
  url       = {https://doi.org/10.1145/3300186},
  doi       = {10.1145/3300186},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ZhangHZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZhangYCL19,
  author    = {Qingchen Zhang and
               Laurence T. Yang and
               Zhikui Chen and
               Peng Li},
  title     = {Dependable Deep Computation Model for Feature Learning on Big Data
               in Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {11:1--11:17},
  year      = {2019},
  url       = {https://doi.org/10.1145/3110218},
  doi       = {10.1145/3110218},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ZhangYCL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/AliE18,
  author    = {Usman Ali and
               Magnus Egerstedt},
  title     = {Hybrid Optimal Control under Mode Switching Constraints with Applications
               to Pesticide Scheduling},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {1},
  pages     = {2:1--2:17},
  year      = {2018},
  url       = {https://doi.org/10.1145/3047411},
  doi       = {10.1145/3047411},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/AliE18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BennaceurTBYN18,
  author    = {Amel Bennaceur and
               Thein Than Tun and
               Arosha K. Bandara and
               Yijun Yu and
               Bashar Nuseibeh},
  title     = {Feature-Driven Mediator Synthesis: Supporting Collaborative Security
               in the Internet of Things},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {3},
  pages     = {21:1--21:25},
  year      = {2018},
  url       = {https://doi.org/10.1145/3134843},
  doi       = {10.1145/3134843},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BennaceurTBYN18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BiondiNBP18,
  author    = {Alessandro Biondi and
               Marco Di Natale and
               Giorgio C. Buttazzo and
               Paolo Pazzaglia},
  title     = {Selecting the Transition Speeds of Engine Control Tasks to Optimize
               the Performance},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {1},
  pages     = {1:1--1:26},
  year      = {2018},
  url       = {https://doi.org/10.1145/3127022},
  doi       = {10.1145/3127022},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BiondiNBP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BuXLHZLL18,
  author    = {Lei Bu and
               Wen Xiong and
               Chieh{-}Jan Mike Liang and
               Shi Han and
               Dongmei Zhang and
               Shan Lin and
               Xuandong Li},
  title     = {Systematically Ensuring the Confidence of Real-Time Home Automation
               IoT Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {3},
  pages     = {22:1--22:23},
  year      = {2018},
  url       = {https://doi.org/10.1145/3185501},
  doi       = {10.1145/3185501},
  timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/BuXLHZLL18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BuonocuntoGMCB18,
  author    = {Pasquale Buonocunto and
               Andrea Giantomassi and
               Mauro Marinoni and
               Davide Calvaresi and
               Giorgio C. Buttazzo},
  title     = {A Limb Tracking Platform for Tele-Rehabilitation},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {30:1--30:23},
  year      = {2018},
  url       = {https://doi.org/10.1145/3148225},
  doi       = {10.1145/3148225},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BuonocuntoGMCB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ChangGCH18,
  author    = {Wanli Chang and
               Dip Goswami and
               Samarjit Chakraborty and
               Arne Hamann},
  title     = {OS-Aware Automotive Controller Design Using Non-Uniform Sampling},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {26:1--26:22},
  year      = {2018},
  url       = {https://doi.org/10.1145/3121427},
  doi       = {10.1145/3121427},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/ChangGCH18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ChhetriCF18,
  author    = {Sujit Rokka Chhetri and
               Arquimedes Canedo and
               Mohammad Abdullah Al Faruque},
  title     = {Confidentiality Breach Through Acoustic Side-Channel in Cyber-Physical
               Additive Manufacturing Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {1},
  pages     = {3:1--3:25},
  year      = {2018},
  url       = {https://doi.org/10.1145/3078622},
  doi       = {10.1145/3078622},
  timestamp = {Thu, 25 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/ChhetriCF18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/DongRCOS18,
  author    = {Roy Dong and
               Lillian J. Ratliff and
               Alvaro A. C{\'{a}}rdenas and
               Henrik Ohlsson and
               S. Shankar Sastry},
  title     = {Quantifying the Utility-Privacy Tradeoff in the Internet of Things},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {2},
  pages     = {8:1--8:28},
  year      = {2018},
  url       = {https://doi.org/10.1145/3185511},
  doi       = {10.1145/3185511},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/DongRCOS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/GeraldesGBMFMV18,
  author    = {Andre A. Geraldes and
               Luca Geretti and
               Davide Bresolin and
               Riccardo Muradore and
               Paolo Fiorini and
               Leonardo S. Mattos and
               Tiziano Villa},
  title     = {Formal Verification of Medical {CPS:} {A} Laser Incision Case Study},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {35:1--35:29},
  year      = {2018},
  url       = {https://doi.org/10.1145/3140237},
  doi       = {10.1145/3140237},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/GeraldesGBMFMV18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/GhoshS18,
  author    = {Rajrup Ghosh and
               Yogesh Simmhan},
  title     = {Distributed Scheduling of Event Analytics across Edge and Cloud},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {24:1--24:28},
  year      = {2018},
  url       = {https://doi.org/10.1145/3140256},
  doi       = {10.1145/3140256},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/GhoshS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HuangMWZ18,
  author    = {Qianyi Huang and
               Yan Mei and
               Wei Wang and
               Qian Zhang},
  title     = {Toward Battery-Free Wearable Devices: The Synergy between Two Feet},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {3},
  pages     = {20:1--20:18},
  year      = {2018},
  url       = {https://doi.org/10.1145/3185503},
  doi       = {10.1145/3185503},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/HuangMWZ18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/JainSBM18,
  author    = {Achin Jain and
               Francesco Smarra and
               Madhur Behl and
               Rahul Mangharam},
  title     = {Data-Driven Model Predictive Control with Regression Trees - An Application
               to Building Energy Management},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {1},
  pages     = {4:1--4:21},
  year      = {2018},
  url       = {https://doi.org/10.1145/3127023},
  doi       = {10.1145/3127023},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/JainSBM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/JoergerRGCBDG18,
  author    = {Guillaume Joerger and
               Juliette Rambourg and
               H{\'{e}}l{\`{e}}ne Gaspard{-}Boulinc and
               St{\'{e}}phane Conversy and
               Barbara Bass and
               Brian Dunkin and
               Marc Garbey},
  title     = {A Cyber-Physical System to Improve the Management of a Large Suite
               of Operating Rooms},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {34:1--34:24},
  year      = {2018},
  url       = {https://doi.org/10.1145/3140234},
  doi       = {10.1145/3140234},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/JoergerRGCBDG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KricheneBTB18,
  author    = {Walid Krichene and
               Mohamed Chedhli Bourguiba and
               Kiet Lam and
               Alexandre M. Bayen},
  title     = {On Learning How Players Learn: Estimation of Learning Dynamics in
               the Routing Game},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {1},
  pages     = {6:1--6:23},
  year      = {2018},
  url       = {https://doi.org/10.1145/3078620},
  doi       = {10.1145/3078620},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/KricheneBTB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/Lakshminarayana18,
  author    = {Subhash Lakshminarayana and
               Zhan{-}Teng Teo and
               Rui Tan and
               David K. Y. Yau},
  title     = {Modeling and Detecting False Data Injection Attacks against Railway
               Traction Power Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {28:1--28:29},
  year      = {2018},
  url       = {https://doi.org/10.1145/3226030},
  doi       = {10.1145/3226030},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/Lakshminarayana18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LeeP18,
  author    = {Insup Lee and
               Miroslav Pajic},
  title     = {Guest Editorial: Special Issue on Medical Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {29:1--29:2},
  year      = {2018},
  url       = {https://doi.org/10.1145/3243122},
  doi       = {10.1145/3243122},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LeeP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LiuJZ18,
  author    = {Guanjun Liu and
               Changjun Jiang and
               Mengchu Zhou},
  title     = {Time-Soundness of Time Petri Nets Modelling Time-Critical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {2},
  pages     = {11:1--11:27},
  year      = {2018},
  url       = {https://doi.org/10.1145/3185502},
  doi       = {10.1145/3185502},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LiuJZ18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LiuSNCL18,
  author    = {Jinwei Liu and
               Haiying Shen and
               Husnu S. Narman and
               Wingyan Chung and
               Zongfang Lin},
  title     = {A Survey of Mobile Crowdsensing Techniques: {A} Critical Component
               for The Internet of Things},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {3},
  pages     = {18:1--18:26},
  year      = {2018},
  url       = {https://doi.org/10.1145/3185504},
  doi       = {10.1145/3185504},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LiuSNCL18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MartinSS18,
  author    = {Paul Martin and
               Andrew Symington and
               Mani B. Srivastava},
  title     = {{SLATS:} Simultaneous Localization and Time Synchronization},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {3},
  pages     = {19:1--19:25},
  year      = {2018},
  url       = {https://doi.org/10.1145/3134841},
  doi       = {10.1145/3134841},
  timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/MartinSS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/NacciRBSGSA18,
  author    = {Alessandro Antonio Nacci and
               Vincenzo Rana and
               Bharathan Balaji and
               Paola Spoletini and
               Rajesh K. Gupta and
               Donatella Sciuto and
               Yuvraj Agarwal},
  title     = {BuildingRules: {A} Trigger-Action-Based System to Manage Complex Commercial
               Buildings},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {2},
  pages     = {13:1--13:22},
  year      = {2018},
  url       = {https://doi.org/10.1145/3185500},
  doi       = {10.1145/3185500},
  timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/NacciRBSGSA18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/NguyenHBDJ18,
  author    = {Luan Viet Nguyen and
               Khaza Anuarul Hoque and
               Stanley Bak and
               Steven Drager and
               Taylor T. Johnson},
  title     = {Cyber-Physical Specification Mismatches},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {23:1--23:26},
  year      = {2018},
  url       = {https://doi.org/10.1145/3170500},
  doi       = {10.1145/3170500},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/NguyenHBDJ18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/PaolettiPK18,
  author    = {Nicola Paoletti and
               Andrea Patan{\`{e}} and
               Marta Kwiatkowska},
  title     = {Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {33:1--33:31},
  year      = {2018},
  url       = {https://doi.org/10.1145/3152767},
  doi       = {10.1145/3152767},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/PaolettiPK18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/PradhanDKNGMSL18,
  author    = {Subhav Pradhan and
               Abhishek Dubey and
               Shweta Khare and
               Saideep Nannapaneni and
               Aniruddha S. Gokhale and
               Sankaran Mahadevan and
               Douglas C. Schmidt and
               Martin Lehofer},
  title     = {{CHARIOT:} Goal-Driven Orchestration Middleware for Resilient IoT
               Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {3},
  pages     = {16:1--16:37},
  year      = {2018},
  url       = {https://doi.org/10.1145/3134844},
  doi       = {10.1145/3134844},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/PradhanDKNGMSL18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SamieTBXSH18,
  author    = {Farzad Samie and
               Vasileios Tsoutsouras and
               Lars Bauer and
               Sotirios Xydis and
               Dimitrios Soudris and
               J{\"{o}}rg Henkel},
  title     = {Distributed Trade-Based Edge Device Management in Multi-Gateway IoT},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {3},
  pages     = {17:1--17:25},
  year      = {2018},
  url       = {https://doi.org/10.1145/3134842},
  doi       = {10.1145/3134842},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/SamieTBXSH18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SchmidtSVKH18,
  author    = {Mischa Schmidt and
               Anett Sch{\"{u}}lke and
               Alberto Venturi and
               Roman Kurpatov and
               Enrique Blanco Henriquez},
  title     = {Cyber-Physical System for Energy-Efficient Stadium Operation: Methodology
               and Experimental Validation},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {25:1--25:26},
  year      = {2018},
  url       = {https://doi.org/10.1145/3140235},
  doi       = {10.1145/3140235},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/SchmidtSVKH18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ShoukryCWNSSHT18,
  author    = {Yasser Shoukry and
               Michelle Chong and
               Masashi Wakaiki and
               Pierluigi Nuzzo and
               Alberto L. Sangiovanni{-}Vincentelli and
               Sanjit A. Seshia and
               Jo{\~{a}}o Pedro Hespanha and
               Paulo Tabuada},
  title     = {SMT-Based Observer Design for Cyber-Physical Systems under Sensor
               Attacks},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {1},
  pages     = {5:1--5:27},
  year      = {2018},
  url       = {https://doi.org/10.1145/3078621},
  doi       = {10.1145/3078621},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ShoukryCWNSSHT18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SiegemundT18,
  author    = {Gerry Siegemund and
               Volker Turau},
  title     = {A Self-Stabilizing Publish/Subscribe Middleware for IoT Applications},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {2},
  pages     = {12:1--12:26},
  year      = {2018},
  url       = {https://doi.org/10.1145/3185509},
  doi       = {10.1145/3185509},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/SiegemundT18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/TovarM18,
  author    = {Eduardo Tovar and
               Sonia Mart{\'{\i}}nez},
  title     = {Introduction to the Selected Papers from {ICCPS} 2016},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {1},
  year      = {2018},
  url       = {https://doi.org/10.1145/3179997},
  doi       = {10.1145/3179997},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/TovarM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/VenutoAMSRSS18,
  author    = {Daniela De Venuto and
               Valerio F. Annese and
               Giovanni Mezzina and
               Floriano Scioscia and
               Michele Ruta and
               Eugenio Di Sciascio and
               Alberto L. Sangiovanni{-}Vincentelli},
  title     = {A Mobile Health System for Neurocognitive Impairment Evaluation Based
               on {P300} Detection},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {31:1--31:21},
  year      = {2018},
  url       = {https://doi.org/10.1145/3140236},
  doi       = {10.1145/3140236},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/VenutoAMSRSS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WangHS18,
  author    = {Xiaofeng Wang and
               Naira Hovakimyan and
               Lui Sha},
  title     = {RSimplex: {A} Robust Control Architecture for Cyber And Physical Failures},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {27:1--27:26},
  year      = {2018},
  url       = {https://doi.org/10.1145/3121428},
  doi       = {10.1145/3121428},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WangHS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WangMC18,
  author    = {Ping Wang and
               Meng Ma and
               Chao{-}Hsien Chu},
  title     = {Long-Term Event Processing over Data Streams in Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {2},
  pages     = {14:1--14:23},
  year      = {2018},
  url       = {https://doi.org/10.1145/3204412},
  doi       = {10.1145/3204412},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WangMC18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WuKS18,
  author    = {Qiang Wu and
               T. John Koo and
               Yoshihiko Susuki},
  title     = {Dynamic Security Analysis of Power Systems by a Sampling-Based Algorithm},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {2},
  pages     = {10:1--10:26},
  year      = {2018},
  url       = {https://doi.org/10.1145/3208093},
  doi       = {10.1145/3208093},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WuKS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/YipARMTAP18,
  author    = {Eugene Yip and
               Sidharta Andalam and
               Partha S. Roop and
               Avinash Malik and
               Mark L. Trew and
               Weiwei Ai and
               Nitish D. Patel},
  title     = {Towards the Emulation of the Cardiac Conduction System for Pacemaker
               Validation},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {4},
  pages     = {32:1--32:26},
  year      = {2018},
  url       = {https://doi.org/10.1145/3134845},
  doi       = {10.1145/3134845},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/YipARMTAP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/YongZF18,
  author    = {Sze Zheng Yong and
               Minghui Zhu and
               Emilio Frazzoli},
  title     = {Switching and Data Injection Attacks on Stochastic Cyber-Physical
               Systems: Modeling, Resilient Estimation, and Attack Mitigation},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {2},
  pages     = {9:1--9:2},
  year      = {2018},
  url       = {https://doi.org/10.1145/3204439},
  doi       = {10.1145/3204439},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/YongZF18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZhaoA18,
  author    = {Wei Zhao and
               Tarek F. Abdelzaher},
  title     = {Preface to the Special Issue: Toward an Efficient and Effective Internet
               of Things for Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {2},
  pages     = {7:1--7:2},
  year      = {2018},
  url       = {https://doi.org/10.1145/3203210},
  doi       = {10.1145/3203210},
  timestamp = {Wed, 14 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ZhaoA18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZhaoA18a,
  author    = {Wei Zhao and
               Tarek F. Abdelzaher},
  title     = {Preface to the Special Issue: Toward an Efficient and Effective Internet
               of Things for Cyber-Physical Systems (Part {II)}},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {2},
  number    = {3},
  pages     = {15:1--15:2},
  year      = {2018},
  url       = {https://doi.org/10.1145/3203213},
  doi       = {10.1145/3203213},
  timestamp = {Wed, 14 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ZhaoA18a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/AlTawyY17,
  author    = {Riham AlTawy and
               Amr M. Youssef},
  title     = {Security, Privacy, and Safety Aspects of Civilian Drones: {A} Survey},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {7:1--7:25},
  year      = {2017},
  url       = {https://doi.org/10.1145/3001836},
  doi       = {10.1145/3001836},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/AlTawyY17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BellalaMALBS17,
  author    = {Gowtham Bellala and
               Manish Marwah and
               Martin F. Arlitt and
               Geoff Lyon and
               Cullen Bash and
               Amip Shah},
  title     = {Data Analytics for Managing Power in Commercial Buildings},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {4},
  pages     = {22:1--22:25},
  year      = {2017},
  url       = {https://doi.org/10.1145/3110219},
  doi       = {10.1145/3110219},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BellalaMALBS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BhuiyanWWCJA17,
  author    = {Md. Zakirul Alam Bhuiyan and
               Jie Wu and
               Guojun Wang and
               Jiannong Cao and
               Wenjun Jiang and
               Mohammed Atiquzzaman},
  title     = {Towards Cyber-Physical Systems Design for Structural Health Monitoring:
               Hurdles and Opportunities},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {4},
  pages     = {19:1--19:26},
  year      = {2017},
  url       = {https://doi.org/10.1145/3086508},
  doi       = {10.1145/3086508},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/BhuiyanWWCJA17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/CuiCWNP17,
  author    = {Tiansong Cui and
               Shuang Chen and
               Yanzhi Wang and
               Shahin Nazarian and
               Massoud Pedram},
  title     = {Optimal Control of PEVs with a Charging Aggregator Considering Regulation
               Service Provisioning},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {4},
  pages     = {23:1--23:23},
  year      = {2017},
  url       = {https://doi.org/10.1145/3086507},
  doi       = {10.1145/3086507},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/CuiCWNP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/Gerostathopoulos17,
  author    = {Ilias Gerostathopoulos and
               Tom{\'{a}}s Bures and
               Petr Hnetynka and
               Adam Hujecek and
               Frantisek Plasil and
               Dominik Skoda},
  title     = {Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation
               Strategies},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {3},
  pages     = {13:1--13:25},
  year      = {2017},
  url       = {https://doi.org/10.1145/2823345},
  doi       = {10.1145/2823345},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/Gerostathopoulos17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HeKS17,
  author    = {Liang He and
               Eugene Kim and
               Kang G. Shin},
  title     = {A Case Study on Improving Capacity Delivery of Battery Packs via Reconfiguration},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {11:1--11:23},
  year      = {2017},
  url       = {https://doi.org/10.1145/3035539},
  doi       = {10.1145/3035539},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/HeKS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HuangZIMMS17,
  author    = {Zhichuan Huang and
               Ting Zhu and
               David E. Irwin and
               Aditya Kumar Mishra and
               Daniel Sadoc Menasch{\'{e}} and
               Prashant J. Shenoy},
  title     = {Minimizing Transmission Loss in Smart Microgrids by Sharing Renewable
               Energy},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {5:1--5:22},
  year      = {2017},
  url       = {https://doi.org/10.1145/2823355},
  doi       = {10.1145/2823355},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/HuangZIMMS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/IrwinILMSX17,
  author    = {David E. Irwin and
               Srinivasan Iyengar and
               Stephen Lee and
               Aditya Kumar Mishra and
               Prashant J. Shenoy and
               Ye Xu},
  title     = {Enabling Distributed Energy Storage by Incentivizing Small Load Shifts},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {10:1--10:30},
  year      = {2017},
  url       = {https://doi.org/10.1145/3015663},
  doi       = {10.1145/3015663},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/IrwinILMSX17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/IyengarSISR17,
  author    = {Srinivasan Iyengar and
               Navin Sharma and
               David E. Irwin and
               Prashant J. Shenoy and
               Krithi Ramamritham},
  title     = {A Cloud-Based Black-Box Solar Predictor for Smart Homes},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {4},
  pages     = {21:1--21:24},
  year      = {2017},
  url       = {https://doi.org/10.1145/3004056},
  doi       = {10.1145/3004056},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/IyengarSISR17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/JiangZLZZZGHC17,
  author    = {Jianmin Jiang and
               Huibiao Zhu and
               Qin Li and
               Yongxin Zhao and
               Lin Zhao and
               Shi Zhang and
               Ping Gong and
               Zhong Hong and
               Donghuo Chen},
  title     = {Event-Based Mobility Modeling and Analysis},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {9:1--9:32},
  year      = {2017},
  url       = {https://doi.org/10.1145/2823353},
  doi       = {10.1145/2823353},
  timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/JiangZLZZZGHC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KhandeparkarRG17,
  author    = {Kedar Khandeparkar and
               Krithi Ramamritham and
               Rajeev Gupta},
  title     = {QoS-Driven Data Processing Algorithms for Smart Electric Grids},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {3},
  pages     = {14:1--14:24},
  year      = {2017},
  url       = {https://doi.org/10.1145/3047410},
  doi       = {10.1145/3047410},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/KhandeparkarRG17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/LiHZ17,
  author    = {Xin Li and
               Shiyan Hu and
               Qi Zhu},
  title     = {Guest Editorial: Special Issue on Smart Homes, Buildings and Infrastructures},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {4},
  pages     = {17:1--17:2},
  year      = {2017},
  url       = {https://doi.org/10.1145/3127020},
  doi       = {10.1145/3127020},
  timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/LiHZ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MartiniBVF17,
  author    = {Daniele De Martini and
               Guido Benetti and
               Marco L. Della Vedova and
               Tullio Facchinetti},
  title     = {Adaptive Real-Time Scheduling of Cyber-Physical Energy Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {4},
  pages     = {20:1--20:25},
  year      = {2017},
  url       = {https://doi.org/10.1145/3047412},
  doi       = {10.1145/3047412},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/MartiniBVF17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ParkIWPSL17,
  author    = {Junkil Park and
               Radoslav Ivanov and
               James Weimer and
               Miroslav Pajic and
               Sang Hyuk Son and
               Insup Lee},
  title     = {Security of Cyber-Physical Systems in the Presence of Transient Sensor
               Faults},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {3},
  pages     = {15:1--15:23},
  year      = {2017},
  url       = {https://doi.org/10.1145/3064809},
  doi       = {10.1145/3064809},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcps/ParkIWPSL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/QiKCLW17,
  author    = {Junjian Qi and
               Youngjin Kim and
               Chen Chen and
               Xiaonan Lu and
               Jianhui Wang},
  title     = {Demand Response and Smart Buildings: {A} Survey of Control, Communication,
               and Cyber-Physical Security},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {4},
  pages     = {18:1--18:25},
  year      = {2017},
  url       = {https://doi.org/10.1145/3009972},
  doi       = {10.1145/3009972},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/QiKCLW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/TanNY17,
  author    = {Rui Tan and
               Hoang Hai Nguyen and
               David K. Y. Yau},
  title     = {Collaborative Load Management with Safety Assurance in Smart Grids},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {12:1--12:27},
  year      = {2017},
  url       = {https://doi.org/10.1145/2823351},
  doi       = {10.1145/2823351},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/TanNY17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WangGHWMKWSSA17,
  author    = {Hongwei Wang and
               Yunlong Gao and
               Shaohan Hu and
               Shiguang Wang and
               Renato Mancuso and
               Minje Kim and
               Po{-}Liang Wu and
               Lu Su and
               Lui Sha and
               Tarek F. Abdelzaher},
  title     = {On Exploiting Structured Human Interactions to Enhance Sensing Accuracy
               in Cyber-physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {3},
  pages     = {16:1--16:19},
  year      = {2017},
  url       = {https://doi.org/10.1145/3064006},
  doi       = {10.1145/3064006},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WangGHWMKWSSA17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZhangZZJHP17,
  author    = {Desheng Zhang and
               Juanjuan Zhao and
               Fan Zhang and
               Ruobing Jiang and
               Tian He and
               Nikos Papanikolopoulos},
  title     = {Last-Mile Transit Service with Urban Infrastructure Data},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {6:1--6:26},
  year      = {2017},
  url       = {https://doi.org/10.1145/2823326},
  doi       = {10.1145/2823326},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ZhangZZJHP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZimmerlingMKFT17,
  author    = {Marco Zimmerling and
               Luca Mottola and
               Pratyush Kumar and
               Federico Ferrari and
               Lothar Thiele},
  title     = {Adaptive Real-Time Communication for Wireless Cyber-Physical Systems},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {8:1--8:29},
  year      = {2017},
  url       = {https://doi.org/10.1145/3012005},
  doi       = {10.1145/3012005},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ZimmerlingMKFT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/Lee16,
  author    = {Edward A. Lee},
  title     = {Fundamental Limits of Cyber-Physical Systems Modeling},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {1},
  pages     = {3:1--3:26},
  year      = {2016},
  url       = {https://doi.org/10.1145/2912149},
  doi       = {10.1145/2912149},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/Lee16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/Stankovic16,
  author    = {John A. Stankovic},
  title     = {Research Directions for Cyber Physical Systems in Wireless and Mobile
               Healthcare},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {1},
  pages     = {1:1--1:12},
  year      = {2016},
  url       = {https://doi.org/10.1145/2899006},
  doi       = {10.1145/2899006},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/Stankovic16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WuZ16,
  author    = {Jianjia Wu and
               Wei Zhao},
  title     = {Design and Realization of WInternet: From Net of Things to Internet
               of Things},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {1},
  pages     = {2:1--2:12},
  year      = {2016},
  url       = {https://doi.org/10.1145/2872332},
  doi       = {10.1145/2872332},
  timestamp = {Wed, 14 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/WuZ16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZhangZZHLS16,
  author    = {Desheng Zhang and
               Juanjuan Zhao and
               Fan Zhang and
               Tian He and
               Haengju Lee and
               Sang Hyuk Son},
  title     = {Heterogeneous Model Integration for Multi-Source Urban Infrastructure
               Data},
  journal   = {{ACM} Trans. Cyber Phys. Syst.},
  volume    = {1},
  number    = {1},
  pages     = {4:1--4:26},
  year      = {2016},
  url       = {https://doi.org/10.1145/2967503},
  doi       = {10.1145/2967503},
  timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcps/ZhangZZHLS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics