All Stories

  1. Robust Identification of Hybrid Automata from Noisy Data

    Article • May 2025, ACM (Association for Computing Machinery)

    Eugene Asarin, Mo Foughali

  2. Elements of Timed Pattern Matching

    Article • ACM Transactions on Embedded Computing Systems, February 2024, ACM (Association for Computing Machinery)

    Eugene Asarin

  3. Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions

    Article • May 2023, ACM (Association for Computing Machinery)

    Eugene Asarin