Publis

Publications HAL de pascal urso

2016

Conference papers

titre
High Responsiveness for Group Editing CRDTs
auteur
Loïck Briot, Pascal Urso, Marc Shapiro
article
ACM International Conference on Supporting Group Work, Nov 2016, Sanibel Island, FL, United States. ⟨10.1145/2957276.2957300⟩
typdoc
Conference papers
DOI
DOI : 10.1145/2957276.2957300
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01343941/file/camera-ready-2016-06-27.pdf BibTex

Reports

titre
Reliable causal delivery with probabilistic design
auteur
Jordi Martori, Pascal Urso
article
[Research Report] RR-8985, INRIA Nancy. 2016
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01405896/file/article.pdf BibTex

2015

Journal articles

titre
Merging By Decentralized Eventual Consistency Algorithms
auteur
Mehdi Ahmed-Nacer, Pascal Urso, François Charoy
article
EAI Endorsed Transactions on Collaborative Computing, European Alliance for Innovation, 2015, 1 (6), ⟨10.4108/eai.21-12-2015.150817⟩
typdoc
Journal articles
DOI
DOI : 10.4108/eai.21-12-2015.150817
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01261869/file/icstdoc.pdf BibTex

Conference papers

titre
Probabilistic latency for partial ordering
auteur
Pascal Urso, Jordi Martori
article
Protocol Engineering (ICPE) and International Conference on New Technologies of Distributed Systems (NTDS), Jul 2015, Paris, France. ⟨10.1109/NOTERE.2015.7293483⟩
typdoc
Conference papers
DOI
DOI : 10.1109/NOTERE.2015.7293483
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01215016/file/article_fr_ieee.pdf BibTex

2014

Conference papers

titre
Evaluating Software Merge Quality
auteur
Mehdi Ahmed-Nacer, Pascal Urso, François Charoy
article
18th International Conference on Evaluation and Assessment in Software Engineering, May 2014, London, United Kingdom. pp.9, ⟨10.1145/2601248.2601275⟩
typdoc
Conference papers
DOI
DOI : 10.1145/2601248.2601275
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00957168/file/ease.pdf BibTex
titre
Merging OT and CRDT Algorithms
auteur
Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, Nuno Preguiça
article
1st Workshop on Principles and Practice of Eventual Consistency (PaPEC), Apr 2014, Amsterdam, Netherlands. ⟨10.1145/2596631.2596636⟩
typdoc
Conference papers
DOI
DOI : 10.1145/2596631.2596636
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00957167/file/main.pdf BibTex

2013

Conference papers

titre
Concurrency Control and Awareness Support for Multi-synchronous Collaborative Editing
auteur
Mehdi Ahmed-Nacer, Pascal Urso, Balegas Valter, Nuno Preguiça
article
COLLABORATECOM 2013 – 9th IEEE International. Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, Texas, United States
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00873496/file/138101036819436.pdf BibTex
titre
Improving Textual Merge Result
auteur
Mehdi Ahmed-Nacer, Pascal Urso, François Charoy
article
CollaborateCom 2013 – 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, Texas, United States
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00873506/file/collborateCom2013.pdf BibTex

2012

Conference papers

titre
Controlled conflict resolution for replicated document
auteur
Stéphane Martin, Mehdi Ahmed-Nacer, Pascal Urso
article
8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2012, Pittsburgh, Pennsylvania, United States
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00763410/file/main.pdf BibTex
titre
Évaluation de l’occupation mémoire des CRDTs pour l’édition collaborative temps-réel mobile
auteur
Mehdi Ahmed-Nacer, Pascal Urso, Claudia-Lavinia Ignat, Gérald Oster
article
UbiMob – French-speaking Conference on Mobility and Ubiquity Computing – 2012, Jun 2012, Anglet, France
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00710258/file/ubimob_fr-final.pdf BibTex

Reports

titre
File system on CRDT
auteur
Mehdi Ahmed-Nacer, Stéphane Martin, Pascal Urso
article
[Research Report] RR-8027, INRIA. 2012, pp.19
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00720681/file/RR-8027.pdf BibTex

