Reifying Concurrency for Executable Metamodeling. - Benoît Combemale; Julien De Antoni; Matias Vara Larsen; Frédéric Mallet; Olivier Barais; Benoit Baudry; Robert B. France (SLE, 2013)

A Behavioral Coordination Operator Language (BCOoL). - Matias Ezequiel Vara Larsen; Julien DeAntoni; Benoît Combemale; Frédéric Mallet (MoDELS, 2015)

A Model-Driven Based Environment for Automatic Model Coordination. - Matias Ezequiel Vara Larsen; Julien DeAntoni; Benoît Combemale; Frédéric Mallet (P&D@MoDELS, 2015)

BCOol : the Behavioral Coordination Operator Language. (B-COoL : un métalangage pour la spécification des opérateurs de coordination des langages). - Matias Ezequiel Vara Larsen (2016)

Verifying the Conformance of a Driver Implementation to the VirtIO Specification. - Matias Vara Larsen (DATE, 2021)