@inproceedings{AmeurDCW06,
  title = {Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language},
  author = {Yamine Aït Ameur and Remi Delmas and Alexandre Cortier and Virginie Wiels},
  year = {2006},
  doi = {10.1109/ISoLA.2006.11},
  url = {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},
}

@inproceedings{CortierdA07,
  title = {Formal Validation of Java/Swing User Interfaces with the Event B Method},
  author = {Alexandre Cortier and Bruno d Ausbourg and Yamine Aït Ameur},
  year = {2007},
  doi = {10.1007/978-3-540-73105-4_116},
  url = {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 = {Julie A. Jacko},
  volume = {4550},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73104-7},
}

@inproceedings{TalpinOGBC10,
  title = {Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment},
  author = {Jean-Pierre Talpin and Julien Ouy and Thierry Gautier and Loïc Besnard and Alexandre Cortier},
  year = {2010},
  doi = {10.1109/ACSD.2010.14},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.14},
  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 = {Luís Gomes and Victor Khomenko and João M. Fernandes},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4066-5},
}