Production year

Number of documents

15

Pascal Molli


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 team. From September 2010 to current, he is Full Professor at University of Nantes and is head of GDD Team in LINA 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 LibresourceXwiki-ConcertoConcordant,STREAMS and international projects such as European Project Qualipso. He is currently the coordinator of project Kolflow.

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.


"Abdessamad Imine"   

Journal articles1 document

  • Abdessamad Imine, Michaël Rusinowitch, Gérald Oster, Pascal Molli. Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence. Theoretical Computer Science, Elsevier, 2006, Algebraic Methodology and Software Technology, 351 (2), pp.167--183. ⟨10.1016/j.tcs.2005.09.066⟩. ⟨inria-00000426⟩

Conference papers9 documents

  • Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine. Data Consistency for P2P Collaborative Editing. ACM Conference on Computer-Supported Cooperative Work - CSCW 2006, Nov 2006, Banff, Alberta, Canada, pp.259 - 268. ⟨inria-00108523⟩
  • Gérald Oster, Pascal Molli, Pascal Urso, Abdessamad Imine. Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems. IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2006, Nov 2006, Atlanta, Georgia, USA, pp.1-10, ⟨10.1109/COLCOM.2006.361867⟩. ⟨inria-00109039⟩
  • Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Towards Synchronizing Linear Collaborative Objects with Operation Transformation. International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427. ⟨inria-00000427⟩
  • Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine. Edition collaborative sur réseau pair-à-pair à large échelle. Journées Francophones sur la Cohérence des Données en Univers Réparti - CDUR 2005, Nov 2005, Paris/France, pp.42-47. ⟨inria-00000428⟩
  • Gérald Oster, Pascal Molli, Hala Skaf-Molli, Abdessamad Imine. Un modèle sûr et générique pour la synchronisation de données divergentes. Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04, Jun 2004, Nice, France, 9 p. ⟨inria-00108119⟩
  • Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Deductive Verification of Distributed Groupware Systems. Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, 2004, Stirling, Scotland, United Kingdom, pp.226-240. ⟨inria-00099986⟩
  • Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Proving Correctness of Transformation Functions in Real-Time Groupware. 8th European Conference of Computer-supported Cooperative Work - ECSCW'03, 2003, Helsinki, Finland, 18 p. ⟨inria-00107652⟩
  • Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso. VOTE: Group Editors Analyzing Tool. Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩. ⟨inria-00099700⟩
  • Pascal Molli, Gérald Oster, Hala Skaf-Molli, Abdessamad Imine. Using the Transformational Approach to Build a Safe and Generic Data Synchronizer. International Conference on Supporting Group Work - Group 2003, ACM SIGGROUP, Nov 2003, Sanibel Island, Florida, USA, pp.212-220, ⟨10.1145/958160.958194⟩. ⟨inria-00099815⟩

Reports5 documents

  • Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine. Proving correctness of transformation functions in collaborative editing systems. [Research Report] RR-5795, INRIA. 2005, pp.45. ⟨inria-00071213⟩
  • Gérald Oster, Pascal Urso, Pascal Molli, Hala Skaf-Molli, Abdessamad Imine. Optimistic Replication for Massive Collaborative Editing. [Research Report] RR-5719, INRIA. 2005, pp.18. ⟨inria-00071218⟩
  • Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine. Real time group editors without Operational transformation. [Research Report] RR-5580, INRIA. 2005, pp.24. ⟨inria-00071240⟩
  • Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Achieving Convergence with Operational Transformation in Distributed Groupware Systems. [Research Report] RR-5188, INRIA. 2004, pp.19. ⟨inria-00071398⟩
  • Pascal Molli, Gérald Oster, Hala Skaf-Molli, Abdessamad Imine. Safe Generic Data Synchronizer. [Intern report] A03-R-062 || molli03a, 2003, 8 p. ⟨inria-00107740⟩