| A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP L Lima, A Tavares, SC Nogueira Science of Computer Programming 197, 102497, 2020 | 28 | 2020 |
| An integrated semantics for reasoning about SysML design models using refinement L Lima, A Miyazawa, A Cavalcanti, M Cornélio, J Iyoda, A Sampaio, ... Software & Systems Modeling 16, 875-902, 2017 | 28 | 2017 |
| Test case prioritization based on data reuse an experimental study L Lima, J Iyoda, A Sampaio, E Aranha 2009 3rd International Symposium on Empirical Software Engineering and …, 2009 | 20 | 2009 |
| A formal semantics for sysml activity diagrams L Lima, A Didier, M Cornélio Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF …, 2013 | 11 | 2013 |
| Formal models of sysml blocks A Miyazawa, L Lima, A Cavalcanti Formal Methods and Software Engineering: 15th International Conference on …, 2013 | 10 | 2013 |
| Towards an ontological framework for validity frames R Mittal, R Eslampanah, L Lima, H Vangheluwe, D Blouin 2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023 | 9 | 2023 |
| A permutation technique for test case prioritization in a black-box environment LA de Lima, J Iyoda, A Sampaio Proceedings of the 2nd Brazilian Symposium on Systematic and Automated …, 2017 | 6 | 2017 |
| A formal semantics for sequence diagrams and a strategy for system analysis L Lima, J Iyoda, A Sampaio 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 5 | 2014 |
| Visual specification of properties for robotic designs W Lindoso, SC Nogueira, R Domingues, L Lima Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF …, 2021 | 4 | 2021 |
| Towards ontology enabled agent-based twinning for cyber-physical systems H Marah, L Lima, M Challenger, H Vangheluwe 2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023 | 3 | 2023 |
| Test case prioritization based on data reuse for black-box environments LA Lima Universidade Federal de Pernambuco, 2009 | 3 | 2009 |
| Model management to support systems engineering workflows using ontology-based knowledge graphs A Ryś, L Lima, J Exelmans, D Janssens, H Vangheluwe Journal of Industrial Information Integration 42, 100720, 2024 | 2 | 2024 |
| Verifying deadlock and nondeterminism in activity diagrams L Lima, A Tavares 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 2 | 2019 |
| Initial findings on the evaluation of a model-based testing tool in the test design process L Ferreira, S Nogueira, L Lima, L Fonseca, W Ferreira The 22nd ACM/IEEE International Symposium on Empirical Software Engineering …, 2019 | 2 | 2019 |
| Formalisation of SysML design models and an analysis strategy using refinement LA LIMA Universidade Federal de Pernambuco, 2016 | 2 | 2016 |
| A CSP semantics for UML state machines aiming at hidden formal methods verification D Ferreira, L Lima Brazilian Symposium on Formal Methods, 49-67, 2024 | 1 | 2024 |
| A formal component model for UML based on CSP aiming at compositional verification F Falcão, L Lima, A Sampaio, P Antonino Software and Systems Modeling 23 (3), 765-798, 2024 | 1 | 2024 |
| Refinement verification of sequence diagrams using CSP L Lima, J Iyoda, A Sampaio Brazilian Symposium on Formal Methods, 235-252, 2016 | 1 | 2016 |
| Report on Guidelines for Analysis of SysML Diagrams L Lima Tech. rep., University of York. http://www. compass-research. eu/Project …, 2014 | 1 | 2014 |
| Selected papers from the 25th Brazilian Symposium on Formal Methods–SBMF 2022 L Lima, V Molnár | | 2024 |
