Publications of
Ivan Frain, Abdelaziz M’zoughi, Jean-Paul Bahsoun
How To Achieve High Throughput With Dynamic Tree-Structured Coterie
In : SCALABLE COMPUTING : Practice and Experience, Warsaw School of Social Psychology, Special issue Practical Aspects of Large-Scale Distributed Computing, Vol. Volume 8 N. Number 3, (on line), September 2007.
Jean-Paul Bahsoun, Louis Féraud
Designing Reusable Parallel Software Components
In : Journal of Computers and Artificial Intelligence, Vol. 13 N. 1, pp. 73-90, 1994.
Ali Shoker, Jean-Paul Bahsoun, Maysam Yabandeh
Improving Independence of Failures in BFT (regular paper)
In : The International Symposium on Network Computing and Applications, Cambridge, MA, USA, 22/08/13-24/08/13, IEEE Computer Society, (electronic medium), August 2013.
BFT Selection (short paper)
In : The International Conference on NETworked sYStems (NETYS 2013), Marrakech, Morocco, 02/05/13-04/05/13, Springer, pp. 0-0, May 2013.
Towards Byzantine Resilient Directories (regular paper)
In : IEEE International Symposium on Network Computing and Applications (IEEE NCA 2012), Cambridge, MA, USA, 23/08/12-25/08/12, IEEE Computer Society, pp. 52-60, August 2012.
Omar Chebaro, Laurent Broto, Jean-Paul Bahsoun, Daniel Hagimont
Self-TUNe-ing of a J2EE clustered application (regular paper)
In : IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2009), San Francisco, 14/04/09-16/04/09, IEEE Computer Society, pp. 23-31, 2009.
Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean-Paul Bahsoun
Inter-Task WCET computation for A-way Instruction Caches
In : IEEE International Symposium on Industrial Embedded Systems (SIES 2008), Montpellier, 11/06/08-13/06/08, IEEE : Institute of Electrical and Electronics Engineers, pp. 193-200, June 2008.
URL : http://www.irit.fr/publis/TRACES/9093_sies_08.pdf
BibTeXJean-Paul Bahsoun, Robert Basmadjian, Rachid Guerraoui
An Arbitrary Tree-Structured Replica Control Protocol (regular paper)
In : International Conference on Distributed Computing System (ICDCS 2008), Beijing – China, 17/06/08-20/06/08, IEEE Computer Society, pp. 1-10, June 2008.
Abstract URL : http://www.irit.fr/publis/ASTRE/ICDCS.PDF
BibTeXLaurent Broto, Daniel Hagimont, Estella Annoni, Benoit Combemale, Jean-Paul Bahsoun
A Model Driven Autonomic management System
In : International Conference on Information Technology : New Generations (ITNG 2008), Las Vegas, USA, 07/04/08-09/04/08, IEEE : Institute of Electrical and Electronics Engineers, pp. 63-69, April 2008.
Laurent Broto, Patricia Stolf, Jean-Paul Bahsoun, Daniel Hagimont, Noel De Palma
Spécification de politiques d’administration autonome avec Tune
In : Conférence Française sur les Systèmes d’Exploitation (CFSE 2008), Fribourg, Suisse, 11/02/08-13/02/08, Chapitre Français de l’ACM SIGOPS, (electronic medium), February 2008.
Laurent Broto, Jean-Paul Bahsoun, Robert Basmadjian
Sharing of threads variables on grid systems with Aspect-Oriented Programming (regular paper)
In : AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software, Bonn, Germany, 21/03/06-21/03/06, Yvonne Coady, David H. Lorenz , Olaf Spinczyk , Eric Wohlstadter (Eds.), University of Virginia, (electronic medium), March 2006.
Laurent Broto, Jean-Paul Bahsoun, Robert Basmadjian
Distribution de Threads sur une Grille grace a la Programmation Orientee Aspect
In : Conférence Française sur les Systèmes d’Exploitation (CFSE 2006), Perpignan, 04/10/06-06/10/06, Chapitre Français de l’ACM SIGOPS, (electronic medium), October 2006.
Ivan Frain, Jean-Paul Bahsoun, Abdelaziz M’zoughi
Reconfiguration Dynamique de Coterie Structurée en Arbre
In : Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR 2005), Paris-CNAM, France, 03/11/05-04/11/05, Ecole Centrale d’Electronique (ECE), pp. 34-40, 2006.
URL : http://www.ece.fr/cdur2005/docs/actes-cdur-2005.pdf
BibTeXIvan Frain, Abdelaziz M’zoughi, Jean-Paul Bahsoun
How To Achieve High Throughput With Dynamic Tree-Structured Coterie
In : International Symposium On Parallel and Distributed Computing (ISPDC 2006), Timisoara, Romanie, 06/07/06-09/07/06, Dana Pectu, Bertil Foliot, Dan Grigoras, John Morrison, Marcin Paprzycki (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 82-89, July 2006.
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
In : International Conference On Parallel Processing Workshops (ICPP 2006), Columbus, Ohio, USA, 14/08/06-18/08/06, Timothy Marc Pinkson, Fusun Ozguner (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 123-132, August 2006.
Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean-Paul Bahsoun, Marianne De Michiel
PapaBench : A Free Real-Time Benchmark
In : International Workshop on Worst-Case Execution Time Analysis (WCET 2006), Dresden, 04/07/06, Frank Mueller (Eds.), Dagstuhl Research Online Publication Server, (on line), July 2006.
Abstract URL : http://www.irit.fr/publis/TRACES/6680_papabench_wcet2006.pdf
BibTeXBassem Haidar, Philippe Joly, Jean-Paul Bahsoun
Distributed Opened Cross-Media Indexing Platform
In : 11th Annual Scientific Conf. on Web Technology, New Media, Communications and Telematics Theory, Methods, Tools and Applications (EUROMEDIA’2005), Toulouse, 11/04/05-13/04/05, M Al-Akaidi, L Rothkrantz (Eds.), EUROSIS, B-9052 Ghent-Zwijnaarde, Belgium, ISBN 90-77381-17-1, pp. 178-182, April 2005.
Nouhad Amaneddine, Jean-Paul Bahsoun, Jean-Paul Bodeveix
Vers une transformation avancée de données structurées
In : MAJESTIC, Calais, France, 13/10/04-15/10/04, Maison de la Recherche Blaise Pascal, October 2004.
Nouhad Amaneddine, Jean-Paul Bahsoun, Jean-Paul Bodeveix
TransM: A Structured Document Transformation Model
In : 3rd International Conference on Information Systems Technology and its Applications (ISTA), Salt Lake City, Utah, USA, 15/07/04-17/07/04, Lecture Notes in Informatics, pp. 53-66, July 2004.
Bassem Haidar, Philippe Joly, Jean-Paul Bahsoun
An Open Platform for Dynamic Multimedia Indexing
In : 5th Int. Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS’2004), Lisboa, Portugal, 21/04/04-23/04/04, IST/Lisboa-Suvisoft, April 2004.
La programmation impérative : spécification et vérification
In : Université d’été pour former le cadre enseignant des universités Libanaise et Syriennes, Damas- Syrie, 28/07/03-01/08/03.
Jean-Paul Bahsoun, Bilal Chebaro, Samar Tawbi
Web Services Provider: Generic Architecture and Patterns for Business Applications
In : The Third IFIP conference – International conference in E-commerce E-business E-government, Sao Paolo-Brazil, 21/09/03-24/09/03, I3E, pp. 279-291, September 2003.
David Fauthoux, Jean-Paul Bahsoun
From Lens to Flow Structure
In : First EurAsian Conference on Advances in Information and Communication Technology (EURASIA-ICT), Shiraz- Iran, 29/10/02-31/10/02, Austrian computer society, October 2002.
Les paradigmes de la programmation
In : Université d’été pour former le cadre enseignant de l’Université Libanaise, Beyrouth- Liban, 05/07/01-25/07/01.
Rami El Baida, Jean-Paul Bahsoun
Automatic Verification ofConcurrent Object Properties
In : ACS/IEEE International Conference on Computer Systems and Applications, Beirut, 25/06/01-29/11/01, IEEE, June 2001.
Tutorial 2: A Foundation for Composing Concurrent Objects.
In : FMPPTA’2000 Modeling and Proving in IPDPS Workshops 2000, Cancun – Mexique, 05/05/00, Springer LNCS 1800, pp. 1039-1041, May 2000.
Jean-Paul Bahsoun, Rami El Baida, Hugues-Olivier Yar
Decision Procedure for Temporal Logic of Concurrent Object
In : 5th International Euro-Par’99 conferenceParallel Processing, Toulouse France, 31/08/99-03/09/99, Lecture Notes in Computer ScienceGoos, Hartmantis and LeeuwenSpringer, pp. 1344-1352, August 1999.
Multilevel proof system for concurrent object-oriented programs with TLA
In : Journées Formalisation des Objets Concurrents, Université de Lisboa, Portugal, .
Jean-Paul Bahsoun, Christine Servières
Multilevel proof system for concurrent object-oriented programs
In : WS4- ECOOP’96, Linz-Austria, .
Jean-Paul Bahsoun, Louis Féraud, J Pouilly, J-Christophe Sakdavong
Building distributed applications with HECTOR
In : ECOOP’96 Workshop on Concurrent and Distributed Object-Oriented Programming, Linz, Austria, -, July 1996.
Jean-Paul Bahsoun, Stephan 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.)
In : Journées FAC’95 (Formalisation des Activités Concurrentes), Toulouse, .
Jean-Paul Bahsoun, Stephan Merz, Christine Servières
Modular description and verification of concurrent objects
In : First FJ Workshop in Distributed and Concurrent Objects, Tokyo, Japan, Springer-Verlag, LNCS 1107, pp. 168-187, June 1995.
J-Christophe Sakdavong, Jean-Paul Bahsoun, Louis Féraud
A model for designing distributed Object-Oriented Programming
In : IWOOS 95 IEEE Proceedings, Malmoe, Sweeden, -, pp. 200-210, July 1995.
Jean-Paul Bahsoun, Stephan Merz, Christine Servières
A Framework for Programming and Proving Concurrent Objects
In : WS4- EOOP94, Bologne, .
Jean-Paul Bahsoun, Louis Féraud, J Pouilly
Programmation Orientée Objet Distribuée : les perspectives du modèle HECTOR
In : Actes des Journées du GDR programamtion, Lille, .
Jean-Paul Bahsoun, Jean-Pierre Briot, Louis Féraud, Denis Caromel, O Nierstrasz, P Wegner
How could object-oriented concepts and parallelism cohabit?
In : Actes de IEEE ICCL’94, –, .
Jean-Paul Bahsoun, Christine Servières, Stephan Merz
A Framework for Programming and ProvingConcurrent Objects
In : Parallélisme, répartition et réseaux. JP Bahsoun, S Merz, C Servières (Eds.) , Hermès, 1995.
Les Objets Concurrents et leurs Systèmes de Preuve
HDR, Université Paul Sabatier, December 1994.
Jean-Paul Bahsoun, Pascal Farès, Corinne Servières
Multilevel proof system for concurrent object-oriented systems
, HERMES Science publications, France, December 2000.
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, January 2000.
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.
Jean-Paul Bahsoun, J. Fiadeiro, D. Galmiche, A. Yonezawa
Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, Dpunkt, July 1996.