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: "Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006"
  publisher: "IEEE"
  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: "Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I"
  editor:
  - name: "Julie A. Jacko"
    link: "https://researchr.org/alias/julie-a.-jacko"
  volume: "4550"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73104-7"
  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: "10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010"
  editor:
  - name: "Luís Gomes"
    link: "https://researchr.org/alias/lu%26iacute%3Bs-gomes"
  - name: "Victor Khomenko"
    link: "https://researchr.org/alias/victor-khomenko"
  - name: "João M. Fernandes"
    link: "https://researchr.org/alias/jo%26atilde%3Bo-m.-fernandes"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-4066-5"
  kind: "inproceedings"
  key: "TalpinOGBC10"