IRIT - UMR 5505

Partenaires

Menu

• Presentation
  • An institute, an ambition, a dynamic
• Research Topics
  • Topic 1 - Image Analysis and Synthesis
    • SAMoVA team
    • SC team
    • TCI team
    • VORTEX Team
  • Topic 2 - Indexing and Information Search
    • PYRAMIDE team
    • SIG team
  • Topic 3 - Interaction, Autonomy, Dialogue and Cooperation
    • IC3 team
    • IHCS team
    • LIIHS team
    • SMAC team
  • Topic 4 - Reasoning and Decision
    • LiLaC team
    • RPDMP team
  • Topic 5 - Modelization, Algorithms and High Performance Computing
    • APO team
  • Topic 6 - Architecture, Systems and Networks
    • ASTRE team
    • IRT team
    • SIERA team
    • TRACES team
  • Topic 7 - Safety of Software Development
    • ACADIE team
    • MACAO team
• Structures of common research
  • AIRSYS Co-operation
  • AUTODIAG Laboratory
  • FREMIT Program
  • ILIKS Laboratory
• Transverse Actions
  • Platforms
    • GRID’5000
    • OSIRIM
    • PRETI
    • PREVI
  • Projects
    • GRID-TLSE
    • Deteriorated Interaction
    • "Human-Systems Interaction" Laboratory
    • Archive of Projects
  • Work Groups
    • Natural Language
• Publications

Search

Navigation

Publications

Search the IRIT Publications Database

Bahsoun Jean-Paul

 Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

• Livres / Books
• Ouvrages de synthèse / Books edition
• Numéros spéciaux de revues / Special issues of journals
• Actes de conférences et de workshops / Conferences proceedings
• Articles de revues internationales / International journals articles
• Articles de revues nationales / National journals articles
• Contributions à des ouvrages de synthèse / Books parts
• Conférences et workshops internationaux / International conferences articles
• Conférences et workshops nationaux / National conferences articles
• Conférences sans actes publiés / Conferences articles without published proceedings
• Rapports / Reports
• Thèses et habilitations / Thesis and HDR
• Autres types de publications / Other publications

Livres / Books (monographies)

• Jean-Paul Bahsoun, A. Yonezawa, Takanobu Baba, Jean-Pierre Briot. Object-Oriented Parallel and Distributed Programming, HERMES, HERMES Science Publications 8, quai du Marché-Neuf 75004 Paris, Science, janvier 2000.
  BibTeX

Ouvrages de synthèse / Books edition

• Jean-Paul Bahsoun, Pascal Farès, Corinne Servières. Multilevel proof system for concurrent object-oriented systems, HERMES Science publications, France, décembre 2000.
  Résumé
  BibTeX

Numéros spéciaux de revues / Special issues of journals

• Jean-Paul Bahsoun, J. Fiadeiro, D. Galmiche. Proof Theory of Concurrent Object-Oriented Programming. Dans : MSCS - Mathematical Structures in Computer Science, Giuseppe Longo Cambridge University Press, Laboratoire d'Informatique(CNRS) et DMI ENS 4(, Rue d'ULM 75005 Paris France, Vol. 9, juin 1999.
  BibTeX

Actes de conférences et de workshops / Conferences proceedings

• Jean-Paul Bahsoun, J. Fiadeiro, D. Galmiche, A. Yonezawa. Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, Dpunkt, juillet 1996.
  BibTeX

Articles de revues internationales / International journals articles

• Ivan Frain, Abdelaziz M'zoughi, Jean-Paul Bahsoun. How To Achieve High Throughput With Dynamic Tree-Structured Coterie. Dans : SCALABLE COMPUTING : Practice and Experience, Warsaw School of Social Psychology, Numéro spécial Practical Aspects of Large-Scale Distributed Computing, Vol. Volume 8 N. Number 3, (en ligne), septembre 2007.
  Accès : ftp://ftp.irit.fr/IRIT/ASTRE/SCPE.pdf
  BibTeX

