Matias Vara Larsen

According to our database, Matias Vara Larsen authored at least 5 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verifying the Conformance of a Driver Implementation to the VirtIO Specification.

Matias Vara Larsen

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2016

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

PhD thesis, 2016

2015

A Model-Driven Based Environment for Automatic Model Coordination.

Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

A Behavioral Coordination Operator Language (BCOoL).

Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

2013

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

Proceedings of the Software Language Engineering - 6th International Conference, 2013