| 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 | 27 | 2017 |
| 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 | 24 | 2020 |
| 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 | 9 | 2013 |
| Formal models of sysml blocks A Miyazawa, L Lima, A Cavalcanti Formal Methods and Software Engineering: 15th International Conference on …, 2013 | 9 | 2013 |
| 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 |
| 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 |
| 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 | 4 | 2014 |
| Test case prioritization based on data reuse for black-box environments LA Lima Universidade Federal de Pernambuco, 2009 | 3 | 2009 |
| Verifying deadlock and nondeterminism in activity diagrams L Lima, A Tavares 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 2 | 2019 |
| Formalisation of SysML design models and an analysis strategy using refinement LA LIMA Universidade Federal de Pernambuco, 2016 | 2 | 2016 |
| 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 | 1 | 2019 |
| 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 Science of Computer Programming, 103133, 2024 | | 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, 1-34, 2023 | | 2023 |
| 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 | | 2023 |
| 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 | | 2023 |
| Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering J Cederbladh, L Cleophas, E Kamburjan, L Lima, H Vangheluwe 2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023 | | 2023 |
| Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings L Lima, V Molnár Springer Nature, 2022 | | 2022 |
| Safe and Constructive Design with UML Components F Falcão, L Lima, A Sampaio Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018 | | 2018 |