2011

Conference papers

titre
Evaluating CRDTs for Real-time Document Editing
auteur
Mehdi Ahmed-Nacer, Claudia-Lavinia Ignat, Gérald Oster, Hyun-Gul Roh, Pascal Urso
article
11th ACM Symposium on Document Engineering, Sep 2011, Mountain View, California, United States. pp.103–112, ⟨10.1145/2034691.2034717⟩
typdoc
Conference papers
DOI
DOI : 10.1145/2034691.2034717
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00629503/file/doce63-ahmednacer.pdf BibTex

Reports

titre
Abstract unordered and ordered trees CRDT
auteur
Stéphane Martin, Mehdi Ahmed-Nacer, Pascal Urso
article
[Research Report] RR-7825, INRIA. 2011, pp.23
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00648106/file/RR-7825.pdf BibTex

2010

Journal articles

titre
Logoot-Undo: Distributed Collaborative Editing System on P2P Networks
auteur
Stéphane Weiss, Pascal Urso, Pascal Molli
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (8), pp.1162-1174. ⟨10.1109/TPDS.2009.173⟩
typdoc
Journal articles
DOI
DOI : 10.1109/TPDS.2009.173
Accès au bibtex
BibTex

Conference papers

titre
Scalable XML Collaborative Editing with Undo short paper
auteur
Stéphane Martin, Pascal Urso, Stéphane Weiss
article
18th International Conference on Cooperative Information System – CoopIS’2010, Oct 2010, Crète, Greece. pp.507-514, ⟨10.1007/978-3-642-16934-2_37⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-16934-2_37
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00527234/file/cr.pdf BibTex

Reports

titre
Scalable XML Collaborative Editing with Undo
auteur
Stéphane Martin, Pascal Urso, Stéphane Weiss
article
[Research Report] RR-7362, INRIA. 2010, pp.23
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00508436/file/RR-7362.pdf BibTex

2009

Conference papers

titre
Logoot: Un algorithme de réplication pour la collaboration sur réseaux Pair-à-Pair
auteur
Stéphane Weiss, Pascal Urso, Pascal Molli
article
3e workshop sur la cohérence des données en univers réparti (cdur’09), Sep 2009, Toulouse, France. 6 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Undo in Peer-to-peer Semantic Wikis
auteur
Charbel Rahhal, Stéphane Weiss, Hala Skaf-Molli, Pascal Urso, Pascal Molli
article
SemWiki’ 2009 – 4rd Semantic Wiki Workshop at the 6th European Semantic Web Conference – ESWC 2009, Jul 2009, Heraklion, Greece
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00432212/file/SemWiki09.pdf BibTex
titre
Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks
auteur
Stéphane Weiss, Pascal Urso, Pascal Molli
article
29th IEEE International Conference on Distributed Computing Systems – ICDCS 2009, Jun 2009, Montreal, Canada. pp.404-412, ⟨10.1109/ICDCS.2009.75⟩
typdoc
Conference papers
DOI
DOI : 10.1109/ICDCS.2009.75
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00432368/file/main.pdf BibTex
titre
Software Engineering Education by Example
auteur
Nacer Boudjlida, Jean-Pierre Jacquot, Pascal Urso
article
5th China – Europe International Symposium on Software Industry Oriented Education (CEISIE 2009), May 2009, Bordeaux, France. 4 p
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00432755/file/Final-NB-4-Educ-Bdx-SPIL.pdf BibTex
titre
Designing a distributed AOP runtime composition model
auteur
Rubén Mondéjar, Pedro Garcia, Carles Pairot, Pascal Urso, Pascal Molli
article
24th Annual ACM Symposium on Applied Computing – SAC 2009, Mar 2009, Honolulu, Hawaii, United States. pp.539-540, ⟨10.1145/1529282.1529395⟩
typdoc
Conference papers
DOI
DOI : 10.1145/1529282.1529395
Accès au bibtex
BibTex

