Accepted Papers

All accepted papers will be presented during the conference. Please check the program for the detailed schedule.

Full Papers

  • Coherence-Aware Task Graph Modeling for Realistic Application

    Guochu Xiong1, Xiangzhong Luo2, Weichen Liu1

    1Nanyang Technological University, Singapore; 2Southeast University, China

  • Compositional training for Safe AI-based Cyber-Physical Systems

    Sobhan Chatterjee1, Saumya Shankar1, Partha Roop1

    1University of Auckland, New Zealand

  • Contract-based Component Selection Using Behaviors

    Sheng-Jung Yu1, Alberto Sangiovanni-Vincentelli1

    1University of California, Berkeley, USA

  • Optimal Real-time Inter-zone Message Communication via Ethernet Backbone in Software Defined Vehicles

    Ram Mohan Chowdary Kota1, Ashiqur Rahaman Molla2, Jaishree Mayank3, Arnab Sarkar4, Arijit Mondal5, Soumyajit Dey6

    1IIITDM Kancheepuram, India; 2Department of Artificial Intelligence, IIT Kharagpur, India; 3Indian Institute of Technology (Indian School of Mines) Dhanbad, India; 4Advanced Technology Development Centre, IIT Kharagpur, India; 5Department of Computer Science and Engineering, IIT Patna, India; 6Department of Computer Science and Engineering, IIT Kharagpur, India

  • Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks

    Steph Wu1, Alex Baird1, Partha Roop1, Nathan Allen2, Hammond Pearce3

    1University of Auckland, New Zealand; 2Auckland University of Technology, New Zealand; 3UNSW Sydney, Australia

  • Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition

    Sheng-Jung Yu1, Alberto Sangiovanni-Vincentelli1

    1University of California, Berkeley, USA

Late-Breaking Papers

  • Efficient compilation and execution of synchronous programs via type-state programming

    Avinash Malik1

    1University of Auckland, New Zealand

  • Automated Power Domain Insertion and Control in Dataflow Circuits

    Martha Barker1, Stephen A. Edwards1, Martha Kim1, Mark Santolucito2

    1Columbia University, USA; 2Barnard College, Columbia University, USA

  • Optimising the Scheduling of System Level Logical Execution Time Systems

    Jamie Lee1, Nathan Allen1, Matthew M. Y. Kuo1, Eugene Yip2

    1Auckland University of Technology, New Zealand; 2GLIWA GmbH & Co. KG, Germany

  • Formal Analysis of Fault Propagation in Complex Digital Systems

    Damiano Zuccala1, Mohammad Reza Heidari Iman1, Katell Morin-Allory2, Samuel Hon3, Jean-Marc Daveau3, Philippe Roche3

    1University Grenoble Alpes, France; 2Grenoble Institute of Technology, France; 3STMicroelectronics

  • Hyperproperty-Constrained Secure Reinforcement Learning

    Ernest Bonnah1, Luan Nguyen2, Khaza Anuarul Hoque3

    1Baylor University, USA; 2University of Dayton, USA; 3University of Missouri, USA

Invited Papers

  • Formal Methods for Cryogenic Cyber Physical Systems (CCPS)

    Duleepa Thrimawithana1, Partha Roop1, Sobhan Chatterjee1, Maryam Hemmati1

    1University of Auckland, New Zealand

  • Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq

    Benjamin Lion1, David Nowak2

    1Inria, University of Rennes, France; 2Univ. Lille, CNRS, Centrale Lille, UMR 9189 CRIStAL, France

  • Tuning into my heart through wearables: Towards a novel formal cardiac digital twin

    Partha Roop1, Nathan Allen2, Shahab Kazemi1

    1University of Auckland, New Zealand; 2Auckland University of Technology, New Zealand