Version Management in the PACT Integrated Software Engineering Environment. - Flávio Oquendo; Karima Berrada; Ferdinando Gallo; Régis Minot; Ian Thomas (ESEC, 1989)

MASP: A Model for Assisted Software Processes. - Amaury Legait; Flávio Oquendo; Dan Oldfield (SEE, 1989)

Building object and process-centered software environments on the PCTE public tool interface. - Flávio Oquendo (ISPW, 1990)

The PCTE+'s OMS, A Software Engineering Distributed Database System for supporting Large-Scale Software Development Environments. - Flávio Oquendo; Gérard Boudier; Ferdinando Gallo; Régis Minot; Ian Thomas (DASFAA, 1991)

Supporting software process communication and cooperation through object sets. - Flávio Oquendo (ISPW, 1991)

A Meta-CASE Environment for Software Process-Centred CASE Environments. - Flávio Oquendo; Jean-Daniel Zucker; Philip Griffiths (CAiSE, 1992)

Un Systeme Inferentiel Oriente Objet Pour Des Applications En Langues Naturelles. - Alain Berrendonner; Mounia Fredj; Flávio Oquendo; Jacques Rouault (COLING, 1992)

Talisman: Un Système Multi-Agents Gouverné Par Des Lois Linguistiques Pour Le Traitement De La Langue Naturelle. - Marie-Hélène Stefanini; Alain Berrendonner; Genevieve Lallich; Flávio Oquendo (COLING, 1992)

PEACE: Describing and Managing Evolving Knowledge in the Software Process. - Selma Arbaoui; Selma Mouline; Flávio Oquendo; Guy Tassart (EWSPT, 1992)

Algèbre des Objets Classes: une Algèbre d'Objets Complexes Fondée sur une Approche Méréologique. - Selma Mouline; Flávio Oquendo (BDA, 1993)

Managing Inconsistencies Between Process Enactment and Process Performance States. - Selma Arbaoui; Flávio Oquendo (ISPW, 1993)

Goal Oriented vs. Activity Oriented Process Modelling and Enactment: Issues and Perspectives. - Selma Arbaoui; Flávio Oquendo (EWSPT, 1994)

Process-centered environments: support for human-environment interaction and environment-mediated human cooperation. - Ilham Alloui; Selma Arbaoui; Flávio Oquendo (ISPW, 1994)

Algèbre des objets classes : une algèbre pour les bases de données orientées objet. - Selma Mouline; Flávio Oquendo (LMO, 1994)

A Multi-Agent Approach for Modelling, Enacting and Evolving Distributed Cooperative Software Processes. - Ilham Alloui; Safia Latrous; Flávio Oquendo (EWSPT, 1996)

Support for environment-mediated human cooperation in large-scale reuse-based projects. - Ilham Alloui; Flávio Oquendo (ISPW, 1996)

Reuse sensitive process models: are process elements software assets too? - Selma Arbaoui; Flávio Oquendo (ISPW, 1996)

A Reflective Multi-agent System for Software Process Enaction and Evolution. - Safia Latrous; Flávio Oquendo (PAAM, 1996)

Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments. - Ilham Alloui; Flávio Oquendo (SEKE, 1996)

Managing Consistency in Cooperating Software Processes. - Ilham Alloui; Flávio Oquendo (EWSPT, 1998)

Fuzzy Indicators for Monitoring Software Processes. - Sorana Cîmpan; Flávio Oquendo (EWSPT, 1998)

Assessment Framework for PSEEs. - Pierre-Yves Cunin; Ilham Alloui; Selma Arbaoui; Denis Avrilionis; Christer Fernström; Samir Dami; Jacky Estublier; Flávio Oquendo (Software Process: Principles, Methodology, Technology, 1999)

ALLIANCE: An Agent-Based Case Environment for Enterprose Process Modelling, Enactment and Quantitative Control. - Ilham Alloui; Sorana Cîmpan; Flávio Oquendo; Hervé Verjus (ICEIS, 1999)

Advanced Services for Process Evolution: Monitoring and Decision Support. - Ilham Alloui; Sami Beydeda; Sorana Cîmpan; Volker Gruhn; Flávio Oquendo; Christian Schneider (EWSPT, 2000)

Overcoming Inadequacies in Process Modelling: The Need for Decisioning Be a First-Class Citizen. - Flávio Oquendo; K. Nadia Papamichail; Ian Robertson (EWSPT, 2000)

