Nuno Amlio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2004–2016
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICFEM | Checking SysML Models for Co-simulation. | Nuno Amlio, Richard John Payne, Ana Cavalcanti, Jim Woodcock |
| 2016 | ICTAC | Behavioural Models for FMI Co-simulations. | Ana Cavalcanti, Jim Woodcock, Nuno Amlio |
| 2015 | MODELS | Fragmenta: A theory of fragmentation for MDE. | Nuno Amlio, Juan de Lara, Esther Guerra |
| 2011 | FM | Building VCL Models and Automatically Generating Z Specifications from Them. | Nuno Amlio, Christian Glodt, Pierre Kelsen |
| 2010 | CaiSE | Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. | Nuno Amlio, Pierre Kelsen, Qin Ma |
| 2010 | DIAGRAMS | VCL, a Visual Language for Modelling Software Systems Formally. | Nuno Amlio, Pierre Kelsen |
| 2009 | OOPSLA | From platform-independent to platform-specific models using democles. | Christian Glodt, Pierre Kelsen, Nuno Amlio, Qin Ma |
| 2006 | FM | A Formal Template Language Enabling Metaproof. | Nuno Amlio, Susan Stepney, Fiona Polack |
| 2004 | ICFEM | Formal Proof from UML Models. | Nuno Amlio, Susan Stepney, Fiona Polack |