Matias Vara Larsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2013–2021
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DATE | Verifying the Conformance of a Driver Implementation to the VirtIO Specification. | Matias Vara Larsen |
| 2013 | SLE | Reifying Concurrency for Executable Metamodeling. | Benot Combemale, Julien De Antoni, Matias Vara Larsen, Frdric Mallet, Olivier Barais, Benoit Baudry, Robert B. France |