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)
  • A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations. Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laid Kahloud. Information Systems, Elsevier, 2021, doi:10.1016/j.is.2021.101765.

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).
  • Derivation of Heard-Of Predicates From Elementary Behavioral Patterns, Adam Shimi, Aurélie Hurault, Philippe Quéinnec. 40th Int'l Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020). June 2020. (published version), (extended version)
  • K-set agreement bounds in round-based models through combinatorial topology, Adam Shimi, Armando Castañeda. Principles of Distributed Computing (PODC 2020), August 2020. (extended version)
  • A Direct Formal Semantics for BPMN Time-Related Constructs, Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec. 16th Int'l Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021). April 2021.

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.