Nuno Amálio

	2011
16		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
15		Nuno Amálio, Christian Glodt, Pierre Kelsen: Building VCL Models and Automatically Generating Z Specifications from Them. FM 2011: 149-153
14		Nuno Amálio, Christian Glodt, Frederico Pinto, Pierre Kelsen: Platform-Variant Applications from Platform-Independent Models via Templates. Electr. Notes Theor. Comput. Sci. 279(3): 3-25 (2011)
	2010
13		Nuno Amálio, Pierre Kelsen, Qin Ma: Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. BMMDS/EMMSAD 2010: 261-273
12		Nuno Amálio, Pierre Kelsen: VCL, a Visual Language for Modelling Software Systems Formally. Diagrams 2010: 282-284
11		Nuno Amálio, Pierre Kelsen: Modular Design by Contract Visually and Formally Using VCL. VL/HCC 2010: 227-234
10		Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt: Using VCL as an Aspect-Oriented Approach to Requirements Modelling. T. Aspect-Oriented Software Development 7: 151-199 (2010)
	2009
9		Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma: From platform-independent to platform-specific models using democles. OOPSLA Companion 2009: 795-796
8		Nuno Amálio: Suspicion-Driven Formal Analysis of Security Requirements. SECURWARE 2009: 217-223
	2008
7		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
6		Nuno Amálio, George Spanoudakis: From Monitoring Templates to Security Monitoring and Threat Detection. SECURWARE 2008: 185-192
	2007
5		Nuno Amálio, Fiona Polack, Susan Stepney: Frameworks Based on Templates for Rigorous Model-driven Development. Electr. Notes Theor. Comput. Sci. 191: 3-23 (2007)
	2006
4		Nuno Amálio, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267
	2005
3		Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278
	2004
2		Nuno Amálio, Susan Stepney, Fiona Polack: Formal Proof from UML Models. ICFEM 2004: 418-433
	2003
1		Nuno Amálio, Fiona Polack: Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB 2003: 339-358

Coauthor Index

1	Mauricio Alférez	[16]
2	Selim Ciraci	[16]
3	Franck Fleurey	[16]
4	Christian Glodt	[9] [10] [14] [15]
5	Pierre Kelsen	[9] [10] [11] [12] [13] [14] [15]
6	Jörg Kienzle	[16]
7	Jacques Klein	[16]
8	Max E. Kramer	[16]
9	Qin Ma	[9] [10] [13]
10	Sébastien Mosser	[16]
11	Gunter Mussbacher	[16]
12	Frederico Pinto	[14]
13	Fiona A. C. Polack (Fiona Polack)	[1] [2] [3] [4] [5] [7]
14	Ella E. Roubtsova	[16]
15	George Spanoudakis	[6]
16	Susan Stepney	[2] [3] [4] [5]
17	Gefei Zhang	[16]
18	Jing Zhang	[7]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page