All Stories

  1. Modeling and Verification of Hybrid Systems by Extending AADL

    Article • ACM Transactions on Software Engineering and Methodology, February 2026, ACM (Association for Computing Machinery)

    Ehsan Ahmad

  2. ADEPT 2023 Workshop Summary

    Article • ACM SIGAda Ada Letters, December 2024, ACM (Association for Computing Machinery)

    Jerome Hugues, Ehsan Ahmad

  3. BLESS Behavior Correctness Proof as ConvincingVerification Artifact

    Article • ACM SIGAda Ada Letters, December 2024, ACM (Association for Computing Machinery)

    Ehsan Ahmad