• Jean-Paul Bahsoun, Louis Féraud. Designing Reusable Parallel Software Components. Dans : Journal of Computers and Artificial Intelligence, Vol. 13 N. 1, p. 73-90, 1994.
  BibTeX

Contributions à des ouvrages de synthèse / Books parts

• Jean-Paul Bahsoun, Christine Servières, S Merz. A Framework for Programming and ProvingConcurrent Objects. Dans : Parallélisme, répartition et réseaux. JP Bahsoun, S Merz, C Servières (Eds.), Hermès, 1995.
  BibTeX

Conférences et workshops internationaux / International conferences articles

• Omar Chebaro, Laurent Broto, Jean-Paul Bahsoun, Daniel Hagimont. Self-TUNe-ing of a J2EE clustered application (regular paper). Dans : IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2009), San Francisco, 14/04/2009-16/04/2009, IEEE Computer Society, p. 23-31, 2009.
  Accès : ftp://ftp.irit.fr/IRIT/ASTRE/EASE.pdf
  BibTeX

• Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean-Paul Bahsoun. Inter-Task WCET computation for A-way Instruction Caches. Dans : IEEE International Symposium on Industrial Embedded Systems (SIES 2008), Montpellier, 11/06/2008-13/06/2008, IEEE, p. 193-200, juin 2008.
  Accès : ftp://ftp.irit.fr/IRIT/TRACES/9093_sies_08.pdf
  BibTeX

• Jean-Paul Bahsoun, Robert Basmadjian, Rachid Guerraoui. An Arbitrary Tree-Structured Replica Control Protocol (regular paper). Dans : International Conference on Distributed Computing System (ICDCS 2008), Beijing - China, 17/06/2008-20/06/2008, IEEE Computer Society, p. 1-10, juin 2008.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/ASTRE/ICDCS.PDF
  BibTeX

• Laurent Broto, Daniel Hagimont, Estella Annoni, Benoit Combemale, Jean-Paul Bahsoun. A Model Driven Autonomic management System. Dans : International Conference on Information Technology – New Generations, Las Vegas, USA, 07/04/2008-09/04/2008, IEEE, p. 63-69, avril 2008.
  BibTeX

• Laurent Broto, Jean-Paul Bahsoun, Robert Basmadjian. Sharing of threads variables on grid systems with Aspect-Oriented Programming (regular paper). Dans : AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software, Bonn, Germany, 21/03/2006-21/03/2006, Yvonne Coady, David H. Lorenz , Olaf Spinczyk , Eric Wohlstadter (Eds.), University of Virginia, (support électronique), mars 2006.
  BibTeX

• Ivan Frain, Abdelaziz M'zoughi, Jean-Paul Bahsoun. How To Achieve High Throughput With Dynamic Tree-Structured Coterie. Dans : International Symposium on Parallel and Distributed Computing (ISPDC 2006), Timisoara, Romanie, 06/07/2006-09/07/2006, Dana Pectu, Bertil Foliot, Dan Grigoras, John Morrison (Eds.), IEEE, p. 82-89, juillet 2006.
  BibTeX

• Ivan Frain, Robert Basmadjian, Jean-Paul Bahsoun, Abdelaziz M'zoughi. How To Improve The Scailability Of Read/Write Operations With Dynamic Reconfiguration Of A Tree-Structured Coterie. Dans : International Conference On Parallel Processing Workshops (ICPP 2006), Columbus, Ohio, USA, 14/08/2006-18/08/2006, Timothy Marc Pinkson, Fusun Ozguner (Eds.), IEEE, p. 123-132, août 2006.
  BibTeX

• Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean-Paul Bahsoun, Marianne de Michiel. PapaBench : A Free Real-Time Benchmark. Dans : International Workshop on Worst-Case Execution Time Analysis (WCET 2006), Dresden, 04/07/2006, Frank Mueller (Eds.), Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), (en ligne), juillet 2006.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/TRACES/6680_papabench_wcet2006.pdf
  BibTeX

