Остановите войну!
for scientists:
default search action
Flávio Oquendo
- > Home > Persons > Flávio Oquendo
Publications
- 2024
- [i12]Everton Cavalcante, Thaís Batista, Flávio Oquendo:
Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems. CoRR abs/2403.16740 (2024) - 2021
- [c123]Camila Araújo, Thaís Batista, Everton Cavalcante, Flávio Oquendo:
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach. ICCSA (3) 2021: 394-410 - [i11]Valdemar Vicente Graciano Neto, Bruno Gabriel Araújo Lebtag, Paulo Gabriel Teixeira, Priscilla Elizabeth Pereira Batista, Vinicius Carvalho Lopes, Jamal El Hachem, Jérémy Buisson, Flávio Oquendo, Juliana Fernandes, Francisco Henrique Ferreira, Rodrigo Pereira dos Santos, Davi Viana, Everton Cavalcante, Mohamad Kassab, Ahmad Mohsin, Roberto Oliveira, Vânia de Oliveira Neves, Maria Istela Cagnin, Elisa Yumi Nakagawa:
Expanding Frontiers: Settling an Understanding of Systems-of-Information Systems. CoRR abs/2103.14100 (2021) - 2020
- [c120]Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo:
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. ECSA 2020: 101-117 - [c119]Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo:
An architectural style for internet of things systems. SAC 2020: 1488-1497 - [c117]Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Jair C. Leite, Everton Cavalcante, Flávio Oquendo:
Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures. WF-IoT 2020: 1-6 - 2019
- [j27]Camila Araújo, Everton Cavalcante, Thaís Batista, Marcel Oliveira, Flávio Oquendo:
A Research Landscape on Formal Verification of Software Architecture Descriptions. IEEE Access 7: 171752-171764 (2019) - 2016
- [c96]Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay:
Statistical Model Checking of Dynamic Software Architectures. ECSA 2016: 185-200 - [c93]Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo:
Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. ICECCS 2016: 201-206 - [c92]Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay:
A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (1) 2016: 806-820 - [c91]Everton Cavalcante, Nélio Cacho, Frederico Lopes, Thaís Batista, Flávio Oquendo:
Thinking Smart Cities as Systems-of-Systems: A Perspective Study. IWSC@Middleware 2016: 9:1-9:4 - 2015
- [c76]Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo:
Supporting Dynamic Software Architectures: From Architectural Description to Implementation. WICSA 2015: 31-40 - 2014
- [c74]Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo, Flávia Coimbra Delicato, Paulo F. Pires:
On the Characterization of Missions of Systems-of-Systems. ECSA Workshops 2014: 26:1-26:8 - [c73]Everton Cavalcante, Flávio Oquendo, Thaís Vasconcelos Batista:
Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language. ECSA 2014: 130-145 - [c69]Marcelo Benites Gonçalves, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo, Elisa Yumi Nakagawa:
Towards a conceptual model for Software-intensive System-of-Systems. SMC 2014: 1605-1610
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint