Vincent Rahli

Publications

  1. 2021
  2. E-pub ahead of print

    PISTIS: an event-triggered real-time Byzantine-resilient protocol suite

    Vincent Rahli & , 4 Feb 2021, (E-pub ahead of print) In: IEEE Transactions on Parallel and Distributed Systems.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Open bar - a Brouwerian intuitionistic logic with a pinch of excluded middle

    Vincent Rahli, 13 Jan 2021, In: Leibniz International Proceedings in Informatics. 183, p. 11:1-11:23

    Research output: Contribution to journalConference articlepeer-review

  4. 2019
  5. Published

    Asphalion: trustworthy shielding against Byzantine faults

    Vincent Rahli & , 10 Oct 2019, In: Proceedings of the ACM on Programming Languages. 3, OOPSLA, 138.

    Research output: Contribution to journalConference articlepeer-review

  6. Published

    Bar induction is compatible with constructive type theory

    Vincent Rahli, , & , 26 Apr 2019, In: Journal of the ACM. 66, 2, p. 13:1-13:35

    Research output: Contribution to journalArticlepeer-review

  7. 2018
  8. Published

    A verified theorem prover backend supported by a monotonic library

    Vincent Rahli, & , 23 Oct 2018, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Barthe, G., Sutcliffe, G. & Veanes, M. (eds.). EasyChair Publications, p. 564-582 19 p. (EPiC Series in Computing; vol. 57).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    Computability beyond Church-Turing via choice sequences

    Vincent Rahli, 9 Jul 2018, LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), p. 245-254 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    Validating Brouwer's continuity principle for numbers using named exceptions

    Vincent Rahli & , 1 Jun 2018, In: Mathematical Structures in Computer Science. 28, 6, p. 942-990 49 p.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Velisarios: Byzantine fault-tolerant protocols powered by Coq

    Vincent Rahli, , & , 14 Apr 2018, Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Ahmed, A. (ed.). Springer, p. 619-650 32 p. (Lecture Notes in Computer Science; vol. 10801).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. 2017
  13. Published

    EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems

    Vincent Rahli, , & , 15 Nov 2017, In: Science of Computer Programming. 148, p. 26-48 23 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Bar induction: The good, the bad, and the ugly

    Vincent Rahli, & , 18 Aug 2017, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. Institute of Electrical and Electronics Engineers (IEEE)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 Next