Test case prioritization based on data reuse an experimental study. - Lucas Lima 001; Juliano Iyoda; Augusto Sampaio 001; Eduardo Aranha (ESEM, 2009)

Formal Models of SysML Blocks. - Alvaro Miyazawa; Lucas Lima 001; Ana Cavalcanti 001 (ICFEM, 2013)

A Formal Semantics for SysML Activity Diagrams. - Lucas Lima 001; André Didier; Márcio Cornélio (SBMF, 2013)

A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. - Lucas Lima 001; Juliano Iyoda; Augusto Sampaio 001 (MODELSWARD, 2014)

Refinement Verification of Sequence Diagrams Using CSP. - Lucas Lima 001; Juliano Iyoda; Augusto Sampaio 001 (SBMF, 2016)

An integrated semantics for reasoning about SysML design models using refinement. - Lucas Lima 001; Alvaro Miyazawa; Ana Cavalcanti 001; Márcio Cornélio; Juliano Iyoda; Augusto Sampaio 001; Ralph Hains; Adrian Larkham; Vaughan Lewis (Softw. Syst. Model., 2017)

Safe and Constructive Design with UML Components. - Flávia Falcão; Lucas Lima 001; Augusto Sampaio 001 (SBMF, 2018)

Initial findings on the evaluation of a model-based testing tool in the test design process. - Larissa Ferreira; Sidney C. Nogueira; Lucas Lima 001; Liliane Fonseca; Waldemar Ferreira (ESEM, 2019)

Verifying Deadlock and Nondeterminism in Activity Diagrams. - Lucas Lima 001; Amaury Tavares (MoDELS (Companion), 2019)

A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. - Lucas Lima 001; Amaury Tavares; Sidney C. Nogueira (Sci. Comput. Program., 2020)

Visual Specification of Properties for Robotic Designs. - Waldeck Lindoso; Sidney C. Nogueira; Renato Domingues; Lucas Lima 001 (SBMF, 2021)

Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering. - Johan Cederbladh; Loek Cleophas; Eduard Kamburjan; Lucas Lima 001; Hans Vangheluwe (MoDELS (Companion), 2023)

Towards Ontology Enabled Agent-Based Twinning for Cyber-Physical Systems. - Hussein Marah; Lucas Lima 001; Moharram Challenger; Hans Vangheluwe (MoDELS (Companion), 2023)

Towards an Ontological Framework for Validity Frames. - Rakshit Mittal; Raheleh Eslampanah; Lucas Lima 001; Hans Vangheluwe; Dominique Blouin (MoDELS (Companion), 2023)

A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification. - Diego Ferreira; Lucas Lima 001 (SBMF, 2024)

Verifying Integrated Designs of UML State Machines and Activities Using CSP. - Diego Ferreira; Lucas Lima 001 (SBMF, 2024)

Model management to support systems engineering workflows using ontology-based knowledge graphs. - Arkadiusz Rys; Lucas Lima 001; Joeri Exelmans; Dennis Janssens; Hans Vangheluwe (J. Ind. Inf. Integr., 2024)

Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022. - Lucas Lima 001; Vince Molnár (Sci. Comput. Program., 2024)

A formal component model for UML based on CSP aiming at compositional verification. - Flávia Falcão; Lucas Lima 001; Augusto Sampaio 001; Pedro Antonino (Softw. Syst. Model., 2024)

An Agent-Oriented Twinning Architecture for Complex Event-Driven Anomaly Detection in Distributed CPS. - Hussein Marah; Lucas Lima 001; Hans Vangheluwe; Moharram Challenger (ICSA Companion, 2025)