Addressing Decision Making Issues in Enterprise Process Modelling. - Flávio Oquendo; K. Nadia Papamichail; Ian Robertson (ICEIS, 2000)

pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. - Christelle Chaudet; Flávio Oquendo (ASE, 2000)

Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. - Christelle Chaudet; Robert Mark Greenwood; Flávio Oquendo; Brian Warboys (IEE Proc. Softw., 2000)

OMEGA: a language and system for on-line monitoring of software-intensive processes. - Sorana Cîmpan; Flávio Oquendo (ACM SIGSOFT Softw. Eng. Notes, 2000)

Monitoring Software Process Interactions: A Logic-Based Approach. - Ilham Alloui; Sorana Cîmpan; Flávio Oquendo (EWSPT, 2001)

Supporting Decentralised Software-Intensive Processes Using ZETA Component-Based Architecture Description Language. - Ilham Alloui; Flávio Oquendo (ICEIS (1), 2001)

A Software Framework for Software-Intensive Process Modeling, Enactment and fuzzy Control. - Ilham Alloui; Sorana Cîmpan; Flávio Oquendo; Hervé Verjus (Trans. SDPS, 2001)

Taming Process Deviations by Logic Based Monitoring. - Ilham Alloui; Sorana Cîmpan; Flávio Oquendo (ICEIS, 2002)

A Comparative Review of Process-Centered Software Engineering Environments. - Selma Arbaoui; Jean-Claude Derniame; Flávio Oquendo; Hervé Verjus (Ann. Softw. Eng., 2002)

Process Support for Evolving Active Architectures. - Robert Mark Greenwood; Dharini Balasubramaniam; Sorana Cîmpan; Graham N. C. Kirby; Kath Mickan; Ronald Morrison; Flávio Oquendo; Ian Robertson; Wykeen Seet; Bob Snowdon; Brian Warboys; Evangelos Zirintsis (EWSPT, 2003)

Modelling and Generating Business-To-Business Applications Using an Architecture Description Language - Based Approach. - Ilham Alloui; Karim Megzari; Flávio Oquendo (ICEIS (3), 2003)

Languages and Mechanisms for Software Processes and Manufacturing Enterprise Processes: Similarities and Differences. - Selma Arbaoui; Alain Haurat; Flávio Oquendo; Franck Théroude; Hervé Verjus (ICEIS (3), 2003)

ArchWare: Architecting Evolvable Software. - Flávio Oquendo; Brian Warboys; Ronald Morrison; Régis Dindeleux; Ferdinando Gallo; Hubert Garavel; Carmen Occhipinti (EWSA, 2004)

Formalization of an HCI Style for Accelerator Restart Monitoring. - Olivier Ratcliffe; Sorana Cîmpan; Flávio Oquendo; Luigi Scibile (EWSA, 2004)

Describing Software-Intensive Process Architectures Using a UML-Based ADL. - Ilham Alloui; Flávio Oquendo (ICEIS (3), 2004)

Towards a Business Process Formalisation Based on an Architecture Centred Approach. - Fabien Leymonerie; Lionel Blanc Dit Jolicoeur; Sorana Cîmpan; Christian Braesch; Flávio Oquendo (ICEIS (3), 2004)

Support for Evolving Software Architectures in the ArchWare ADL. - Ronald Morrison; Graham N. C. Kirby; Dharini Balasubramaniam; Kath Mickan; Flávio Oquendo; Sorana Cîmpan; Brian Warboys; Bob Snowdon; Robert Mark Greenwood (WICSA, 2004)

pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures. - Flávio Oquendo (ACM SIGSOFT Softw. Eng. Notes, 2004)

Formally refining software architectures with pi-ARL: a case study. - Flávio Oquendo (ACM SIGSOFT Softw. Eng. Notes, 2004)

pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures. - Flávio Oquendo (ACM SIGSOFT Softw. Eng. Notes, 2004)

Handling Dynamic Behaviour in Software Architectures. - Sorana Cîmpan; Fabien Leymonerie; Flávio Oquendo (EWSA, 2005)

Case Study on Architecture-Centered Design for Monitoring Views at CERN. - Olivier Ratcliffe; Sorana Cîmpan; Flávio Oquendo (WICSA, 2005)

Intelligent Instrument Design With ArchWare ADL. - Jérôme Revillard; Sorana Cîmpan; Eric Benoit; Flávio Oquendo (WICSA, 2005)

