publications:
- title: "Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language"
  author:
  - name: "Yamine Aït Ameur"
    link: "https://researchr.org/alias/yamine-a%C3%AFt-ameur"
  - name: "Remi Delmas"
    link: "https://researchr.org/alias/remi-delmas"
  - name: "Alexandre Cortier"
    link: "http://alexandre.cortier.free.fr"
  - name: "Virginie Wiels"
    link: "https://researchr.org/alias/virginie-wiels"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/ISoLA.2006.11"
  links:
    doi: "http://dx.doi.org/10.1109/ISoLA.2006.11"
  tags:
  - "modeling language"
  - "modeling"
  - "language modeling"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AmeurDCW06"
  cites: 0
  citedby: 0
  pages: "36-44"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "AmeurDCW06"
- title: "Formal Validation of Java/Swing User Interfaces with the Event B Method"
  author:
  - name: "Alexandre Cortier"
    link: "http://alexandre.cortier.free.fr"
  - name: "Bruno d Ausbourg"
    link: "https://researchr.org/alias/bruno-d-ausbourg"
  - name: "Yamine Aït Ameur"
    link: "https://researchr.org/alias/yamine-a%C3%AFt-ameur"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73105-4_116"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73105-4_116"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/CortierdA07"
  cites: 0
  citedby: 0
  pages: "1062-1071"
  booktitle: "hci"
  kind: "inproceedings"
  key: "CortierdA07"
- title: "Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment"
  author:
  - name: "Jean-Pierre Talpin"
    link: "https://researchr.org/alias/jean-pierre-talpin"
  - name: "Julien Ouy"
    link: "https://researchr.org/alias/julien-ouy"
  - name: "Thierry Gautier"
    link: "https://researchr.org/alias/thierry-gautier"
  - name: "Loïc Besnard"
    link: "https://researchr.org/alias/lo%C3%AFc-besnard"
  - name: "Alexandre Cortier"
    link: "http://alexandre.cortier.free.fr"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.14"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acsd/TalpinOGBC10"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/TalpinOGBC10"
  cites: 0
  citedby: 0
  pages: "137-146"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "TalpinOGBC10"