- Karine Even-Mendoza
, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina:
Lattice-based SMT for program verification. MEMOCODE 2019: 16:1-16:11 - David J. Greaves:
Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog. MEMOCODE 2019: 2:1-2:11 - Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos:
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. MEMOCODE 2019: 6:1-6:11 - Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo:
Security-driven metrics and models for efficient evaluation of logic encryption schemes. MEMOCODE 2019: 9:1-9:5 - Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia:
RTL bug localization through LTL specification mining (WIP). MEMOCODE 2019: 5:1-5:5 - Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan:
Modeling observability in adaptive systems to defend against advanced persistent threats. MEMOCODE 2019: 10:1-10:11 - Ratan Lal, Pavithra Prabhakar:
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. MEMOCODE 2019: 12:1-12:5 - Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE 2019: 14:1-14:11 - Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee:
Approximate computing for multithreaded programs in shared memory architectures. MEMOCODE 2019: 11:1-11:9 - Paritosh K. Pandya, Amol Wakankar:
Logical specification and uniform synthesis of robust controllers. MEMOCODE 2019: 15:1-15:11 - Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty:
Securing implantable medical devices with runtime enforcement hardware. MEMOCODE 2019: 3:1-3:9 - Jin Woo Ro, Avinash Malik, Partha S. Roop:
A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. MEMOCODE 2019: 1:1-1:11 - Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen:
Security analysis of cloud-connected industrial control systems using combinatorial testing. MEMOCODE 2019: 13:1-13:11 - Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle:
Establishing a refinement relation between binaries and abstract code. MEMOCODE 2019: 17:1-17:5 - Michael Witterauf, Frank Hannig, Jürgen Teich:
Polyhedral fragments: an efficient representation for symbolically generating code for processor arrays. MEMOCODE 2019: 8:1-8:10 - Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo:
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM 2019, ISBN 978-1-4503-6997-8 [contents] - 2018
- Yu Bai:
Desynchronization: From Macro-step to Micro-step. MEMOCODE 2018: 109-118 - Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka:
Towards Dependability Metrics for Neural Networks. MEMOCODE 2018: 43-46 - Tripti Jain, Klaus Schneider:
Optimal Self-Routing Split Modules for Radix-based Interconnection Networks. MEMOCODE 2018: 99-108 - Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang:
Formal Analysis and Verification of DDS in ROS2. MEMOCODE 2018: 62-66 - S. Nagaraj, D. Seshachalam, Sunil Hucharaddi:
Model Order Reduction of Nonlinear Circuit using Proper Orthogonal Decomposition and Nonlinear Autoregressive with eXogenous input (NARX) Neural Network. MEMOCODE 2018: 47-50 - Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider:
Security of Pacemakers using Runtime Verification. MEMOCODE 2018: 51-61 - Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang:
Quotient for Assume-Guarantee Contracts. MEMOCODE 2018: 67-77 - Partha S. Roop, Hammond A. Pearce, Keyan Monadjem:
Synchronous neural networks for cyber-physical systems. MEMOCODE 2018: 33-42 - Sanjit A. Seshia, Pramod Subramanyan:
UCLID5: Integrating Modeling, Verification, Synthesis and Learning. MEMOCODE 2018: 1-10 - Mladen Skelin, Marc Geilen:
It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow. MEMOCODE 2018: 11-21 - Jonatan Wiik, Johan Ersfolk, Marina Waldén:
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. MEMOCODE 2018: 78-87 - Michael Witterauf, Jürgen Teich:
Run-time Requirement Enforcement for Loop Programs on Processor Arrays. MEMOCODE 2018: 22-32 - Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali:
Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. MEMOCODE 2018: 88-98 - 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018. IEEE 2018, ISBN 978-1-5386-6195-6 [contents]