A Model-driven Approach for Grid Services Engineering - David Manset; Richard McClatchey; Flávio Oquendo; Hervé Verjus (CoRR, 2005)

p-Diapason : un langage pour la formalisation des architectures orientées services Web. - Frédéric Pourraz; Hervé Verjus; Flávio Oquendo (CAL, 2006)

Gestion des architectures évolutives dans ArchWare. - Hervé Verjus; Sorana Cîmpan; Ilham Alloui; Flávio Oquendo (CAL, 2006)

A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications. - David Manset; Hervé Verjus; Richard McClatchey; Flávio Oquendo (ICEIS (3), 2006)

An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture. - Frédéric Pourraz; Hervé Verjus; Flávio Oquendo (ICEIS (3), 2006)

An approach for Multi-Agent metamodelling. - Selma Azaiez; Marc-Philippe Huget; Flávio Oquendo (Multiagent Grid Syst., 2006)

pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. - Radu Mateescu 001; Flávio Oquendo (ACM SIGSOFT Softw. Eng. Notes, 2006)

Formally modelling software architectures with the UML 2.0 profile for pi-ADL. - Flávio Oquendo (ACM SIGSOFT Softw. Eng. Notes, 2006)

pi-Method: a model-driven formal method for architecture-centric software engineering. - Flávio Oquendo (ACM SIGSOFT Softw. Eng. Notes, 2006)

Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. - Di Wu 035; Jie Chen 003; Flávio Oquendo (APSEC, 2007)

An Active Architecture Approach to Dynamic Systems Co-evolution. - Ronald Morrison; Dharini Balasubramaniam; Flávio Oquendo; Brian Warboys; Robert Mark Greenwood (ECSA, 2007)

Guest Editors' Introduction. - Esperanza Marcos; Carlos E. Cuesta; Flávio Oquendo (Int. J. Cooperative Inf. Syst., 2007)

Representing Service-Oriented Architectural Models Using pi-ADL. - Marcos López Sanz; Zawar Qayyum; Carlos E. Cuesta; Esperanza Marcos; Flávio Oquendo (ECSA, 2008)

Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL. - Flávio Oquendo (ICSEA, 2008)

The BPMSOA: evaluating the enactment of a business process using application domain specific grid services. - Zaheer Abbas Khan; Mohammed Odeh; Tony Solomonides; Flávio Oquendo (iiWAS, 2008)

p-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions. - Flávio Oquendo (SBCARS, 2008)

.NET Extensions to the p-architecture Description Languages. - Zawar Qayyum; Flávio Oquendo (SEKE, 2008)

Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL. - Flávio Oquendo (SOSE, 2008)

Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. - Nadeem Akhtar; Yann Le Guyadec; Flávio Oquendo (ICAART, 2009)

On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL. - Flávio Oquendo (ICSOFT (1), 2009)

Software Components, Architectures and Reuse. - Cládia Werner; Flávio Oquendo (J. Univers. Comput. Sci., 2009)

Negotiation in Heterogeneous Environments. - Maruf Pasha; Flávio Oquendo; Hafiz Farooq Ahmad (ITNG, 2010)

Constructing Active Architectures in the ArchWare ADL - Ronald Morrison; Graham N. C. Kirby; Dharini Balasubramaniam; Kath Mickan; Flávio Oquendo; Sorana Cîmpan; Brian Warboys; Bob Snowdon; Robert Mark Greenwood (CoRR, 2010)

Formal modelling and analysis of HLA architectural style. - Jie Chen 003; Di Wu 035; Juan Zhang; Flávio Oquendo (Int. J. Model. Identif. Control., 2010)

Guest Editors Introduction to the Special Issue. - Flávio Oquendo; Eltjo R. Poort; Judith A. Stafford (J. Syst. Softw., 2011)

Software Components, Architectures and Reuse. - Paulo F. Pires; Flávio Oquendo; Ana Paula Terra Bacelo (J. Univers. Comput. Sci., 2011)

Test de conformité basé sur l'architecture logicielle. - Elena Leroux; Flávio Oquendo (CAL, 2012)

Architectural description of embedded systems: a systematic review. - Milena Guessi; Elisa Yumi Nakagawa; Flávio Oquendo; José Carlos Maldonado (ISARCS, 2012)

