Alexandre Cabral Mota
List of publications from the DBLP Bibliography Server - FAQ
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 |
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] |