Lucas Lima
Orcid: 0000-0003-1859-8437Affiliations:
- Federal Rural University of Pernambuco, Recife, PE, Brazil
According to our database1,
Lucas Lima
authored at least 19 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
3
1
1
2
3
1
2
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Softw. Syst. Model., June, 2024
Sci. Comput. Program., 2024
Model management to support systems engineering workflows using ontology-based knowledge graphs.
J. Ind. Inf. Integr., 2024
Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024
Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024
2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
2021
Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021
2020
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.
Sci. Comput. Program., 2020
2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Initial findings on the evaluation of a model-based testing tool in the test design process.
Proceedings of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2019
2018
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018
2017
Softw. Syst. Model., 2017
2016
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
2014
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014
2013
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
2009
Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009