RAModel: A Reference Model for Reference Architectures. - Elisa Yumi Nakagawa; Flávio Oquendo; Martin Becker 002 (WICSA/ECSA, 2012)

Using Architectural Patterns to Define Architectural Decisions. - Minh Tu Ton That; Salah Sadou; Flávio Oquendo (WICSA/ECSA, 2012)

Issues of Architectural Description Languages for Handling Dynamic Reconfiguration - Leonardo Minora; Jérémy Buisson; Flávio Oquendo; Thaís Vasconcelos Batista (CoRR, 2012)

The state of the art and future perspectives in systems of systems software architectures. - Elisa Yumi Nakagawa; Marcelo Benites Gonçalves; Milena Guessi; Lucas Bueno Ruas de Oliveira; Flávio Oquendo (SESoS, 2013)

SysADL: A SysML Profile for Software Architecture Description. - Jair C. Leite; Flávio Oquendo; Thaís Vasconcelos Batista (ECSA, 2013)

Composition-Centered Architectural Pattern Description Language. - Minh Tu Ton That; Salah Sadou; Flávio Oquendo; Isabelle Borne (ECSA, 2013)

SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines. - Rogério F. da Silva; Vanderson H. Fragal; Edson A. Oliveira Junior; Itana Maria de Souza Gimenes; Flávio Oquendo (ICEIS (2), 2013)

Perspectives and challenges of reference architectures in multi software product line. - Elisa Yumi Nakagawa; Flávio Oquendo (SPLC Workshops, 2013)

Software Components, Architectures and ReuseModeling, Customization and Evaluation. - Eduardo Santana de Almeida; Flávio Oquendo (J. Univers. Comput. Sci., 2013)

Building European software architecture community: how far have we come? - Muhammad Ali Babar 001; Ian Gorton; Flávio Oquendo (Softw. Syst. Model., 2013)

Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language. - Everton Cavalcante; Flávio Oquendo; Thaís Vasconcelos Batista (ECSA, 2014)

Investigating the Model-Driven Development for Systems-of-Systems. - Valdemar Vicente Graciano Neto; Milena Guessi; Lucas Bueno Ruas de Oliveira; Flávio Oquendo; Elisa Yumi Nakagawa (ECSA Workshops, 2014)

Towards a Process to Design Architectures of Service-Oriented Robotic Systems. - Lucas Bueno Ruas de Oliveira; Elena Leroux; Kátia Romero Felizardo; Flávio Oquendo; Elisa Yumi Nakagawa (ECSA, 2014)

On the Characterization of Missions of Systems-of-Systems. - Eduardo Silva 001; Everton Cavalcante; Thaís Vasconcelos Batista; Flávio Oquendo; Flávia Coimbra Delicato; Paulo F. Pires (ECSA Workshops, 2014)

An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures. - Milena Guessi; Flávio Oquendo; Elisa Yumi Nakagawa (SEKE, 2014)

Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems. - Lucas Bueno Ruas de Oliveira; Fernando Santos Osório; Flávio Oquendo; Elisa Yumi Nakagawa (SEKE, 2014)

Towards a conceptual model for Software-intensive System-of-Systems. - Marcelo Benites Gonçalves; Everton Cavalcante; Thaís Vasconcelos Batista; Flávio Oquendo; Elisa Yumi Nakagawa (SMC, 2014)

Variability viewpoint to describe reference architectures. - Milena Guessi; Flávio Oquendo; Elisa Yumi Nakagawa (WICSA Companion, 2014)

Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures. - Elisa Yumi Nakagawa; Milena Guessi; José Carlos Maldonado; Daniel Feitosa; Flávio Oquendo (WICSA, 2014)

Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements. - Marcelo Fantinato; Uirá Kulesza; Flávio Oquendo (J. Univers. Comput. Sci., 2014)

Towards a View-Based Process for Designing and Documenting RESTful Service Architectures. - Bruno Costa 003; Paulo F. Pires; Flávia Coimbra Delicato; Flávio Oquendo (ECSA Workshops, 2015)

Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture. - Jesús M. T. Portocarrero; Flávia Coimbra Delicato; Paulo F. Pires; Elisa Yumi Nakagawa; Flávio Oquendo (ECSA Workshops, 2015)

Foreword: Towards Reference Architectures for Systems-of-Systems. - Elisa Yumi Nakagawa; Flávio Oquendo; Paris Avgeriou; Carlos E. Cuesta; Khalil Drira; José Carlos Maldonado; Andrea Zisman (SESoS, 2015)

