Accéder directement au contenu

Pascal Molli

32
Documents

Présentation

Pr. Pascal Molli graduated from Nancy University (France) and received his Ph.D. in Computer Science from Nancy University in 1996. From 1997 to September 2010, he is Associate Professor at University of Nancy. In 1998, he participated to the creation of the INRIA ECOO (Environments for Cooperation) project. In 2001, he becomes vice-head of the INRIA ECOO Team. In October 2009, he creates and leads the [INRIA SCORE](http://score.loria.fr/) team. From September 2010 to current, he is Full Professor at [University of Nantes](http://www.univ-nantes.fr/) and is head of GDD Team in [LINA](http://www.lina.univ-nantes.fr/) research center. Pr. Molli published more than 80 papers in software engineering, information systems, distributed systems and computer supported cooperative work (CSCW). He has served on program committee of 20 conferences or workshops. He participated to national projects such as [Libresource](http://www.libresource.org/), [Xwiki-Concerto](http://concerto.xwiki.org/), [Concordant](http://concordant.lip6.fr/),[STREAMS](http://streams.loria.fr/) and international projects such as European Project [Qualipso](http://www.qualipso.org/). He is currently the coordinator of project [Kolflow](http://kolflow.univ-nantes.fr/). Pr. Molli mainly worked on collaborative distributed systems and focused on problems of consistency of shared data in collaborative environments and awareness models for collaborative editing.
Pr. Pascal Molli graduated from Nancy University (France) and received his Ph.D. in Computer Science from Nancy University in 1996. From 1997 to September 2010, he is Associate Professor at University of Nancy. In 1998, he participated to the creation of the INRIA ECOO (Environments for Cooperation) project. In 2001, he becomes vice-head of the INRIA ECOO Team. In October 2009, he creates and leads the [INRIA SCORE](http://score.loria.fr/) team. From September 2010 to current, he is Full Professor at [University of Nantes](http://www.univ-nantes.fr/) and is head of GDD Team in [LINA](http://www.lina.univ-nantes.fr/) research center. Pr. Molli published more than 80 papers in software engineering, information systems, distributed systems and computer supported cooperative work (CSCW). He has served on program committee of 20 conferences or workshops. He participated to national projects such as [Libresource](http://www.libresource.org/), [Xwiki-Concerto](http://concerto.xwiki.org/), [Concordant](http://concordant.lip6.fr/),[STREAMS](http://streams.loria.fr/) and international projects such as European Project [Qualipso](http://www.qualipso.org/). He is currently the coordinator of project [Kolflow](http://kolflow.univ-nantes.fr/). Pr. Molli mainly worked on collaborative distributed systems and focused on problems of consistency of shared data in collaborative environments and awareness models for collaborative editing.

Publications

gerald-oster
Image document

Building a collaborative peer-to-peer wiki system on a structured overlay

Gérald Oster , Rubén Mondéjar , Pascal Molli , Sergiu Dumitriu
Computer Networks, 2010, P2P Technologies for Emerging Wide-Area Collaborative Services and Applications, 54 (12), pp.1939--1952. ⟨10.1016/j.comnet.2010.03.019⟩
Article dans une revue inria-00538035v1

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

The ToxicFarm Integrated Cooperation Framework for Virtual Teams

Claude Godart , Pascal Molli , Gérald Oster , Olivier Perrin , Hala Skaf-Molli
Distributed and Parallel Databases, 2004, Special Issue on Teamware, 15 (1), pp.67-88. ⟨10.1023/B:DAPD.0000009432.79864.08⟩
Article dans une revue inria-00099944v1
Image document

UniWiki: A Collaborative P2P System for Distributed Wiki Applications

Gérald Oster , Pascal Molli , Sergiu Dumitriu , Rubén Mondéjar
18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises - WETICE 2009, Jun 2009, Groningen, Netherlands. pp.87--92, ⟨10.1109/WETICE.2009.42⟩
Communication dans un congrès inria-00431679v1
Image document

DooSo6: Easy collaboration over shared projects

Claudia-Lavinia Ignat , Gérald Oster , Pascal Molli
6th International Conference on Cooperative Design, Vizualization and Engineering - CDVE 2009, Sep 2009, Luxembourg, Luxembourg. pp.56-63, ⟨10.1007/978-3-642-04265-2_8⟩
Communication dans un congrès inria-00431680v1
Image document

A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages

Claudia Lavinia Ignat , Gérald Oster , Pascal Molli , Michelle Cart , Jean Ferrié
3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom'2007, Nov 2007, White Plains, NY, United States. pp.474 - 483, ⟨10.1109/COLCOM.2007.4553878⟩
Communication dans un congrès inria-00188329v1
Image document

A Collaborative Writing Mode for Avoiding Blind Modifications

Claudia Lavinia Ignat , Gérald Oster , Pascal Molli , Hala Skaf-Molli
9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States
Communication dans un congrès inria-00182424v1
Image document

Supporting Collaborative Writing of XML Documents

Gérald Oster , Hala Skaf-Molli , Pascal Molli , Hala Naja-Jazzar
9th International Conference on Enterprise Information Systems - ICEIS 2007, Jun 2007, Funchal, Madeira, Portugal. pp.335-341
Communication dans un congrès inria-00139704v1
Image document

Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems

Gérald Oster , Pascal Molli , Pascal Urso , Abdessamad Imine
IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2006, Nov 2006, Atlanta, Georgia, USA, pp.1-10, ⟨10.1109/COLCOM.2006.361867⟩
Communication dans un congrès inria-00109039v1
Image document

Data Consistency for P2P Collaborative Editing

Gérald Oster , Pascal Urso , Pascal Molli , Abdessamad Imine
ACM Conference on Computer-Supported Cooperative Work - CSCW 2006, Nov 2006, Banff, Alberta, Canada, pp.259 - 268
Communication dans un congrès inria-00108523v1
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
Image document

Edition collaborative sur réseau pair-à-pair à large échelle

Gérald Oster , Pascal Urso , Pascal Molli , Abdessamad Imine
Journées Francophones sur la Cohérence des Données en Univers Réparti - CDUR 2005, Nov 2005, Paris/France, pp.42-47
Communication dans un congrès inria-00000428v1

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

Un modèle sûr et générique pour la synchronisation de données divergentes

Gérald Oster , Pascal Molli , Hala Skaf-Molli , Abdessamad Imine
Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04, Jun 2004, Nice, France, 9 p
Communication dans un congrès inria-00108119v1

Semantic Consistency for Collaborative Systems

Hala Skaf-Molli , Pascal Molli , Gérald Oster
Fifth International Workshop on Collaborative Editing - ECSCW'2003, 2003, Helsinki, Finland, 8 p
Communication dans un congrès inria-00099816v1
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

Toxic Farm : a cooperative management platform for virtual teams and enterprises

Hala Skaf-Molli , Pascal Molli , Gérald Oster , Claude Godart , Pradeep Ray
5th International Conference on Enterprise Information Systems - ICEIS'03, 2003, Angers, France
Communication dans un congrès inria-00099802v1

VOTE: Group Editors Analyzing Tool

Abdessamad Imine , Pascal Molli , Gérald Oster , Pascal Urso
Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩
Communication dans un congrès inria-00099700v1

Using the Transformational Approach to Build a Safe and Generic Data Synchronizer

Pascal Molli , Gérald Oster , Hala Skaf-Molli , Abdessamad Imine
International Conference on Supporting Group Work - Group 2003, ACM SIGGROUP, Nov 2003, Sanibel Island, Florida, USA, pp.212-220, ⟨10.1145/958160.958194⟩
Communication dans un congrès inria-00099815v1

Divergence Awareness for Virtual Team through the Web

Pascal Molli , Hala Skaf-Molli , Gérald Oster
Sixth World Conference on Integrated Design and Process Technology - IDPT'2002, Society for Design & Process Science (SDPS), Jun 2002, Pasadena, CA, USA, 10 p
Communication dans un congrès inria-00100747v1
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
Image document

Services for Virtual Teams Hosting : ToxicFarm Introduction

François Charoy , Claude Godart , Pascal Molli , Gérald Oster , Marc Patten
Second International Workshop on Cooperative Internet Computing - CIC 2002, 2002, Hong Kong, China, pp.105-112
Communication dans un congrès inria-00099437v1
Image document

SAMS: Synchronous, Asynchronous, Multi-Synchronous Environments

Pascal Molli , Hala Skaf-Molli , Gérald Oster , Sébastien Jourdain
Seventh International Conference on Computer Supported Cooperative Work in Design - CSCWD'02, 2002, Rio de Janeiro, Brasil, 5 p
Communication dans un congrès inria-00107571v1
Image document

UniWiki: A Reliable and Scalable Peer-to-Peer System for Distributing Wiki Applications

Gérald Oster , Pascal Molli , Sergiu Dumitriu , Rubén Mondéjar
[Research Report] RR-6848, INRIA. 2009, pp.18
Rapport inria-00364462v1
Image document

A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages

Claudia Lavinia Ignat , Gérald Oster , Pascal Molli , Michelle Cart , Jean Ferrié
[Research Report] RR-6278, INRIA. 2007, pp.19
Rapport inria-00169395v2
Image document

Gasper: A Collaborative Writing Mode for Avoiding Blind Modifications

Claudia Lavinia Ignat , Gérald Oster , Pascal Molli , Hala Skaf-Molli
[Research Report] RR-6204, INRIA. 2007, pp.10
Rapport inria-00150013v3
Image document

Supporting Collaborative Writing of XML Documents

Gérald Oster , Hala Skaf-Molli , Pascal Molli , Hala Naja-Jazzar
[Research Report] 2006
Rapport inria-00108996v1
Image document

Proving correctness of transformation functions in collaborative editing systems

Gérald Oster , Pascal Urso , Pascal Molli , Abdessamad Imine
[Research Report] RR-5795, INRIA. 2005, pp.45
Rapport inria-00071213v1
Image document

Optimistic Replication for Massive Collaborative Editing

Gérald Oster , Pascal Urso , Pascal Molli , Hala Skaf-Molli , Abdessamad Imine
[Research Report] RR-5719, INRIA. 2005, pp.18
Rapport inria-00071218v1
Image document

Real time group editors without Operational transformation

Gérald Oster , Pascal Urso , Pascal Molli , Abdessamad Imine
[Research Report] RR-5580, INRIA. 2005, pp.24
Rapport inria-00071240v1
Image document

Achieving Convergence with Operational Transformation in Distributed Groupware Systems

Abdessamad Imine , Pascal Molli , Gérald Oster , Michaël Rusinowitch
[Research Report] RR-5188, INRIA. 2004, pp.19
Rapport inria-00071398v1
Image document

Safe Generic Data Synchronizer

Pascal Molli , Gérald Oster , Hala Skaf-Molli , Abdessamad Imine
[Intern report] A03-R-062 || molli03a, 2003, 8 p
Rapport inria-00107740v1