| 2018 | 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018 |
| 2018 | A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. Jonatan Wiik, Johan Ersfolk, Marina Waldén |
| 2018 | Desynchronization: From Macro-step to Micro-step. Yu Bai |
| 2018 | Formal Analysis and Verification of DDS in ROS2. Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang |
| 2018 | Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali |
| 2018 | It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow. Mladen Skelin, Marc Geilen |
| 2018 | Model Order Reduction of Nonlinear Circuit using Proper Orthogonal Decomposition and Nonlinear Autoregressive with eXogenous input (NARX) Neural Network. S. Nagaraj, D. Seshachalam, Sunil Hucharaddi |
| 2018 | Optimal Self-Routing Split Modules for Radix-based Interconnection Networks. Tripti Jain, Klaus Schneider |
| 2018 | Quotient for Assume-Guarantee Contracts. Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang |
| 2018 | Run-time Requirement Enforcement for Loop Programs on Processor Arrays. Michael Witterauf, Jürgen Teich |
| 2018 | Security of Pacemakers using Runtime Verification. Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider |
| 2018 | Synchronous neural networks for cyber-physical systems. Partha S. Roop, Hammond A. Pearce, Keyan Monadjem |
| 2018 | Towards Dependability Metrics for Neural Networks. Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka |
| 2018 | UCLID5: Integrating Modeling, Verification, Synthesis and Learning. Sanjit A. Seshia, Pramod Subramanyan |