5 citations · 9 across the 3 of their papers we have counts for
4 papers
Autoformalizing Memory Specifications with Agents
Jan Ole Ernst, Dmitri Michelangelo Saberi, Derek Christ +6
The primary goal of Design Verification (DV) is to ensure that a proposed chip design implementation (either in code, or physical form) exactly matches its specification and is fre…
DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
Derek Christ, Thomas Zimmermann, Philippe Barbie +3
The JEDEC committee defines various domain-specific DRAM standards. These standards feature increasingly complex and evolving protocol specifications, which are detailed in timing…
Regulated State Synchronization for Discrete-Time Homogeneous Networks of Non-Introspective Agents in Presence of Unknown Non-Uniform Input Delays: A Scale-Free Protocol Design (with a general MATLAB implementation)
Zhenwei Liu, Donya Nojavanzadeh, Dmitri Saberi +2
This paper studies regulated state synchronization of discrete-time homogeneous networks of non-introspective agents in presence of unknown non-uniform input delays. A scale free p…
Regulated State Synchronization for Homogeneous Networks of Non-introspective Agents in Presence of Input Delays: A Scale-Free Protocol Design (with a general MATLAB implementation)
Zhenwei Liu, Donya Nojavanzadeh, Dmitri Saberi +2
This paper studies regulated state synchronization of homogeneous networks of non-introspective agents in presence of unknown nonuniform input delays. A scale-free protocol is desi…