Accéder directement au contenu

Gérald Oster

6
Documents
Identifiants chercheurs
  • IdHAL gerald-oster
  • ORCID 0000-0002-3861-9365
  • Google Scholar : https://scholar.google.fr/citations?user=fCCNEZMAAAAJ

Présentation

Gérald Oster est maître de conférences de l'Université de Lorraine en poste à TELECOM Nancy depuis septembre 2006. Il a obtenu son Doctorat en Informatique de Nancy-Université en 2005 et a été chercheur post-doctorant à l'ETH Zurich (Suisse). Son expertise porte sur les systèmes collaboratifs à large échelle avec un accent particulier sur les mécanismes de réplication de données et leurs applications. Il a coordonné le projet ANR STREAMS et a participé à plusieurs projets de recherche et transfert technologique tels que les projets EU FP6 QualiPSo, RNTL LibreSource and RNTL XWiki Concerto , DGCIS Wiki 3.0 et ANR ConcoRDanT.
Gérald Oster est maître de conférences de l'Université de Lorraine en poste à TELECOM Nancy depuis septembre 2006. Il a obtenu son Doctorat en Informatique de Nancy-Université en 2005 et a été chercheur post-doctorant à l'ETH Zurich (Suisse). Son expertise porte sur les systèmes collaboratifs à large échelle avec un accent particulier sur les mécanismes de réplication de données et leurs applications. Il a coordonné le projet ANR STREAMS et a participé à plusieurs projets de recherche et transfert technologique tels que les projets EU FP6 QualiPSo, RNTL LibreSource and RNTL XWiki Concerto , DGCIS Wiki 3.0 et ANR ConcoRDanT.

Publications

michael-rusinowitch

Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence

Abdessamad Imine , Michaël Rusinowitch , Gérald Oster , Pascal Molli
Theoretical Computer Science, 2006, Algebraic Methodology and Software Technology, 351 (2), pp.167--183. ⟨10.1016/j.tcs.2005.09.066⟩
Article dans une revue inria-00000426v1
Image document

Towards Synchronizing Linear Collaborative Objects with Operation Transformation

Abdessamad Imine , Pascal Molli , Gérald Oster , Michaël Rusinowitch
International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427
Communication dans un congrès inria-00000427v1

Deductive Verification of Distributed Groupware Systems

Abdessamad Imine , Pascal Molli , Gérald Oster , Michaël Rusinowitch
Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, 2004, Stirling, Scotland, United Kingdom, pp.226-240
Communication dans un congrès inria-00099986v1
Image document

Proving Correctness of Transformation Functions in Real-Time Groupware

Abdessamad Imine , Pascal Molli , Gérald Oster , Michaël Rusinowitch
8th European Conference of Computer-supported Cooperative Work - ECSCW'03, 2003, Helsinki, Finland, 18 p
Communication dans un congrès inria-00107652v1
Image document

Development of Transformation Functions Assisted by a Theorem Prover

Imine Abdessamad , Pascal Molli , Gérald Oster , Michaël Rusinowitch
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
Communication dans un congrès inria-00107574v1