All Stories

  1. Runtime Enforcement of Cyber-Physical Systems

    Article • ACM Transactions on Embedded Computing Systems, October 2017, ACM (Association for Computing Machinery)

    Stavros Tripakis

  2. Runtime enforcement of reactive systems using synchronous enforcers

    Article • July 2017, ACM (Association for Computing Machinery)

    Stavros Tripakis

  3. When Do We Not Need Complex Assume-Guarantee Rules?

    Article • ACM Transactions on Embedded Computing Systems, April 2017, ACM (Association for Computing Machinery)

    Stavros Tripakis

  4. FIDE

    Article • April 2016, ACM (Association for Computing Machinery)

    Stavros Tripakis

  5. Predictive runtime enforcement

    Article • April 2016, ACM (Association for Computing Machinery)

    Stavros Tripakis

  6. Compositionality in synchronous data flow

    Article • ACM Transactions on Embedded Computing Systems, March 2013, ACM (Association for Computing Machinery)

    Stavros Tripakis, Edward Lee