Personal tools
Laboratoire d'InfoRmatique en Image et Systèmes d'information

Skip to content. | Skip to navigation

Laboratoire d'InfoRmatique en Image et Systèmes d'information
UMR 5205 CNRS / INSA de Lyon / Université Claude Bernard Lyon 1 / Université Lumière Lyon 2 / École Centrale de Lyon
You are here: Home > membres

Xavier Urbain

photo

Professor

Team Distributed Systems, Information Retrieval and Mobility
 
Institution Claude Bernard University of Lyon 1
Location Nautibus (Université Lyon1)
 
E-mail xavier.urbain at liris.cnrs.fr
URL http://liris.cnrs.fr/xavier.urbain
Contact details Publications

Publication LIRIS for Xavier Urbain (0)

External publications

Publications outside LIRIS for Xavier Urbain (22)

  • 2016 (4)
    • Conferences (3)
      • International conferences with peer review (3)
        •  Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2016). « A Certified Universal Gathering Algorithm for Oblivious Mobile Robots ». Distributed Computing (DISC), 29 september 2016, Paris (France). HAL : hal-01349061.
        •  Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2016). « Certified Universal Gathering in R2 for Oblivious Mobile Robots ». ACM Conference on Principles of Distributed Computing (PODC), 29 july 2016, Chicago (États-Unis). HAL : hal-01349084.
        •  Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2016). « Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm ». International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), 10 november 2016, Lyon (France), pp. 7-19. doi : 10.1007/978-3-319-49259-9_2. HAL : hal-01491813.
    • Reports (1)
      • Research reports/tecnical reports (1)
        •  Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2016). « Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots ». . Research report. ArXiv : 1602.08361. HAL : hal-01274295. .
  • 2015 (3)
    • Journals (2)
      • International journals with peer review (2)
        •  Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2015). « Impossibility of gathering, a certification ». Information Processing Letters, vol. 115, 3, pp. 447-452. doi : 10.1016/j.ipl.2014.11.001. ArXiv : 1405.5902. HAL : hal-01122869.
        •  Béatrice Bérard, Pierre Courtieu, Laure Millet, Maria Potop-Butucaru, Lionel Rieg, Nathalie Sznajder, Sébastien Tixeuil & Xavier Urbain (2015). « [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems ». International Journal of Informatics Society, vol. 7, 3, pp. 101-114. HAL : hal-01238784.
    • Reports (1)
      • Research reports/tecnical reports (1)
        •  Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2015). « A Certified Universal Gathering Algorithm for Oblivious Mobile Robots ». . Research report. ArXiv : 1506.01603. HAL : hal-01159890. .
  • 2014 (1)
    • Reports (1)
      • Research reports/tecnical reports (1)
        •  Pierre Courtieu, Lionel Rieg, Xavier Urbain & Sébastien Tixeuil (2014). « Impossibility of Gathering, a Certification ». . Technical report, CEDRIC-14-3016. p. 10. ArXiv : 1405.5902. HAL : hal-00995126. .
  • 2013 (3)
    • Conferences (2)
      • International conferences with peer review (2)
        •  Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil & Xavier Urbain (2013). « Certified Impossibility Results for Byzantine-Tolerant Mobile Robots ». International Symposium on Stabilization, Safety, and Security of Distributed Systems, 16 november 2013, Osaka (Japon), pp. 178-190. doi : 10.1007/978-3-319-03089-0_13. HAL : hal-00930267.
        •  Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil & Xavier Urbain (2013). « Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots ». International Symposium on Distributed Computing (DISC2013), 14 october 2013, Jerusalem (Israël), p. 2. HAL : hal-01126335.
    • Reports (1)
      • Research reports/tecnical reports (1)
        •  Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil & Xavier Urbain (2013). « Certified Impossibility Results for Byzantine-Tolerant Mobile Robots ». . Research report, 1560. ArXiv : 1306.4242. HAL : hal-00834633. .
  • 2011 (2)
    • Conferences (2)
      • International conferences with peer review (1)
        •  Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons & Xavier Urbain (2011). « Automated Certified Proofs with CiME3 ». RTA - 22nd International Conference on Rewriting Techniques and Applications, Novi Sad (Serbia). HAL : hal-00777669.
      • National conferences with peer review (1)
        •  Pierre Courtieu, David Baelde, Christine Paulin-Mohring, Xavier Urbain & David Gross-Amblard (2011). « Formal Proofs of Robustness for Watermarking Algorithms ». TYPES WOKSHOP 2011, 8 september 2011, X (France). HAL : hal-01126043.
  • 2010 (1)
    • Conferences (1)
      • International conferences with peer review (1)
        •  Evelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons & Xavier Urbain (2010). « A3PAT, an Approach for Certified Automated Termination Proofs ». 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 19 january 2010, Madrid (Espagne), pp. 63-72. doi : 10.1145/1706356.1706370. HAL : inria-00535655. .
  • 2008 (4)
    • Journals (1)
      • International journals with peer review (1)
        •  Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer & Xavier Urbain (2008). « Proving Operational Termination of Membership Equational Programs ». Higher-Order and Symbolic Computation, vol. 21, 1-2, pp. 59-88. HAL : inria-00431474. .
    • Conferences (2)
      • National conferences with peer review (2)
        •  Ra?l Guti?rrez, Salvador Lucas & Xavier Urbain (2008). « Usable Rules for Context-Sensitive Rewriting ». 19th Int. Conf. on Rewriting Techniques and Applications, Linz, Autriche, 1 january 2008, X (France), pp. 126-141. HAL : hal-01125542.
        •  Pierre Courtieu, Julien Forest & Xavier Urbain (2008). « Certifying a Termination Criterion Based on Graphs, without Graphs ». TPHOLs'08 Theorem Proving in Higher Order Logics, Montr?al, Canada, 1 january 2008, Montreal (Canada), pp. 183-198. HAL : hal-01125530.
    • Reports (1)
      • Research reports/tecnical reports (1)
        •  Evelyne Contejean, Julien Forest & Xavier Urbain (2008). « Deep-Embedded Unification ». . Research report, CEDRIC-08-1547. HAL : hal-01125541.
  • 2007 (3)
    • Conferences (2)
      • International conferences with peer review (1)
        •  Ra?l Guti?rrez, Salvador Lucas & Xavier Urbain (2007). « Towards a notion of Usable Rule for Context-Sensitive Rewrite Systems ». PROLE'07, E. Pimentel ed, Proceedings of 7th Spanish Conference on Programming and Computer Languages, Saragosse, Espagne, 1 january 2007, X (France), pp. 243-252. HAL : hal-01125366.
      • National conferences with peer review (1)
        •  Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons & Xavier Urbain (2007). « Certification of automated termination proofs ». 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, 1 january 2007, X (France), pp. 148-162. HAL : hal-01125312.
    • Reports (1)
      • Research reports/tecnical reports (1)
        •  Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons & Xavier Urbain (2007). « Certification of automated termination proofs ». . Research report, CEDRIC-07-1185. HAL : hal-01125298.
  • 2006 (1)
    • Reports (1)
      • Research reports/tecnical reports (1)
        •  Evelyne Contejean, Claude Marché, Ana-Paula Tomas & Xavier Urbain (2006). « Mechanically proving termination using polynomial interpretations ». . Internal, 1382. HAL : inria-00001167.

Last update : 2017-03-24 09:45:05