Jonathan Kotker

Learn More
— Timing analysis is a key step in the design of dependable real-time embedded systems, yet existing analysis tools do not work well for interrupt-driven code, which is commonly used in embedded systems. In this paper, we present a technique for timing analysis of interrupt-driven software. We show that for systems that use priority pre-emptive scheduling,(More)
We describe here the Act Ontology, a formalism for uniformly describing biochemical function, and its use in building an enzymatic pathway synthesizer. A formal description of biochemical function allows us to reason about it, and for the particular case of enzymes, this function allows us to build a synthesizer tool that given a target chemical can(More)
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to(More)
  • 1