Search the dblp DataBase

Publications of Author

1. Rami El-Baïda, Jean Paul Bahsoun
   Automatic Verification of Concurrent Object Properties. [Citation Graph (0, 0)][DBLP]
   AICCSA, 2001, pp:411-0 [Conf]
   
2. Jean Paul Bahsoun, Corinne Servieres, Christel Seguin
   A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Programming and Their Applications, 1993, pp:267-280 [Conf]
   
3. David Fauthoux, Jean Paul Bahsoun
   From Lens to Flow Structure. [Citation Graph (0, 0)][DBLP]
   EurAsia-ICT, 2002, pp:953-964 [Conf]
   
4. Jean Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar
   Decision Procedure for Temporal Logic of Concurrent Objects. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1999, pp:1344-1352 [Conf]
   
5. Jean Paul Bahsoun, Bilal Chebaro, Samar Tawbi
   A Web Services Provider. [Citation Graph (0, 0)][DBLP]
   I3E, 2003, pp:279-291 [Conf]
   
6. Jean Paul Bahsoun, Jean-Pierre Briot, Denis Caromel, Louis Féraud, Oscar Nierstrasz, Peter Wegner
   How could object-oriented concepts and parallelism cohabit? [Citation Graph (0, 0)][DBLP]
   ICCL, 1994, pp:195-199 [Conf]
   
7. Jean Paul Bahsoun, Louis Féraud, Claude Bétourné
   A "Two Degrees of Freedom" Approach for Parallel Programming. [Citation Graph (0, 0)][DBLP]
   ICCL, 1990, pp:261-270 [Conf]
   
8. Samar Tawbi, Jean Paul Bahsoun, Bilal Chebaro
   A Framework for Web Applications Development: A SOAP Based Communication Protocol. [Citation Graph (0, 0)][DBLP]
   ICEIS (4), 2005, pp:82-89 [Conf]
   
9. Ivan Frain, Robert Basmadjian, Jean Paul Bahsoun, Abdelaziz Mzoughi
   How to Improve the Scalability of Read/Write Operations with Dynamic Reconfiguration of a Tree-Structured Coterie. [Citation Graph (0, 0)][DBLP]
   ICPP Workshops, 2006, pp:123-134 [Conf]
   
10. Jean Paul Bahsoun
    Tutorial 2: A Foundation for Composing Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    IPDPS Workshops, 2000, pp:1039-1041 [Conf]
    
11. Ivan Frain, Abdelaziz Mzoughi, Jean Paul Bahsoun
    How to Achieve High Throughput with Dynamic Tree-Structured Coterie. [Citation Graph (0, 0)][DBLP]
    ISPDC, 2006, pp:82-89 [Conf]
    
12. Nouhad Amaneddine, Jean Paul Bahsoun, Jean-Paul Bodeveix
    TransM: A Structured Document Transformation Model. [Citation Graph (0, 0)][DBLP]
    ISTA, 2004, pp:53-66 [Conf]
    
13. Jean Paul Bahsoun, Stephan Merz, Corinne Servieres
    Modular Description and Verification of Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    OBPDC, 1995, pp:168-186 [Conf]
    
14. Jean Paul Bahsoun, Louis Féraud
    A Model to Design Reusable Parallel Software Components. [Citation Graph (0, 0)][DBLP]
    PARLE, 1992, pp:245-260 [Conf]
    
15. Jean Paul Bahsoun, Stephan Merz, Corinne Servieres
    A Framework for Programming and Formalizing Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:126-137 [Conf]
    
16. Jean Paul Bahsoun, Louis Féraud, J. C. Sakdavong
    Designing and Implementing Synchronization: an Object Oriented Approach. [Citation Graph (0, 0)][DBLP]
    TOOLS (10), 1993, pp:235-248 [Conf]
    
17. Jean Paul Bahsoun, José Luiz Fiadeiro, Didier Galmiche
    Foreword. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:225-226 [Journal]
    
18. 
    An Arbitrary Tree-Structured Replica Control Protocol. [Citation Graph (, )][DBLP]
    
    
19. 
    PapaBench: a Free Real-Time Benchmark. [Citation Graph (, )][DBLP]
    
    
20. 
    Inter-task WCET computation for a-way instruction caches. [Citation Graph (, )][DBLP]