Alexandre Mota

Alexandre Cabral Mota

	2009
25		Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Systematic Development of Trustworthy Component Systems. FM 2009: 140-156
24		Augusto Sampaio, Sidney Nogueira, Alexandre Mota: Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM 2009: 20-48
23		Adriana Damasceno, Adalberto Farias, Alexandre Mota: A Mechanized Strategy for Safe Abstraction of CSP Specifications. SBMF 2009: 118-133
22		Renata Kaufman, Augusto Sampaio, Alexandre Mota: Formalisation and Analysis of Objects as CSP Processes. SBMF 2009: 236-250
21		André Didier, Adalberto Farias, Alexandre Mota: Checking Z Data Refinements Using Traces Refinement. Electr. Notes Theor. Comput. Sci. 240: 129-148 (2009)
	2008
20		Clélio Feitosa, Glaucia Peres, Alexandre Mota: Unifying Models of Test Cases and Requirements. CIbSE 2008: 113-126
19		Cristiano Bertolini, Alexandre Mota: Using Refinement Checking as System Testing. CIbSE 2008: 17-30
18		Ana Antunes, Fernando Morgado Dias, Jose Antonio Vieira, Alexandre Mota: A neuro-fuzzy delay compensator for distributed control systems. ETFA 2008: 1088-1091
17		Ana Antunes, Fernando Morgado Dias, Alexandre Mota: A neural network delay compensator for networked control systems. ETFA 2008: 1271-1276
16		Ana Antunes, Fernando Morgado Dias, Alexandre Mota: A Neural Model for Delay Correction in a Distributed Control System. ICANN (2) 2008: 11-20
15		Sidney Nogueira, Augusto Sampaio, Alexandre Mota: Guided Test Generation from CSP Models. ICTAC 2008: 258-273
14		Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Framework composition conformance via refinement checking. SAC 2008: 119-125
13		Patrícia Ferreira, Augusto Sampaio, Alexandre Mota: Viewing CSP Specifications with UML-RT Diagrams. Electr. Notes Theor. Comput. Sci. 195: 57-74 (2008)
	2007
12		Vasco Santos, Paulo Bartolomeu, José Alberto Fonseca, Alexandre Mota: B-Live - A Home Automation System for Disabled and Elderly People. SIES 2007: 333-336
11		Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota: Towards Property Oriented Testing. Electr. Notes Theor. Comput. Sci. 184: 3-19 (2007)
10		Rafael Magalhães Borges, Alexandre Cabral Mota: Integrating UML and Formal Methods. Electr. Notes Theor. Comput. Sci. 184: 97-112 (2007)
	2006
9		Ana Antunes, Fernando Morgado Dias, José Vieira, Alexandre Mota: Delay Compensator: an Approach to Reduce the Variable Sampling to Actuation Delay Effect in Distributed Real-time Control Systems. ETFA 2006: 531-536
8		Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Transformation Laws for UML-RT. FMOODS 2006: 123-137
	2005
7		Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: A Semantics for UML-RT Active Classes via Mapping into Circus. FMOODS 2005: 99-114
6		Alexandre Mota, Arnaldo V. Moura: Preface. Electr. Notes Theor. Comput. Sci. 130: 1-2 (2005)
	2004
5		Adalberto Farias, Alexandre Mota, Augusto Sampaio: Efficient CSPZ Data Abstraction. IFM 2004: 108-127
4		Augusto Sampaio, Alexandre Mota, Rodrigo Ramos: Class and Capsule Refinement in UML for Real Time. Electr. Notes Theor. Comput. Sci. 95: 23-51 (2004)
	2002
3		Alexandre Mota, Paulo Borba, Augusto Sampaio: Mechanical Abstraction of CSPZ Processes. FME 2002: 163-183
	2001
2		Alexandre Mota, Augusto Sampaio: Model-checking CSP-Z: strategy, tool support and industrial application. Sci. Comput. Program. 40(1): 59-96 (2001)
	1998
1		Alexandre Mota, Augusto Sampaio: Model-Checking CSP-Z. FASE 1998: 205-220

Coauthor Index

1	Ana Antunes	[9] [16] [17] [18]
2	Paulo Bartolomeu	[12]
3	Cristiano Bertolini	[19]
4	Paulo Borba	[3]
5	Rafael Magalhães Borges	[10]
6	Adriana Damasceno	[23]
7	Fernando Morgado Dias	[9] [16] [17] [18]
8	André Didier	[21]
9	Adalberto Farias	[5] [21] [23]
10	Clélio Feitosa	[20]
11	Patrícia Ferreira	[13]
12	José Alberto Fonseca	[12]
13	Renata Kaufman	[22]
14	Patrícia D. L. Machado	[11]
15	Arnaldo V. Moura	[6]
16	Sidney Nogueira	[15] [24]
17	Glaucia Peres	[20]
18	Rodrigo Ramos	[4] [7] [8] [14] [25]
19	Augusto Sampaio	[1] [2] [3] [4] [5] [7] [8] [13] [14] [15] [22] [24] [25]
20	Vasco Santos	[12]
21	Daniel A. Silva	[11]
22	José Vieira	[9]
23	Jose Antonio Vieira	[18]

Colors in the list of coauthors