3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015). - Flávio Oquendo; Paris Avgeriou; Carlos E. Cuesta; Khalil Drira; Elisa Yumi Nakagawa; José Carlos Maldonado; Andrea Zisman (ICSE (2), 2015)

A meta-process to construct software architectures for system of systems. - Marcelo Benites Gonçalves; Flávio Oquendo; Elisa Yumi Nakagawa (SAC, 2015)

OntolAD: a formal ontology for architectural descriptions. - Milena Guessi; Dilvan A. Moreira; Gabriel Abdalla; Flávio Oquendo; Elisa Yumi Nakagawa (SAC, 2015)

A systematic literature review on the description of software architectures for systems of systems. - Milena Guessi; Valdemar Vicente Graciano Neto; Thiago Bianchi; Kátia Romero Felizardo; Flávio Oquendo; Elisa Yumi Nakagawa (SAC, 2015)

A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems. - Gabriel Abdalla; Carlos Diego Nascimento Damasceno; Milena Guessi; Flávio Oquendo; Elisa Yumi Nakagawa (SBCARS, 2015)

A mission-oriented approach for designing system-of-systems. - Eduardo Silva 001; Thaís Batista; Flávio Oquendo (SoSE, 2015)

Supporting Dynamic Software Architectures: From Architectural Description to Implementation. - Everton Cavalcante; Thaís Vasconcelos Batista; Flávio Oquendo (WICSA, 2015)

Formal requirement and architecture specifications of a multi-agent robotic system. - Nadeem Akhtar; Yann Le Guyadec; Flávio Oquendo (CoRR, 2015)

Verifying Systems-of-Systems with Statistical Model Checking. - Axel Legay; Jean Quilbeuf; Flávio Oquendo (ERCIM News, 2015)

Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. - Flávio Oquendo; Axel Legay (ERCIM News, 2015)

GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. - Flávio Oquendo; Axel Legay; Khalil Drira (ERCIM News, 2015)

Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems. - Khalil Drira; Flávio Oquendo (Future Gener. Comput. Syst., 2015)

Preserving architectural pattern composition information through explicit merging operators. - Minh Tu Ton That; Salah Sadou; Flávio Oquendo; Isabelle Borne (Future Gener. Comput. Syst., 2015)

A Quality Model for AAL Software Systems. - Lina Maria Garcés Rodriguez; Flávio Oquendo; Elisa Yumi Nakagawa (CBMS, 2016)

Systems-of-systems development: Initiatives, trends, and challenges. - Cristiane Aparecida Lana; Nilton Mendes Souza; Márcio Eduardo Delamaro; Elisa Yumi Nakagawa; Flávio Oquendo; José Carlos Maldonado (CLEI, 2016)

Statistical Model Checking of Dynamic Software Architectures. - Everton Cavalcante; Jean Quilbeuf; Louis-Marie Traonouez; Flávio Oquendo; Thaís Batista; Axel Legay (ECSA, 2016)

Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams. - Soraya Mesli-Kesraoui; Djamal Kesraoui; Flávio Oquendo; Alain Bignon; Armand Toguyéni; Pascal Berruet (ECSA, 2016)

Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems. - Flávio Oquendo (ECSA, 2016)

The sosADL studio: an architecture development environment for software-intensive systems-of-systems. - Flávio Oquendo; Jérémy Buisson; Elena Leroux; Gersan Moguérou; Jean Quilbeuf (SiSoS@ECSA, 2016)

Executing Software Architecture Descriptions with SysADL. - Flávio Oquendo; Jair C. Leite; Thaís Batista (ECSA, 2016)

Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. - Flávio Oquendo (ICECCS, 2016)

Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. - Eduardo Silva 001; Everton Cavalcante; Thaís Vasconcelos Batista; Flávio Oquendo (ICECCS, 2016)

A Logic for the Statistical Model Checking of Dynamic Software Architectures. - Jean Quilbeuf; Everton Cavalcante; Louis-Marie Traonouez; Flávio Oquendo; Thaís Batista; Axel Legay (ISoLA (1), 2016)

Thinking Smart Cities as Systems-of-Systems: A Perspective Study. - Everton Cavalcante; Nélio Cacho; Frederico Lopes; Thaís Batista; Flávio Oquendo (IWSC@Middleware, 2016)

