Alexandre Mota

Alexandre Cabral Mota

2008
18	EE	Ana Antunes, Fernando Morgado Dias, Jose Antonio Vieira, Alexandre Mota: A neuro-fuzzy delay compensator for distributed control systems. ETFA 2008: 1088-1091
17	EE	Ana Antunes, Fernando Morgado Dias, Alexandre Mota: A neural network delay compensator for networked control systems. ETFA 2008: 1271-1276
16	EE	Ana Antunes, Fernando Morgado Dias, Alexandre Mota: A Neural Model for Delay Correction in a Distributed Control System. ICANN (2) 2008: 11-20
15	EE	Sidney Nogueira, Augusto Sampaio, Alexandre Mota: Guided Test Generation from CSP Models. ICTAC 2008: 258-273
14	EE	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Framework composition conformance via refinement checking. SAC 2008: 119-125
13	EE	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	EE	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	EE	Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota: Towards Property Oriented Testing. Electr. Notes Theor. Comput. Sci. 184: 3-19 (2007)
10	EE	Rafael Magalhães Borges, Alexandre Cabral Mota: Integrating UML and Formal Methods. Electr. Notes Theor. Comput. Sci. 184: 97-112 (2007)
2006
9	EE	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	EE	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Transformation Laws for UML-RT. FMOODS 2006: 123-137
2005
7	EE	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: A Semantics for UML-RT Active Classes via Mapping into Circus. FMOODS 2005: 99-114
6	EE	Alexandre Mota, Arnaldo V. Moura: Preface. Electr. Notes Theor. Comput. Sci. 130: 1-2 (2005)
2004
5	EE	Adalberto Farias, Alexandre Mota, Augusto Sampaio: Efficient CSPZ Data Abstraction. IFM 2004: 108-127
4	EE	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	EE	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	EE	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	Paulo Borba	[3]
4	Rafael Magalhães Borges	[10]
5	Fernando Morgado Dias	[9] [16] [17] [18]
6	Adalberto Farias	[5]
7	Patrícia Ferreira	[13]
8	José Alberto Fonseca	[12]
9	Patrícia D. L. Machado	[11]
10	Arnaldo V. Moura	[6]
11	Sidney Nogueira	[15]
12	Rodrigo Ramos	[4] [7] [8] [14]
13	Augusto Sampaio	[1] [2] [3] [4] [5] [7] [8] [13] [14] [15]
14	Vasco Santos	[12]
15	Daniel A. Silva	[11]
16	José Vieira	[9]
17	Jose Antonio Vieira	[18]

Colors in the list of coauthors