Reports

titre
Undo in Peer-to-peer Semantic Wikis
auteur
Charbel Rahhal, Stéphane Weiss, Hala Skaf-Molli, Pascal Urso, Pascal Molli
article
[Research Report] RR-6870, INRIA. 2009, pp.18
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00366317/file/RR-6870.pdf BibTex

2008

Conference papers

titre
An Undo Framework for P2P Collaborative Editing
auteur
Stéphane Weiss, Pascal Urso, Pascal Molli
article
4th International Conference on Collaborative Computing : Networking, Applications and Worksharing – CollaborateCom 2008, Nov 2008, Orlando, United States. pp.529-544, ⟨10.1007/978-3-642-03354-4_40⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-03354-4_40
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00432373/file/main.pdf BibTex

Reports

titre
Logoot: a P2P collaborative editing system
auteur
Stéphane Weiss, Pascal Urso, Pascal Molli
article
[Research Report] RR-6713, INRIA. 2008, pp.13
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336191/file/main.pdf BibTex
titre
A Flexible Undo Framework for Collaborative Editing
auteur
Stéphane Weiss, Pascal Urso, Pascal Molli
article
[Research Report] RR-6516, INRIA. 2008
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00275754/file/RR-6516.pdf BibTex

2007

Conference papers

titre
Wooki: A P2P Wiki-Based Collaborative Writing Tool
auteur
Stéphane Weiss, Pascal Urso, Pascal Molli
article
8th International Conference on Web Information Systems Engineering – WISE 2007, Dec 2007, Nancy, France. pp.503-512, ⟨10.1007/978-3-540-76993-4_42⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-76993-4_42
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00432360/file/main.pdf BibTex
titre
Compensation in Collaborative Editing
auteur
Stéphane Weiss, Pascal Urso, Pascal Molli
article
9th International Workshop on Collaborative Editing Systems – IWCES 2007, Nov 2007, Sanibel Island, Florida, United States. 6 p
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00433033/file/main.pdf BibTex
titre
Verification of data consistency for P2P collaborative editing
auteur
Pascal Urso
article
Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Oct 2007, Nancy, France
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Wooki: a P2P Wiki-based Collaborative Writing Tool
auteur
Stéphane Weiss, Pascal Urso, Pascal Molli
article
[Research Report] RR-6226, INRIA. 2007
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00156190/file/RR-6226.pdf BibTex
titre
Compensation in Collaborative Editing
auteur
Stéphane Weiss, Pascal Urso, Pascal Molli
article
[Research Report] RR-6160, INRIA. 2007
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00138381/file/RR-6160.pdf BibTex

2006

Conference papers

titre
Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
auteur
Gérald Oster, Pascal Molli, Pascal Urso, Abdessamad Imine
article
IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing – CollaborateCom 2006, Nov 2006, Atlanta, Georgia, USA, pp.1-10, ⟨10.1109/COLCOM.2006.361867⟩
typdoc
Conference papers
DOI
DOI : 10.1109/COLCOM.2006.361867
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00109039/file/OsterCollaborateCom06.pdf BibTex
titre
Data Consistency for P2P Collaborative Editing
auteur
Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
article
ACM Conference on Computer-Supported Cooperative Work – CSCW 2006, Nov 2006, Banff, Alberta, Canada, pp.259 – 268
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00108523/file/OsterCSCW06.pdf BibTex

2005

Conference papers

titre
Edition collaborative sur réseau pair-à-pair à large échelle
auteur
Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
article
Journées Francophones sur la Cohérence des Données en Univers Réparti – CDUR 2005, Nov 2005, Paris/France, pp.42-47
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000428/file/woot.pdf BibTex

Reports

