Xavier Urbain


Professeur des universités


Équipe(s)DRIM
Etablissement de rattachement
Université Claude Bernard Lyon 1
Implantation
Nautibus (Université Lyon1)
Courrielxavier.urbain at liris.cnrs.fr
Téléphone professionnel
Page perso

Publications

Publications LIRIS pour Xavier Urbain (7)

  • 2019 (4)
    • Revues (1)
      • Revues internationales avec comité de lecture (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.
    • Conférences (2)
      • Conférences internationales avec comité de lecture (2)
        •  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 (Maroc), pp. 1-15. HAL : hal-02115599.
        •  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. .
    • Éditions scientifique d'ouvrages (livres, chapitres, colloques, congrès, n° spéciaux) (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)
    • Conférences (1)
      • Conférences internationales avec comité de lecture (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 (Japon), pp. 404-408. doi : 10.1007/978-3-030-03232-6_29. HAL : hal-01937420.
    • Rapports (1)
      • Rapports de recherche/technique (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 ». Rapport de recherche. pp. 1-12. HAL : hal-01762962. .
  • 2017 (1)
    • Conférences (1)
      • Conférences internationales avec comité de lecture (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 (Italie), 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)
    • Conférences (3)
      • Conférences internationales avec comité de lecture (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 (É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 novembre 2016, Lyon (France), pp. 7-19. doi : 10.1007/978-3-319-49259-9_2. HAL : hal-01491813.
    • Rapports (1)
      • Rapports de recherche/technique (1)
        •  Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2016). « Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots ». Rapport de recherche. ArXiv : 1602.08361. HAL : hal-01274295. .
  • 2015 (3)
    • Revues (2)
      • Revues internationales avec comité de lecture (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.
    • Rapports (1)
      • Rapports de recherche/technique (1)
        •  Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil & Xavier Urbain (2015). « A Certified Universal Gathering Algorithm for Oblivious Mobile Robots ». Rapport de recherche. ArXiv : 1506.01603. HAL : hal-01159890. .
  • 2014 (1)
    • Rapports (1)
      • Rapports de recherche/technique (1)
        •  Pierre Courtieu, Lionel Rieg, Xavier Urbain & Sébastien Tixeuil (2014). « Impossibility of Gathering, a Certification ». Rapport technique, CEDRIC-14-3016. p. 10. ArXiv : 1405.5902. HAL : hal-00995126. .
  • 2013 (3)
    • Conférences (2)
      • Conférences internationales avec comité de lecture (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 (Israël), 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 (Japon), pp. 178-190. doi : 10.1007/978-3-319-03089-0_13. HAL : hal-00930267.
    • Rapports (1)
      • Rapports de recherche/technique (1)
        •  Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil & Xavier Urbain (2013). « Certified Impossibility Results for Byzantine-Tolerant Mobile Robots ». Rapport de recherche, 1560. ArXiv : 1306.4242. HAL : hal-00834633. .
  • 2011 (2)
    • Conférences (2)
      • Conférences internationales avec comité de lecture (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 (Serbie). HAL : hal-00777669.
      • Conférences nationales avec comité de lecture (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)
    • Conférences (1)
      • Conférences internationales avec comité de lecture (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 (Espagne), pp. 63-72. doi : 10.1145/1706356.1706370. HAL : inria-00535655. .
  • 2008 (4)
    • Revues (1)
      • Revues internationales avec comité de lecture (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. .
    • Conférences (2)
      • Conférences nationales avec comité de lecture (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.
    • Rapports (1)
      • Rapports de recherche/technique (1)
        •  Evelyne Contejean, Julien Forest & Xavier Urbain (2008). « Deep-Embedded Unification ». Rapport de recherche, CEDRIC-08-1547. HAL : hal-01125541.
  • 2007 (3)
    • Conférences (2)
      • Conférences internationales avec comité de lecture (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.
      • Conférences nationales avec comité de lecture (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.
    • Rapports (1)
      • Rapports de recherche/technique (1)
        •  Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons & Xavier Urbain (2007). « Certification of automated termination proofs ». Rapport de recherche, CEDRIC-07-1185. HAL : hal-01125298.
  • 2006 (1)
    • Rapports (1)
      • Rapports de recherche/technique (1)
        •  Evelyne Contejean, Claude Marché, Ana-Paula Tomas & Xavier Urbain (2006). « Mechanically proving termination using polynomial interpretations ». Interne, 1382. HAL : inria-00001167.
  • 2005 (1)
    • Revues (1)
      • Revues internationales avec comité de lecture (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)
    • Revues (3)
      • Revues internationales avec comité de lecture (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 ». The 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, thèses (1)
      • Thèses (1)