- Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best:
Robust Testing for Cyber-Physical Systems using Reinforcement Learning. MEMOCODE 2023: 36-46 - Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee:
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. MEMOCODE 2023: 47-58 - Martha Schnieber, Rolf Drechsler:
Polynomial Formal Verification of KFDD Circuits. MEMOCODE 2023: 82-89 - Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jürgen Teich:
Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers. MEMOCODE 2023: 23-35 - Daniel Theis, Klaus Schneider:
Towards a Basis for Endochronous Functions in Dataflow Process Networks. MEMOCODE 2023: 191-194 - Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. MEMOCODE 2023: 111-121 - Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. MEMOCODE 2023: 180-190 - Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt, Qi Zhu:
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023. ACM / IEEE 2023, ISBN 979-8-4007-0318-8 [contents] - 2022
- Alex Baird, Srinivas Pinisetty, Nathan Allen
, Nitish D. Patel, Partha S. Roop:
Runtime Verification for Clinically Interpretable Arrhythmia Classification. MEMOCODE 2022: 1-10 - Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop:
Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. MEMOCODE 2022: 1-11 - Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan:
Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs. MEMOCODE 2022: 1-8 - Itay Cohen, Roi Fogler, Doron Peled:
A Reinforcement-Learning Style Algorithm for Black Box Automata. MEMOCODE 2022: 1-11 - Anup Das:
Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoC. MEMOCODE 2022: 1-12 - Ruiqi Hu, Kairong Liu, Zhikun She:
Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances. MEMOCODE 2022: 1-12 - Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart:
Mechanization of a Large DSML: An Experiment with AADL and Coq. MEMOCODE 2022: 1-9 - Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen:
Creating a Language for Writing Real-Time Applications for the Internet of Things. MEMOCODE 2022: 1-20 - Andreas Lööw:
A small, but important, concurrency problem in Verilog's semantics? (Work in progress). MEMOCODE 2022: 1-6 - Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. MEMOCODE 2022: 1-12 - Vinayak S. Prabhu, Meetkumar Savaliya:
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL. MEMOCODE 2022: 1-11 - Matthias Schaffeld, Rebecca Bernemann, Torben Weis, Barbara König, Viktor Matkovic:
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models. MEMOCODE 2022: 1-5 - Surinder Sood, Avinash Malik, Partha S. Roop:
Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems. MEMOCODE 2022: 1-11 - Surinder Sood, Avinash Malik, Partha S. Roop:
A novel approach to Real-time contract based reasoning for Hybrid Systems. MEMOCODE 2022: 1-11 - 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022. IEEE 2022, ISBN 979-8-3503-3190-5 [contents]
- 2021
- Kelvin Anto, Partha S. Roop, Akshya K. Swain:
Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. MEMOCODE 2021: 134-141 - Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler:
Polynomial word-level verification of arithmetic circuits. MEMOCODE 2021: 1-9 - Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic:
Sampling of shape expressions with ShapEx. MEMOCODE 2021: 118-125 - Khalil Esper, Stefan Wildermann, Jürgen Teich:
Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs. MEMOCODE 2021: 21-31 - Farhaan Fowze, Tuba Yavuz:
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations. MEMOCODE 2021: 126-133 - Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám:
Controller verification meets controller code: a case study. MEMOCODE 2021: 98-103 - Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar:
Simplification of numeric variables for PLC model checking. MEMOCODE 2021: 10-20
