Alexandre Mota

Cited by

	All	Since 2019
Citations	1425	428
h-index	20	10
i10-index	46	12

140

105

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 11 8 17 37 30 33 41 54 57 56 84 55 108 86 124 92 61 88 65 67 66 74 68

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Gustavo CarvalhoUniversidade Federal de PernambucoVerified email at cin.ufpe.br
Cristiano BertoliniResearcher, Federal University of Santa MariaVerified email at cin.ufpe.br
Henrique RebêloProfessor of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
Ricardo Massa Ferreira LimaAssociate Professor of Computer Science, Center of Informatics, Federal University of Pernambuco (CIn/UFPE)Verified email at cin.ufpe.br
André LR DidierUniversidade Federal de PernambucoVerified email at cin.ufpe.br
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Mark R. Blackburn, PhDProfessor, Stevens Institute of TechnologyVerified email at stevens.edu
Cesar A. L. OliveiraInter-American Development BankVerified email at iadb.org
Uirá KuleszaProfessor of Software Engineering & Computer Science, UFRN (Natal, Brazil)Verified email at dimap.ufrn.br
Paulo BorbaFederal University of PernambucoVerified email at cin.ufpe.br
Patricia D. L. MachadoProfessor of Computer Science, Federal University of Campina GrandeVerified email at computacao.ufcg.edu.br
Roberta CoelhoProfessor of Computer Science, Federal University of Rio Grande do NorteVerified email at dimap.ufrn.br
Márcio RibeiroProfessor - Computer Science - Federal University of AlagoasVerified email at ic.ufal.br
Richard PayneSenior Software Engineer, Asset55Verified email at assetfiftyfive.com
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk
Zoe AndrewsNewcastle UniversityVerified email at ncl.ac.uk
Fernando CastorUniversity of TwenteVerified email at utwente.nl

Alexandre Mota

Lecturer of Computer Science, Universidade Federal de Pernambuco

Verified email at cin.ufpe.br - Homepage

Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Model-checking CSP-Z: strategy, tool support and industrial application A Mota, A Sampaio Science of computer programming 40 (1), 59-96, 2001	86	2001
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications G Carvalho, D Falcão, F Barros, A Sampaio, A Mota, L Motta, M Blackburn Science of Computer Programming 95, 275-297, 2014	72	2014
Test generation from state based use case models S Nogueira, A Sampaio, A Mota Formal Aspects of Computing 26, 441-490, 2014	69	2014
Guided test generation from CSP models S Nogueira, A Sampaio, A Mota Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008	51	2008
A semantics for UML-RT active classes via mapping into Circus R Ramos, A Sampaio, A Mota Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 …, 2005	48	2005
Integrating UML and formal methods RM Borges, AC Mota Electronic Notes in Theoretical Computer Science 184, 97-112, 2007	46	2007
NAT2TEST tool: From natural language requirements to test cases based on CSP G Carvalho, F Barros, A Carvalho, A Cavalcanti, A Mota, A Sampaio Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015	39	2015
Towards property oriented testing PDL Machado, DA Silva, AC Mota Electronic Notes in Theoretical Computer Science 184, 3-19, 2007	36	2007
Model-checking CSP-Z A Mota, A Sampaio International Conference on Fundamental Approaches to Software Engineering …, 1998	35	1998
Test case generation from natural language requirements based on SCR specifications G Carvalho, D Falcão, F Barros, A Sampaio, A Mota, L Motta, M Blackburn Proceedings of the 28th annual ACM symposium on applied computing, 1217-1222, 2013	33	2013
A FRAX model for the estimation of osteoporotic fracture probability in Portugal A Marques, A Mota, H Canhão, JC Romeu, P Machado, A Ruano, ... Acta Reumatol Port 38 (2), 104-12, 2013	31	2013
Systematic model-based safety assessment via probabilistic model checking A Gomes, A Mota, A Sampaio, F Ferri, J Buzzi Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010	28	2010
Aiding exploratory testing with pruned gui models J Reis, A Mota Information Processing Letters 133, 49-55, 2018	27	2018
An empirical evaluation of automated black box testing techniques for crashing guis C Bertolini, G Peres, M d'Amorim, A Mota 2009 International Conference on Software Testing Verification and …, 2009	27	2009
Systematic development of trustworthy component systems R Ramos, A Sampaio, A Mota FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009	27	2009
Proteção de sistemas de energia elétrica F Sato UNICAMP: Faculdade de Engenharia Elétrica e de Computadores. Campinas, 2005	27	2005
Optimizing JML features compilation in ajmlc using aspect-oriented refactorings H Rebêlo, R Lima, M Cornélio, GT Leavens, A Mota, C Oliveira SBLP 9, 117-130, 2009	25	2009
Compositional verification of input-output conformance via csp refinement checking A Sampaio, S Nogueira, A Mota Formal Methods and Software Engineering: 11th International Conference on …, 2009	23	2009
Model-based development of fault tolerant systems of systems Z Andrews, R Payne, A Romanovsky, A Didier, A Mota 2013 IEEE International Systems Conference (SysCon), 356-363, 2013	22	2013
Rigorous development of component-based systems using component metadata and patterns MVM Oliveira, P Antonino, R Ramos, A Sampaio, A Mota, AW Roscoe Formal Aspects of Computing 28, 937-1004, 2016	20	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors