1 citations · 1 across the 9 of their papers we have counts for
4 papers · 1 filter
A proof-carrying architecture for synthetic genetic logic circuits under stochastic temporal contracts
Arman Ferdowsi, Laura Kovacs
Genetic design automation maps Boolean specifications to regulatory networks and DNA sequences, but a successful mapping does not establish the probability that every output remain…
A Fault-Tolerant Spike-Time Interface for Approximate Agreement in Distributed Neuromorphic Systems
Arman Ferdowsi, Maryam DehghanChenary, Kevin Tierney +1
Large neuromorphic systems contain many processing tiles that may replicate a shared control parameter such as a threshold reference. If these copies diverge, identical inputs may…
A Symbolic Execution Framework for Symbolic Timing Analysis of Digital Integrated Circuits
Dennis Eigner, Arman Ferdowsi, Ulrich Schmid
Simulation-based dynamic timing analysis of digital integrated circuits (DDTA) offers a faster alternative to traditional analog SPICE simulations. To achieve timing predictions th…
Certificate-Aware Property-Directed Reachability
Arman Ferdowsi, Laura Kovacs
Property-Directed Reachability (PDR/IC3) is widely used for hardware safety verification. Most implementations optimize time-to-answer, but certified workflows also require compact…