Refereed Articles in International Journals

  1. S. Arbaoui, J.-C. Derniame, F. Oquendo and H. Verjus, A Comparative Review of Process-Centered Software Engineering Environments, In Annals of Software Engineering (ASE), Volume 14, pp. 311-340, 2002
  2. I. Alloui, S. Cimpan, H. Verjus and F. Oquendo, Alliance: A Software Framework for Software-Intensive Process Modeling, Enactment and Fuzzy Control, In SDPS Transactions: Journal of Integrated Design and Process Science, Volume 5, pp. 39-53, 2001

Refereed Articles in International Conferences

  1. H. Verjus and F. Pourraz, Diapason: A Formal Approach For Supporting Agile And Evolvable Information System Service-Based Architectures, In Proceedings of the 10th International Conference on Enterprise Information Systems (ICEIS'08), Barcelona, Spain, June, Volume ISAS-2, pp. 76-81, 2008
  2. I. Alloui, S. Cimpan and H. Verjus, Towards Software Architecture Physiology: Identifying Vital Components, In Proceedings of the 7th Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), Vancouver, Canada, February, pp. 293-296, 2008, PDF
  3. H. Verjus and F. Pourraz, A Formal Framework For Building, Checking And Evolving Service Oriented Architectures, In IEEE European Conference on Web Services (ECOWS 2007), Halle, Germany, November, IEEE Computer Society, pp. 245-254, 2007, PDF
  4. F. Pourraz and H. Verjus, Diapason: an Engineering Environment for Designing, Enacting and Evolving Service-Oriented Architectures, In International Conference on Software Engineering Advances (ICSEA 2007), France, August, IEEE Computer Society, pp. 23-30, 2007, PDF
  5. Damien Pollet, Stéphane Ducasse, Loïc Poyet, Ilham Alloui, Sorana Cîmpan and Hervé Verjus, Towards A Process-Oriented Software Architecture Reconstruction Taxonomy, In Proceedings of 11th European Conference on Software Maintenance and Reengineering (CSMR'07), Ed. René Krikhaar, Chris Verhoef and Giuseppe Di Lucca, March, IEEE Computer Society, 2007, Best Paper Award, PDF
  6. D. Manset, H. Verjus and R. McClatchey, Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations, In European Conference on Software Architecture (ECSA 2007), Madrid, Spain, September, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, pp. 308-312, 2007, PDF
  7. Sorana Cîmpan, Hervé Verjus and Ilham Alloui, Dynamic architecture based evolution of enterprise information systems, In International Conference on Enterprise Information Systems (ICEIS'07), Madeira, Portugal, June, pp. 221-229, 2007, PDF
  8. F. Pourraz, H. Verjus and F. Oquendo, An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture, In Eighth International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, May, pp. 234-241, 2006, PDF
  9. D. Manset, H. Verjus, R. McClatchey and F. Oquendo, A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications, In Eighth International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, May, pp. 322-330, 2006, PDF
  10. H. Verjus, K. Mansouri and M. Khireddine, Using An Architecture-Centric Approach For Fomalizing And Deploying Services Oriented Architecture, In International Informatics Congress, Eskisehir, Turkey, June, pp. 129-139, 2005, PDF
  11. D. Manset, H. Verjus, R. McClatchey and F. Oquendo, A Model-Driven Approach for Grid Services Engineering, In 18th International Conference of Software & System, Paris, France, November, Volume 1, pp. 135-142, 2005, PDF
  12. H. Verjus, K. Mansouri and M. Khireddine, From Architectural Styles to Services Oriented Architecture: A First Attempt in Designing and Builging COTS-based Systems, In International Arab Conference on Information Technology (ACIT'2004), Constantine, Algeria, December, Volume 2, pp. 660-661, 2004, PDF
  13. F. Pourraz, S. Cimpan and H. Verjus, Pattern-based approach for animating software architectures, In 16th International Conference on Software & Systems Engineering and their Apllications (ICSSEA 2003), Paris, France, December, Volume Late papers, pp. 1-9, 2003
  14. S. Cimpan, H. Verjus and F. Oquendo, COTS-based System Design using Software Architectural Styles, In Integrated Design & Process Technology (Special Topic Session Formal Reasoning on Software Components and Component-based Software Architectures), Austin, USA, December, pp. 127-134, 2003
  15. S. Arbaoui, A. Haurat, F. Oquendo, F. Theroude and H. Verjus, Languages and Mechanisms for Software Processes and Manufacturing Enterprise Processes: Similarities and Differences, In Fifth International Conference on Enterprise Information Systems (ICEIS'03), Angers, France, April, Volume III, pp. 474-482, 2003
  16. H. Verjus, S. Cimpan and D. Telisson, Formalising COTS-based federations using software architectural styles, In 15th International Conference on Software & Systems Engineering and their Applications (ICSSEA'02), Paris, France, December, Volume 2, pp. 1-8, 2002
  17. J. Estublier, H. Verjus and P.-Y. Cunin, Building Software Federations, In Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'01), Las Vegas, USA, June, Volume I, pp. 141-146, 2001
  18. J. Estublier, H. Verjus and P.-Y. Cunin, Modelling and Managing Software Federations, In 8th European Software Engineering Conference (ESEC / SIGSOFT FSE 2001), Wien, Austria, September, pp. 299-300, 2001
  19. J. Estublier, H. Verjus and P.-Y. Cunin, Designing and Building Software Federations, In 1st Conference on Component Based Software Engineering (CBSE - EUROMICRO 2001), Varsaw, Poland, September, pp. 121-129, 2001
  20. I. Alloui, S. Cimpan, F. Oquendo and H. Verjus, Alliance: A Software Framework for Software-intensive Process Modeling, Enactment and Fuzzy Control, In 4th World Conference on Integrated Design & Process Technology (IDPT'2000), Dallas, USA, June, pp. 1-12, 2000
  21. I. Alloui, S. Cimpan, F. Oquendo and H. Verjus, A Fuzzy Sets Based Mechanism Allowing the Tuning of Software Intensive Processes Control Systems via Multiple Simulations, In AMSE Int. Conf. on Modelling and Simulation (MS'99), Santiago de Compostela, Spain, June, Volume 1, pp. 11-21, 1999
  22. I. Alloui, S. Cimpan, F. Oquendo and H. Verjus, Software Agents for Bringing Cooperating Software-Intensive Processes under Quantitative Control using Fuzzy Sets, In Many Facets of Process Engineering (MFPE'99), Tunis, Tunisia, May, pp. 1-12, 1999
  23. I. Alloui, S. Cimpan, F. Oquendo and H. Verjus, Tuning a Fuzzy Control System for Software Intensive Processes via Simulations, In IASTED Int. Conf. on Modelling and Simulation (ICMS'99), Philadelphia, USA, May, pp. 484-490, 1999
  24. I. Alloui, S. Cimpan, F. Oquendo and H. Verjus, Alliance: An Agent-Based CASE Environment for Enterprise Process Modelling, Enactment and Quantitative Control, In 1st International Conference on Enterprise Information Systems (ICEIS'99), Setubal, Portugal, March, pp. 371-382, 1999
  25. H. Verjus and F. Oquendo, Fédérations d'environnements centrés processus logiciels: une approche basée composants, In 11th International Conference on Software Engineering and its Applications (ICSEA'98), Paris, France, December, Volume 3, pp. 99-110, 1998

Refereed Articles in National Conferences

  1. H. Verjus, S. Cimpan, I. Alloui and F. Oquendo, Gestion des architectures évolutives dans ArchWare, In 1ère Conférence francophone sur les Architectures Logicielles (CAL 2006), Nantes, September, pp. 41-57, 2006, PDF
  2. F. Pourraz and H. Verjus, π-Diapason: un langage pour la formalisation des architectures orientées services web, In 1ère Conférence francophone sur les Architectures Logicielles (CAL 2006), Nantes, September, pp. 119-127, 2006, PDF

Refereed Articles in Books

  1. F. Pourraz and H. Verjus, Managing Service-Based EAI Architectures Evolution Using a Formal Architecture-Centric Approach, Springer Berlin Heidelberg, pp. 269-280, 2008, DOI
  2. I. Alloui, S. Cimpan, F. Oquendo and H. Verjus, Alliance: An Agent-Based CASE Environment for Enterprise Process Modelling, Enactment and Quantitative Control, Kluwer, pp. 51-62, 2000

Workshop Papers

  1. S. Cimpan and H. Verjus, Challenges in Architecture Centred Software Evolution, In CHASE: Challenges in Software Evolution, Bern, Switzerland, April, pp. 1-4, 2005, PDF
  2. S. Azaiez, F. Pourraz, H. Verjus and F. Oquendo, Validation By Animation : Animating Software Architectures Based On pi-calculus, In Workshop on Systems Testing and Validation (SV04), Paris, France, December, Volume 2, pp. 93-103, 2004
  3. G. Cugola, P.-Y. Cunin, S. Dami, E. Estublier, A. Fuggetta, F. Pacull, M. Rivière and H. Verjus, Support for Software Federations: The PIE Platform, In 7th European Workshop on Software Process Technology (EWSPT'2000), Kaprun, Austria, February, Lecture Notes In Computer Science, Volume 1780, pp. 38-53, 2000
  4. G. Cugola, P.-Y. Cunin, S. Dami, J. Estublier, A. Fuggetta, F. Pacull, M. Rivière and H. Verjus, Customizing the Behavior of Middleware: the PIE Approach, In Workshop on Reflective Middleware (RM'00), New York, USA, April, 2000
  5. T. Bolusset, F. Oquendo and H. Verjus, Software Component-based Federation Architectures Are Software Architectures Too, In Int. Process Technology Workshop (IPTW'99), Villard de Lans, France, September, pp. 50-55, 1999
  6. Vers une Fédération d'Environnements Centrés Processus, In Troisième Journées Jeunes Doctorants en Systèmes d'Information, Archamps, France, March, pp. 45-61, 1998

PhD thesis

  1. Conception et construction de fédérations de progiciels, Ph.D. Thesis, University of Savoie, 2001, HTML

Projects Deliverables

  1. H. Verjus and F. Pourraz, WebWare : Langages et outils pour les architectures orientées services Web : l'ubiquité dans l'Internet de 3ème génération au service de l'intégration des applications d'entreprises en réseau, University of Savoie - LISTIC, Number 04/04, 2004
  2. F. Pourraz, H. Verjus, S. Azaiez, F. Oquendo and Cesare Zavattari, Final ArchWare Architecture Animator - Release 2, ArchWare Consortium, Number D2.2b-R2, October, 2004
  3. H. Verjus and F. Oquendo, Final XML ArchWare style-based ADL (ArchWare AXL), ArchWare Consortium, Number D1.3b, June, 2003
  4. H. Verjus, S. Cimpan, F. Pourraz, F. Oquendo, F. Wankerl and F. Theroude, Preliminary ArchWare Architecture Animator, ArchWare Consortium, Number D2.2a, June, 2003
  5. H. Verjus and F. Oquendo, Preliminary XML ArchWare style-based ADL (ArchWare AXL), ArchWare Consortium, Number D1.3a, January, 2003
  6. S. Cimpan, F. Leymonerie, F. Oquendo and H. Verjus, Preliminary ArchWare Architecture Analysis Tool by Model-Specific Evaluation, ArchWare Consortium, Number D3.7a, 2003
  7. S. Cimpan, H. Verjus, F. Oquendo and F. Leymonerie, Formalism for Model Specific Evaluation, ArchWare Consortium, Number D3.4, 2003
  8. S. Azaiez, F. Pourraz, H. Verjus and F. Oquendo, Final ArchWare Architecture Animator - Release 1, ArchWare Consortium, Number D2.2b-R1, December, 2003
  9. F. Oquendo, I. Alloui, S. Cimpan and H. Verjus, The ArchWare ADL: Definition of the Abstract Syntax and Formal Semantics, ArchWare Consortium, Number D1.1b, 2002
  10. J. Estublier and H. Verjus, Definition and design of PSS elements to support evolution of heterogeneous distributed and mobile processes in the PIE system, PIE consortium, Number D2.06, 2001
  11. H. Verjus, F. Oquendo and C. Chevenier, Etat de l'art sur l'échange de données informatisées: concepts, mécanismes, travaux et tendances sur l'interopérabilité, Electricité de France - EDF R&D, Number L3.2, 2000
  12. G. Cugola, P.-Y. Cunin, J. Estublier, A. Fuggetta, F. Pacull, M. Rivière and H. Verjus, Concepts and paradigms for the design of evolving distributed and mobile processes, PIE consortium, Number D2.04, 2000
  13. M. Becchi, G. Cugola, P.-Y. Cunin, J. Estublier, A. Fuggetta, F. Pacull, M. Rivière and H. Verjus, Architecture approach and formalization, PIE consortium, Number D2.05, 2000
  14. J. Estublier and H. Verjus, Definition of the behaviour paradigms of a heterogeneous federation of evolving process components, PIE consortium, Number D2.01, 1999
  15. G. Cugola, P.-Y. Cunin, J. Estublier, A. Fuggetta, F. Pacull, M. Rivière and H. Verjus, Concepts and paradigms for the design of evolving, distributed and mobile processes, PIE consortium, Number D2.03, 1999
  16. H. Verjus and S. Cimpan, Technical Description of the Monitoring and Decision Support PIE Component Prototypes, PIE consortium, Number MS-DPRO \& DS-DPRO, 1998
  17. S. Cimpan and H. Verjus, Requirements and approach for decision support and interfaces definitions, PIE consortium, Number DS-DDOC, 1998
  18. S. Cimpan and H. Verjus, Requirements and approach for monitoring support and interfaces definitions, PIE consortium, Number MS-DDOC, 1998

Technical Reports

  1. H. Verjus and F. Pourraz, Maintaining and Evolving Service Oriented Architectures Using a π-calculus Based Approach, University of Savoie - LISTIC, Number LISTIC No 07/04, June, 2007, PDF
  2. Nimrod: A Software Architecture-Centric Engineering Environment - Revision 2 - Nimrod Release 1.4.3, University of Savoie - LISTIC, Number LISTIC No 07/03, June, 2007, PDF
  3. F. Pourraz and H. Verjus, π-Diapason: A π-calculus Based Formal Language For Expressing Evolvable Web Services Orchestrations, University of Savoie - LISTIC, Number LISTIC 07/06, November, 2007, PDF
  4. D. Manset and H. Verjus, A Formal Model-Driven Approach for Grid Application Architectures, University of Savoie - LISTIC, Number LISTIC No 07/02, April, 2007, PDF
  5. S. Cimpan, H. Verjus and I. Alloui, Gestion de l'évolution dans une approche d'ingénierie logicielle centrée architecture, University of Savoie - LISTIC, Number LISTIC No 07/01, January, 2007, PDF
  6. I. Alloui, H. Verjus, S. Cimpan, S. Ducasse and D. Pollet, When and how architectural property analysis enhances software evolution support, University of Savoie, Number LISTIC No 07/07, 2007
  7. Nimrod: A Software Architecture Engineering Environment, University of Savoie - LISTIC, Number LISTIC No 06/03, December, 2006
  8. Interopérabilité: état de l'art, mécanismes, travaux et orientations, University of Savoie - LLP, Number 0000601, 1998

BibTex Files of the Publications

BibTex File