Nuno Amálio

24 papers A 1B 6C 5Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2020 J jnl
An experimental scrutiny of visual design modelling: VCL up against UML+OCL.
Empir. Softw. Eng.
Nuno Amálio, Lionel C. Briand, Pierre Kelsen
2016 C conf
Behavioural Models for FMI Co-simulations.
ICTAC
Ana Cavalcanti, Jim Woodcock, Nuno Amálio
2016 C conf
Checking SysML Models for Co-simulation.
ICFEM
Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock
2015 J jnl
A tool for visual and formal modelling of software designs.
Sci. Comput. Program.
Nuno Amálio, Christian Glodt
2015 A conf
Fragmenta: A theory of fragmentation for MDE.
MoDELS
Nuno Amálio, Juan de Lara, Esther Guerra
2013 — conf
Relaxing Behavioural Inheritance
Refine@IFM
Nuno Amálio
2012 B conf
Modelling a cardiac pacemaker visually and formally.
VL/HCC
Jérôme Leemans, Nuno Amálio
2012 B conf
Suitability of visual modelling languages for modelling tangible user interface applications.
VL/HCC
Eric Tobias, Eric Ras, Nuno Amálio
2011 B conf
Aspect-Oriented Model Development at Different Levels of Abstraction.
ECMFA
Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang
2011 B conf
Building VCL Models and Automatically Generating Z Specifications from Them.
FM
Nuno Amálio, Christian Glodt, Pierre Kelsen
2011 — conf
Platform-Variant Applications from Platform-Independent Models via Templates.
WGT
Nuno Amálio, Christian Glodt, Frederico Pinto, Pierre Kelsen
2010 B conf
Modular Design by Contract Visually and Formally Using VCL.
VL/HCC
Nuno Amálio, Pierre Kelsen
2010 — conf
Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL.
BMMDS/EMMSAD
Nuno Amálio, Pierre Kelsen, Qin Ma
2010 J jnl
Using VCL as an Aspect-Oriented Approach to Requirements Modelling.
LNCS Trans. Aspect Oriented Softw. Dev.
Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt
2010 C conf
VCL, a Visual Language for Modelling Software Systems Formally.
Diagrams
Nuno Amálio, Pierre Kelsen
2009 — conf
From platform-independent to platform-specific models using democles.
OOPSLA Companion
Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma
2009 — conf
Suspicion-Driven Formal Analysis of Security Requirements.
SECURWARE
Nuno Amálio
2008 C conf
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity.
ABZ
Nuno Amálio, Fiona Polack, Jing Zhang
2008 — conf
From Monitoring Templates to Security Monitoring and Threat Detection.
SECURWARE
Nuno Amálio, George Spanoudakis
2006 B conf
A Formal Template Language Enabling Metaproof.
FM
Nuno Amálio, Susan Stepney, Fiona Polack
2005 — conf
An Object-Oriented Structuring for Z Based on Views.
ZB
Nuno Amálio, Fiona Polack, Susan Stepney
2005 — conf
Frameworks Based on Templates for Rigorous Model-driven Development.
IFM Doctoral Symposium
Nuno Amálio, Fiona Polack, Susan Stepney
2004 C conf
Formal Proof from UML Models.
ICFEM
Nuno Amálio, Susan Stepney, Fiona Polack
2003 — conf
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.
ZB
Nuno Amálio, Fiona Polack