Lucas Lima

Test case prioritization based on data reuse an experimental study

Augusto Sampaio, Eduardo Aranha, Lucas Lima, 2009, 2009 3rd International Symposium on Empirical Software Engineering and Measurement.

An integrated semantics for reasoning about SysML design models using refinement

Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio, 2017, Software & Systems Modeling.

Invariances of single curved manifolds applied to mesh segmentation

Pedro Machado Manhães de Castro, Lucas Almeida Pereira de Lima, Franklin Leandro Acioly Lucena, 2014, Comput. Graph..

A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP

Lucas Lima, Amaury Tavares, Sidney C. Nogueira, 2019, Sci. Comput. Program..

Refinement Verification of Sequence Diagrams Using CSP

Augusto Sampaio, Lucas Lima, Juliano Iyoda, 2016, SBMF.

Formal Models of SysML Blocks

Ana Cavalcanti, Alvaro Miyazawa, Lucas Lima, 2013, ICFEM.

SysML blocks in CML

Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti, 2013 .

Project: COMPASS Grant Agreement: 287829 Comprehensive Modelling for Advanced Systems of Systems

Alvaro Miyazawa, S. Foster, Uy, 2013 .

Safe and Constructive Design with UML Components

Augusto Sampaio, Lucas Lima, Flávia Falcão, 2018, SBMF.

Initial findings on the evaluation of a model-based testing tool in the test design process

Sidney Nogueira, Larissa Ferreira, Lucas Lima, 2019, 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM).

Verifying Deadlock and Nondeterminism in Activity Diagrams

Lucas Lima, Amaury Tavares, Lucas Lima, 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).