Case study on formally describing the architecture of a Software-intensive System-of-Systems with SosADL. - Flávio Oquendo (SMC, 2016)

Checking the architectural feasibility of Systems-of-Systems using formal descriptions. - Milena Guessi; Flávio Oquendo; Elisa Yumi Nakagawa (SoSE, 2016)

Formally describing the software architecture of Systems-of-Systems with SosADL. - Flávio Oquendo (SoSE, 2016)

π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems. - Flávio Oquendo (SoSE, 2016)

Specifying Architecture Behavior with SysADL. - Flávio Oquendo; Jair C. Leite; Thaís Batista (WICSA, 2016)

Preserving architectural decisions through architectural patterns. - Minh Tu Ton That; Salah Sadou; Flávio Oquendo; Régis Fleurquin (Autom. Softw. Eng., 2016)

Software Architecture in Action - Designing and Executing Architectural Models with SysADL grounded on the OMG SysML Standard - Flávio Oquendo; Jair C. Leite; Thaís Batista (Springer, 2016)

Architecting IoT Applications with SysADL. - Jair C. Leite; Thaís Batista; Flávio Oquendo (ICSA Workshops, 2017)

Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems. - Elisa Yumi Nakagawa; Flávio Oquendo; Paris Avgeriou; Rodrigo Pereira dos Santos (SESoS/WDES, 2017)

Architecturally describing the emergent behavior of software-intensive system-of-systems with SosADL. - Flávio Oquendo (SoSE, 2017)

Software architecture of self-organizing systems-of-systems for the Internet-of-Things with SosADL. - Flávio Oquendo (SoSE, 2017)

ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems. - Lucas Bueno Ruas de Oliveira; Elena Leroux; Kátia Romero Felizardo; Flávio Oquendo; Elisa Yumi Nakagawa (Comput. J., 2017)

Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures. - Valdemar Vicente Graciano Neto; Carlos Eduardo de Barros Paes; Lina Maria Garcés Rodriguez; Milena Guessi; Wallace Manzano; Flávio Oquendo; Elisa Yumi Nakagawa (J. Braz. Comput. Soc., 2017)

Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things. - Flávio Oquendo (ECSA, 2018)

ASAS: An Approach to Support Simulation of Smart Systems. - Valdemar Vicente Graciano Neto; Lina Maria Garcés Rodriguez; Milena Guessi; Carlos Eduardo de Barros Paes; Wallace Manzano; Flávio Oquendo; Elisa Yumi Nakagawa (HICSS, 2018)

Modeling and Executing Software Architecture Using SysADL. - Thaís Batista; Flávio Oquendo; Jair C. Leite (ICSA Companion, 2018)

Designing and Executing Software Architectures Models Using SysADL Studio. - Jair C. Leite; Thaís Batista; Flávio Oquendo; Eduardo Silva 001; Lidiane Oliveira dos Santos; Victor Cortez (ICSA Companion, 2018)

Towards a Taxonomy of Software Mediators for Systems-of-Systems. - Lina Garcés; Flávio Oquendo; Elisa Yumi Nakagawa (SBCARS, 2018)

Exogenously Describing Architectural Emergent Behaviors of Systems-of-Systems with SosADL. - Flávio Oquendo (SoSE, 2018)

On the Emergent Behavior Oxymoron of System-of-Systems Architecture Description. - Flávio Oquendo (SoSE, 2018)

A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees. - Flávio Oquendo; Jérémy Buisson; Elena Leroux; Gersan Moguérou (SoSE, 2018)

Dealing with Uncertainty in Software Architecture on the Internet-of-Things with Digital Twins. - Flávio Oquendo (ICCSA (1), 2019)

Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL. - Flávio Oquendo (IFIPIoT, 2019)

Coping with Uncertainty in Systems-of-Systems Architecture Modeling on the IoT with SosADL. - Flávio Oquendo (SoSE, 2019)

A Research Landscape on Formal Verification of Software Architecture Descriptions. - Camila Araújo; Everton Cavalcante; Thaís Batista; Marcel Oliveira; Flávio Oquendo (IEEE Access, 2019)

An Architectural Style for Self-Adaptive Multi-Agent Systems. - Danny Weyns; Flávio Oquendo (CoRR, 2019)

Software mediators as first-class entities of systems-of-systems software architectures. - Lina Garcés; Flávio Oquendo; Elisa Yumi Nakagawa (J. Braz. Comput. Soc., 2019)

