I agree that this site is using cookies. You can find further informations here.
X
Oquendo, Flavio
189  results:
Search for persons X
?
1

Looking back and forward: A retrospective and future direct..:

Cavalcante, Everton ; Batista, Thais ; Oquendo, Flavio
Journal of Software: Evolution and Process.  , 2024
Link: https://doi.org/10.1002/..
 
?
2

A Similarity Approach for the Classification of Mitigations..:

, In: Information Security Theory and Practice; Lecture Notes in Computer Science,
Elmarkez, Ahmed ; Mesli-Kesraoui, Soraya ; Oquendo, Flavio.. - p. 64-79 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Fuzzy Mediating Control Systems for Automating Vehicle Driv..:

, In: TENCON 2023 - 2023 IEEE Region 10 Conference (TENCON),
Oquendo, Flavio - p. 789-794 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Generating Formal Software Architecture Descriptions from S..:

, In: Computational Science and Its Applications – ICCSA 2021; Lecture Notes in Computer Science,
Araújo, Camila ; Batista, Thais ; Cavalcante, Everton. - p. 394-410 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Fuzzy Architecture Description for Handling Uncertainty in ..:

, In: 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE),
Oquendo, Flavio - p. 000555-000562 , 2020
Link: https://doi.org/10.1109/..
 
?
6

An architectural style for internet of things systems:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,
Santos, Lidiane ; Silva, Eduardo ; Batista, Thais... - p. 1488-1497 , 2020
Link: https://dl.acm.org/doi/1..
 
?
7

Evaluating a SysML-based Graphical Notation for Modeling In..:

, In: 2020 IEEE 6th World Forum on Internet of Things (WF-IoT),
Santos, Lidiane ; Silva, Eduardo ; Batista, Thais... - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
8

Empowering SysML-Based Software Architecture Description wi..:

, In: Software Architecture; Lecture Notes in Computer Science,
Dias, Fagner ; Oliveira, Marcel ; Batista, Thais... - p. 101-117 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Architecting Systems-of-Systems of Self-driving Cars for Pl..:

, In: IFIP Advances in Information and Communication Technology; Internet of Things. A Confluence of Many Disciplines,
Oquendo, Flavio - p. 3-20 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Session details: Theme: System software and security: SiSoS..:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,
Oquendo, Flavio ; Drira, Khalil ; Legay, Axel. , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Formal Verification of the Race Condition Vulnerability in ..:

, In: 2020 IEEE Conference on Control Technology and Applications (CCTA),
Mesli-Kesraoui, Soraya ; Goubali, Olga ; Kesraoui, Djamal.. - p. 892-897 , 2020
Link: https://doi.org/10.1109/..
 
?
12

On the verification of mission-related properties in softwa..:

Silva, Eduardo ; Batista, Thais ; Oquendo, Flavio
Science of Computer Programming.  192 (2020)  - p. 102425 , 2020
Link: https://doi.org/10.1016/..
 
?
13

Architecting exogenous software‐intensive systems‐of‐system..:

Oquendo, Flavio
Systems Engineering.  22 (2019)  6 - p. 502-518 , 2019
Link: https://doi.org/10.1002/..
 
?
14

Ark: a constraint-based method for architectural synthesis ..:

Guessi, Milena ; Oquendo, Flavio ; Nakagawa, Elisa Yumi
Software and Systems Modeling.  19 (2019)  3 - p. 741-762 , 2019
Link: https://doi.org/10.1007/..
 
?
15

A Research Landscape on Formal Verification of Software Arc..:

Araujo, Camila ; Cavalcante, Everton ; Batista, Thais..
IEEE Access.  7 (2019)  - p. 171752-171764 , 2019
Link: https://doi.org/10.1109/..
 
1-15