researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
abstraction
analysis
architecture
case study
composition
control systems
data-flow
design
graph-rewriting
meta-model
model checking
modeling
optimization
protocol
rewriting
rule-based
rules
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Alberto L. Sangiovanni-Vincentelli
Ansuman Banerjee
Arvind
Franco Fummi
Graziano Pravadelli
Jürgen Teich
Klaus Schneider
Klaus Schneider 0001
Man Cheuk Ng
Masahiro Fujita
Michael Pellauer
Muralidaran Vijayaraghavan
Nirav Dave
Partha S. Roop
Robert de Simone
Rolf Drechsler
Saddek Bensalem
Sandeep K. Shukla
Sanjit A. Seshia
Stephen A. Edwards
Filter by Top terms
[+]
OR
AND
NOT
1
acm
analysis
checking
design
formal
hardware
ieee
international
level
memocode
methods
model
models
software
synthesis
system
systems
time
using
verification
MEMOCODE (memocode)
Editions
Publications
Viewing Publication 1 - 100 from 515
2023
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023
IEEE,
2023.
[doi]
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
Soroush Bateni
,
Marten Lohstroh
,
Hou Seng Wong
,
Hokeun Kim
,
Shaokai Lin
,
Christian Menard
,
Edward A. Lee
.
memocode 2023
:
1-11
[doi]
Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures
Anoop Bhagyanath
,
Nadine Kercher
,
Klaus Schneider 0001
.
memocode 2023
:
59-70
[doi]
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking
Pauline Blohm
,
Julius Adelt
,
Paula Herber
.
memocode 2023
:
12-22
[doi]
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
Ernest Bonnah
,
Khaza Anuarul Hoque
.
memocode 2023
:
90-99
[doi]
Model Checking Time Window Temporal Logic for Hyperproperties
Ernest Bonnah
,
Luan Viet Nguyen
,
Khaza Anuarul Hoque
.
memocode 2023
:
100-110
[doi]
Scalable Actor Networks with CAL
Gareth Callanan
,
Flavius Gruian
.
memocode 2023
:
169-179
[doi]
Formal Verification of Security Properties on RISC-V Processors
Czea Sie Chuah
,
Christian Appold
,
Tim Leinmüller
.
memocode 2023
:
159-168
[doi]
Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification
Rolf Drechsler
,
Martha Schnieber
.
memocode 2023
:
122-125
[doi]
Harnessing Multiple BMC Engines Together for Efficient Formal Verification
Devleena Ghosh
,
Sumana Ghosh
,
Raj Kumar Gajavelly
,
Ansuman Banerjee
.
memocode 2023
:
71-81
[doi]
Timestamp Peripherals for Precise Real-Time Programming
John Hui
,
Kyle J. Edwards
,
Stephen A. Edwards
.
memocode 2023
:
137-147
[doi]
Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules
Peitian Pan
,
Christopher Batten
.
memocode 2023
:
148-158
[doi]
Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages
Peitian Pan
,
Shunning Jiang
,
Yanghui Ou
,
Christopher Batten
.
memocode 2023
:
126-136
[doi]
Robust Testing for Cyber-Physical Systems using Reinforcement Learning
Xin Qin
,
Nikos Aréchiga
,
Jyotirmoy Deshmukh
,
Andrew Best
.
memocode 2023
:
36-46
[doi]
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation
Mir Md Sajid Sarwar
,
Rajarshi Ray 0001
,
Ansuman Banerjee
.
memocode 2023
:
47-58
[doi]
Polynomial Formal Verification of KFDD Circuits
Martha Schnieber
,
Rolf Drechsler
.
memocode 2023
:
82-89
[doi]
Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers
Jan Spieck
,
Pierre-Louis Sixdenier
,
Khalil Esper
,
Stefan Wildermann
,
Jürgen Teich
.
memocode 2023
:
23-35
[doi]
Towards a Basis for Endochronous Functions in Dataflow Process Networks
Daniel Theis
,
Klaus Schneider 0001
.
memocode 2023
:
191-194
[doi]
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts
Sheng-Jung Yu
,
Inigo Incer
,
Alberto L. Sangiovanni-Vincentelli
.
memocode 2023
:
111-121
[doi]
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems
Sheng-Jung Yu
,
Inigo Incer
,
Alberto L. Sangiovanni-Vincentelli
.
memocode 2023
:
180-190
[doi]
2022
Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoC
Anup Das 0001
.
memocode 2022
:
1-12
[doi]
A Reinforcement-Learning Style Algorithm for Black Box Automata
Itay Cohen 0001
,
Roi Fogler
,
Doron Peled
.
memocode 2022
:
1-11
[doi]
20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022
IEEE,
2022.
[doi]
Runtime Verification for Clinically Interpretable Arrhythmia Classification
Alex Baird
,
Srinivas Pinisetty
,
Nathan Allen
,
Nitish D. Patel
,
Partha S. Roop
.
memocode 2022
:
1-10
[doi]
Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones
Alex Baird
,
Hammond Pearce
,
Srinivas Pinisetty
,
Partha S. Roop
.
memocode 2022
:
1-11
[doi]
Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs
Samira Ait Bensaid
,
Mihail Asavoae
,
Farhat Thabet
,
Mathieu Jan
.
memocode 2022
:
1-8
[doi]
Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances
Ruiqi Hu
,
Kairong Liu
,
Zhikun She
.
memocode 2022
:
1-12
[doi]
Mechanization of a Large DSML: An Experiment with AADL and Coq
Jérôme Hugues
,
Lutz Wrage
,
John Hatcliff
,
Danielle Stewart
.
memocode 2022
:
1-9
[doi]
Creating a Language for Writing Real-Time Applications for the Internet of Things
Robert Krook
,
John Hui
,
Bo Joel Svensson
,
Stephen A. Edwards
,
Koen Claessen
.
memocode 2022
:
1-20
[doi]
A small, but important, concurrency problem in Verilog's semantics? (Work in progress)
Andreas Lööw
.
memocode 2022
:
1-6
[doi]
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage
Eric Rothstein Morris
,
Jun Sun 0001
,
Sudipta Chattopadhyay 0001
.
memocode 2022
:
1-12
[doi]
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL
Vinayak S. Prabhu
,
Meetkumar Savaliya
.
memocode 2022
:
1-11
[doi]
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models
Matthias Schaffeld
,
Rebecca Bernemann
,
Torben Weis
,
Barbara König 0001
,
Viktor Matkovic
.
memocode 2022
:
1-5
[doi]
A novel approach to Real-time contract based reasoning for Hybrid Systems
Surinder Sood
,
Avinash Malik
,
Partha S. Roop
.
memocode 2022
:
1-11
[doi]
Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems
Surinder Sood
,
Avinash Malik
,
Partha S. Roop
.
memocode 2022
:
1-11
[doi]
2021
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021
S. Arun-Kumar 0004
,
Dominique Méry
,
Indranil Saha
,
Lijun Zhang 0001
, editors,
ACM,
2021.
[doi]
Formal modelling of attack scenarios and mitigation strategies in IEEE 1588
Kelvin Anto
,
Partha S. Roop
,
Akshya K. Swain
.
memocode 2021
:
134-141
[doi]
Polynomial word-level verification of arithmetic circuits
Mohammed Barhoush
,
Alireza Mahzoon
,
Rolf Drechsler
.
memocode 2021
:
1-9
[doi]
Sampling of shape expressions with ShapEx
Nicolas Basset
,
Thao Dang 0001
,
Felix Gigler
,
Cristinel Mateis
,
Dejan Nickovic
.
memocode 2021
:
118-125
[doi]
Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs
Khalil Esper
,
Stefan Wildermann
,
Jürgen Teich
.
memocode 2021
:
21-31
[doi]
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations
Farhaan Fowze
,
Tuba Yavuz
.
memocode 2021
:
126-133
[doi]
Controller verification meets controller code: a case study
Felix Freiberger
,
Stefan Schupp
,
Holger Hermanns
,
Erika Ábrahám
.
memocode 2021
:
98-103
[doi]
Simplification of numeric variables for PLC model checking
Ignacio D. Lopez-Miguel
,
Borja Fernández Adiego
,
Jean-Charles Tournier
,
Enrique Blanco Viñuela
,
Juan A. Rodríguez-Aguilar
.
memocode 2021
:
10-20
[doi]
Learning optimal decisions for stochastic hybrid systems
Mathis Niehage
,
Arnd Hartmanns
,
Anne Remke
.
memocode 2021
:
44-55
[doi]
A secure insulin infusion system using verification monitors
Abhinandan panda
,
Srinivas Pinisetty
,
Partha S. Roop
.
memocode 2021
:
56-65
[doi]
Design and formal verification of a copland-based attestation protocol
Adam Petz
,
Grant Jurgensen
,
Perry Alexander
.
memocode 2021
:
111-117
[doi]
Translating structured sequential programs to dataflow graphs
Klaus Schneider
.
memocode 2021
:
66-77
[doi]
Online monitoring of spatio-temporal properties for imprecise signals
Ennio Visconti
,
Ezio Bartocci
,
Michele Loreti
,
Laura Nenzi
.
memocode 2021
:
78-88
[doi]
LION: real-time I/O transfer control for massively parallel processor arrays
Dominik Walter
,
Jürgen Teich
.
memocode 2021
:
32-43
[doi]
Translation of continuous function charts to imperative synchronous quartz programs
Marcel Christian Werner
,
Klaus Schneider
.
memocode 2021
:
104-110
[doi]
Verified functional programming of an IoT operating system's bootloader
Shenghao Yuan
,
Jean-Pierre Talpin
.
memocode 2021
:
89-97
[doi]
2020
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems
Maryam Bagheri 0001
,
Edward A. Lee
,
Eunsuk Kang
,
Marjan Sirjani
,
Ehsan Khamespanah
,
Ali Movaghar
.
memocode 2020
:
1-10
[doi]
Specification-guided Software Fault Localization for Autonomous Mobile Systems
Tomoya Yamaguchi 0001
,
Bardh Hoxha
,
Danil V. Prokhorov
,
Jyotirmoy V. Deshmukh
.
memocode 2020
:
1-12
[doi]
18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020
IEEE,
2020.
[doi]
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
Marcelo Forets
,
Daniel Freire
,
Christian Schilling 0001
.
memocode 2020
:
1-6
[doi]
Runtime Verification of Timed Properties in Autonomous Robots
Mohammed Foughali
,
Saddek Bensalem
,
Jacques Combaz
,
Félix Ingrand
.
memocode 2020
:
1-12
[doi]
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
Paula Herber
,
Timm Liebrenz
.
memocode 2020
:
1-6
[doi]
Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure
Moon Soo Kim
,
Weiwei Ai
,
Partha S. Roop
,
Nathan Allen
,
Rohit Ramchandra
,
Julian Paton
.
memocode 2020
:
1-11
[doi]
Bayesian Statistical Model Checking for Continuous Stochastic Logic
Ratan Lal
,
Weikang Duan
,
Pavithra Prabhakar
.
memocode 2020
:
1-11
[doi]
CROME: Contract-Based Robotic Mission Specification
Piergiuseppe Mallozzi
,
Pierluigi Nuzzo
,
Patrizio Pelliccione
,
Gerardo Schneider
.
memocode 2020
:
1-11
[doi]
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
Nikhil Naik
,
Pierluigi Nuzzo
.
memocode 2020
:
1-12
[doi]
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency
Luan Viet Nguyen
,
Gautam Mohan
,
James Weimer
,
Oleg Sokolsky
,
Insup Lee
,
Rajeev Alur
.
memocode 2020
:
1-12
[doi]
Stately: An FSM Design Tool
Jeremy Pope
,
Jules Saget
,
Carl-Johan H. Seger
.
memocode 2020
:
1-6
[doi]
Cephalopode: A custom processor aimed at functional language execution for IoT devices
Jeremy Pope
,
Jules Saget
,
Carl-Johan H. Seger
.
memocode 2020
:
1-6
[doi]
Security Types for Synchronous Data Flow Systems
Sanjiva Prasad
,
R. Madhukar Yerraguntla
,
Subodh Sharma
.
memocode 2020
:
1-12
[doi]
A Contrastive Plan Explanation Framework for Hybrid System Models
Mir Md Sajid Sarwar
,
Rajarshi Ray 0001
,
Ansuman Banerjee
.
memocode 2020
:
1-11
[doi]
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes
Mariia Vasileva
,
Fedor Shmarov
,
Paolo Zuliani
.
memocode 2020
:
1-11
[doi]
Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays
Dominik Walter
,
Michael Witterauf
,
Jürgen Teich
.
memocode 2020
:
1-11
[doi]
Safe and efficient collision avoidance control for autonomous vehicles
Qiang Wang
,
Dachuan Li
,
Joseph Sifakis
.
memocode 2020
:
1-6
[doi]
Verifying Absence of Hardware-Software Data Races using Counting Abstraction
Tuba Yavuz
.
memocode 2020
:
1-6
[doi]
2019
A compositional approach for real-time machine learning
Nathan Allen
,
Yash Raje
,
Jin Woo Ro
,
Partha S. Roop
.
memocode 2019
:
[doi]
A timeless model for the verification of quasi-periodic distributed systems
Maryam Dabaghchian
,
Zvonimir Rakamaric
.
memocode 2019
:
[doi]
Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog
David J. Greaves
.
memocode 2019
:
[doi]
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic
Mohammad Hekmatnejad
,
Shakiba Yaghoubi
,
Adel Dokhanchi
,
Heni Ben Amor
,
Aviral Shrivastava
,
Lina Karam
,
Georgios Fainekos
.
memocode 2019
:
[doi]
Security-driven metrics and models for efficient evaluation of logic encryption schemes
Yinghua Hu
,
Vivek V. Menon
,
Andrew G. Schmidt
,
Joshua S. Monson
,
Matthew French
,
Pierluigi Nuzzo
.
memocode 2019
:
[doi]
RTL bug localization through LTL specification mining (WIP)
Vighnesh Iyer
,
Donggyu Kim
,
Borivoje Nikolic
,
Sanjit A. Seshia
.
memocode 2019
:
[doi]
Modeling observability in adaptive systems to defend against advanced persistent threats
Cody Kinneer
,
Ryan Wagner
,
Fei Fang
,
Claire Le Goues
,
David Garlan
.
memocode 2019
:
[doi]
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems
Ratan Lal
,
Pavithra Prabhakar
.
memocode 2019
:
[doi]
Lattice-based SMT for program verification
Karine Even Mendoza
,
Antti E. J. Hyvärinen
,
Hana Chockler
,
Natasha Sharygina
.
memocode 2019
:
[doi]
Detecting security leaks in hybrid systems with information flow analysis
Luan Viet Nguyen
,
Gautam Mohan
,
James Weimer
,
Oleg Sokolsky
,
Insup Lee
,
Rajeev Alur
.
memocode 2019
:
[doi]
Approximate computing for multithreaded programs in shared memory architectures
Bernard Nongpoh
,
Rajarshi Ray 0001
,
Ansuman Banerjee
.
memocode 2019
:
[doi]
Logical specification and uniform synthesis of robust controllers
Paritosh K. Pandya
,
Amol Wakankar
.
memocode 2019
:
[doi]
Securing implantable medical devices with runtime enforcement hardware
Hammond A. Pearce
,
Matthew M. Y. Kuo
,
Partha S. Roop
,
Srinivas Pinisetty
.
memocode 2019
:
[doi]
A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata
Jin Woo Ro
,
Avinash Malik
,
Partha S. Roop
.
memocode 2019
:
[doi]
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
Partha S. Roop
,
Naijun Zhan
,
Sicun Gao
,
Pierluigi Nuzzo
, editors,
ACM,
2019.
[doi]
Security analysis of cloud-connected industrial control systems using combinatorial testing
Peter W. V. Tran-Jørgensen
,
Tomas Kulik
,
Jalil Boudjadar
,
Peter Gorm Larsen
.
memocode 2019
:
[doi]
Establishing a refinement relation between binaries and abstract code
Freek Verbeek
,
Joshua A. Bockenek
,
Abhijith Bharadwaj
,
Binoy Ravindran
,
Ian Roessle
.
memocode 2019
:
[doi]
Polyhedral fragments: an efficient representation for symbolically generating code for processor arrays
Michael Witterauf
,
Frank Hannig
,
Jürgen Teich
.
memocode 2019
:
[doi]
2018
16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018
IEEE,
2018.
[doi]
Desynchronization: From Macro-step to Micro-step
Yu Bai
.
memocode 2018
:
109-118
[doi]
Towards Dependability Metrics for Neural Networks
Chih-Hong Cheng
,
Georg Nührenberg
,
Chung-Hao Huang
,
Harald Ruess
,
Hirotoshi Yasuoka
.
memocode 2018
:
43-46
[doi]
Optimal Self-Routing Split Modules for Radix-based Interconnection Networks
Tripti Jain
,
Klaus Schneider 0001
.
memocode 2018
:
99-108
[doi]
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
.
memocode 2018
:
47-50
[doi]
Security of Pacemakers using Runtime Verification
Srinivas Pinisetty
,
Partha S. Roop
,
Vidula Sawant
,
Gerardo Schneider
.
memocode 2018
:
51-61
[doi]
Synchronous neural networks for cyber-physical systems
Partha S. Roop
,
Hammond A. Pearce
,
Keyan Monadjem
.
memocode 2018
:
33-42
[doi]
UCLID5: Integrating Modeling, Verification, Synthesis and Learning
Sanjit A. Seshia
,
Pramod Subramanyan
.
memocode 2018
:
1-10
[doi]
It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow
Mladen Skelin
,
Marc Geilen
.
memocode 2018
:
11-21
[doi]
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks
Jonatan Wiik
,
Johan Ersfolk
,
Marina A. Waldén
.
memocode 2018
:
78-87
[doi]
Run-time Requirement Enforcement for Loop Programs on Processor Arrays
Michael Witterauf
,
Jürgen Teich
.
memocode 2018
:
22-32
[doi]
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
.
memocode 2018
:
88-98
[doi]
Sign in
or
sign up
to see more results.