• Bassem Haidar, Philippe Joly, Jean-Paul Bahsoun. Distributed Opened Cross-Media Indexing Platform. Dans : 11th Annual Scientific Conf. on Web Technology, New Media, Communications and Telematics Theory, Methods, Tools and Applications (EUROMEDIA'2005), Toulouse, 11/04/2005-13/04/2005, M Al-Akaidi, L Rothkrantz (Eds.), EUROSIS, B-9052 Ghent-Zwijnaarde, Belgium, ISBN 90-77381-17-1, p. 178-182, avril 2005.
  BibTeX

• Nouhad Amaneddine, Jean-Paul Bahsoun, Jean-Paul Bodeveix. TransM: A Structured Document Transformation Model. Dans : 3rd International Conference on Information Systems Technology and its Applications (ISTA), Salt Lake City, Utah, USA, 15/07/2004-17/07/2004, Lecture Notes in Informatics, p. 53-66, juillet 2004.
  BibTeX

• Bassem Haidar, Philippe Joly, Jean-Paul Bahsoun. An Open Platform for Dynamic Multimedia Indexing. Dans : 5th Int. Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS'2004), Lisboa, Portugal, 21/04/2004-23/04/2004, IST/Lisboa-Suvisoft, avril 2004.
  BibTeX

• Jean-Paul Bahsoun, Bilal Chebaro, Samar Tawbi. Web Services Provider: Generic Architecture and Patterns for Business Applications. Dans : The Third IFIP conference - International conference in E-commerce E-business E-government, Sao Paolo-Brazil, 21/09/2003-24/09/2003, I3E, p. 279-291, septembre 2003.
  BibTeX

• David Fauthoux, Jean-Paul Bahsoun. From Lens to Flow Structure. Dans : First EurAsian Conference on Advances in Information and Communication Technology (EURASIA-ICT), Shiraz- Iran, 29/10/2002-31/10/2002, Austrian computer society, octobre 2002.
  BibTeX

• Rami El Baida, Jean-Paul Bahsoun. Automatic Verification of Concurrent Object Properties. Dans : ACS/IEEE International Conference on Computer Systems and Applications, Beirut, 25/06/2001-29/11/2001, IEEE, juin 2001.
  BibTeX

• Jean-Paul Bahsoun. Tutorial 2: A Foundation for Composing Concurrent Objects.. Dans : FMPPTA'2000 Modeling and Proving in IPDPS Workshops 2000, Cancun - Mexique, 05/05/2000, Springer LNCS 1800, p. 1039-1041, mai 2000.
  BibTeX

• Jean-Paul Bahsoun, Rami El Baida, Hugues-Olivier Yar. Decision Procedure for Temporal Logic of Concurrent Object. Dans : 5th International Euro-Par'99 conference Parallel Processing, Toulouse France, 31/08/1999-03/09/1999, Lecture Notes in Computer Science Goos, Hartmantis and Leeuwen Springer, p. 1344-1352, août 1999.
  BibTeX

• Jean-Paul Bahsoun, Louis Féraud, J Pouilly, J-Christophe Sakdavong. Building distributed applications with HECTOR. Dans : ECOOP'96 Workshop on Concurrent and Distributed Object-Oriented Programming, Linz, Austria, -, juillet 1996.
  BibTeX

• Jean-Paul Bahsoun, S Merz, Christine Servières. Modular description and verification of concurrent objects. Dans : First FJ Workshop in Distributed and Concurrent Objects, Tokyo, Japan, Springer-Verlag, LNCS 1107, p. 168-187, juin 1995.
  BibTeX

• J-Christophe Sakdavong, Jean-Paul Bahsoun, Louis Féraud. A model for designing distributed Object-Oriented Programming. Dans : IWOOS 95 IEEE Proceedings, Malmoe, Sweeden, -, p. 200-210, juillet 1995.
  BibTeX

Conférences et workshops nationaux / National conferences articles

• Laurent Broto, Patricia Stolf, Jean-Paul Bahsoun, Daniel Hagimont, Noel Depalma. Spécification de politiques d'administration autonome avec Tune. Dans : Conférence Française sur les Systèmes d'Exploitation (CFSE 2008), Fribourg, Suisse, 11/02/2008-13/02/2008, Chapitre Français de l'ACM SIGOPS, (support électronique), février 2008.
  BibTeX

• Laurent Broto, Jean-Paul Bahsoun, Robert Basmadjian. Distribution de Threads sur une Grille grace a la Programmation Orientee Aspect. Dans : Conférence Française sur les Systèmes d'Exploitation (CFSE 2006), Perpignan, 04/10/2006-06/10/2006, Chapitre Français de l'ACM SIGOPS, (support électronique), octobre 2006.
  BibTeX

• Ivan Frain, Jean-Paul Bahsoun, Abdelaziz M'zoughi. Reconfiguration Dynamique de Coterie Structurée en Arbre. Dans : Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR 2005), Paris-CNAM, France, 03/11/2005-04/11/2005, Ecole Centrale d'Electronique (ECE), p. 34-40, 2006.
  Accès : http://www.ece.fr/cdur2005/docs/actes-cdur-2005.pdf
  BibTeX

• Nouhad Amaneddine, Jean-Paul Bahsoun, Jean-Paul Bodeveix. Vers une transformation avancée de données structurées. Dans : MAJESTIC, Calais, France, 13/10/2004-15/10/2004, Maison de la Recherche Blaise Pascal, octobre 2004.
  BibTeX

Conférences sans actes publiés / Conference articles without published proceedings

• Jean-Paul Bahsoun. La programmation impérative : spécification et vérification. Dans : Université d'été pour former le cadre enseignant des universités Libanaise et Syriennes, Damas- Syrie, 28/07/2003-01/08/2003.
  BibTeX

• Jean-Paul Bahsoun. Les paradigmes de la programmation. Dans : Université d'été pour former le cadre enseignant de l'Université Libanaise, Beyrouth- Liban, 05/07/2001-25/07/2001.
  BibTeX

• Jean-Paul Bahsoun. Multilevel proof system for concurrent object-oriented programs with TLA. Dans : Journées Formalisation des Objets Concurrents, Université de Lisboa, Portugal, .
  BibTeX

• Jean-Paul Bahsoun, Christine Servières. Multilevel proof system for concurrent object-oriented programs. Dans : WS4- ECOOP'96, Linz-Austria, .
  BibTeX

• Jean-Paul Bahsoun, S Merz, Christine Servières. Une logique temporelle pour les objets concurrents, et sa procédure de décision (C.E.R.T. and I.R.I.T. and L.A.A.S.). Dans : Journées FAC'95 (Formalisation des Activités Concurrentes), Toulouse, .
  BibTeX

• Jean-Paul Bahsoun, S Merz, Christine Servières. A Framework for Programming and Proving Concurrent Objects. Dans : WS4- EOOP94, Bologne, .
  BibTeX

• Jean-Paul Bahsoun, Louis Féraud, J Pouilly. Programmation Orientée Objet Distribuée : les perspectives du modèle HECTOR. Dans : Actes des Journées du GDR programamtion, Lille, .
  BibTeX

• Jean-Paul Bahsoun, Jean-Pierre Briot, Louis Féraud, Denis Caromel, O Nierstrasz, P Wegner. How could object-oriented concepts and parallelism cohabit? Dans : Actes de IEEE ICCL'94, -, .
  BibTeX

Thèses et habilitations / Thesis and HDR

• Jean-Paul Bahsoun. Les Objets Concurrents et leurs Systèmes de Preuve. Habilitation à diriger des recherches, Université Paul Sabatier, décembre 1994.
  BibTeX