- Mathis Niehage, Arnd Hartmanns, Anne Remke:
Learning optimal decisions for stochastic hybrid systems. MEMOCODE 2021: 44-55 - Adam Petz, Grant Jurgensen, Perry Alexander:
Design and formal verification of a copland-based attestation protocol. MEMOCODE 2021: 111-117 - Klaus Schneider
:
Translating structured sequential programs to dataflow graphs. MEMOCODE 2021: 66-77 - Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi:
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE 2021: 78-88 - Dominik Walter, Jürgen Teich:
LION: real-time I/O transfer control for massively parallel processor arrays. MEMOCODE 2021: 32-43 - Marcel Christian Werner, Klaus Schneider:
Translation of continuous function charts to imperative synchronous quartz programs. MEMOCODE 2021: 104-110 - Shenghao Yuan, Jean-Pierre Talpin:
Verified functional programming of an IoT operating system's bootloader. MEMOCODE 2021: 89-97 - Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop:
A secure insulin infusion system using verification monitors. MEMOCODE 2021: 56-65 - S. Arun-Kumar, Dominique Méry, Indranil Saha, Lijun Zhang:
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021. ACM 2021, ISBN 978-1-4503-9127-6 [contents] - 2020
- Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh:
Specification-guided Software Fault Localization for Autonomous Mobile Systems. MEMOCODE 2020: 1-12 - Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar:
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE 2020: 1-10 - Marcelo Forets, Daniel Freire, Christian Schilling:
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. MEMOCODE 2020: 1-6 - Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand:
Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE 2020: 1-12 - Paula Herber, Timm Liebrenz:
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. MEMOCODE 2020: 1-6 - Moon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton:
Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure. MEMOCODE 2020: 1-11 - Ratan Lal, Weikang Duan, Pavithra Prabhakar:
Bayesian Statistical Model Checking for Continuous Stochastic Logic. MEMOCODE 2020: 1-11 - Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider:
CROME: Contract-Based Robotic Mission Specification. MEMOCODE 2020: 1-11 - Nikhil Naik, Pierluigi Nuzzo:
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. MEMOCODE 2020: 1-12 - Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE 2020: 1-12 - Jeremy Pope, Jules Saget, Carl-Johan H. Seger:
Cephalopode: A custom processor aimed at functional language execution for IoT devices. MEMOCODE 2020: 1-6 - Jeremy Pope, Jules Saget, Carl-Johan H. Seger:
Stately: An FSM Design Tool. MEMOCODE 2020: 1-6 - Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma:
Security Types for Synchronous Data Flow Systems. MEMOCODE 2020: 1-12 - Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee:
A Contrastive Plan Explanation Framework for Hybrid System Models. MEMOCODE 2020: 1-11 - Mariia Vasileva, Fedor Shmarov, Paolo Zuliani:
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. MEMOCODE 2020: 1-11 - Dominik Walter, Michael Witterauf, Jürgen Teich:
Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays. MEMOCODE 2020: 1-11 - Qiang Wang, Dachuan Li, Joseph Sifakis:
Safe and efficient collision avoidance control for autonomous vehicles. MEMOCODE 2020: 1-6 - Tuba Yavuz:
Verifying Absence of Hardware-Software Data Races using Counting Abstraction. MEMOCODE 2020: 1-6 - 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020. IEEE 2020, ISBN 978-1-7281-9148-5 [contents]
- 2019
- Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop:
A compositional approach for real-time machine learning. MEMOCODE 2019: 7:1-7:5 - Maryam Dabaghchian, Zvonimir Rakamaric:
A timeless model for the verification of quasi-periodic distributed systems. MEMOCODE 2019: 4:1-4:11
