All Stories

  1. Temporal Breakpoints for Multiverse Debugging

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

    Frédéric Jouault

  2. Feedback on the formal verification of UML models in an industrial context

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

    Frédéric Jouault, Maxime Méré

  3. Practical multiverse debugging through user-defined reductions

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

    Frédéric Jouault

  4. From OCL-based model static analysis to quick fixes

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

    Frédéric Jouault, Maxime Méré

  5. Mining human factors general trends from +100k UML class diagrams

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

    Philippe Palanque, Frédéric Jouault

  6. Modular deployment of UML models for V&V activities and embedded execution

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

    Frédéric Jouault

  7. Evaluating tool support for embedded operating system security

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

    Frédéric Jouault

  8. Designing, animating, and verifying partial UML Models

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

    Frédéric Jouault

  9. A Model Checkable UML Soccer Player

    Article • September 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Frédéric Jouault

  10. Intensional View Definition with Constrained Incremental Transformation Rules

    Article • September 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Frédéric Jouault

  11. Toward a declarative language to generate explorable sets of models

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

    Frédéric Jouault