Flávio Oquendo

186 papers A* 1A 1B 23C 11Misc 4Journal 43Unranked 93

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Environment and Scenario Viewpoints to Execute SysML-Based Architectural Models. MODELSWARD Tales Viglioni, Jair C. Leite, Eder Xavier, Thaís Batista, Everton Cavalcante, Flávio Oquendo
2025	—	`conf`	Architecting Systems-of-Systems in SosADL for Cooperative Driving Automation with C-V2X. SoSE Flávio Oquendo
2025	—	`conf`	Digital Twins in Systems-of-Systems on the Internet-of-Vehicles: The Case of Overtaking Maneuver. CAiSE Workshops Flávio Oquendo
2025	—	`conf`	Exploring Synergies and Challenges of System-of-Systems Digital Twins. ICSA Companion Everton Cavalcante, Thaís Batista, Flávio Oquendo
2025	—	`conf`	FRAMICS: Functional Risk Assessment Methodology for Industrial Control Systems. SEC (1) Ahmed Elmarkez, Soraya Mesli-Kesraoui, Flávio Oquendo, Pascal Berruet
2025	—	`conf`	Software Engineering for Systems-of-Systems: Key Insights from the SESoS Workshop Series. SESoS Everton Cavalcante, Thaís Batista, Flávio Oquendo
2024	C	`conf`	A Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog. WISTP Ahmed Elmarkez, Soraya Mesli-Kesraoui, Flávio Oquendo, Pascal Berruet, Djamal Kesraoui
2024	J	`jnl`	Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems. CoRR Everton Cavalcante, Thaís Batista, Flávio Oquendo
2024	J	`jnl`	Looking back and forward: A retrospective and future directions on software engineering for systems-of-systems. J. Softw. Evol. Process. Everton Cavalcante, Thaís Batista, Flávio Oquendo
2024	B	`conf`	The Execution Perspective in Software Architecture Descriptions: A Systematic Mapping. ECSA Tales Viglioni, Thaís Batista, Everton Cavalcante, Flávio Oquendo
2023	C	`conf`	Fuzzy Mediating Control Systems for Automating Vehicle Driving Maneuvers: The Overtaking Case. TENCON Flávio Oquendo
2021	—	`conf`	Case Study on the Fuzzy Architecture Description of Cyber-Physical SoS under Uncertainty. SoSE Flávio Oquendo
2021	J	`jnl`	Expanding Frontiers: Settling an Understanding of Systems-of-Information Systems. CoRR 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
2021	—	`conf`	Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach. ICCSA (3) Camila Araújo, Thaís Batista, Everton Cavalcante, Flávio Oquendo
2020	Misc	`conf`	An architectural style for internet of things systems. SAC Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo
2020	J	`jnl`	Ark: a constraint-based method for architectural synthesis of smart systems. Softw. Syst. Model. Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
2020	J	`jnl`	Assessment of Reference Architectures and Reference Models for Ambient Assisted Living Systems: Results of a Systematic Literature Review. Int. J. E Health Medical Commun. Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa
2020	B	`conf`	Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. ECSA Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo
2020	—	`conf`	Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures. WF-IoT Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Jair C. Leite, Everton Cavalcante, Flávio Oquendo
2020	—	`conf`	Formal Verification of the Race Condition Vulnerability in Ladder Programs. CCTA Soraya Mesli-Kesraoui, Olga Goubali, Djamal Kesraoui, Ibtihal Eloumami, Flávio Oquendo
2020	—	`conf`	Fuzzy Architecture Description for Handling Uncertainty in IoT Systems-of-Systems. SoSE Flávio Oquendo
2020	J	`jnl`	On the verification of mission-related properties in software-intensive systems-of-systems architectural design. Sci. Comput. Program. Eduardo Silva, Thaís Batista, Flávio Oquendo
2019	J	`jnl`	A Research Landscape on Formal Verification of Software Architecture Descriptions. IEEE Access Camila Araújo, Everton Cavalcante, Thaís Batista, Marcel Oliveira, Flávio Oquendo
2019	J	`jnl`	An Architectural Style for Self-Adaptive Multi-Agent Systems. CoRR Danny Weyns, Flávio Oquendo
2019	—	`conf`	Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL. IFIPIoT Flávio Oquendo
2019	J	`jnl`	Architecting exogenous software-intensive systems-of-systems on the internet-of-vehicles with SosADL. Syst. Eng. Flávio Oquendo
2019	—	`conf`	Coping with Uncertainty in Systems-of-Systems Architecture Modeling on the IoT with SosADL. SoSE Flávio Oquendo
2019	—	`conf`	Dealing with Uncertainty in Software Architecture on the Internet-of-Things with Digital Twins. ICCSA (1) Flávio Oquendo
2019	J	`jnl`	Software mediators as first-class entities of systems-of-systems software architectures. J. Braz. Comput. Soc. Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa
2018	—	`ed.`	6th IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, SESoS@ICSE 2018, Gothenburg, Sweden, May 29, 2018 SESoS Khalil Drira, Flávio Oquendo
2018	—	`conf`	A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees. SoSE Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou
2018	—	`conf`	ASAS: An Approach to Support Simulation of Smart Systems. HICSS Valdemar Vicente Graciano Neto, Lina Maria Garcés Rodriguez, Milena Guessi, Carlos Eduardo de Barros Paes, Wallace Manzano, Flávio Oquendo, Elisa Yumi Nakagawa
2018	—	`conf`	Designing and Executing Software Architectures Models Using SysADL Studio. ICSA Companion Jair C. Leite, Thaís Batista, Flávio Oquendo, Eduardo Silva, Lidiane Oliveira dos Santos, Victor Cortez
2018	—	`conf`	Exogenously Describing Architectural Emergent Behaviors of Systems-of-Systems with SosADL. SoSE Flávio Oquendo
2018	B	`conf`	Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things. ECSA Flávio Oquendo
2018	—	`conf`	Modeling and Executing Software Architecture Using SysADL. ICSA Companion Thaís Batista, Flávio Oquendo, Jair C. Leite
2018	—	`conf`	On the Emergent Behavior Oxymoron of System-of-Systems Architecture Description. SoSE Flávio Oquendo
2018	—	`conf`	Towards a Taxonomy of Software Mediators for Systems-of-Systems. SBCARS Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa
2017	J	`jnl`	ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems. Comput. J. Lucas Bueno Ruas de Oliveira, Elena Leroux, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa
2017	—	`conf`	Architecting IoT Applications with SysADL. ICSA Workshops Jair C. Leite, Thaís Batista, Flávio Oquendo
2017	—	`conf`	Architecturally describing the emergent behavior of software-intensive system-of-systems with SosADL. SoSE Flávio Oquendo
2017	—	`conf`	Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems. SESoS/WDES Elisa Yumi Nakagawa, Flávio Oquendo, Paris Avgeriou, Rodrigo Pereira dos Santos
2017	—	`conf`	Software architecture of self-organizing systems-of-systems for the Internet-of-Things with SosADL. SoSE Flávio Oquendo
2017	J	`jnl`	Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures. J. Braz. Comput. Soc. Valdemar Vicente Graciano Neto, Carlos Eduardo de Barros Paes, Lina Maria Garcés Rodriguez, Milena Guessi, Wallace Manzano, Flávio Oquendo, Elisa Yumi Nakagawa
2016	—	`conf`	A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (1) Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
2016	B	`conf`	A Quality Model for AAL Software Systems. CBMS Lina Maria Garcés Rodriguez, Flávio Oquendo, Elisa Yumi Nakagawa
2016	B	`conf`	Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. ICECCS Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo
2016	B	`conf`	Case study on formally describing the architecture of a Software-intensive System-of-Systems with SosADL. SMC Flávio Oquendo
2016	—	`conf`	Checking the architectural feasibility of Systems-of-Systems using formal descriptions. SoSE Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
2016	B	`conf`	Executing Software Architecture Descriptions with SysADL. ECSA Flávio Oquendo, Jair C. Leite, Thaís Batista
2016	B	`conf`	Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams. ECSA Soraya Mesli-Kesraoui, Djamal Kesraoui, Flávio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet
2016	B	`conf`	Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. ICECCS Flávio Oquendo
2016	—	`conf`	Formally describing the software architecture of Systems-of-Systems with SosADL. SoSE Flávio Oquendo
2016	J	`jnl`	Preserving architectural decisions through architectural patterns. Autom. Softw. Eng. Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Régis Fleurquin
2016	—	`ed.`	Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, SiSoS@ECSA 2016, Copenhagen, Denmark, November 29-29, 2016 SiSoS@ECSA Khalil Drira, Flávio Oquendo, Muhammad Ali Babar, Axel Legay
2016	B	`conf`	Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems. ECSA Flávio Oquendo
2016	—	`book`	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
2016	—	`conf`	Specifying Architecture Behavior with SysADL. WICSA Flávio Oquendo, Jair C. Leite, Thaís Batista
2016	B	`conf`	Statistical Model Checking of Dynamic Software Architectures. ECSA Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
2016	C	`conf`	Systems-of-systems development: Initiatives, trends, and challenges. CLEI Cristiane Aparecida Lana, Nilton Mendes Souza, Márcio Eduardo Delamaro, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado
2016	—	`conf`	The sosADL studio: an architecture development environment for software-intensive systems-of-systems. SiSoS@ECSA Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf
2016	—	`conf`	Thinking Smart Cities as Systems-of-Systems: A Perspective Study. IWSC@Middleware Everton Cavalcante, Nélio Cacho, Frederico Lopes, Thaís Batista, Flávio Oquendo
2016	—	`conf`	π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems. SoSE Flávio Oquendo
2015	—	`ed.`	3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, SESoS 2015, Florence, Italy, May 17, 2015 SESoS Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, Elisa Yumi Nakagawa, José Carlos Maldonado, Flávio Oquendo, Andrea Zisman
2015	—	`conf`	3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015). ICSE (2) Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, Elisa Yumi Nakagawa, José Carlos Maldonado, Andrea Zisman
2015	—	`conf`	A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems. SBCARS Gabriel Abdalla, Carlos Diego Nascimento Damasceno, Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
2015	Misc	`conf`	A meta-process to construct software architectures for system of systems. SAC Marcelo Benites Gonçalves, Flávio Oquendo, Elisa Yumi Nakagawa
2015	—	`conf`	A mission-oriented approach for designing system-of-systems. SoSE Eduardo Silva, Thaís Batista, Flávio Oquendo
2015	Misc	`conf`	A systematic literature review on the description of software architectures for systems of systems. SAC Milena Guessi, Valdemar Vicente Graciano Neto, Thiago Bianchi, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa
2015	—	`conf`	Foreword: Towards Reference Architectures for Systems-of-Systems. SESoS Elisa Yumi Nakagawa, Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, José Carlos Maldonado, Andrea Zisman
2015	J	`jnl`	Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. ERCIM News Flávio Oquendo, Axel Legay
2015	J	`jnl`	Formal requirement and architecture specifications of a multi-agent robotic system. CoRR Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
2015	J	`jnl`	GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. ERCIM News Flávio Oquendo, Axel Legay, Khalil Drira
2015	Misc	`conf`	OntolAD: a formal ontology for architectural descriptions. SAC Milena Guessi, Dilvan A. Moreira, Gabriel Abdalla, Flávio Oquendo, Elisa Yumi Nakagawa
2015	J	`jnl`	Preserving architectural pattern composition information through explicit merging operators. Future Gener. Comput. Syst. Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Isabelle Borne
2015	—	`conf`	Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture. ECSA Workshops Jesús M. T. Portocarrero, Flávia Coimbra Delicato, Paulo F. Pires, Elisa Yumi Nakagawa, Flávio Oquendo
2015	J	`jnl`	Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems. Future Gener. Comput. Syst. Khalil Drira, Flávio Oquendo
2015	—	`conf`	Supporting Dynamic Software Architectures: From Architectural Description to Implementation. WICSA Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo
2015	—	`conf`	Towards a View-Based Process for Designing and Documenting RESTful Service Architectures. ECSA Workshops Bruno Costa, Paulo F. Pires, Flávia Coimbra Delicato, Flávio Oquendo
2015	J	`jnl`	Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News Axel Legay, Jean Quilbeuf, Flávio Oquendo
2014	C	`conf`	An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures. SEKE Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
2014	B	`conf`	Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language. ECSA Everton Cavalcante, Flávio Oquendo, Thaís Vasconcelos Batista
2014	—	`conf`	Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures. WICSA Elisa Yumi Nakagawa, Milena Guessi, José Carlos Maldonado, Daniel Feitosa, Flávio Oquendo
2014	—	`conf`	Investigating the Model-Driven Development for Systems-of-Systems. ECSA Workshops Valdemar Vicente Graciano Neto, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flávio Oquendo, Elisa Yumi Nakagawa
2014	—	`conf`	On the Characterization of Missions of Systems-of-Systems. ECSA Workshops Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo, Flávia Coimbra Delicato, Paulo F. Pires
2014	J	`jnl`	Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements. J. Univers. Comput. Sci. Marcelo Fantinato, Uirá Kulesza, Flávio Oquendo
2014	B	`conf`	Towards a Process to Design Architectures of Service-Oriented Robotic Systems. ECSA Lucas Bueno Ruas de Oliveira, Elena Leroux, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa
2014	C	`conf`	Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems. SEKE Lucas Bueno Ruas de Oliveira, Fernando Santos Osório, Flávio Oquendo, Elisa Yumi Nakagawa
2014	B	`conf`	Towards a conceptual model for Software-intensive System-of-Systems. SMC Marcelo Benites Gonçalves, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo, Elisa Yumi Nakagawa
2014	—	`conf`	Variability viewpoint to describe reference architectures. WICSA Companion Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
2013	J	`jnl`	Building European software architecture community: how far have we come? Softw. Syst. Model. Muhammad Ali Babar, Ian Gorton, Flávio Oquendo
2013	B	`conf`	Composition-Centered Architectural Pattern Description Language. ECSA Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Isabelle Borne
2013	—	`conf`	Perspectives and challenges of reference architectures in multi software product line. SPLC Workshops Elisa Yumi Nakagawa, Flávio Oquendo
2013	—	`ed.`	Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, SESoS@ECOOP, Montpellier, France, July 2, 2013 SESoS Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, José Carlos Maldonado, Elisa Yumi Nakagawa, Khalil Drira, Andrea Zisman
2013	J	`jnl`	Software Components, Architectures and ReuseModeling, Customization and Evaluation. J. Univers. Comput. Sci. Eduardo Santana de Almeida, Flávio Oquendo
2013	—	`conf`	SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines. ICEIS (2) Rogério F. da Silva, Vanderson H. Fragal, Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, Flávio Oquendo
2013	B	`conf`	SysADL: A SysML Profile for Software Architecture Description. ECSA Jair C. Leite, Flávio Oquendo, Thaís Vasconcelos Batista
2013	—	`conf`	The state of the art and future perspectives in systems of systems software architectures. SESoS Elisa Yumi Nakagawa, Marcelo Benites Gonçalves, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flávio Oquendo
2012	—	`conf`	Architectural description of embedded systems: a systematic review. ISARCS Milena Guessi, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado
2012	J	`jnl`	Issues of Architectural Description Languages for Handling Dynamic Reconfiguration CoRR Leonardo Minora, Jérémy Buisson, Flávio Oquendo, Thaís Vasconcelos Batista
2012	—	`conf`	RAModel: A Reference Model for Reference Architectures. WICSA/ECSA Elisa Yumi Nakagawa, Flávio Oquendo, Martin Becker
2012	—	`conf`	Test de conformité basé sur l'architecture logicielle. CAL Elena Leroux, Flávio Oquendo
2012	—	`conf`	Using Architectural Patterns to Define Architectural Decisions. WICSA/ECSA Minh Tu Ton That, Salah Sadou, Flávio Oquendo
2011	J	`jnl`	Guest Editors Introduction to the Special Issue. J. Syst. Softw. Flávio Oquendo, Eltjo R. Poort, Judith A. Stafford
2011	J	`jnl`	Software Components, Architectures and Reuse. J. Univers. Comput. Sci. Paulo F. Pires, Flávio Oquendo, Ana Paula Terra Bacelo
2010	J	`jnl`	Constructing Active Architectures in the ArchWare ADL CoRR Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood
2010	J	`jnl`	Formal modelling and analysis of HLA architectural style. Int. J. Model. Identif. Control. Jie Chen, Di Wu, Juan Zhang, Flávio Oquendo
2010	—	`conf`	Negotiation in Heterogeneous Environments. ITNG Maruf Pasha, Flávio Oquendo, Hafiz Farooq Ahmad
2010	J	`jnl`	Support for Evolving Software Architectures in the ArchWare ADL CoRR Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood
2009	B	`conf`	Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. ICAART Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
2009	—	`conf`	On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL. ICSOFT (1) Flávio Oquendo
2009	J	`jnl`	Software Components, Architectures and Reuse. J. Univers. Comput. Sci. Cládia Werner, Flávio Oquendo
2008	C	`conf`	.NET Extensions to the p-architecture Description Languages. SEKE Zawar Qayyum, Flávio Oquendo
2008	C	`conf`	Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL. ICSEA Flávio Oquendo
2008	—	`conf`	Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL. SOSE Flávio Oquendo
2008	B	`conf`	Representing Service-Oriented Architectural Models Using pi-ADL. ECSA Marcos López Sanz, Zawar Qayyum, Carlos E. Cuesta, Esperanza Marcos, Flávio Oquendo
2008	C	`conf`	The BPMSOA: evaluating the enactment of a business process using application domain specific grid services. iiWAS Zaheer Abbas Khan, Mohammed Odeh, Tony Solomonides, Flávio Oquendo
2008	—	`conf`	p-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions. SBCARS Flávio Oquendo
2007	B	`conf`	An Active Architecture Approach to Dynamic Systems Co-evolution. ECSA Ronald Morrison, Dharini Balasubramaniam, Flávio Oquendo, Brian Warboys, Robert Mark Greenwood
2007	C	`conf`	Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. APSEC Di Wu, Jie Chen, Flávio Oquendo
2007	J	`jnl`	Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. Esperanza Marcos, Carlos E. Cuesta, Flávio Oquendo
2007	B	`ed.`	Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings ECSA Flávio Oquendo
2006	—	`ed.`	1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 4-6 September 2006, Nantes, France CAL Mourad Chabane Oussalah, Flávio Oquendo, Dalila Tamzalit, Tahar Khammaci
2006	J	`jnl`	A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications CoRR David Manset, Hervé Verjus, Richard McClatchey, Flávio Oquendo
2006	—	`conf`	A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications. ICEIS (3) David Manset, Hervé Verjus, Richard McClatchey, Flávio Oquendo
2006	—	`conf`	An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture. ICEIS (3) Frédéric Pourraz, Hervé Verjus, Flávio Oquendo
2006	J	`jnl`	An approach for Multi-Agent metamodelling. Multiagent Grid Syst. Selma Azaiez, Marc-Philippe Huget, Flávio Oquendo
2006	J	`jnl`	Formally modelling software architectures with the UML 2.0 profile for pi-ADL. ACM SIGSOFT Softw. Eng. Notes Flávio Oquendo
2006	—	`conf`	Gestion des architectures évolutives dans ArchWare. CAL Hervé Verjus, Sorana Cîmpan, Ilham Alloui, Flávio Oquendo
2006	—	`conf`	Intelligent Instrument Design With ArchWare ADL. MDB/MOMPES Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo
2006	—	`ed.`	Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers EWSA Volker Gruhn, Flávio Oquendo
2006	—	`conf`	p-Diapason : un langage pour la formalisation des architectures orientées services Web. CAL Frédéric Pourraz, Hervé Verjus, Flávio Oquendo
2006	J	`jnl`	pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. ACM SIGSOFT Softw. Eng. Notes Radu Mateescu, Flávio Oquendo
2006	J	`jnl`	pi-Method: a model-driven formal method for architecture-centric software engineering. ACM SIGSOFT Softw. Eng. Notes Flávio Oquendo
2005	J	`jnl`	A Model-driven Approach for Grid Services Engineering CoRR David Manset, Richard McClatchey, Flávio Oquendo, Hervé Verjus
2005	—	`conf`	Case Study on Architecture-Centered Design for Monitoring Views at CERN. WICSA Olivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo
2005	—	`conf`	Handling Dynamic Behaviour in Software Architectures. EWSA Sorana Cîmpan, Fabien Leymonerie, Flávio Oquendo
2005	—	`conf`	Intelligent Instrument Design With ArchWare ADL. WICSA Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo
2005	—	`ed.`	Software Architecture, 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings EWSA Ronald Morrison, Flávio Oquendo
2004	—	`conf`	ArchWare: Architecting Evolvable Software. EWSA Flávio Oquendo, Brian Warboys, Ronald Morrison, Régis Dindeleux, Ferdinando Gallo, Hubert Garavel, Carmen Occhipinti
2004	—	`conf`	Describing Software-Intensive Process Architectures Using a UML-Based ADL. ICEIS (3) Ilham Alloui, Flávio Oquendo
2004	—	`conf`	Formalization of an HCI Style for Accelerator Restart Monitoring. EWSA Olivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo, Luigi Scibile
2004	J	`jnl`	Formally refining software architectures with pi-ARL: a case study. ACM SIGSOFT Softw. Eng. Notes Flávio Oquendo
2004	—	`ed.`	Software Architecture, First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings EWSA Flávio Oquendo, Brian Warboys, Ronald Morrison
2004	—	`conf`	Support for Evolving Software Architectures in the ArchWare ADL. WICSA Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood
2004	—	`conf`	Towards a Business Process Formalisation Based on an Architecture Centred Approach. ICEIS (3) Fabien Leymonerie, Lionel Blanc Dit Jolicoeur, Sorana Cîmpan, Christian Braesch, Flávio Oquendo
2004	J	`jnl`	pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Softw. Eng. Notes Flávio Oquendo
2004	J	`jnl`	pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures. ACM SIGSOFT Softw. Eng. Notes Flávio Oquendo
2003	—	`conf`	Languages and Mechanisms for Software Processes and Manufacturing Enterprise Processes: Similarities and Differences. ICEIS (3) Selma Arbaoui, Alain Haurat, Flávio Oquendo, Franck Théroude, Hervé Verjus
2003	—	`conf`	Modelling and Generating Business-To-Business Applications Using an Architecture Description Language - Based Approach. ICEIS (3) Ilham Alloui, Karim Megzari, Flávio Oquendo
2003	—	`conf`	Process Support for Evolving Active Architectures. EWSPT 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
2003	—	`ed.`	Software Process Technology, 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings EWSPT Flávio Oquendo
2002	J	`jnl`	A Comparative Review of Process-Centered Software Engineering Environments. Ann. Softw. Eng. Selma Arbaoui, Jean-Claude Derniame, Flávio Oquendo, Hervé Verjus
2002	—	`conf`	Taming Process Deviations by Logic Based Monitoring. ICEIS Ilham Alloui, Sorana Cîmpan, Flávio Oquendo
2001	J	`jnl`	A Software Framework for Software-Intensive Process Modeling, Enactment and fuzzy Control. Trans. SDPS Ilham Alloui, Sorana Cîmpan, Flávio Oquendo, Hervé Verjus
2001	—	`conf`	Monitoring Software Process Interactions: A Logic-Based Approach. EWSPT Ilham Alloui, Sorana Cîmpan, Flávio Oquendo
2001	—	`conf`	Supporting Decentralised Software-Intensive Processes Using ZETA Component-Based Architecture Description Language. ICEIS (1) Ilham Alloui, Flávio Oquendo
2000	—	`conf`	Addressing Decision Making Issues in Enterprise Process Modelling. ICEIS Flávio Oquendo, K. Nadia Papamichail, Ian Robertson
2000	—	`conf`	Advanced Services for Process Evolution: Monitoring and Decision Support. EWSPT Ilham Alloui, Sami Beydeda, Sorana Cîmpan, Volker Gruhn, Flávio Oquendo, Christian Schneider
2000	J	`jnl`	Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. IEE Proc. Softw. Christelle Chaudet, Robert Mark Greenwood, Flávio Oquendo, Brian Warboys
2000	J	`jnl`	OMEGA: a language and system for on-line monitoring of software-intensive processes. ACM SIGSOFT Softw. Eng. Notes Sorana Cîmpan, Flávio Oquendo
2000	—	`conf`	Overcoming Inadequacies in Process Modelling: The Need for Decisioning Be a First-Class Citizen. EWSPT Flávio Oquendo, K. Nadia Papamichail, Ian Robertson
2000	A*	`conf`	pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. ASE Christelle Chaudet, Flávio Oquendo
1999	—	`conf`	ALLIANCE: An Agent-Based Case Environment for Enterprose Process Modelling, Enactment and Quantitative Control. ICEIS Ilham Alloui, Sorana Cîmpan, Flávio Oquendo, Hervé Verjus
1999	—	`conf`	Assessment Framework for PSEEs. Software Process: Principles, Methodology, Technology Pierre-Yves Cunin, Ilham Alloui, Selma Arbaoui, Denis Avrilionis, Christer Fernström, Samir Dami, Jacky Estublier, Flávio Oquendo
1998	—	`conf`	Fuzzy Indicators for Monitoring Software Processes. EWSPT Sorana Cîmpan, Flávio Oquendo
1998	—	`conf`	Managing Consistency in Cooperating Software Processes. EWSPT Ilham Alloui, Flávio Oquendo
1996	—	`conf`	A Multi-Agent Approach for Modelling, Enacting and Evolving Distributed Cooperative Software Processes. EWSPT Ilham Alloui, Safia Latrous, Flávio Oquendo
1996	—	`conf`	A Reflective Multi-agent System for Software Process Enaction and Evolution. PAAM Safia Latrous, Flávio Oquendo
1996	C	`conf`	Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments. SEKE Ilham Alloui, Flávio Oquendo
1996	—	`conf`	Reuse sensitive process models: are process elements software assets too? ISPW Selma Arbaoui, Flávio Oquendo
1996	—	`conf`	Support for environment-mediated human cooperation in large-scale reuse-based projects. ISPW Ilham Alloui, Flávio Oquendo
1994	—	`conf`	Algèbre des objets classes : une algèbre pour les bases de données orientées objet. LMO Selma Mouline, Flávio Oquendo
1994	—	`conf`	Goal Oriented vs. Activity Oriented Process Modelling and Enactment: Issues and Perspectives. EWSPT Selma Arbaoui, Flávio Oquendo
1994	—	`conf`	Process-centered environments: support for human-environment interaction and environment-mediated human cooperation. ISPW Ilham Alloui, Selma Arbaoui, Flávio Oquendo
1993	—	`conf`	Algèbre des Objets Classes: une Algèbre d'Objets Complexes Fondée sur une Approche Méréologique. BDA Selma Mouline, Flávio Oquendo
1993	—	`conf`	Managing Inconsistencies Between Process Enactment and Process Performance States. ISPW Selma Arbaoui, Flávio Oquendo
1992	A	`conf`	A Meta-CASE Environment for Software Process-Centred CASE Environments. CAiSE Flávio Oquendo, Jean-Daniel Zucker, Philip Griffiths
1992	—	`conf`	PEACE: Describing and Managing Evolving Knowledge in the Software Process. EWSPT Selma Arbaoui, Selma Mouline, Flávio Oquendo, Guy Tassart
1992	B	`conf`	Talisman: Un Système Multi-Agents Gouverné Par Des Lois Linguistiques Pour Le Traitement De La Langue Naturelle. COLING Marie-Hélène Stefanini, Alain Berrendonner, Genevieve Lallich, Flávio Oquendo
1992	B	`conf`	Un Systeme Inferentiel Oriente Objet Pour Des Applications En Langues Naturelles. COLING Alain Berrendonner, Mounia Fredj, Flávio Oquendo, Jacques Rouault
1991	—	`conf`	Supporting software process communication and cooperation through object sets. ISPW Flávio Oquendo
1991	B	`conf`	The PCTE+'s OMS, A Software Engineering Distributed Database System for supporting Large-Scale Software Development Environments. DASFAA Flávio Oquendo, Gérard Boudier, Ferdinando Gallo, Régis Minot, Ian Thomas
1990	—	`conf`	Building object and process-centered software environments on the PCTE public tool interface. ISPW Flávio Oquendo
1989	—	`conf`	MASP: A Model for Assisted Software Processes. SEE Amaury Legait, Flávio Oquendo, Dan Oldfield
1989	—	`conf`	Version Management in the PACT Integrated Software Engineering Environment. ESEC Flávio Oquendo, Karima Berrada, Ferdinando Gallo, Régis Minot, Ian Thomas