Refereed Articles in Journals

  1. Hervé Verjus and Frédéric Pourraz, Une Architecture pour l'Ingénierie des Systèmes d'Information à base de Services, In Journal I3 : Information - Interaction - Intelligence, January, Volume 10, pp. 37-66, 2011, Web directory
  2. Sorana Cîmpan, Hervé Verjus and Ilham Alloui, Approche centrée architecture pour l'évolution dynamique de systèmes d'information, In Technique et Science Informatiques - RSTI-TSI, Volume 28, pp. 571-609, 2009, Web directory
  3. 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
  4. I. Alloui, S. Cîmpan, 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. Safa Hachani, Lilia Gzara and Hervé Verjus, Support of Business Processes Flexibility in PLM Systems Using a Services-based Approach, In IESM 2011 - International Conference on Industrial Engineering and Systems Management, Metz, France, May, pp. CDROM, 9 pages, 2011, Web directory
  2. Safa Hachani, Lilia Gzara and Hervé Verjus, An SOA Based Approach to Improve Business Processes Flexibility in PLM, In Proceedings of Technological Innovation for Sustainability - Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February, IFIP, Volume 349, Springer, pp. 67-74, 2011, Web directory
  3. Safa Hachani, Lilia Gzara and Hervé Verjus, Business Process Flexibility in Service Composition: An Experiment Using a PLM-Based Scenario, In Exploring Services Science - Second International Conference, IESS 2011, Ed. Mehdi Snene, Jolita Ralyté and Jean-Henry Morin, Geneva, Switzerland, Lecture Notes in Business Information Processing, Volume 82, Springer, pp. 158-172, 2011, Web directory
  4. Nabil Fakhfakh, Hervé Verjus and Frédéric Pourraz, Multi-Criteria Decision Making Method for Quality of Service Aggregation, In Proceedings of the Fifteenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2011), "The Enterprise Computing Conference", Helsinki, Finland, August, IEEE Computer Society, Conference Publishing Services (CPS), pp. 203-212, 2011, Web directory
  5. Nabil Fakhfakh, Frédéric Pourraz and Hervé Verjus, Quality Of Service Aggregation In E-Business Applications, In Proceedings of the 8th Join Conference on e-Business and Telecommunications (ICETE 2011) - ICE-B 2011 – 8th International Conference on e-Business, Seville, Spain, July, SciTePress, pp. 100-110, 2011, Web directory
  6. Nabil Fakhfakh, Hervé Verjus, Frédéric Pourraz and Patrice Moreaux, Measuring The Satisfaction Degree Of Quality Attributes Requirements For Services Orchestrations, In Proceedings of the Fourth International Conference on Communication Theory, Reliability, and Quality of Service (CTRQ 2011), Budapest, Hungary, April, pp. 89-94, 2011, Web directory
  7. Nabil Fakhfakh, Hervé Verjus and Frédéric Pourraz, QoS Aggregation in Service Orchestrations Based on The Choquet Integral, In Proceeding of the 8th IEEE International Conference on e-Business Engineering (ICEBE 2011)., 2011 (to appear)
  8. Hervé Verjus, Sorana Cîmpan, Azadeh Razavizadeh and Stéphane Ducasse, BeeEye: A Framework for Constructing Architectural Views, In Software Architecture, Ed. Muhammad Babar and Ian Gorton, Springer Berlin / Heidelberg, pp. 376-383, 2010, Web link
  9. Azadeh Razavizadeh, Sorana Cîmpan, Hervé Verjus and Stéphane Ducasse, Software System Understanding via Architectural Views Extraction According to Multiple Viewpoints, In 8th International Workshop on System/Software Architectures, Ed. Robert Meersman, Pilar Herrero and Tharam Dillon, Vilamoura, Portugal, Springer Berlin / Heidelberg, pp. 433-442, 2009, Web link
  10. Azadeh Razavizadeh, Hervé Verjus, Sorana Cîmpan and Stéphane Ducasse, Multiple Viewpoints Architecture Extraction, In Proceedings of the 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architectures, Cambridge, UK, September, pp. 329 - 332, 2009, Web directory
  11. Hervé Verjus and Frédéric 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
  12. Ilham Alloui, Sorana Cîmpan and Hervé 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. F. Pourraz, S. Cîmpan 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
  25. S. Cîmpan, 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
  26. 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
  27. H. Verjus, S. Cîmpan 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. I. Alloui, S. Cîmpan, 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
  33. 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
  34. I. Alloui, S. Cîmpan, 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
  35. I. Alloui, S. Cîmpan, 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
  36. I. Alloui, S. Cîmpan, 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
  37. I. Alloui, S. Cîmpan, 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
  38. 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. Nabil Fakhfakh, Hervé Verjus and Frédéric Pourraz, Agrégation d'attributs qualité pour la supervision des orchestrations de services, In Journée commune Services et Langages et Modèles à l'exécution - IDM et GDR-GPL, Lille, France, June, 2011
  2. Nabil Fakhfakh, Hervé Verjus, Frédéric Pourraz and Patrice Moreaux, Architectures orientées services pour les systèmes d'information d'entreprises agiles, In Actes de l'Atelier SIRE (Systèmes d'Information des oRganisations Étendues) associé à la conférence INFORSID 2010, Marseille, France, May, 2010, Web directory
  3. Frédéric Pourraz and Hervé Verjus, Diapason, une approche à base de services support aux entreprises étendues, In Actes de l'Atelier SIRE (Systèmes d'Information des oRganisations Étendues) associé à la conférence INFORSID 2009, Toulouse, France, May, 2009, Web directory
  4. H. Verjus, S. Cîmpan, 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
  5. 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. Frédéric Pourraz and Hervé 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. Cîmpan, 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. Hervé Verjus, Sorana Cîmpan, Ilham Alloui, Frédéric Pourraz and Patrice Moreaux, Systèmes logiciels de fusion d'informations adaptatifs, In Journées sur l'Ingénierie Dirigée par les Modèles - IDM 2010, Pau, France, March, 2010, Web directory
  2. Sorana Cîmpan, Hervé Verjus and Azadeh Razavizadeh, Construction de Vues pour la Représentation Architecturale des Systèmes Logiciels, In Journée RIMEL - IDM 2010 (Evolution et Ingénierie des Modèles), Montpellier, France, January, 2010, Web directory
  3. Frédéric Pourraz and Hervé Verjus, Diapason : langages et outils pour l'orchestration dynamique de services, In Journées conjointes conférences CAL et LMO (poster), Nancy, France, March, 2009, Web directory
  4. Sorana Cîmpan, Hervé Verjus and Azadeh Razavizadeh, Extraction d'architecture guidée par les modèles, In Journées nationales du GDR GPL 2009, Toulouse, France, January, 2009, Web directory
  5. S. Cîmpan and H. Verjus, Challenges in Architecture Centred Software Evolution, In CHASE: Challenges in Software Evolution, Bern, Switzerland, April, pp. 1-4, 2005, PDF
  6. 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
  7. Vers une Fédération d'Environnements Centrés Processus, In Actes des 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

