Alexandre Mota
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
19
Active years
1998–2023
Best venue rank
C
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICMLA | Assessor Models with a Reject Option for Soccer Result Prediction. | Daniel C. Da Costa, Ricardo B. C. Prudncio, Alexandre Mota |
| 2020 | ETFA | Extending MQTT-SN with Real-Time Communication Services. | Fernando Fontes, Bruno Rocha, Alexandre Mota, Paulo Pedreiras, Valter Silva |
| 2019 | ETFA | Low Power WSN Protocol for Smart Green Homes. | Ema Teixeira, Paulo Pedreiras, Alexandre Mota |
| 2019 | IECON | Adaptive Ambient Temperature Control of Indoor Environments. | Fernando Fontes, Rmulo Anto, Alexandre Mota, Paulo Pedreiras |
| 2016 | SEKE | Automatically Finding Hidden Industrial Criteria used in Test Selection. | Cludio Magalhes, Alexandre Mota, Eliot Maia |
| 2015 | IRI | A Lattice-Based Representation of Temporal Failures. | Andr Luis Ribeiro Didier, Alexandre Mota |
| 2015 | SEFM | NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. | Gustavo Carvalho, Flvia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio |
| 2014 | SEFM | Rapid Prototyping of a Semantically Well Founded Circus Model Checker. | Alexandre Mota, Adalberto Farias, Andr Didier, Jim Woodcock |
| 2013 | ICFEM | A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. | Gustavo Carvalho, Augusto Sampaio, Alexandre Mota |
| 2013 | IRI | Creating GUI-based DSL formal tools. | Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr |
| 2013 | IRI | Formal MDE-Based Tool Development. | Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr |
| 2013 | SAC | Test case generation from natural language requirements based on SCR specifications. | Gustavo Carvalho, Diogo Falco, Flvia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn |
| 2012 | SEKE | Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. | Henrique Reblo, Ricardo Massa Ferreira Lima, Alexandre Mota, Csar A. L. de Oliveira, Mrcio Ribeiro |
| 2012 | SEKE | Checking Contracts for AOP using XPIDRs. | Henrique Reblo, Ricardo Massa Ferreira Lima, Alexandre Mota, Csar A. L. de Oliveira, Mrcio Ribeiro |
| 2011 | DOLAP | Towards a more straightforward and more expressive metamodel for SDW modeling. | Paulo S. Ruiz Del Aguila, Robson do Nascimento Fidalgo, Alexandre Mota |
| 2011 | ECOOP | On the interplay of exception handling and design by contract: an aspect-oriented recovery approach. | Henrique Reblo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor |
| 2011 | ICFEM | Architectural Verification of Control Systems Using CSP. | Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo |
| 2011 | SEKE | Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. | Henrique Reblo, Ricardo Massa Ferreira Lima, Uir Kulesza, Cludio Sant'Anna, Roberta Coelho, Alexandre Mota, Mrcio Ribeiro, Csar A. L. de Oliveira |
| 2010 | ICSoft | An Aspect-based Approach for Concurrent Programming using CSP Features. | Jos Elias Arajo, Henrique Reblo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima |
| 2010 | ICST | A Framework for GUI Testing Based on Use Case Design. | Cristiano Bertolini, Alexandre Mota |
| 2010 | ICST | GUI Testing Techniques Evaluation by Designed Experiments. | Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz |
| 2010 | ISoLA | Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. | Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe A. S. Ferri, Julio Buzzi |
| 2010 | ISSRE | Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis. | Cristiano Bertolini, Alexandre Mota, Eduardo Aranha |
| 2010 | SAFECOMP | Evolving a Safe System Design Iteratively. | Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe A. S. Ferri, Edson H. Watanabe |
| 2009 | FM | Systematic Development of Trustworthy Component Systems. | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
| 2009 | ICFEM | Compositional Verification of Input-Output Conformance via CSP Refinement Checking. | Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota |
| 2009 | ICST | An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. | Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota |
| 2009 | SEFM | Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. | Cristiano Bertolini, Alexandre Mota |
| 2008 | ICTAC | Guided Test Generation from CSP Models. | Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota |
| 2008 | SAC | Framework composition conformance via refinement checking. | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
| 2004 | IFM | Efficient CSP | Adalberto Farias, Alexandre Mota, Augusto Sampaio |
| 2002 | FM | Mechanical Abstraction of CSP | Alexandre Mota, Paulo Borba, Augusto Sampaio |
| 1998 | FASE | Model-Checking CSP-Z. | Alexandre Mota, Augusto Sampaio |