Publications & Communications

Conferences

  • Inference of Channel Priorities for Asynchronous Communication, Nathanaël Sensfelder, Aurélie Hurault and Philippe Quéinnec. 14th Int'l Conference on Distributed Computing and Artificial Intelligence (DCAI'17), June 2017. (published version), (extended version).
  • Compiling Parameterized X86-TSO Concurrent Programs to Cubicle, Sylvain Conchon, David Declerck, Fatiha Zaïdi. 19th International Conference on Formal Engineering Methods (ICFEM), November 2017.
  • FAR-Cubicle - A New Reachability Algorithm for Cubicle, Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux. Formal Methods in Computer Aided Design (FMCAD), October 2017.
  • Asynchronous Message Orderings Beyond Causality, Adam Shimi, Aurélie Hurault and Philippe Quéinnec. 21st International Conference on Principles of Distributed Systems (OPODIS2017) December 2017. (published version).
  • Declarative Parameterized Verification of Topology-sensitive Distributed Protocols, Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando. 6th International Conference on Network Systems (Netys), May 2018.
  • A Modular Framework for Verifying Versatile Distributed Systems, Florent Chevrou, Aurélie Hurault and Philippe Quéinnec. 5th International Symposium on Formal Approaches to Parallel and Distributed Systems. July 2018. (published version).
  • Characterizing Asynchronous Message-Passing Models Through Rounds, Adam Shimi, Aurélie Hurault and Philippe Quéinnec. 22st International Conference on Principles of Distributed Systems (OPODIS2018) December 2018. (published version), (extended version).

Invited Talks

  • Cubicle : a model checker for parameterized array-based transition systems, Sylvain Conchon. 4th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2017), October 2017.
  • Describing asynchronous communications in distributed algorithms, Philippe Quéinnec. 4th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2017), October 2017. (slides).
  • Parameterized Model Checking Modulo Weak Memory Models, Sylvain Conchon. Workshop on Verification of Distributed Systems (VDS), May 2018.
  • Characterizing Asynchronous Message-Passing Models Through Rounds, Adam Shimi. 5th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2018), July 2018.