Periodicals and Magazines

  1. MESTRIA: une solution MES agile à base de services, In JITEC (Journal d'Information TEChnologique), July, Volume July-August, pp. 4, 2011, Web link
  2. F. Pourraz and H. Verjus, Diapason: An Engineering Environment for Designing, Implementing and Evolving Service Orchestrations, In ERCIM News Magazine - Special: Service-Oriented Computing, July, Volume 70, pp. 41-43, 2007, PDF

Projects Deliverables

  1. Frédéric Pourraz, Hervé Verjus and Nabil Fakhfakh, Illustration d'utilisation des services Web de la cartographie et scénarios fonctionnels MES, MES Project Consortium, March, 2011
  2. Nabil Fakhfakh, Brice Carnus, Hervé Verjus and Frédéric Pourraz, Description des services MES et de leurs opérations, MES Project Consortium, February, 2011
  3. Nabil Fakhfakh, Hervé Verjus and Frédéric Pourraz, Cartographie des services MES et de leurs opérations, MES Project Consortium, February, 2011
  4. Nabil Fakhfakh, Brice Carnus, Hervé Verjus and Frédéric Pourraz, Exemples de mise en œuvre de la description des services MES et de leurs opérations, MES Project Consortium, February, 2011
  5. Hervé Verjus and Frédéric Pourraz, Opendil : un environnement de génie logiciel centré architecture, LISTIC, University of Savoie, Number 10/02, January, 2010
  6. Hervé Verjus, Frédéric Pourraz and Nabil Fakhfakh, Interopérabilité des progiciels du domaine du MES supportée par une approche à base de services – Avancement du projet au 30 octobre 2010, MES Project Consortium, December, 2010
  7. Hervé Verjus, Frédéric Pourraz and Nabil Fakhfakh, Interopérabilité des progiciels du domaine du MES supportée par une approche à base de services – Avancement du projet au 30 septembre 2009, MES Project Consortium, September, 2009
  8. Stéphane Ducasse, Ilham Alloui, Alexandre Bergel, Sorana Cîmpan, Damien Pollet and Hervé Verjus, COOK : Réarchitecturisation des applications industrielles à objets, LISTIC, University of Savoie, July, 2009, Web directory
  9. WebWare : Langages et outils pour les architectures orientées services Web : l'ubiquitée dans l'Internet de 3ème génération au service de l'intégration des applications d'entreprises en réseau, LISTIC - University of Savoie, Number 2004-23, February, 2005
  10. 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
  11. 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
  12. H. Verjus and F. Oquendo, Final XML ArchWare style-based ADL (ArchWare AXL), ArchWare Consortium, Number D1.3b, June, 2003
  13. H. Verjus, S. Cîmpan, F. Pourraz, F. Oquendo, F. Wankerl and F. Theroude, Preliminary ArchWare Architecture Animator, ArchWare Consortium, Number D2.2a, June, 2003
  14. H. Verjus and F. Oquendo, Preliminary XML ArchWare style-based ADL (ArchWare AXL), ArchWare Consortium, Number D1.3a, January, 2003
  15. S. Cîmpan, F. Leymonerie, F. Oquendo and H. Verjus, Preliminary ArchWare Architecture Analysis Tool by Model-Specific Evaluation, ArchWare Consortium, Number D3.7a, 2003
  16. S. Cîmpan, H. Verjus, F. Oquendo and F. Leymonerie, Formalism for Model Specific Evaluation, ArchWare Consortium, Number D3.4, 2003
  17. S. Azaiez, F. Pourraz, H. Verjus and F. Oquendo, Final ArchWare Architecture Animator - Release 1, ArchWare Consortium, Number D2.2b-R1, December, 2003
  18. F. Oquendo, I. Alloui, S. Cîmpan and H. Verjus, The ArchWare ADL: Definition of the Abstract Syntax and Formal Semantics, ArchWare Consortium, Number D1.1b, 2002
  19. 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
  20. 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
  21. 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
  22. 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
  23. J. Estublier and H. Verjus, Definition of the behaviour paradigms of a heterogeneous federation of evolving process components, PIE consortium, Number D2.01, 1999
  24. 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
  25. H. Verjus and S. Cîmpan, Technical Description of the Monitoring and Decision Support PIE Component Prototypes, PIE consortium, Number MS-DPRO \& DS-DPRO, 1998
  26. S. Cîmpan and H. Verjus, Requirements and approach for decision support and interfaces definitions, PIE consortium, Number DS-DDOC, 1998
  27. S. Cîmpan and H. Verjus, Requirements and approach for monitoring support and interfaces definitions, PIE consortium, Number MS-DDOC, 1998

Technical Reports

  1. Safa Hachani, Lilia Gzara and Hervé Verjus, Déploiement de fonctions métiers dans les solutions PLM, Cluster GOSPI, March, 2011
  2. 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
  3. 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
  4. 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
  5. 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
  6. S. Cîmpan, 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
  7. I. Alloui, H. Verjus, S. Cîmpan, S. Ducasse and D. Pollet, When and how architectural property analysis enhances software evolution support, University of Savoie, Number LISTIC No 07/07, 2007
  8. Nimrod: A Software Architecture Engineering Environment, University of Savoie - LISTIC, Number LISTIC No 06/03, December, 2006
  9. 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