Publications & Communications

  • 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).
  • Cubicle : a model checker for parameterized array-based transition systems, Sylvain Conchon. 4th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2017), October 2017 (invited presentation).
  • Describing asynchronous communications in distributed algorithms, Philippe Quéinnec. 4th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2017), October 2017 (invited presentation). (slides).
  • 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).
  • 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.