Jean Paul Bahsoun

According to our database1, Jean Paul Bahsoun authored at least 25 papers between 1990 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Making BFT Protocols Really Adaptive.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2013
BFT Selection.
Proceedings of the Networked Systems - First International Conference, 2013

Improving Independence of Failures in BFT.
Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013

2012
Towards Byzantine Resilient Directories.
Proceedings of the 11th IEEE International Symposium on Network Computing and Applications, 2012

2008
Inter-task WCET computation for a-way instruction caches.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Towards a Model Driven Autonomic Management System.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

An Arbitrary Tree-Structured Replica Control Protocol.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

2007
How to Achieve High Throughput with Dynamic Tree-Structured Coterie.
Scalable Comput. Pract. Exp., 2007

2006
PapaBench: a Free Real-Time Benchmark.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

How to Improve the Scalability of Read/Write Operations with Dynamic Reconfiguration of a Tree-Structured Coterie.
Proceedings of the 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 2006

2005
A Framework for Web Applications Development: A SOAP Based Communication Protocol.
Proceedings of the ICEIS 2005, 2005

2004
TransM: A Structured Document Transformation Model.
Proceedings of the Information Systems Technology and its Applications, 2004

2003
A Web Services Provider.
Proceedings of the Digital Communities in a Networked Society: eCommerce, 2003

2002
From Lens to Flow Structure.
Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002

2001
Automatic Verification of Concurrent Object Properties.
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000
Tutorial 2: A Foundation for Composing Concurrent Objects.
Proceedings of the Parallel and Distributed Processing, 2000

1999
Foreword.
Math. Struct. Comput. Sci., 1999

Decision Procedure for Temporal Logic of Concurrent Objects.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1995
Modular Description and Verification of Concurrent Objects.
Proceedings of the Object-Based Parallel and Distributed Computation, 1995

1994
How could object-oriented concepts and parallelism cohabit?
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1993
Designing and Implementing Synchronization: an Object Oriented Approach.
Proceedings of the TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, 1993

A Framework for Programming and Formalizing Concurrent Objects.
Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

A Unique Formalism for Specifying and Designing Objects in a Parallel Environment.
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992
A Model to Design Reusable Parallel Software Components.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

1990
A "Two Degrees of Freedom" Approach for Parallel Programming.
Proceedings of the 1990 Internation Conference on Computer Languages, 1990


  Loading...