Flávio Oquendo

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 68

Top Venues

Publications

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 (2024)
Ahmed Elmarkez, Soraya Mesli-Kesraoui, Flávio Oquendo, Pascal Berruet, Djamal Kesraoui
A Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog. WISTP (2024)
Flávio Oquendo
Fuzzy Mediating Control Systems for Automating Vehicle Driving Maneuvers: The Overtaking Case. TENCON (2023)
Flávio Oquendo
Case Study on the Fuzzy Architecture Description of Cyber-Physical SoS under Uncertainty. SOSE (2021)
Valdemar Vicente Graciano Neto, Bruno Gabriel Araújo Lebtag, Paulo Gabriel Teixeira, Priscilla 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 (2021)
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)
Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa
Assessment of Reference Architectures and Reference Models for Ambient Assisted Living Systems: Results of a Systematic Literature Review. Int. J. E Health Medical Commun. 11 (1) (2020)
Soraya Mesli-Kesraoui, Olga Goubali, Djamal Kesraoui, Ibtihal Eloumami, Flávio Oquendo
Formal Verification of the Race Condition Vulnerability in Ladder Programs. CCTA (2020)
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)
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)
Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
Ark: a constraint-based method for architectural synthesis of smart systems. Softw. Syst. Model. 19 (3) (2020)
Flávio Oquendo
Fuzzy Architecture Description for Handling Uncertainty in IoT Systems-of-Systems. SoSE (2020)
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)
Eduardo Silva, Thaís Batista, Flávio Oquendo
On the verification of mission-related properties in software-intensive systems-of-systems architectural design. Sci. Comput. Program. 192 (2020)
Flávio Oquendo
Coping with Uncertainty in Systems-of-Systems Architecture Modeling on the IoT with SosADL. SoSE (2019)
Flávio Oquendo
Dealing with Uncertainty in Software Architecture on the Internet-of-Things with Digital Twins. ICCSA (1) (2019)
Danny Weyns, Flávio Oquendo
An Architectural Style for Self-Adaptive Multi-Agent Systems. CoRR (2019)
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 (2019)
Flávio Oquendo
Architecting exogenous software-intensive systems-of-systems on the internet-of-vehicles with SosADL. Syst. Eng. 22 (6) (2019)
Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa
Software mediators as first-class entities of systems-of-systems software architectures. J. Braz. Comput. Soc. 25 (1) (2019)
Flávio Oquendo
Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL. IFIPIoT (2019)
Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou
A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees. SoSE (2018)
Flávio Oquendo
Exogenously Describing Architectural Emergent Behaviors of Systems-of-Systems with SosADL. SoSE (2018)
Flávio Oquendo
Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things. ECSA (2018)
Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa
Towards a Taxonomy of Software Mediators for Systems-of-Systems. SBCARS (2018)
Thaís Batista, Flávio Oquendo, Jair C. Leite
Modeling and Executing Software Architecture Using SysADL. ICSA Companion (2018)
Flávio Oquendo
On the Emergent Behavior Oxymoron of System-of-Systems Architecture Description. SoSE (2018)
Jair C. Leite, Thaís Batista, Flávio Oquendo, Eduardo Silva, Lidiane Oliveira dos Santos, Victor Cortez
Designing and Executing Software Architectures Models Using SysADL Studio. ICSA Companion (2018)
Valdemar Vicente Graciano Neto, Lina Maria Garcés Rodriguez, Milena Guessi, Carlos Eduardo de Barros Paes, Wallace Manzano, Flávio Oquendo, Elisa Yumi Nakagawa
ASAS: An Approach to Support Simulation of Smart Systems. HICSS (2018)
Jair C. Leite, Thaís Batista, Flávio Oquendo
Architecting IoT Applications with SysADL. ICSA Workshops (2017)
Flávio Oquendo
Software architecture of self-organizing systems-of-systems for the Internet-of-Things with SosADL. SoSE (2017)
Lucas Bueno Ruas de Oliveira, Elena Leroux, Katia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa
ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems. Comput. J. 60 (9) (2017)
Flávio Oquendo
Architecturally describing the emergent behavior of software-intensive system-of-systems with SosADL. SoSE (2017)
Valdemar Vicente Graciano Neto, Carlos Eduardo de Barros Paes, Lina Maria Garcés Rodriguez, Milena Guessi, Wallace Manzano, Flávio Oquendo, Elisa Yumi Nakagawa
Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures. J. Braz. Comput. Soc. 23 (1) (2017)
Elisa Yumi Nakagawa, Flávio Oquendo, Paris Avgeriou, Rodrigo Pereira dos Santos
Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems. JSOS@ICSE (2017)
Flávio Oquendo, Jair C. Leite, Thaís Batista
Specifying Architecture Behavior with SysADL. WICSA (2016)
Flávio Oquendo, Jair C. Leite, Thaís Batista
Executing Software Architecture Descriptions with SysADL. ECSA (2016)
Flávio Oquendo
Formally describing the software architecture of Systems-of-Systems with SosADL. SoSE (2016)
Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf
The sosADL studio: an architecture development environment for software-intensive systems-of-systems. SiSoS@ECSA (2016)
Flávio Oquendo
π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems. SoSE (2016)
Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
Statistical Model Checking of Dynamic Software Architectures. ECSA (2016)
Flávio Oquendo
Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems. ECSA (2016)
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)
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)
Cristiane Aparecida Lana, Nilton Mendes Souza, Márcio Eduardo Delamaro, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado
Systems-of-systems development: Initiatives, trends, and challenges. CLEI (2016)
Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Régis Fleurquin
Preserving architectural decisions through architectural patterns. Autom. Softw. Eng. 23 (3) (2016)
Flávio Oquendo
Case study on formally describing the architecture of a Software-intensive System-of-Systems with SosADL. SMC (2016)
Flávio Oquendo
Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. ICECCS (2016)
Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
Checking the architectural feasibility of Systems-of-Systems using formal descriptions. SoSE (2016)
Soraya Mesli-Kesraoui, Djamal Kesraoui, Flávio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams. ECSA (2016)
Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo
Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. ICECCS (2016)
Lina Maria Garcés Rodriguez, Flávio Oquendo, Elisa Yumi Nakagawa
A Quality Model for AAL Software Systems. CBMS (2016)
Bruno Costa, Paulo F. Pires, Flávia Coimbra Delicato, Flávio Oquendo
Towards a View-Based Process for Designing and Documenting RESTful Service Architectures. ECSA Workshops (2015)
Marcelo Benites Gonçalves, Flávio Oquendo, Elisa Yumi Nakagawa
A meta-process to construct software architectures for system of systems. SAC (2015)
Jesús M. T. Portocarrero, Flávia Coimbra Delicato, Paulo F. Pires, Elisa Yumi Nakagawa, Flávio Oquendo
Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture. ECSA Workshops (2015)
Khalil Drira, Flávio Oquendo
Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems. Future Gener. Comput. Syst. 47 (2015)
Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo
Supporting Dynamic Software Architectures: From Architectural Description to Implementation. WICSA (2015)
Milena Guessi, Valdemar Vicente Graciano Neto, Thiago Bianchi, Katia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa
A systematic literature review on the description of software architectures for systems of systems. SAC (2015)
Milena Guessi, Dilvan A. Moreira, Gabriel Abdalla, Flávio Oquendo, Elisa Yumi Nakagawa
OntolAD: a formal ontology for architectural descriptions. SAC (2015)
Elisa Yumi Nakagawa, Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, José Carlos Maldonado, Andrea Zisman
Foreword: Towards Reference Architectures for Systems-of-Systems. SESoS@ICSE (2015)
Flávio Oquendo, Axel Legay, Khalil Drira
GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. ERCIM News 2015 (102) (2015)
Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, Elisa Yumi Nakagawa, José Carlos Maldonado, Andrea Zisman
3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015). ICSE (2) (2015)
Flávio Oquendo, Axel Legay
Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. ERCIM News 2015 (102) (2015)
Axel Legay, Jean Quilbeuf, Flávio Oquendo
Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News 2015 (103) (2015)
Gabriel Abdalla, Carlos Diego Nascimento Damasceno, Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems. SBCARS (2015)
Eduardo Silva, Thaís Batista, Flávio Oquendo
A mission-oriented approach for designing system-of-systems. SoSE (2015)
Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
Formal requirement and architecture specifications of a multi-agent robotic system. CoRR (2015)
Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Isabelle Borne
Preserving architectural pattern composition information through explicit merging operators. Future Gener. Comput. Syst. 47 (2015)
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)
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)
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)
Marcelo Fantinato, Uirá Kulesza, Flávio Oquendo
Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements. J. Univers. Comput. Sci. 20 (5) (2014)
Lucas Bueno Ruas de Oliveira, Elena Leroux, Katia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa
Towards a Process to Design Architectures of Service-Oriented Robotic Systems. ECSA (2014)
Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures. SEKE (2014)
Lucas Bueno Ruas de Oliveira, Fernando Santos Osório, Flávio Oquendo, Elisa Yumi Nakagawa
Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems. SEKE (2014)
Elisa Yumi Nakagawa, Milena Guessi, José Carlos Maldonado, Daniel Feitosa, Flávio Oquendo
Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures. WICSA (2014)
Valdemar Vicente Graciano Neto, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flávio Oquendo, Elisa Yumi Nakagawa
Investigating the Model-Driven Development for Systems-of-Systems. ECSA Workshops (2014)
Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
Variability viewpoint to describe reference architectures. WICSA Companion (2014)
Elisa Yumi Nakagawa, Marcelo Benites Gonçalves, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flávio Oquendo
The state of the art and future perspectives in systems of systems software architectures. SESoS (2013)
Muhammad Ali Babar, Ian Gorton, Flávio Oquendo
Building European software architecture community: how far have we come? Softw. Syst. Model. 12 (2) (2013)
Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Isabelle Borne
Composition-Centered Architectural Pattern Description Language. ECSA (2013)
Elisa Yumi Nakagawa, Flávio Oquendo
Perspectives and challenges of reference architectures in multi software product line. SPLC Workshops (2013)
Rogério F. da Silva, Vanderson H. Fragal, Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, Flávio Oquendo
SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines. ICEIS (2) (2013)
Jair C. Leite, Flávio Oquendo, Thaís Vasconcelos Batista
SysADL: A SysML Profile for Software Architecture Description. ECSA (2013)
Eduardo Santana de Almeida, Flávio Oquendo
Software Components, Architectures and ReuseModeling, Customization and Evaluation. J. Univers. Comput. Sci. 19 (2) (2013)
Elena Leroux, Flávio Oquendo
Test de conformité basé sur l'architecture logicielle. CAL (2012)
Milena Guessi, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado
Architectural description of embedded systems: a systematic review. ISARCS (2012)
Leonardo Minora, Jérémy Buisson, Flávio Oquendo, Thaís Vasconcelos Batista
Issues of Architectural Description Languages for Handling Dynamic Reconfiguration CoRR (2012)
Elisa Yumi Nakagawa, Flávio Oquendo, Martin Becker
RAModel: A Reference Model for Reference Architectures. WICSA/ECSA (2012)
Minh Tu Ton That, Salah Sadou, Flávio Oquendo
Using Architectural Patterns to Define Architectural Decisions. WICSA/ECSA (2012)
Flávio Oquendo, Eltjo Poort, Judith A. Stafford
Guest Editors Introduction to the Special Issue. J. Syst. Softw. 84 (9) (2011)
Paulo F. Pires, Flávio Oquendo, Ana Paula Terra Bacelo
Software Components, Architectures and Reuse. J. Univers. Comput. Sci. 17 (5) (2011)
Maruf Pasha, Flávio Oquendo, Hafiz Farooq Ahmad
Negotiation in Heterogeneous Environments. ITNG (2010)
Jie Chen, Di Wu, Juan Zhang, Flávio Oquendo
Formal modelling and analysis of HLA architectural style. Int. J. Model. Identif. Control. 9 (1/2) (2010)
Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood
Constructing Active Architectures in the ArchWare ADL CoRR (2010)
Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood
Support for Evolving Software Architectures in the ArchWare ADL CoRR (2010)
Flávio Oquendo
On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL. ICSOFT (1) (2009)
Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. ICAART (2009)
Cládia Werner, Flávio Oquendo
Software Components, Architectures and Reuse. J. Univers. Comput. Sci. 15 (11) (2009)
Flávio Oquendo
Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL. SOSE (2008)

Flávio Oquendo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Flávio Oquendo