Table of Contents

• Adversarial-HD: Hyperdimensional Computing Adversarial Attack Design for Secure Industrial Internet of ThingsOnat Güngör, Tajana Rosing, Baris Aksanli. 1-6 [doi]
• Insecure by Design in the Backbone of Critical InfrastructureJos Wetzels, Daniel Ricardo Dos Santos, Mohammad Ghafari. 7-12 [doi]
• MVAM: Multi-variant Attacks on Memory for IoT Trust ComputingArup Kumar Sarker, Md. Khairul Islam, Yuan Tian, Geoffrey Fox. 13-18 [doi]
• Protocol-agnostic IoT Device Classification on Encrypted Traffic Using Link-Level FlowsGabriel A. Morales, Adam Bienek-Parrish, Patrick Jenkins, Rocky Slavin. 19-24 [doi]
• Digital Shadows for Remote Automotive SW VerificationRobert Kaster, Di Ma. 25-30 [doi]
• Towards Efficient Personalized Driver Behavior Modeling with Machine UnlearningQun Song 0001, Rui Tan, Jianping Wang 0001. 31-36 [doi]
• Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control SystemsChibuzo Ukegbu, Hoda Mehrpouyan. 37-42 [doi]
• Towards Usable Parental Control for Voice AssistantsPeiyi Yang, Jie Fan, Zice Wei, Haoqian Li, Tu Le, Yuan Tian. 43-48 [doi]
• Adversarial Attacks on Adaptive Cruise Control SystemsYanan Guo, Takami Sato, Yulong Cao, Qi Alfred Chen, Yueqiang Cheng. 49-54 [doi]
• HackWrt: Network Traffic-Based Eavesdropping of HandwritingAaron Kinfe, Chijung Jung, Kai Lin, Marshall Clyburn, Fnu Suya. 55-60 [doi]
• Improving Signal-Strength-based Distance Estimation in UWB TransceiversLeo Botler, Konrad Diwold, Kay Römer. 61-66 [doi]
• Benchmarking and Security Considerations of Wi-Fi FTM for Ranging in IoT DevicesGovind Singh, Anshul Pandey, Monika Prakash, Martin Andreoni Lopez, Michael Baddeley. 67-71 [doi]
• FrankenTrace: Low-Cost, Cycle-Level, Widely Applicable Program Execution Tracing for ARM Cortex-M SoCMaciej Matraszek, Mateusz Banaszek, Wojciech Ciszewski, Konrad Iwanicki. 72-77 [doi]
• Applying NLOS Classification and Error Correction Techniques to UWB Systems: Lessons Learned and RecommendationsMichael Stocker, Markus Gallacher, Carlo Alberto Boano, Kay Römer. 78-83 [doi]
• Software Introspection for Signaling Social-Cyber OperationsHuascar Sanchez, Briland Hitaj. 84-85 [doi]
• Middleware for a Heterogeneous CAV FleetMatthew Nice, Matthew R. Bunting, Daniel B. Work, Jonathan Sprinkle. 86-91 [doi]
• Symbiotic CPS Design-Space Exploration through Iterated OptimizationSheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry 0001, Sanjit A. Seshia. 92-99 [doi]
• MegaFlow2D: A Parametric Dataset for Machine Learning Super-resolution in Computational Fluid Dynamics SimulationsWenzhuo Xu, Noelia Grande Gutiérrez, Christopher McComb. 100-104 [doi]
• Tackling simulation inconsistencies in the robot design process by selective empirical evaluationAnwesha Chattoraj, Eric Vin, Yusuke Tanaka, Jillian Naldrien Pantig, Daniel J. Fremont, Ankur Mehta. 105-113 [doi]
• hamiltorch: A PyTorch-based library for Hamiltonian Monte CarloAdam D. Cobb. 114-115 [doi]
• Constrained Bayesian Optimization for Automatic Underwater Vehicle Hull DesignHarsh Vardhan, Péter Völgyesi, Will Hedgecock, Janos Sztipanovits. 116-121 [doi]
• Reusable Network Simulation for CPS Co-SimulationsHimanshu Neema, Harmon Nine, Thomas Roth. 122-129 [doi]
• Surrogate Modeling using Physics-guided LearningAli Irmak Ozdagli, Péter Völgyesi, Xenofon D. Koutsoukos. 130-135 [doi]
• AIMED: AI-Mediated Exploration of Design: An Experience ReportSanjai Narain, Dana Chee, Pranav Iyer, Emily Mak, Ricardo Valdez, Manli Zhu, Niraj K. Jha, Jaime F. Fisac, Kai-Chieh Hsu, Prerit Terway, Kishore Pochiraju, Brendan J. Englot, Emil Pitz, Sean Rooney, Yewei Huang. 136-140 [doi]
• Assessing the Impact of Disruptive Events on Urban Mobility: A Case Study of Chicago Taxis during COVID-19Tianyi Li, Xiatian Iogansen, Raphael E. Stern. 141-145 [doi]
• Intelligent Distributed Charging Control for Large Scale Electric Vehicles: A Multi-Cluster Mean Field Game ApproachShawon Dey, Hao Xu 0002. 146-151 [doi]
• Visualization of large-scale trajectory datasetsGergely Zachár. 152-157 [doi]
• Approaches for Synthesis and Deployment of Controller Models on Automated Vehicles for Car-following in Mixed AutonomyRahul Bhadani. 158-163 [doi]
• Analysis of a Runtime Data Sharing Architecture over LTE for a Heterogeneous CAV FleetAlex Richardson, Matthew Walter Nice, Matt Bunting, Jonathan W. Lee, Rahul Bhadani, Daniel B. Work, Jonathan Sprinkle. 164-169 [doi]
• Physics-Informed Machine Learning Model Generalization in AIoT: Opportunites and ChallengesRui Tan, Wenjie Luo. 170-176 [doi]
• Real-Time Portability in Software-Defined SystemsMatt Spencer, Matteo Maria Andreozzi. 177-178 [doi]
• Shared-Memory-Based Lock-Free Queues: The Key to Fast and Robust Communication on Safety-Critical Edge DevicesMichael Pöhnl, Christian Eltzschig, Tobias Blass. 179-184 [doi]
• Software-Shaped PlatformsRenato Mancuso 0001, Shahin Roozkhosh, Denis Hoornaert, Ju-Hyoung Mun, Tarikul Islam Papon, Manos Athanassoulis. 185-191 [doi]
• A WSSL Implementation for Critical Cyber-Physical Systems ApplicationsMarcia Cunha Rocha, Enio Vasconcelos Filho, Fernando Alves, Sergio Penna, Pedro M. Santos 0002, Eduardo Tovar. 192-197 [doi]
• Automated Generation, Verification, and Ranking of Secure SoC Access Control PoliciesAndres Meza, Ryan Kastner. 198-202 [doi]
• DRAEC: An Adaptive Edge Computing Framework for Enforcing Operational Policy in CPS-IoT SystemsJared Hall, Joe Sventek. 203-208 [doi]
• EigenEdge: Real-Time Software Execution at the Edge with RISC-V and Hardware AcceleratorsKuan-Lin Chiu, Guy Eichler, Biruk B. Seyoum, Luca P. Carloni. 209-214 [doi]
• Graceful Degradation with Condition- and Inference-Awareness for Mixed-Criticality Scheduling in Autonomous SystemsJie Zou, Xiaotian Dai 0001, John A. McDermid. 215-220 [doi]
• Investigating and Mitigating Contention on Low-End Multi-Core MicrocontrollersDaniel Oliveira, Weifan Chen, Sandro Pinto 0001, Renato Mancuso 0001. 221-226 [doi]
• Many-Core Real-Time Network-on-Chip I/O Systems for Reducing Contention and Enhancing PredictabilityZhe Jiang 0004, Xiaotian Dai 0001, Shuai Zhao 0004, Ran Wei, Ian Gray. 227-233 [doi]
• Real-Time Packet-Based Intrusion Detection on Edge DevicesNiccolò Borgioli, Linh Thi Xuan Phan, Federico Aromolo, Alessandro Biondi 0001, Giorgio C. Buttazzo. 234-240 [doi]
• Waist Tightening of CNNs: A Case study on Tiny YOLOv3 for Distributed IoT ImplementationsIsaac Sánchez Leal, Eiraj Saqib, Irida Shallari, Axel Jantsch, Silvia Krug, Mattias O'Nils. 241-246 [doi]
• Implementing and Deploying an ML Pipeline for IoT Intrusion Detection with Node-REDYimin Zhang, Barikisu Asulba, Nuno Schumacher, Mário Sousa, Pedro F. Souto, Luís Almeida 0001, Pedro M. Santos 0002, Nuno Martins, Joana Sousa. 247-253 [doi]
• Resource Optimized Hierarchical Split Federated Learning for Wireless NetworksLatif U. Khan, Mohsen Guizani, Choong Seon Hong. 254-259 [doi]
• A Cognitive Scaling Mixer for Concurrent Ultrasound Sensing and Music Playback in Smart DevicesYin Li, Rajalakshmi Nandakumar. 260-265 [doi]
• Augmenting Vibration-Based Customer-Product Interaction Recognition with Sparse Load SensingYue Zhang, Shiwei Fang, Carlos Ruiz, Zhizhang Hu, Shubham Rohal, Shijia Pan. 266-271 [doi]
• CaNRun: Non-Contact, Acoustic-based Cadence Estimation on Treadmills using SmartphonesZiyi Xuan, Ming Liu, Jingping Nie, Minghui Zhao, Stephen Xia, Xiaofan Jiang 0001. 272-277 [doi]
• Structure Assisted Spectrum Sensing for Low-power Acoustic Event DetectionNakul Garg, Harshvardhan Takawale, Yang Bai, Irtaza Shahid, Nirupam Roy. 278-284 [doi]
• Spatial Audio Empowered Smart speakers with Xblock - A Pose-Adaptive Crosstalk Cancellation Algorithm for Free-moving UsersFrank Liu, Anish Narsipur, Andrew Kemeklis, Lucy Song, Robert LiKamWa. 285-291 [doi]
• The Technical Development of an Extended Reality Research Testbed for Public SafetyScott Ledgerwood, Jack Lewis, Jeffrey Karhoff, Qi Zhu, Matthew Whitlock, Julia Chelen. 292-296 [doi]
• Efforts Towards a Digital Twin-based Testbed for Public SafetyNicole Hatch, Walt Magnussen, Jian Tao. 297-299 [doi]
• An early View on the work of STF 623 in the Emergency Communications Network Resilience and PreparednessEvangelos K. Markakis, Anton Donner, Jumoke Olumide, James Winterbottom, Michelle Wetterwald. 300-301 [doi]
• Emergency communications leveraging decentralized swarm computingMichail-Alexandros Kourtis, George Xilouris, Michael C. Batistatos, Anastasios Kourtis, Albertos Markakis. 302-306 [doi]
• Blockchain Strategy for Multi-level Interoperability in Public Safety ScenarioStefano Momo Loss, Nélio Cacho, Frederico Lopes. 307-312 [doi]
• Logical Time for Reactive SoftwareMarten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman. 313-318 [doi]
• Semantics foundations of PsyC based on synchronous Logical Execution TimeFabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni. 319-324 [doi]
• PASoC: A Predictable Accelerator-rich SoCSusmita Tadepalli, Zhuanhao Wu, Hiren D. Patel. 325-330 [doi]
• InterPRET: a Time-predictable Multicore ProcessorErling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl. 331-336 [doi]
• Polyglot Modal Models through Lingua FrancaAlexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, Soroush Bateni. 337-342 [doi]
• Bounding the End-to-End Execution Time in Distributed Real-Time Systems: Arguing the case for Deterministic Networks in Lingua FrancaHenrik Austad, Geir Mathisen. 343-348 [doi]
• LetSynchronise: An Open-Source Framework for Analysing and Optimising Logical Execution Time SystemsEugene Yip, Matthew M. Y. Kuo. 349-354 [doi]
• Reliable Event Detection Using Time-Synchronized IoT PlatformsByeong-Gil Jun, Dongha Kim, Marten Lohstroh, Hokeun Kim. 355-360 [doi]
• Towards Sparse Synchronous Programming in LuaJohn Hui, Stephen A. Edwards. 361-366 [doi]
• Optimizing Seismic Retrofit of Bridges: Integrating Efficient Graph Neural Network Surrogates and Transportation EquityTong Liu, Hadi Meidani. 367-372 [doi]
• A neural network powered solution approach for computationally expensive mixed integer programs for bio jet-fuel supply chain network designKolton Keith. 373-377 [doi]
• Big Data Analytics, Data Science, ML&AI for Connected, Data-driven Precision Agriculture and Smart Farming Systems: Challenges and Future DirectionsDavid Han. 378-384 [doi]
• Astro Cultivators: Autonomous Growth System for Space Farming based on Machine Vision and Multi-Sensor FusionAnthony Manuel Morales-Badajoz, Neville Elieh, April Diederich, Elliot Sadler, Jasmine Glover, Manoj Nizampatnam, Troy Israel, Andrew Wang, Larry Zhang, Annette Besnilian, Andreas George, Julie Miller, Xunfei Jiang, Bingbing Li. 385-390 [doi]
• An Stochastic Cold Food Supply Chain (CFSC) DesignDavid Hernandez-Cuellar. 391-394 [doi]