All Stories

  1. ADEPT 2024 Workshop Summary

    Article • ACM SIGAda Ada Letters, June 2025, ACM (Association for Computing Machinery)

    Jerome Hugues, Leandro Becker

  2. ADEPT 2023 Workshop Summary

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

    Jerome Hugues, Ehsan Ahmad

  3. Mechanizing AADL in Coq - Extended Abstract

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

    Jerome Hugues

  4. ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem

    Article • ACM SIGAda Ada Letters, October 2023, ACM (Association for Computing Machinery)

    Jerome Hugues

  5. Mechanization of the Ravenscar Profile in Coq

    Article • ACM SIGAda Ada Letters, October 2023, ACM (Association for Computing Machinery)

    Jerome Hugues

  6. TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS

    Article • October 2020, ACM (Association for Computing Machinery)

    Jerome Hugues