dblp.uni-trier.dewww.uni-trier.de

Flávio Oquendo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
69EEMarcos 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
68EEFlá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
66EEFlávio Oquendo: Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL. SOSE 2008: 154-159
65EEZaheer 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
63EEDi Wu, Jie Chen, Flávio Oquendo: Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. APSEC 2007: 568
62EERonald Morrison, Dharini Balasubramaniam, Flávio Oquendo, Brian Warboys, R. Mark Greenwood: An Active Architecture Approach to Dynamic Systems Co-evolution. ECSA 2007: 2-10
61EEEsperanza 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
54EEFlá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)
53EERadu 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)
52EEFlávio Oquendo: pi-Method: a model-driven formal method for architecture-centric software engineering. ACM SIGSOFT Software Engineering Notes 31(3): 1-13 (2006)
51EEDavid 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)
50EESelma 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
48EESorana Cîmpan, Fabien Leymonerie, Flávio Oquendo: Handling Dynamic Behaviour in Software Architectures. EWSA 2005: 77-93
47EEOlivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo: Case Study on Architecture-Centered Design for Monitoring Views at CERN. WICSA 2005: 213-214
46EEJérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo: Intelligent Instrument Design With ArchWare ADL. WICSA 2005: 249-250
45EEDavid 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
43EEOlivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo, Luigi Scibile: Formalization of an HCI Style for Accelerator Restart Monitoring. EWSA 2004: 167-181
42EEFlá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
39EERonald 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
38EEFlá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)
37EEFlá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)
36EEFlá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
34EER. 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
29EEIlham 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
27EEChristelle 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
21EEPierre-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
17EEIlham Alloui, Flávio Oquendo: Support for environment-mediated human cooperation in large-scale reuse-based projects. ISPW 1996: 18-20
16EESelma 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
9EEFlávio Oquendo, Jean-Daniel Zucker, Philip Griffiths: A Meta-CASE Environment for Software Process-Centred CASE Environments. CAiSE 1992: 568-588
8EEAlain Berrendonner, Mounia Fredj, Flávio Oquendo, Jacques Rouault: Un Systeme Inferentiel Oriente Objet Pour Des Applications En Langues Naturelles. COLING 1992: 461-467
7EEMarie-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
5EEFlá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
1EEAmaury Legait, Flávio Oquendo, Dan Oldfield: MASP: A Model for Assisted Software Processes. SEE 1989: 57-67

Coauthor Index

1Nadeem Akhtar [71]
2Ilham Alloui [13] [15] [17] [18] [19] [21] [22] [26] [28] [29] [31] [33] [41] [57]
3Selma Arbaoui [6] [10] [13] [14] [16] [21] [30] [32]
4Denis Avrilionis [21]
5Selma Azaiez [50]
6Dharini Balasubramaniam [34] [39] [62]
7Eric Benoit [46]
8Karima Berrada [2]
9Alain Berrendonner [7] [8]
10Sami Beydeda [26]
11Gérard Boudier [5]
12Christian Braesch [40]
13Christelle Chaudet [23] [27]
14Jie Chen [63]
15Sorana Cîmpan [20] [22] [26] [29] [31] [34] [39] [40] [43] [46] [47] [48] [57]
16Carlos E. Cuesta (Carlos Enrique Cuesta Quintero) [61] [69]
17Pierre-Yves Cunin [21]
18Samir Dami [21]
19Jean-Claude Derniame [30]
20Régis Dindeleux [42]
21Jacky Estublier [21]
22Christer Fernström [21]
23Mounia Fredj [8]
24Ferdinando Gallo [2] [5] [42]
25Hubert Garavel [42]
26R. Mark Greenwood [23] [34] [39] [62]
27Philip Griffiths [9]
28Volker Gruhn [26] [59]
29Yann Le Guyadec [71]
30Alain Haurat [32]
31Marc-Philippe Huget [50]
32Lionel Blanc Dit Jolicoeur [40]
33Tahar Khammaci [60]
34Zaheer Abbas Khan [65]
35Graham N. C. Kirby [34] [39]
36Genevieve Lallich [7]
37Safia Latrous [18]
38Amaury Legait [1]
39Fabien Leymonerie [40] [48]
40David Manset [45] [51] [55]
41Esperanza Marcos (Esperanza Marcos Martínez) [61] [69]
42Radu Mateescu [53]
43Richard McClatchey [45] [51] [55]
44Karim Megzari [33]
45Kath Mickan [34] [39]
46Régis Minot [2] [5]
47Ronald Morrison [34] [39] [42] [44] [49] [62]
48Selma Mouline [6] [11] [12]
49Carmen Occhipinti [42]
50Mohammed Odeh [65]
51Dan Oldfield [1]
52Mourad Chabane Oussalah (Chabane Oussalah, Mourad Oussalah) [60]
53K. Nadia Papamichail [24] [25]
54Frédéric Pourraz [56] [58]
55Zawar Qayyum [67] [69]
56Olivier Ratcliffe [43] [47]
57Jérôme Revillard [46]
58Ian Robertson [24] [25] [34]
59Jacques Rouault [8]
60Marcos López Sanz [69]
61Christian Schneider [26]
62Luigi Scibile [43]
63Wykeen Seet [34]
64Bob Snowdon [34] [39]
65Tony Solomonides [65]
66Marie-Hélène Stefanini [7]
67Dalila Tamzalit [60]
68Guy Tassart [6]
69Franck Théroude [32]
70Ian Thomas [2] [5]
71Hervé Verjus [22] [30] [32] [45] [51] [55] [56] [57] [58]
72Brian Warboys [23] [34] [39] [42] [44] [62]
73Di Wu [63]
74Evangelos Zirintsis [34]
75Jean-Daniel Zucker [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)