default search action

combined dblp search
author search
venue search
publication search

ask others

23rd MEMOCODE 2025: Taipei, Taiwan

> Home > Conferences and Workshops > MEMOCODE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/memocode/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/2025
Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025. ACM 2025, ISBN 979-8-4007-1994-3
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Lall25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Lall25
Sanjay Lall:
Distributed computing on bittide systems. 1
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Zhan25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Zhan25
Naijun Zhan:
Formal Design of Safety-critical Embedded Systems. 2
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ChatterjeeSR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ChatterjeeSR25
Sobhan Chatterjee, Saumya Shankar, Partha S. Roop:
Compositional training for Safe AI-based Cyber-Physical Systems. 3-15
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/WuABPR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/WuABPR25
Steph Wu, Nathan Allen, Alex Baird, Hammond Pearce, Partha S. Roop:
Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks. 16-27
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/XiongLL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/XiongLL25
Guochu Xiong, Xiangzhong Luo, Weichen Liu:
Coherence-Aware Task Graph Modeling for Realistic Application. 28-37
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/YuS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/YuS25
Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli:
Contract-based Component Selection Using Behaviors. 38-46
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/YuS25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/YuS25a
Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli:
Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition. 47-56
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/BonnahNH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/BonnahNH25
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque:
Hyperproperty-Constrained Secure Reinforcement Learning. 57-61
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Malik25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Malik25
Avinash Malik:
Efficient compilation and execution of synchronous programs via type-state programming. 62-66
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ZuccalaHIDRM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ZuccalaHIDRM25
Damiano Zuccalà, Samuel Hon, Mohammad Reza Heidari Iman, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory:
Formal Analysis of Fault Propagation in Complex Digital Systems. 67-71
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/MollaKM0MD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/MollaKM0MD25
Ashiqur Rahaman Molla, Ram Mohan Chowdary Kota, Jaishree Mayank, Arnab Sarkar, Arijit Mondal, Soumyajit Dey:
Optimal Real-time Inter-zone Message Communication via Ethernet Backbone in Software Defined Vehicles. 72-80
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LeeAKY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LeeAKY25
Jamie Lee, Nathan Allen, Matthew M. Y. Kuo, Eugene Yip:
Optimising the Scheduling of System Level Logical Execution Time Systems. 81-85
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/BarkerSEK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/BarkerSEK25
Martha Barker, Mark Santolucito, Stephen A. Edwards, Martha A. Kim:
Automated Power Domain Insertion and Control in Dataflow Circuits. 86-90
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LionN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LionN25
Benjamin Lion, David Nowak:
Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq. 91-99
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ThrimawithanaRC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ThrimawithanaRC25
Duleepa J. Thrimawithana, Partha S. Roop, Sobhan Chatterjee, Maryam Hemmati:
Formal Methods for Cryogenic Cyber Physical Systems (CCPS). 100-110
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/RoopAK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/RoopAK25
Partha S. Roop, Nathan Allen, Shahab Kazemi:
Tuning into my heart through wearables: Towards a formal cardiac digital twin. 111-121

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.