More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Nuno Amálio

> Home > Persons

Person information

affiliation: University of Luxembourg

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ese/AmalioBK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/AmalioBK20
Nuno Amálio, Lionel C. Briand, Pierre Kelsen:
An experimental scrutiny of visual design modelling: VCL up against UML+OCL. Empir. Softw. Eng. 25(2): 1205-1258 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AmalioPCW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AmalioPCW16
Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock:
Checking SysML Models for Co-simulation. ICFEM 2016: 450-465
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/CavalcantiWA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/CavalcantiWA16
Ana Cavalcanti, Jim Woodcock, Nuno Amálio:
Behavioural Models for FMI Co-simulations. ICTAC 2016: 255-273
2015
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AmalioG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AmalioG15
Nuno Amálio, Christian Glodt:
A tool for visual and formal modelling of software designs. Sci. Comput. Program. 98: 52-79 (2015)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AmalioLG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AmalioLG15
Nuno Amálio, Juan de Lara, Esther Guerra:
Fragmenta: A theory of fragmentation for MDE. MoDELS 2015: 106-115
2013
[c18]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1305-6114
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-6114
Nuno Amálio:
Relaxing Behavioural Inheritance. Refine@IFM 2013: 68-83
2012
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/LeemansA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/LeemansA12
Jérôme Leemans, Nuno Amálio:
Modelling a cardiac pacemaker visually and formally. VL/HCC 2012: 257-258
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/TobiasRA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/TobiasRA12
Eric Tobias, Eric Ras, Nuno Amálio:
Suitability of visual modelling languages for modelling tangible user interface applications. VL/HCC 2012: 269-270
2011
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/AlferezACFKKKMMRZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/AlferezACFKKKMMRZ11
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:
Aspect-Oriented Model Development at Different Levels of Abstraction. ECMFA 2011: 361-376
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AmalioGK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AmalioGK11
Nuno Amálio, Christian Glodt, Pierre Kelsen:
Building VCL Models and Automatically Generating Z Specifications from Them. FM 2011: 149-153
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AmalioGPK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AmalioGPK11
Nuno Amálio, Christian Glodt, Frederico Pinto, Pierre Kelsen:
Platform-Variant Applications from Platform-Independent Models via Templates. WGT@ETAPS 2011: 3-25
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/taosd/AmalioKMG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taosd/AmalioKMG10
Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt:
Using VCL as an Aspect-Oriented Approach to Requirements Modelling. LNCS Trans. Aspect Oriented Softw. Dev. 7: 151-199 (2010)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/AmalioKM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/AmalioKM10
Nuno Amálio, Pierre Kelsen, Qin Ma:
Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. BMMDS/EMMSAD 2010: 261-273
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/diagrams/AmalioK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/diagrams/AmalioK10
Nuno Amálio, Pierre Kelsen:
VCL, a Visual Language for Modelling Software Systems Formally. Diagrams 2010: 282-284
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/AmalioK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/AmalioK10
Nuno Amálio, Pierre Kelsen:
Modular Design by Contract Visually and Formally Using VCL. VL/HCC 2010: 227-234

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/GlodtKAM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/GlodtKAM09
Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma:
From platform-independent to platform-specific models using democles. OOPSLA Companion 2009: 795-796
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/securware/Amalio09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/securware/Amalio09
Nuno Amálio:
Suspicion-Driven Formal Analysis of Security Requirements. SECURWARE 2009: 217-223
2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/AmalioPZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/AmalioPZ08
Nuno Amálio, Fiona Polack, Jing Zhang:
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. ABZ 2008: 323-336
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/securware/AmalioS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/securware/AmalioS08
Nuno Amálio, George Spanoudakis:
From Monitoring Templates to Security Monitoring and Threat Detection. SECURWARE 2008: 185-192
2006
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AmalioSP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AmalioSP06
Nuno Amálio, Susan Stepney, Fiona Polack:
A Formal Template Language Enabling Metaproof. FM 2006: 252-267
2005
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/AmalioPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/AmalioPS05
Nuno Amálio, Fiona Polack, Susan Stepney:
An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AmalioPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AmalioPS07
Nuno Amálio, Fiona Polack, Susan Stepney:
Frameworks Based on Templates for Rigorous Model-driven Development. IFM Doctoral Symposium 2005: 3-23
2004
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AmalioSP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AmalioSP04
Nuno Amálio, Susan Stepney, Fiona Polack:
Formal Proof from UML Models. ICFEM 2004: 418-433
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/AmalioP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/AmalioP03
Nuno Amálio, Fiona Polack:
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB 2003: 339-358

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.