Flávio Oquendo

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2013
78Software Components, Architectures and ReuseModeling, Customization and Evaluation. Eduardo Santana de Almeida, Flávio Oquendo. J. UCS (19): 183-185 (2013). Web SearchBibTeXDownload
2012
77Issues of Architectural Description Languages for Handling Dynamic Reconfiguration. Leonardo Minora, Jérémy Buisson, Flávio Oquendo, Thaís Vasconcelos Batista. CoRR (abs/1205.4699) (2012). Web SearchBibTeXDownload
76Architectural description of embedded systems: a systematic review. Milena Guessi, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado. ISARCS 2012, 31-40. Web SearchBibTeXDownload
75Using Architectural Patterns to Define Architectural Decisions. Minh Tu Ton That, Salah Sadou, Flávio Oquendo. WICSA/ECSA 2012, 196-200. Web SearchBibTeXDownload
74RAModel: A Reference Model for Reference Architectures. Elisa Yumi Nakagawa, Flávio Oquendo, Martin Becker. WICSA/ECSA 2012, 297-301. Web SearchBibTeXDownload
2011
73Guest Editors Introduction to the Special Issue. Flávio Oquendo, Eltjo Poort, Judith A. Stafford. Journal of Systems and Software (84): 1423 (2011). Web SearchBibTeXDownload
72Software Components, Architectures and Reuse. Cecília M. F. Rubira, Flávio Oquendo, Ana Paula Terra Bacelo. J. UCS (17): 635-638 (2011). Web SearchBibTeXDownload
2010
71Support 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, R. Mark Greenwood. CoRR (abs/1006.4740) (2010). Web SearchBibTeXDownload
70Constructing 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, R. Mark Greenwood. CoRR (abs/1006.4829) (2010). Web SearchBibTeXDownload
69Negotiation in Heterogeneous Environments. Maruf Pasha, Flávio Oquendo, Hafiz Farooq Ahmad. ITNG 2010, 290-295. Web SearchBibTeXDownload
2009
68Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo. ICAART 2009, 475-482. Web SearchBibTeX
67On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL. Flávio Oquendo. ICSOFT (1) 2009, 208-217. Web SearchBibTeX
66Software Components, Architectures and Reuse. Cecília M. F. Rubira, Flávio Oquendo, Ana Paula Terra Bacelo. J. UCS (15): 2138-2141 (2009). Web SearchBibTeXDownload
2008
65Representing Service-Oriented Architectural Models Using pi-ADL. Marcos López Sanz, Zawar Qayyum, Carlos E. Cuesta, Esperanza Marcos, Flávio Oquendo. ECSA 2008, 273-280. Web SearchBibTeXDownload
64Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL. Flávio Oquendo. ICSEA 2008, 352-359. Web SearchBibTeXDownload
63The 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, 232-239. Web SearchBibTeXDownload
62p-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions. Flávio Oquendo. SBCARS 2008, 52-66. Web SearchBibTeXDownload
61.NET Extensions to the p-architecture Description Languages. Zawar Qayyum, Flávio Oquendo. SEKE 2008, 244-249. Web SearchBibTeX
60Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL. Flávio Oquendo. SOSE 2008, 154-159. Web SearchBibTeXDownload
2007
59Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. Di Wu, Jie Chen, Flávio Oquendo. APSEC 2007, 568. Web SearchBibTeXDownload
58An Active Architecture Approach to Dynamic Systems Co-evolution. Ronald Morrison, Dharini Balasubramaniam, Flávio Oquendo, Brian Warboys, R. Mark Greenwood. ECSA 2007, 2-10. Web SearchBibTeXDownload
57Guest Editors' Introduction. Carolyn McGregor, Anthony Maedel, Laurence Tianruo Yang, Sanjay Goel, Alexander Zelikovsky. Int. J. Cooperative Inf. Syst. (16): 1-5 (2007). Cited by 2Web SearchBibTeXDownload
2006
56pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. Radu Mateescu, Flávio Oquendo. ACM SIGSOFT Software Engineering Notes (31): 1-19 (2006). Web SearchBibTeXDownload
55pi-Method: a model-driven formal method for architecture-centric software engineering. Flávio Oquendo. ACM SIGSOFT Software Engineering Notes (31): 1-13 (2006). Web SearchBibTeXDownload
54Formally modelling software architectures with the UML 2.0 profile for pi-ADL. Flávio Oquendo. ACM SIGSOFT Software Engineering Notes (31): 1-13 (2006). Web SearchBibTeXDownload
53p-Diapason : un langage pour la formalisation des architectures orientées services Web. Frédéric Pourraz, Hervé Verjus, Flávio Oquendo. CAL 2006, 119-127. Web SearchBibTeX
52Gestion des architectures évolutives dans ArchWare. Hervé Verjus, Sorana Cîmpan, Ilham Alloui, Flávio Oquendo. CAL 2006, 41-57. Web SearchBibTeX
51An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture. Frédéric Pourraz, Hervé Verjus, Flávio Oquendo. ICEIS (3) 2006, 234-241. Web SearchBibTeX
50A 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, 322-330. Web SearchBibTeX
49Intelligent Instrument Design With ArchWare ADL. Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo. MDB/MOMPES 2006, 63-74. Web SearchBibTeXDownload
48An approach for Multi-Agent metamodelling. Selma Azaiez, Marc-Philippe Huget, Flávio Oquendo. Multiagent and Grid Systems (2): 435-454 (2006). Web SearchBibTeXDownload
2005
47A Model-driven Approach for Grid Services Engineering. David Manset, Richard McClatchey, Flávio Oquendo, Hervé Verjus. CoRR (abs/cs/0509066) (2005). Web SearchBibTeXDownload
46Handling Dynamic Behaviour in Software Architectures. Sorana Cîmpan, Fabien Leymonerie, Flávio Oquendo. EWSA 2005, 77-93. Web SearchBibTeXDownload
45Case Study on Architecture-Centered Design for Monitoring Views at CERN. Olivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo. WICSA 2005, 213-214. Web SearchBibTeXDownload
44Intelligent Instrument Design With ArchWare ADL. Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo. WICSA 2005, 249-250. Web SearchBibTeXDownload
2004
43Formally refining software architectures with pi-ARL: a case study. Flávio Oquendo. ACM SIGSOFT Software Engineering Notes (29): 1-26 (2004). Web SearchBibTeXDownload
42pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures. Flávio Oquendo. ACM SIGSOFT Software Engineering Notes (29): 1-20 (2004). Web SearchBibTeXDownload
41pi-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 Software Engineering Notes (29): 1-14 (2004). Web SearchBibTeXDownload
40ArchWare: Architecting Evolvable Software. Flávio Oquendo, Brian Warboys, Ronald Morrison, Régis Dindeleux, Ferdinando Gallo, Hubert Garavel, Carmen Occhipinti. EWSA 2004, 257-271. Cited by 53Web SearchBibTeXDownload
39Formalization of an HCI Style for Accelerator Restart Monitoring. Olivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo, Luigi Scibile. EWSA 2004, 167-181. Web SearchBibTeXDownload
38Describing Software-Intensive Process Architectures Using a UML-Based ADL. Ilham Alloui, Flávio Oquendo. ICEIS (3) 2004, 201-208. Web SearchBibTeX
37Towards 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, 513-518. Web SearchBibTeX
36Support 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, R. Mark Greenwood. WICSA 2004, 69-78. Web SearchBibTeXDownload
2003
35Process Support for Evolving Active Architectures. 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. EWSPT 2003, 112-127. Web SearchBibTeXDownload
34Modelling and Generating Business-To-Business Applications Using an Architecture Description Language - Based Approach. Ilham Alloui, Karim Megzari, Flávio Oquendo. ICEIS (3) 2003, 201-210. Web SearchBibTeX
33Languages 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, 474-482. Web SearchBibTeX
2002
32A Comparative Review of Process-Centered Software Engineering Environments. Selma Arbaoui, Jean-Claude Derniame, Flávio Oquendo, Hervé Verjus. Ann. Software Eng. (14): 311-340 (2002). Web SearchBibTeXDownload
31Taming Process Deviations by Logic Based Monitoring. Ilham Alloui, Sorana Cîmpan, Flávio Oquendo. ICEIS 2002, 716-724. Web SearchBibTeX
2001
30Monitoring Software Process Interactions: A Logic-Based Approach. Ilham Alloui, Sorana Cîmpan, Flávio Oquendo. EWSPT 2001, 39-46. Web SearchBibTeXDownload
29Supporting Decentralised Software-Intensive Processes Using ZETA Component-Based Architecture Description Language. Ilham Alloui, Flávio Oquendo. ICEIS (1) 2001, 207-215. Web SearchBibTeX
2000
28OMEGA: a language and system for on-line monitoring of software-intensive processes. Sorana Cîmpan, Flávio Oquendo. ACM SIGSOFT Software Engineering Notes (25): 62-68 (2000). Web SearchBibTeXDownload
27pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. Christelle Chaudet, Flávio Oquendo. ASE 2000, 245-248. Web SearchBibTeXDownload
26Overcoming Inadequacies in Process Modelling: The Need for Decisioning Be a First-Class Citizen. Flávio Oquendo, K. Nadia Papamichail, Ian Robertson. EWSPT 2000, 84-89. Web SearchBibTeXDownload
25Advanced Services for Process Evolution: Monitoring and Decision Support. Ilham Alloui, Sami Beydeda, Sorana Cîmpan, Volker Gruhn, Flávio Oquendo, Christian Schneider. EWSPT 2000, 21-37. Web SearchBibTeXDownload
24Addressing Decision Making Issues in Enterprise Process Modelling. Flávio Oquendo, K. Nadia Papamichail, Ian Robertson. ICEIS 2000, 333-338. Web SearchBibTeX
23Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. Christelle Chaudet, R. Mark Greenwood, Flávio Oquendo, Brian Warboys. IEE Proceedings - Software (147): 203-214 (2000). Web SearchBibTeX
1999
22ALLIANCE: 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, 371-382. Web SearchBibTeX
21Assessment 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, 245-276. Web SearchBibTeXDownload
1998
20Managing Consistency in Cooperating Software Processes. Ilham Alloui, Flávio Oquendo. EWSPT 1998, 92-99. Web SearchBibTeXDownload
19Fuzzy Indicators for Monitoring Software Processes. Sorana Cîmpan, Flávio Oquendo. EWSPT 1998, 43-59. Web SearchBibTeXDownload
1996
18A Multi-Agent Approach for Modelling, Enacting and Evolving Distributed Cooperative Software Processes. Ilham Alloui, Safia Latrous, Flávio Oquendo. EWSPT 1996, 225-235. Web SearchBibTeXDownload
17Reuse sensitive process models: are process elements software assets too?. Selma Arbaoui, Flávio Oquendo. ISPW 1996, 21-24. Web SearchBibTeXDownload
16Support for environment-mediated human cooperation in large-scale reuse-based projects. Ilham Alloui, Flávio Oquendo. ISPW 1996, 18-20. Web SearchBibTeXDownload
15Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments. Ilham Alloui, Flávio Oquendo. SEKE 1996, 465-473. Web SearchBibTeX
1994
14Goal Oriented vs. Activity Oriented Process Modelling and Enactment: Issues and Perspectives. Selma Arbaoui, Flávio Oquendo. EWSPT 1994, 171-176. Web SearchBibTeXDownload
13Process-centered environments: support for human-environment interaction and environment-mediated human cooperation. Ilham Alloui, Selma Arbaoui, Flávio Oquendo. ISPW 1994, 110-113. Web SearchBibTeX
12Algèbre des objets classes : une algèbre pour les bases de données orientées objet. Selma Mouline, Flávio Oquendo. LMO 1994, 25-38. Web SearchBibTeX
1993
11Algè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, 355-378. Web SearchBibTeX
10Managing Inconsistencies Between Process Enactment and Process Performance States. Selma Arbaoui, Flávio Oquendo. ISPW 1993, 24-27. Web SearchBibTeX
1992
9A Meta-CASE Environment for Software Process-Centred CASE Environments. Flávio Oquendo, Jean-Daniel Zucker, Philip Griffiths. CAiSE 1992, 568-588. Web SearchBibTeXDownload
8Talisman: 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, 490-497. Web SearchBibTeXDownload
7Un Systeme Inferentiel Oriente Objet Pour Des Applications En Langues Naturelles. Alain Berrendonner, Mounia Fredj, Flávio Oquendo, Jacques Rouault. COLING 1992, 461-467. Web SearchBibTeXDownload
6PEACE: Describing and Managing Evolving Knowledge in the Software Process. Selma Arbaoui, Selma Mouline, Flávio Oquendo, Guy Tassart. EWSPT 1992, 215-222. Web SearchBibTeXDownload
1991
5The 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, 41-50. Web SearchBibTeX
4Supporting software process communication and cooperation through object sets. Flávio Oquendo. ISPW 1991, 102-105. Web SearchBibTeX
1990
3Building object and process-centered software environments on the PCTE public tool interface. Flávio Oquendo. ISPW 1990, 149-154. Web SearchBibTeX
1989
2Version Management in the PACT Integrated Software Engineering Environment. Flávio Oquendo, Karima Berrada, Ferdinando Gallo, Régis Minot, Ian Thomas. ESEC 1989, 222-242. Cited by 15Web SearchBibTeX
1MASP: A Model for Assisted Software Processes. Amaury Legait, Flávio Oquendo, Dan Oldfield. SEE 1989, 57-67. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research