Accéder directement au contenu

Pascal Molli

6
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

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