| 2026 | SIMULTECH | A Neuro-Symbolic Strategy to Support the Model-Driven Design of Systems Engineering Experiments. | Diego Ferreira, Rakshit Mittal, Lucas Lima, Hans Vangheluwe |
| 2025 | ICSA | An Agent-Oriented Twinning Architecture for Complex Event-Driven Anomaly Detection in Distributed CPS. | Hussein Marah, Lucas Lima, Hans Vangheluwe, Moharram Challenger |
| 2023 | MODELS | Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering. | Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe |
| 2023 | MODELS | Towards Ontology Enabled Agent-Based Twinning for Cyber-Physical Systems. | Hussein Marah, Lucas Lima, Moharram Challenger, Hans Vangheluwe |
| 2023 | MODELS | Towards an Ontological Framework for Validity Frames. | Rakshit Mittal, Raheleh Eslampanah, Lucas Lima, Hans Vangheluwe, Dominique Blouin |
| 2019 | CBMS | Efficient Hyperparameter Optimization of Convolutional Neural Networks on Classification of Early Pulmonary Nodules. | Lucas Lima, Jos Ferreira, Marcelo Costa Oliveira |
| 2019 | ESEM | Initial findings on the evaluation of a model-based testing tool in the test design process. | Larissa Ferreira, Sidney C. Nogueira, Lucas Lima, Liliane Fonseca, Waldemar Ferreira |
| 2019 | MODELS | Verifying Deadlock and Nondeterminism in Activity Diagrams. | Lucas Lima, Amaury Tavares |
| 2014 | MODELSWARD | A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. | Lucas Lima, Juliano Iyoda, Augusto Sampaio |
| 2013 | ICFEM | Formal Models of SysML Blocks. | Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti |
| 2009 | ESEM | Test case prioritization based on data reuse an experimental study. | Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha |