Publications & Communications

Articles

  • A Modular Framework for Verifying Versatile Distributed Systems, Florent Chevrou, Aurélie Hurault and Philippe Quéinnec. Journal of Logical and Algebraic Methods in Programming, Elsevier, 108:24-46, November 2019, doi:10.1016/j.jlamp.2019.05.008. (author version)

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, doi:10.1007/978-3-319-62410-5_32. (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, doi:10.1007/978-3-319-68690-5_6.
  • 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, doi:10.23919/FMCAD.2017.8102256.
  • 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, doi:10.4230/LIPIcs.OPODIS.2017.29. (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, 10.1007/978-3-030-05529-5_14.
  • A Modular Framework for Verifying Versatile Distributed Systems, Florent Chevrou, Aurélie Hurault and Philippe Quéinnec. 16th Int'l Conference on High Performance Computing & Simulation (HPCS 2018) -- International Symposium on Formal Approaches to Parallel and Distributed Systems. July 2018, doi:10.1109/HPCS.2018.00121. (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, doi:10.4230/LIPIcs.OPODIS.2018.18. (published version), (extended version).
  • A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations, Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec. 17th Int'l Conference on Business Process Management (BPM 2019). September 2019. Best paper award. (published version, slides).
  • Proving a Non-Blocking Algorithm for Process Renaming with TLA+, Aurélie Hurault and Philippe Quéinnec. 13th International Conference on Tests and Proofs (TAP 2019). October 2019. (published 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.