Skip to content

Academic Literature

Here is the list of eleven papers influenced the Reelay project:

  1. Realization of events by logical nets by Irving M. Copi, Calvin C. Elgot, and Jesse B. Wright. 1958.
  2. On equations for regular languages, finite automata, and sequential networks by Janusz A. Brzozowski and Ernst Leiss. 1980.
  3. From regular expressions to deterministic automata by Gerard Berry and Ravi Sethi. 1986.
  4. Synthesizing monitors for safety properties by Klaus Havelund and Grigore Roşu. 2002.
  5. Monitoring temporal properties of continuous signals by Oded Maler and Dejan Nickovic. 2004.
  6. Efficient robust monitoring for STL by Alexandre Donze, Thomas Ferrere, and Oded Maler. 2013.
  7. Timed pattern matching by Dogan Ulus, Thomas Ferrere, Eugune Asarin, and Oded Maler. 2014.
  8. Online timed pattern matching using derivatives by Dogan Ulus, Thomas Ferrere, Eugune Asarin, and Oded Maler. 2016.
  9. First-order temporal logic monitoring with BDDs by Klaus Havelund, Doron A. Peled, and Dogan Ulus. 2017.
  10. Sequential circuits from regular expressions revisited by Dogan Ulus. 2018.
  11. Online monitoring of metric temporal logic using sequential networks by Dogan Ulus. 2019.