All Stories

  1. Proving Use Requirements of Interactive Systems with Remote Monitoring and Control Capabilities EICS024

    Article • Proceedings of the ACM on Human-Computer Interaction, June 2026, ACM (Association for Computing Machinery)

    José C. Campos

  2. Beyond "Do-They-Look-the-Same?" to "Do-They-Behave-The-Same?": Similarity Analysis and Assessment Across Interactive Critical Systems Behaviours EICS023

    Article • Proceedings of the ACM on Human-Computer Interaction, June 2026, ACM (Association for Computing Machinery)

    José C. Campos, Philippe Palanque

  3. Verification of railway network models with EVEREST

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

    José C. Campos

  4. Systematic automation of scenario-based testing of user interfaces

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

    José C. Campos, Philippe Palanque

  5. The Modelery: a model-based software development repository

    Article • International Journal of Web Information Systems, June 2015, Emerald

    José C. Campos