Alexandre Mota

Alexandre Cabral Mota

	2013
c37		Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn: Test case generation from natural language requirements based on SCR specifications. SAC 2013: 1217-1222
	2012
j12		Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Edson H. Watanabe: Constructive model-based analysis for safety assessment. STTT 14(6): 673-702 (2012)
c36		Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio: A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. SBMF 2012: 67-82
c35		André Didier, Alexandre Mota: Identifying Hardware Failures Systematically. SBMF 2012: 115-130
c34		Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Cesar A. L. Oliveira, Márcio Ribeiro: Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. SEKE 2012: 148-153
c33		Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César Oliveria, Márcio Ribeiro: Checking Contracts for AOP using XPIDRs. SEKE 2012
	2011
j11		Rafael Duarte, Alexandre Mota, Augusto Sampaio: Introducing concurrency in sequential Java via laws. Inf. Process. Lett. 111(3): 129-134 (2011)
c32		Paulo S. Ruiz Del Aguila, Robson do Nascimento Fidalgo, Alexandre Mota: Towards a more straightforward and more expressive metamodel for SDW modeling. DOLAP 2011: 31-36
c31		Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo: Architectural Verification of Control Systems Using CSP. ICFEM 2011: 323-339
c30		Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, Cesar A. L. Oliveira: Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. SEKE 2011: 450-455
	2010
j10		Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Conformance notions for the coordination of interaction components. Sci. Comput. Program. 75(5): 350-373 (2010)
c29		José Vieira, Alexandre Mota: Implementation of a Stand-alone Photovoltaic Lighting System with MPPT Battery Charging and LED Current Control. CCA 2010: 185-190
c28		José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima: An Aspect-based Approach for Concurrent Programming using CSP Features. ICSOFT (2) 2010: 226-231
c27		Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz: GUI Testing Techniques Evaluation by Designed Experiments. ICST 2010: 235-244
c26		Cristiano Bertolini, Alexandre Mota: A Framework for GUI Testing Based on Use Case Design. ICST Workshops 2010: 252-259
c25		Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi: Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. ISoLA (1) 2010: 625-639
c24		Cristiano Bertolini, Alexandre Mota, Eduardo Aranha: Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis. ISSRE 2010: 319-328
c23		Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe: Evolving a Safe System Design Iteratively. SAFECOMP 2010: 361-374
	2009
j9		André Didier, Adalberto Farias, Alexandre Mota: Checking Z Data Refinements Using Traces Refinement. Electr. Notes Theor. Comput. Sci. 240: 129-148 (2009)
c22		Ana Antunes, Alexandre Mota: Improving Control Loop Performance using Dynamic Rate Adaptation in Networked Control Systems. ETFA 2009: 1-4
c21		Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Systematic Development of Trustworthy Component Systems. FM 2009: 140-156
c20		Augusto Sampaio, Sidney Nogueira, Alexandre Mota: Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM 2009: 20-48
c19		Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota: An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. ICST 2009: 21-30
c18		Adriana Damasceno, Adalberto Farias, Alexandre Mota: A Mechanized Strategy for Safe Abstraction of CSP Specifications. SBMF 2009: 118-133
c17		Renata Kaufman, Augusto Sampaio, Alexandre Mota: Formalisation and Analysis of Objects as CSP Processes. SBMF 2009: 236-250
c16		Cristiano Bertolini, Alexandre Mota: Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. SEFM 2009: 115-124
	2008
j8		Patrícia Ferreira, Augusto Sampaio, Alexandre Mota: Viewing CSP Specifications with UML-RT Diagrams. Electr. Notes Theor. Comput. Sci. 195: 57-74 (2008)
j7		Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio: Compositional Abstraction of CSPZ Processes. J. Braz. Comp. Soc. 14(2): 23-44 (2008)
c15		Cristiano Bertolini, Alexandre Mota: Using Refinement Checking as System Testing. CIbSE 2008: 17-30
c14		Clélio Feitosa, Glaucia Peres, Alexandre Mota: Unifying Models of Test Cases and Requirements. CIbSE 2008: 113-126
c13		Ana Antunes, Fernando Morgado Dias, Jose Antonio Vieira, Alexandre Mota: A neuro-fuzzy delay compensator for distributed control systems. ETFA 2008: 1088-1091
c12		Ana Antunes, Fernando Morgado Dias, Alexandre Mota: A neural network delay compensator for networked control systems. ETFA 2008: 1271-1276
c11		Ana Antunes, Fernando Morgado Dias, Alexandre Mota: A Neural Model for Delay Correction in a Distributed Control System. ICANN (2) 2008: 11-20
c10		Sidney Nogueira, Augusto Sampaio, Alexandre Mota: Guided Test Generation from CSP Models. ICTAC 2008: 258-273
c9		Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Framework composition conformance via refinement checking. SAC 2008: 119-125
	2007
j6		Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota: Towards Property Oriented Testing. Electr. Notes Theor. Comput. Sci. 184: 3-19 (2007)
j5		Rafael Magalhães Borges, Alexandre Cabral Mota: Integrating UML and Formal Methods. Electr. Notes Theor. Comput. Sci. 184: 97-112 (2007)
c8		Vasco Santos, Paulo Bartolomeu, José Alberto Fonseca, Alexandre Mota: B-Live - A Home Automation System for Disabled and Elderly People. SIES 2007: 333-336
	2006
j4		Fernando Morgado Dias, Ana Antunes, José Vieira, Alexandre Mota: A sliding window solution for the on-line implementation of the Levenberg-Marquardt algorithm. Eng. Appl. of AI 19(1): 1-7 (2006)
c7		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
c6		Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Transformation Laws for UML-RT. FMOODS 2006: 123-137
	2005
j3		Alexandre Mota, Arnaldo V. Moura: Preface. Electr. Notes Theor. Comput. Sci. 130: 1-2 (2005)
c5		Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: A Semantics for UML-RT Active Classes via Mapping into Circus. FMOODS 2005: 99-114
	2004
j2		Augusto Sampaio, Alexandre Mota, Rodrigo Ramos: Class and Capsule Refinement in UML for Real Time. Electr. Notes Theor. Comput. Sci. 95: 23-51 (2004)
c4		Adalberto Farias, Alexandre Mota, Augusto Sampaio: Efficient CSPZ Data Abstraction. IFM 2004: 108-127
	2002
c3		Alexandre Mota, Paulo Borba, Augusto Sampaio: Mechanical Abstraction of CSPZ Processes. FME 2002: 163-183
	2001
j1		Alexandre Mota, Augusto Sampaio: Model-checking CSP-Z: strategy, tool support and industrial application. Sci. Comput. Program. 40(1): 59-96 (2001)
c2		Luís Almeida, José Alberto Fonseca, Alexandre Mota, Pedro Fonseca, Ernesto Martins, Paulo Pedreiras, Joaquim Ferreira, Fernanda Coutinho: Flexibility, timeliness and efficiency in fieldbus systems: the DISCO project. ETFA (1) 2001: 159-167
	1998
c1		Alexandre Mota, Augusto Sampaio: Model-Checking CSP-Z. FASE 1998: 205-220

Coauthor Index

Colors in the list of coauthors

Last update Sat May 18 15:13:15 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page