Architecting exogenous software-intensive systems-of-systems on the internet-of-vehicles with SosADL. - Flávio Oquendo (Syst. Eng., 2019)

Formal Verification of the Race Condition Vulnerability in Ladder Programs. - Soraya Mesli-Kesraoui; Olga Goubali; Djamal Kesraoui; Ibtihal Eloumami; Flávio Oquendo (CCTA, 2020)

Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. - Fagner Dias; Marcel Oliveira; Thaís Vasconcelos Batista; Everton Cavalcante; Jair C. Leite; Flávio Oquendo; Camila Araújo (ECSA, 2020)

An architectural style for internet of things systems. - Lidiane Oliveira dos Santos; Eduardo Silva 001; Thaís Batista; Everton Cavalcante; Jair C. Leite; Flávio Oquendo (SAC, 2020)

Fuzzy Architecture Description for Handling Uncertainty in IoT Systems-of-Systems. - Flávio Oquendo (SoSE, 2020)

Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures. - Lidiane Oliveira dos Santos; Eduardo Silva 001; Thaís Batista; Jair C. Leite; Everton Cavalcante; Flávio Oquendo (WF-IoT, 2020)

Assessment of Reference Architectures and Reference Models for Ambient Assisted Living Systems: Results of a Systematic Literature Review. - Lina Garcés; Flávio Oquendo; Elisa Yumi Nakagawa (Int. J. E Health Medical Commun., 2020)

On the verification of mission-related properties in software-intensive systems-of-systems architectural design. - Eduardo Silva 001; Thaís Batista; Flávio Oquendo (Sci. Comput. Program., 2020)

Ark: a constraint-based method for architectural synthesis of smart systems. - Milena Guessi; Flávio Oquendo; Elisa Yumi Nakagawa (Softw. Syst. Model., 2020)

Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach. - Camila Araújo; Thaís Batista; Everton Cavalcante; Flávio Oquendo (ICCSA (3), 2021)

Case Study on the Fuzzy Architecture Description of Cyber-Physical SoS under Uncertainty. - Flávio Oquendo (SoSE, 2021)

Expanding Frontiers: Settling an Understanding of Systems-of-Information Systems. - 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 001; Francisco Henrique Ferreira; Rodrigo Pereira dos Santos; Davi Viana; et al. (CoRR, 2021)

Fuzzy Mediating Control Systems for Automating Vehicle Driving Maneuvers: The Overtaking Case. - Flávio Oquendo (TENCON, 2023)

The Execution Perspective in Software Architecture Descriptions: A Systematic Mapping. - Tales Viglioni; Thaís Batista; Everton Cavalcante; Flávio Oquendo (ECSA, 2024)

A Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog. - Ahmed Elmarkez; Soraya Mesli-Kesraoui; Flávio Oquendo; Pascal Berruet; Djamal Kesraoui (WISTP, 2024)

The Execution Perspective in Software Architecture Descriptions: A Systematic Mapping. - Tales Viglioni; Thaís Batista; Everton Cavalcante; Flávio Oquendo (Zenodo, 2024)

Looking back and forward: A retrospective and future directions on software engineering for systems-of-systems. - Everton Cavalcante; Thaís Batista; Flávio Oquendo (J. Softw. Evol. Process., 2024)

Papers on systems-of-systems in SESoS 2013-2024. - Everton Cavalcante; Thaís Batista; Flávio Oquendo (Zenodo, 2024)

Digital Twins in Systems-of-Systems on the Internet-of-Vehicles: The Case of Overtaking Maneuver. - Flávio Oquendo (CAiSE Workshops, 2025)

Exploring Synergies and Challenges of System-of-Systems Digital Twins. - Everton Cavalcante; Thaís Batista; Flávio Oquendo (ICSA Companion, 2025)

FRAMICS: Functional Risk Assessment Methodology for Industrial Control Systems. - Ahmed Elmarkez; Soraya Mesli-Kesraoui; Flávio Oquendo; Pascal Berruet (SEC (1), 2025)

Software Engineering for Systems-of-Systems: Key Insights from the SESoS Workshop Series. - Everton Cavalcante; Thaís Batista; Flávio Oquendo (SESoS, 2025)

Architecting Systems-of-Systems in SosADL for Cooperative Driving Automation with C-V2X. - Flávio Oquendo (SoSE, 2025)