Sidney C. Nogueira
Orcid: 0000-0002-8817-5029
According to our database1,
Sidney C. Nogueira
authored at least 18 papers
between 2008 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
2
1
2
1
1
2
1
1
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023
2021
Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021
2020
ACM Trans. Comput. Log., 2020
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.
Sci. Comput. Program., 2020
Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020
2019
Sci. Comput. Program., 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
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018
2017
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
2016
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
2015
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015
2014
Softw. Test. Verification Reliab., 2014
2009
Proceedings of the Formal Methods and Software Engineering, 2009
2008
Proceedings of the Theoretical Aspects of Computing, 2008