Login / Signup
MEMOCODE
2003
2009
2017
2023
2003
2023
Keyphrases
Publications
2023
Rolf Drechsler
,
Martha Schnieber
Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification.
MEMOCODE
(2023)
Martha Schnieber
,
Rolf Drechsler
Polynomial Formal Verification of KFDD Circuits.
MEMOCODE
(2023)
Pauline Blohm
,
Julius Adelt
,
Paula Herber
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking.
MEMOCODE
(2023)
John Hui
,
Kyle J. Edwards
,
Stephen A. Edwards
Timestamp Peripherals for Precise Real-Time Programming.
MEMOCODE
(2023)
Czea Sie Chuah
,
Christian Appold
,
Tim Leinmüller
Formal Verification of Security Properties on RISC-V Processors.
MEMOCODE
(2023)
Anoop Bhagyanath
,
Nadine Kercher
,
Klaus Schneider
Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures.
MEMOCODE
(2023)
Sheng-Jung Yu
,
Inigo Incer
,
Alberto L. Sangiovanni-Vincentelli
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.
MEMOCODE
(2023)
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023
MEMOCODE
(2023)
Soroush Bateni
,
Marten Lohstroh
,
Hou Seng Wong
,
Hokeun Kim
,
Shaokai Lin
,
Christian Menard
,
Edward A. Lee
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems.
MEMOCODE
(2023)
Mir Md Sajid Sarwar
,
Rajarshi Ray
,
Ansuman Banerjee
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation.
MEMOCODE
(2023)
Sheng-Jung Yu
,
Inigo Incer
,
Alberto L. Sangiovanni-Vincentelli
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.
MEMOCODE
(2023)
Jan Spieck
,
Pierre-Louis Sixdenier
,
Khalil Esper
,
Stefan Wildermann
,
Jürgen Teich
Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers.
MEMOCODE
(2023)
Peitian Pan
,
Shunning Jiang
,
Yanghui Ou
,
Christopher Batten
Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages.
MEMOCODE
(2023)
Daniel Theis
,
Klaus Schneider
Towards a Basis for Endochronous Functions in Dataflow Process Networks.
MEMOCODE
(2023)
Ernest Bonnah
,
Luan Viet Nguyen
,
Khaza Anuarul Hoque
Model Checking Time Window Temporal Logic for Hyperproperties.
MEMOCODE
(2023)
Ernest Bonnah
,
Khaza Anuarul Hoque
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring.
MEMOCODE
(2023)
Peitian Pan
,
Christopher Batten
Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules.
MEMOCODE
(2023)
Devleena Ghosh
,
Sumana Ghosh
,
Raj Kumar Gajavelly
,
Ansuman Banerjee
Harnessing Multiple BMC Engines Together for Efficient Formal Verification.
MEMOCODE
(2023)
Gareth Callanan
,
Flavius Gruian
Scalable Actor Networks with CAL.
MEMOCODE
(2023)
Xin Qin
,
Nikos Aréchiga
,
Jyotirmoy Deshmukh
,
Andrew Best
Robust Testing for Cyber-Physical Systems using Reinforcement Learning.
MEMOCODE
(2023)
2022
20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022
MEMOCODE
(2022)
Jérôme Hugues
,
Lutz Wrage
,
John Hatcliff
,
Danielle Stewart
Mechanization of a Large DSML: An Experiment with AADL and Coq.
MEMOCODE
(2022)
Andreas Lööw
A small, but important, concurrency problem in Verilog's semantics? (Work in progress).
MEMOCODE
(2022)
Ruiqi Hu
,
Kairong Liu
,
Zhikun She
Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances.
MEMOCODE
(2022)
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)
Vinayak S. Prabhu
,
Meetkumar Savaliya
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL.
MEMOCODE
(2022)
Alex Baird
,
Hammond Pearce
,
Srinivas Pinisetty
,
Partha S. Roop
Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones.
MEMOCODE
(2022)
Anup Das
Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoC.
MEMOCODE
(2022)
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)
Samira Ait Bensaid
,
Mihail Asavoae
,
Farhat Thabet
,
Mathieu Jan
Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs.
MEMOCODE
(2022)
Eric Rothstein Morris
,
Jun Sun
,
Sudipta Chattopadhyay
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage.
MEMOCODE
(2022)
Itay Cohen
,
Roi Fogler
,
Doron Peled
A Reinforcement-Learning Style Algorithm for Black Box Automata.
MEMOCODE
(2022)
Alex Baird
,
Srinivas Pinisetty
,
Nathan Allen
,
Nitish D. Patel
,
Partha S. Roop
Runtime Verification for Clinically Interpretable Arrhythmia Classification.
MEMOCODE
(2022)
Surinder Sood
,
Avinash Malik
,
Partha S. Roop
A novel approach to Real-time contract based reasoning for Hybrid Systems.
MEMOCODE
(2022)
Surinder Sood
,
Avinash Malik
,
Partha S. Roop
Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems.
MEMOCODE
(2022)
2021
Felix Freiberger
,
Stefan Schupp
,
Holger Hermanns
,
Erika Ábrahám
Controller verification meets controller code: a case study.
MEMOCODE
(2021)
Marcel Christian Werner
,
Klaus Schneider
Translation of continuous function charts to imperative synchronous quartz programs.
MEMOCODE
(2021)
Shenghao Yuan
,
Jean-Pierre Talpin
Verified functional programming of an IoT operating system's bootloader.
MEMOCODE
(2021)
Abhinandan Panda
,
Srinivas Pinisetty
,
Partha S. Roop
A secure insulin infusion system using verification monitors.
MEMOCODE
(2021)
Kelvin Anto
,
Partha S. Roop
,
Akshya K. Swain
Formal modelling of attack scenarios and mitigation strategies in IEEE 1588.
MEMOCODE
(2021)
Farhaan Fowze
,
Tuba Yavuz
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations.
MEMOCODE
(2021)
Klaus Schneider
Translating structured sequential programs to dataflow graphs.
MEMOCODE
(2021)
Mathis Niehage
,
Arnd Hartmanns
,
Anne Remke
Learning optimal decisions for stochastic hybrid systems.
MEMOCODE
(2021)
Nicolas Basset
,
Thao Dang
,
Felix Gigler
,
Cristinel Mateis
,
Dejan Nickovic
Sampling of shape expressions with ShapEx.
MEMOCODE
(2021)
Adam Petz
,
Grant Jurgensen
,
Perry Alexander
Design and formal verification of a copland-based attestation protocol.
MEMOCODE
(2021)
Mohammed Barhoush
,
Alireza Mahzoon
,
Rolf Drechsler
Polynomial word-level verification of arithmetic circuits.
MEMOCODE
(2021)
Dominik Walter
,
Jürgen Teich
LION: real-time I/O transfer control for massively parallel processor arrays.
MEMOCODE
(2021)
Khalil Esper
,
Stefan Wildermann
,
Jürgen Teich
Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs.
MEMOCODE
(2021)
Ennio Visconti
,
Ezio Bartocci
,
Michele Loreti
,
Laura Nenzi
Online monitoring of spatio-temporal properties for imprecise signals.
MEMOCODE
(2021)
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021
MEMOCODE
(2021)