Xavier Urbain


Professor


Team(s)DRIM
Institution
Université Claude Bernard Lyon 1
Location
Nautibus (Université Lyon1)
Emailxavier.urbain at liris.cnrs.fr
Professional phone number
Personal page

Publications

Publications LIRIS pour Xavier Urbain (8)

  • 2020 (1)
    • Conferences (1)
      • National conferences with peer review (1)
        •  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2020). "Du discrètement continu au continûment discret". ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2 octobre 2020, Lyon (France). HAL : hal-02871295. .
  • 2019 (4)
    • Journals (1)
      • International journals with peer review (1)
        •  Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2019). "Synchronous Gathering without Multiplicity Detection: a Certified Algorithm". Theory of Computing Systems, vol. 63, #2, pp. 200-218. doi : 10.1007/s00224-017-9828-z. HAL : hal-01894618.
    • Conferences (2)
      • International conferences with peer review (2)
        •  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2019). "Manuel de savoir-prouver à l’usage des roboteux et des distributeux". ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 7 juin 2019, Saint Laurent de la Cabrerisse (France), pp. 1-4. HAL : hal-02115611. .
        •  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2019). "Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots". 7th International Conference on NETworked sYStems (NETYS 2019), 21 juin 2019, Marrakech (Morocco), pp. 1-15. HAL : hal-02115599.
    • Book edition (books, chapters, seminars, congress, special numbers) (1)
      •  Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil & Xavier Urbain (2019). "Formal Methods for Mobile Robots". Distributed Computing by Mobile Entities,Current Research in Moving and Computing, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, Springer International Publishing, pp. 278-313. doi : 10.1007/978-3-030-11072-7_12. HAL : hal-01981634.
  • 2018 (2)
    • Conferences (1)
      • International conferences with peer review (1)
        •  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2018). "Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots". Stabilization, Safety, and Security of Distributed Systems. SSS 2018., 7 novembre 2018, Tokyo (Japan), pp. 404-408. doi : 10.1007/978-3-030-03232-6_29. HAL : hal-01937420.
    • Reports (1)
      • Research reports/tecnical reports (1)
        •  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2018). "Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots". Research report. pp. 1-12. HAL : hal-01762962. .
  • 2017 (1)
    • Conferences (1)
      • International conferences with peer review (1)
        •  Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2017). "Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems". Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), 20 septembre 2017, Turin (Italy), pp. 165-181. doi : 10.1007/978-3-319-67113-0_11. HAL : hal-01549942.

Publications hors LIRIS

Publications hors LIRIS pour Xavier Urbain (27)

  • 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 septembre 2016, Paris (France). HAL : hal-01349061.
        •  Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2016). "Brief announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots". ACM Conference on Principles of Distributed Computing (PODC), 29 juillet 2016, Chicago (United States of America). 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 novembre 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)
        •  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.
        •  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.
    • 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). "Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots". International Symposium on Distributed Computing (DISC2013), 14 octobre 2013, Jerusalem (Israel), p. 2. HAL : hal-01126335.
        •  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 novembre 2013, Osaka (Japan), pp. 178-190. doi : 10.1007/978-3-319-03089-0_13. HAL : hal-00930267.
    • 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 septembre 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 janvier 2010, Madrid (Spain), 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)
        •  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 janvier 2008, Montreal (Canada), pp. 183-198. HAL : hal-01125530.
        •  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 janvier 2008, X (France), pp. 126-141. HAL : hal-01125542.
    • 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 janvier 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 janvier 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.
  • 2005 (1)
    • Journals (1)
      • International journals with peer review (1)
        •  Evelyne Contejean, Claude Marché, Ana Paula Tomás & Xavier Urbain (2005). "Mechanically Proving Termination Using Polynomial Interpretations". Journal of Automated Reasoning, vol. 34, #4, pp. 325-363. doi : 10.1007/s10817-005-9022-x. HAL : hal-01984434.
  • 2004 (3)
    • Journals (3)
      • International journals with peer review (3)
        •  Xavier Urbain (2004). "Modular & Incremental Automated Termination Proofs". Journal of Automated Reasoning, vol. 32, #4, pp. 315-355. HAL : hal-01984428.
        •  Claude Marché & Xavier Urbain (2004). "Modular and Incremental Proofs of AC-Termination". Journal of Symbolic Computation, vol. 38, #1, pp. 873-897. doi : 10.1016/j.jsc.2004.02.003. HAL : hal-01984429.
        •  Claude Marché, Christine Paulin-Mohring & Xavier Urbain (2004). "The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML". Journal of Logic and Algebraic Programming, vol. 58, 1-2, pp. 89-106. doi : 10.1016/j.jlap.2003.07.006. HAL : hal-01984932.
  • 2001 (1)
    • HDR, thesis (1)
      • Thesis (1)