Flávio Oquendo

Eduardo Santana de Almeida, Flávio Oquendo: Software Components, Architectures and ReuseModeling, Customization and Evaluation. J. UCS 19(2): 183-185 (2013)

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

Minh Tu Ton That, Salah Sadou, Flávio Oquendo: Using Architectural Patterns to Define Architectural Decisions. WICSA/ECSA 2012: 196-200

Elisa Yumi Nakagawa, Flávio Oquendo, Martin Becker: RAModel: A Reference Model for Reference Architectures. WICSA/ECSA 2012: 297-301

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

Flávio Oquendo, Eltjo Poort, Judith A. Stafford: Guest Editors Introduction to the Special Issue. Journal of Systems and Software 84(9): 1423 (2011)

Paulo F. Pires, Flávio Oquendo, Ana Paula Terra Bacelo: Software Components, Architectures and Reuse. J. UCS 17(5): 635-638 (2011)

Maruf Pasha, Flávio Oquendo, Hafiz Farooq Ahmad: Negotiation in Heterogeneous Environments. ITNG 2010: 290-295

Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, R. Mark Greenwood: Support for Evolving Software Architectures in the ArchWare ADL. CoRR abs/1006.4740 (2010)

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

Cládia Werner, Flávio Oquendo: Software Components, Architectures and Reuse. J. UCS 15(11): 2138-2141 (2009)

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

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

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

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

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

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

Zawar Qayyum, Flávio Oquendo: .NET Extensions to the p-architecture Description Languages. SEKE 2008: 244-249

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

Esperanza Marcos, Carlos E. Cuesta, Flávio Oquendo: Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 16(3/4): 333-340 (2007)

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

Ronald Morrison, Dharini Balasubramaniam, Flávio Oquendo, Brian Warboys, R. Mark Greenwood: An Active Architecture Approach to Dynamic Systems Co-evolution. ECSA 2007: 2-10

Flávio Oquendo (Ed.): Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings. Lecture Notes in Computer Science 4758, Springer 2007, isbn 978-3-540-75131-1

Selma Azaiez, Marc-Philippe Huget, Flávio Oquendo: An approach for Multi-Agent metamodelling. Multiagent and Grid Systems 2(4): 435-454 (2006)

Flávio Oquendo: Formally modelling software architectures with the UML 2.0 profile for pi-ADL. ACM SIGSOFT Software Engineering Notes 31(1): 1-13 (2006)

Radu Mateescu, Flávio Oquendo: pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. ACM SIGSOFT Software Engineering Notes 31(2): 1-19 (2006)

Flávio Oquendo: pi-Method: a model-driven formal method for architecture-centric software engineering. ACM SIGSOFT Software Engineering Notes 31(3): 1-13 (2006)

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

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

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

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

Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo: Intelligent Instrument Design With ArchWare ADL. MDB/MOMPES 2006: 63-74

Mourad Chabane Oussalah, Flávio Oquendo, Dalila Tamzalit, Tahar Khammaci (Eds.): 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 4-6 September 2006, Nantes, France. Hermes Science 2006

Volker Gruhn, Flávio Oquendo (Eds.): Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4344, Springer 2006, isbn 3-540-69271-1

David Manset, Hervé Verjus, Richard McClatchey, Flávio Oquendo: A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications. CoRR abs/cs/0601118 (2006)

Sorana Cîmpan, Fabien Leymonerie, Flávio Oquendo: Handling Dynamic Behaviour in Software Architectures. EWSA 2005: 77-93

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

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

Ronald Morrison, Flávio Oquendo (Eds.): Software Architecture, 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings. Lecture Notes in Computer Science 3527, Springer 2005, isbn 3-540-26275-X

David Manset, Richard McClatchey, Flávio Oquendo, Hervé Verjus: A Model-driven Approach for Grid Services Engineering. CoRR abs/cs/0509066 (2005)

Flávio Oquendo: pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Software Engineering Notes 29(3): 1-14 (2004)

Flávio Oquendo: Formally refining software architectures with pi-ARL: a case study. ACM SIGSOFT Software Engineering Notes 29(5): 1-26 (2004)

Flávio Oquendo: pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures. ACM SIGSOFT Software Engineering Notes 29(5): 1-20 (2004)

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

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

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

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

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

Flávio Oquendo, Brian Warboys, Ronald Morrison (Eds.): Software Architecture, First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings. Lecture Notes in Computer Science 3047, Springer 2004, isbn 3-540-22000-3

R. 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: Process Support for Evolving Active Architectures. EWSPT 2003: 112-127

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

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

Flávio Oquendo (Ed.): Software Process Technology, 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings. Lecture Notes in Computer Science 2786, Springer 2003, isbn 3-540-40764-2

Selma Arbaoui, Jean-Claude Derniame, Flávio Oquendo, Hervé Verjus: A Comparative Review of Process-Centered Software Engineering Environments. Ann. Software Eng. 14(1-4): 311-340 (2002)

Ilham Alloui, Sorana Cîmpan, Flávio Oquendo: Taming Process Deviations by Logic Based Monitoring. ICEIS 2002: 716-724

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

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

Christelle Chaudet, R. Mark Greenwood, Flávio Oquendo, Brian Warboys: Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. IEE Proceedings - Software 147(6): 203-214 (2000)

Sorana Cîmpan, Flávio Oquendo: OMEGA: a language and system for on-line monitoring of software-intensive processes. ACM SIGSOFT Software Engineering Notes 25(4): 62-68 (2000)

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

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

Flávio Oquendo, K. Nadia Papamichail, Ian Robertson: Addressing Decision Making Issues in Enterprise Process Modelling. ICEIS 2000: 333-338

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

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

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

Sorana Cîmpan, Flávio Oquendo: Fuzzy Indicators for Monitoring Software Processes. EWSPT 1998: 43-59

Ilham Alloui, Flávio Oquendo: Managing Consistency in Cooperating Software Processes. EWSPT 1998: 92-99

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

Ilham Alloui, Flávio Oquendo: Support for environment-mediated human cooperation in large-scale reuse-based projects. ISPW 1996: 18-20

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

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

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

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

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

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

Selma Arbaoui, Flávio Oquendo: Managing Inconsistencies Between Process Enactment and Process Performance States. ISPW 1993: 24-27

Flávio Oquendo, Jean-Daniel Zucker, Philip Griffiths: A Meta-CASE Environment for Software Process-Centred CASE Environments. CAiSE 1992: 568-588

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

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

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

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

Flávio Oquendo: Supporting software process communication and cooperation through object sets. ISPW 1991: 102-105

Flávio Oquendo: Building object and process-centered software environments on the PCTE public tool interface. ISPW 1990: 149-154

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

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