titre
Optimistic Replication for Massive Collaborative Editing
auteur
Gérald Oster, Pascal Urso, Pascal Molli, Hala Skaf-Molli, Abdessamad Imine
article
[Research Report] RR-5719, INRIA. 2005, pp.18
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071218/file/RR-5719.pdf BibTex
titre
Real time group editors without Operational transformation
auteur
Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
article
[Research Report] RR-5580, INRIA. 2005, pp.24
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071240/file/RR-5580.pdf BibTex
titre
Proving correctness of transformation functions in collaborative editing systems
auteur
Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
article
[Research Report] RR-5795, INRIA. 2005, pp.45
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071213/file/RR-5795.pdf BibTex

2004

Journal articles

titre
Sound generalizations in mathematical induction
auteur
Pascal Urso, Emmanuel Kounalis
article
Theoretical Computer Science, Elsevier, 2004, 323 (1-3), pp.443-471. ⟨10.1016/j.tcs.2004.05.022⟩
typdoc
Journal articles
DOI
DOI : 10.1016/j.tcs.2004.05.022
Accès au bibtex
BibTex

Conference papers

titre
Automated Verification of Features with Situation Calculus
auteur
Pascal Urso, Pierre-Yves Schobbens
article
Formal Techniques for Networked and Distributed Systems – FORTE 2004, 2004, Madrid, Spain, 14 p
typdoc
Conference papers
Accès au bibtex
BibTex

2003

Conference papers

titre
Term Partition » for Mathematical Induction
auteur
Pascal Urso, Emmanuel Kounalis
article
Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Jun 2003, Valencia, Spain. pp.352-366, ⟨10.1007/3-540-44881-0⟩
typdoc
Conference papers
DOI
DOI : 10.1007/3-540-44881-0
Accès au bibtex
BibTex
titre
Automatic Detection of Copies Divergence in Collaborative Editing Systems
auteur
Abdessamad Imine, Pascal Urso
article
Eighth International Workshop on Formal Methods for Industrial Critical Systems – FMICS’03, Jun 2003, Trondheim, Norway. pp.92-108, ⟨10.1016/S1571-0661(04)80811-9⟩
typdoc
Conference papers
DOI
DOI : 10.1016/S1571-0661(04)80811-9
Accès au bibtex
BibTex
titre
VOTE: Group Editors Analyzing Tool
auteur
Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso
article
Fourth International Workshop on First-Order Theorem Proving – FTP’03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩
typdoc
Conference papers
DOI
DOI : 10.1016/S1571-0661(04)80660-1
Accès au bibtex
BibTex

2002

Conference papers

titre
Inductive Languages and Generalizations
auteur
Pascal Urso, Emmanuel Kounalis
article
Tenth International Conference on Automata and Formal Languages – AFL 2002, Jun 2002, Debrecen, Hungary
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Généralisations correctes pour l’induction mathématique
auteur
Pascal Urso, Emmanuel Kounalis
article
Journées francophones de la programmation en logique avec contraintes – JFPLC 2002, May 2002, Nice, France. pp.211-226
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Term Partition » for Mathematical Induction
auteur
Pascal Urso, Emmanuel Kounalis
article
[Research Report] RR-4565, INRIA. 2002
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072023/file/RR-4565.pdf BibTex

Theses

titre
Généralisations et méthodes correctes pour l’induction mathématique
auteur
Pascal Urso
article
Informatique [cs]. Université Nice Sophia Antipolis, 2002. Français
typdoc
Theses
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00505928/file/Urso.pdf BibTex

1999

Conference papers

titre
Mechanizing Proofs of Integrity Constraints in the Situation Calculus
auteur
Pascal Urso, Emmanuel Kounalis
article
12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Jun 1999, Cairo, Egypt. pp.372-382, ⟨10.1007/b72302⟩
typdoc
Conference papers
DOI
DOI : 10.1007/b72302
Accès au bibtex
BibTex
titre
Generalization Discovery for Proofs by Induction in Conditional Theories
auteur
Pascal Urso, Emmanuel Kounalis
article
Twelfth International Florida Artificial Intelligence Research Society Conference – FLAIRS99, 1999, Orlando, United States. pp.250-256
typdoc
Conference papers
Accès au bibtex
BibTex