 | 2009 |
|---|
| 71 |       | 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 |
| 70 | | Flávio Oquendo:
On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL.
ICSOFT (1) 2009: 208-217 |
| 2008 |
|---|
| 69 |  | 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 |
| 68 | | Flávio Oquendo:
Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL.
ICSEA 2008: 352-359 |
| 67 | | Zawar Qayyum,
Flávio Oquendo:
.NET Extensions to the p-architecture Description Languages.
SEKE 2008: 244-249 |
| 66 | | Flávio Oquendo:
Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL.
SOSE 2008: 154-159 |
| 65 | | 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 |
| 2007 |
|---|
| 64 | | Flávio Oquendo:
Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings
Springer 2007 |
| 63 | | 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 |
| 62 | | 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 |
| 61 | | Esperanza Marcos,
Carlos E. Cuesta,
Flávio Oquendo:
Guest Editors' Introduction.
Int. J. Cooperative Inf. Syst. 16(3/4): 333-340 (2007) |
| 2006 |
|---|
| 60 | | Mourad Chabane Oussalah,
Flávio Oquendo,
Dalila Tamzalit,
Tahar Khammaci:
1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 4-6 September 2006, Nantes, France
Hermes Science 2006 |
| 59 | | Volker Gruhn,
Flávio Oquendo:
Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers
Springer 2006 |
| 58 | | 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 |
| 57 | | Hervé Verjus,
Sorana Cîmpan,
Ilham Alloui,
Flávio Oquendo:
Gestion des architectures évolutives dans ArchWare.
CAL 2006: 41-57 |
| 56 | | 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 |
| 55 | | 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 |
| 54 | | 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) |
| 53 | | 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) |
| 52 | | 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) |
| 51 | | 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) |
| 50 | | Selma Azaiez,
Marc-Philippe Huget,
Flávio Oquendo:
An approach for Multi-Agent metamodelling.
Multiagent and Grid Systems 2(4): 435-454 (2006) |
| 2005 |
|---|
| 49 | | Ronald Morrison,
Flávio Oquendo:
Software Architecture, 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings
Springer 2005 |
| 48 | | Sorana Cîmpan,
Fabien Leymonerie,
Flávio Oquendo:
Handling Dynamic Behaviour in Software Architectures.
EWSA 2005: 77-93 |
| 47 | | Olivier Ratcliffe,
Sorana Cîmpan,
Flávio Oquendo:
Case Study on Architecture-Centered Design for Monitoring Views at CERN.
WICSA 2005: 213-214 |
| 46 | | Jérôme Revillard,
Sorana Cîmpan,
Eric Benoit,
Flávio Oquendo:
Intelligent Instrument Design With ArchWare ADL.
WICSA 2005: 249-250 |
| 45 | | David Manset,
Richard McClatchey,
Flávio Oquendo,
Hervé Verjus:
A Model-driven Approach for Grid Services Engineering
CoRR abs/cs/0509066: (2005) |
| 2004 |
|---|
| 44 | | Flávio Oquendo,
Brian Warboys,
Ronald Morrison:
Software Architecture, First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings
Springer 2004 |
| 43 | | Olivier Ratcliffe,
Sorana Cîmpan,
Flávio Oquendo,
Luigi Scibile:
Formalization of an HCI Style for Accelerator Restart Monitoring.
EWSA 2004: 167-181 |
| 42 | | Flávio Oquendo,
Brian Warboys,
Ronald Morrison,
Régis Dindeleux,
Ferdinando Gallo,
Hubert Garavel,
Carmen Occhipinti:
ArchWare: Architecting Evolvable Software.
EWSA 2004: 257-271 |
| 41 | | Ilham Alloui,
Flávio Oquendo:
Describing Software-Intensive Process Architectures Using a UML-Based ADL.
ICEIS (3) 2004: 201-208 |
| 40 | | 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 |
| 39 | | 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 |
| 38 | | 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) |
| 37 | | 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) |
| 36 | | Flávio Oquendo:
Formally refining software architectures with pi-ARL: a case study.
ACM SIGSOFT Software Engineering Notes 29(5): 1-26 (2004) |
| 2003 |
|---|
| 35 | | Flávio Oquendo:
Software Process Technology, 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings
Springer 2003 |
| 34 | | 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 |
| 33 | | 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 |
| 32 | | 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 |
| 2002 |
|---|
| 31 | | Ilham Alloui,
Sorana Cîmpan,
Flávio Oquendo:
Taming Process Deviations by Logic Based Monitoring.
ICEIS 2002: 716-724 |
| 30 | | 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) |
| 2001 |
|---|
| 29 | | Ilham Alloui,
Sorana Cîmpan,
Flávio Oquendo:
Monitoring Software Process Interactions: A Logic-Based Approach.
EWSPT 2001: 39-46 |
| 28 | | Ilham Alloui,
Flávio Oquendo:
Supporting Decentralised Software-Intensive Processes Using ZETA Component-Based Architecture Description Language.
ICEIS (1) 2001: 207-215 |
| 2000 |
|---|
| 27 | | Christelle Chaudet,
Flávio Oquendo:
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems.
ASE 2000: 245-248 |
| 26 | | 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 |
| 25 | | 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 |
| 24 | | Flávio Oquendo,
K. Nadia Papamichail,
Ian Robertson:
Addressing Decision Making Issues in Enterprise Process Modelling.
ICEIS 2000: 333-338 |
| 23 | | 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) |
| 1999 |
|---|
| 22 | | 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 |
| 21 | | 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 |
| 1998 |
|---|
| 20 | | Sorana Cîmpan,
Flávio Oquendo:
Fuzzy Indicators for Monitoring Software Processes.
EWSPT 1998: 43-59 |
| 19 | | Ilham Alloui,
Flávio Oquendo:
Managing Consistency in Cooperating Software Processes.
EWSPT 1998: 92-99 |
| 1996 |
|---|
| 18 | | Ilham Alloui,
Safia Latrous,
Flávio Oquendo:
A Multi-Agent Approach for Modelling, Enacting and Evolving Distributed Cooperative Software Processes.
EWSPT 1996: 225-235 |
| 17 | | Ilham Alloui,
Flávio Oquendo:
Support for environment-mediated human cooperation in large-scale reuse-based projects.
ISPW 1996: 18-20 |
| 16 | | Selma Arbaoui,
Flávio Oquendo:
Reuse sensitive process models: are process elements software assets too?
ISPW 1996: 21-24 |
| 15 | | Ilham Alloui,
Flávio Oquendo:
Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments.
SEKE 1996: 465-473 |
| 1994 |
|---|
| 14 | | Selma Arbaoui,
Flávio Oquendo:
Goal Oriented vs. Activity Oriented Process Modelling and Enactment: Issues and Perspectives.
EWSPT 1994: 171-176 |
| 13 | | Ilham Alloui,
Selma Arbaoui,
Flávio Oquendo:
Process-centered environments: support for human-environment interaction and environment-mediated human cooperation.
ISPW 1994: 110-113 |
| 12 | | 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 |
| 1993 |
|---|
| 11 | | 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 |
| 10 | | Selma Arbaoui,
Flávio Oquendo:
Managing Inconsistencies Between Process Enactment and Process Performance States.
ISPW 1993: 24-27 |
| 1992 |
|---|
| 9 | | Flávio Oquendo,
Jean-Daniel Zucker,
Philip Griffiths:
A Meta-CASE Environment for Software Process-Centred CASE Environments.
CAiSE 1992: 568-588 |
| 8 | | Alain Berrendonner,
Mounia Fredj,
Flávio Oquendo,
Jacques Rouault:
Un Systeme Inferentiel Oriente Objet Pour Des Applications En Langues Naturelles.
COLING 1992: 461-467 |
| 7 | | 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 |
| 6 | | Selma Arbaoui,
Selma Mouline,
Flávio Oquendo,
Guy Tassart:
PEACE: Describing and Managing Evolving Knowledge in the Software Process.
EWSPT 1992: 215-222 |
| 1991 |
|---|
| 5 | | 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 |
| 4 | | Flávio Oquendo:
Supporting software process communication and cooperation through object sets.
ISPW 1991: 102-105 |
| 1990 |
|---|
| 3 | | Flávio Oquendo:
Building object and process-centered software environments on the PCTE public tool interface.
ISPW 1990: 149-154 |
| 1989 |
|---|
| 2 | | 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 |
| 1 | | Amaury Legait,
Flávio Oquendo,
Dan Oldfield:
MASP: A Model for Assisted Software Processes.
SEE 1989: 57-67 |
