Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Simao, Adenilso
94  Ergebnisse:
Personensuche X
?
1

Human protein–protein interaction networks: A topological c..:

Ramos, Rodrigo Henrique ; de Oliveira Lage Ferreira, Cynthia ; Simao, Adenilso
Heliyon.  10 (2024)  5 - p. e27278 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Improving Model Learning by Inferring Separating Sequences ..:

, In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
Braz, Rafael ; Simao, Adenilso ; Groz, Roland. - p. 45-51 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Active Inference of EFSMs Without Reset:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,
Foster, Michael ; Groz, Roland ; Oriat, Catherine... - p. 29-46 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Improving Model Inference via W-Set Reduction:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Halm, Moritz ; Braz, Rafael S. ; Groz, Roland.. - p. 90-105 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Model-based test case generation from UML sequence diagrams..:

Rocha, Mauricio ; Simão, Adenilso ; Sousa, Thiago
Software Quality Journal.  29 (2021)  3 - p. 597-627 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Topological Characterization of Cancer Driver Genes Using R..:

, In: Advances in Bioinformatics and Computational Biology; Lecture Notes in Computer Science,
Ramos, Rodrigo Henrique ; Cutigi, Jorge Francisco ; de Oliveira Lage Ferreira, Cynthia. - p. 26-37 , 2021
Link: https://doi.org/10.1007/..
 
?
7

A computational approach for the discovery of significant c..:

Cutigi, Jorge Francisco ; Evangelista, Adriane Feijo ; Reis, Rui Manuel.
Scientific Reports.  11 (2021)  1 - p. , 2021
Link: https://doi.org/10.1038/..
 
?
8

hW-inference: A heuristic approach to retrieve models throu..:

Groz, Roland ; Bremond, Nicolas ; Simao, Adenilso.
Journal of Systems and Software.  159 (2020)  - p. 110426 , 2020
Link: https://doi.org/10.1016/..
 
?
9

GeNWeMME: A Network-Based Computational Method for Prioriti..:

, In: Advances in Bioinformatics and Computational Biology; Lecture Notes in Computer Science,
Cutigi, Jorge Francisco ; Evangelista, Adriane Feijo ; Simao, Adenilso - p. 29-40 , 2020
Link: https://doi.org/10.1007/..
 
?
10

An Experimental Study for Complete-IOCO Theory:

, In: Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing,
Paiva, Sofia Costa ; Simão, Adenilso - p. 107-116 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Theoretical Aspects of Computing – ICTAC 2020: 17th Interna.. 

Theoretical Computer Science and General Issues, 12545
Pun, Violet Ka I ; Stolz, Volker ; Simao, Adenilso - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
12

Combining Mutation and Gene Network Data in a Machine Learn..:

, In: Advances in Bioinformatics and Computational Biology; Lecture Notes in Computer Science,
Cutigi, Jorge Francisco ; Evangelista, Renato Feijo ; Ramos, Rodrigo Henrique... - p. 81-92 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Preface:

Farinazzo Martins, Valéria ; Simao, Adenilso ; Cancela, Héctor
Electronic Notes in Theoretical Computer Science.  342 (2019)  - p. 1-2 , 2019
Link: https://doi.org/10.1016/..
 
?
14

Generating Reduced Tests for FSMs using a Search-Based Test..:

, In: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI),
Ramada, Mariana Soller ; de Lima, Telma Woerle ; Soares, Anderson da Silva. - p. 400-407 , 2019
Link: https://doi.org/10.1109/..
 
?
15

Hierarchical featured state machines:

Fragal, Vanderson Hafemann ; Simao, Adenilso ; Mousavi, Mohammad Reza
Science of Computer Programming.  171 (2019)  - p. 67-88 , 2019
Link: https://doi.org/10.1016/..
 
1-15