Search Results - "Rahli, Vincent"

text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity by Cohen, Liron, Rahli, Vincent

“…$\text{TT}^{\Box}_{{\mathcal C}}$ is a generic family of effectful, extensional type theories with a forcing interpretation parameterized by modalities. This…”
Get full text

PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite by Kozhaya, David, Decouchant, Jeremie, Rahli, Vincent, Esteves-Verissimo, Paulo

“…The accelerated digitalisation of society along with technological evolution have extended the geographical span of cyber-physical systems. Two main threats…”
Get full text

EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems by Rahli, Vincent, Guaspari, David, Bickford, Mark, Constable, Robert L.

“…Distributed programs are known to be extremely difficult to implement, test, verify, and maintain. This is due in part to the large number of possible…”
Get full text

Practical Byzantine Reliable Broadcast on Partially Connected Networks by Bonomi, Silvia, Decouchant, Jeremie, Farina, Giovanni, Rahli, Vincent, Tixeuil, Sebastien

“…In this paper, we consider the Byzantine reliable broadcast problem on authenticated and partially connected networks. The state-of-the-art method to solve…”
Get full text

Intrusion Resilience Systems for Modern Vehicles by Shoker, Ali, Rahli, Vincent, Decouchant, Jeremie, Esteves-Verissimo, Paulo

“…Current vehicular Intrusion Detection and Prevention Systems either incur high false-positive rates or do not capture zero-day vulnerabilities, leading to…”
Get full text

Skalpel: A constraint-based type error slicer for Standard ML by Rahli, Vincent, Wells, Joe, Pirie, John, Kamareddine, Fairouz

“…Compilers for languages with type inference algorithms often produce confusing type error messages and give a single error location which is sometimes far away…”
Get full text

Bar induction: The good, the bad, and the ugly by Rahli, Vincent, Bickford, Mark, Constable, Robert L.

“…We present an extension of the computation system and logic of the Nuprl proof assistant with intuitionistic principles, namely versions of Brouwer's bar…”
Get full text

text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity by Cohen, Liron, Rahli, Vincent

“…Logical Methods in Computer Science, Volume 20, Issue 2 (June 26, 2024) lmcs:11666 $\text{TT}^{\Box}_{{\mathcal C}}$ is a generic family of effectful,…”
Get full text

Developing Correctly Replicated Databases Using Formal Tools by Schiper, Nicolas, Rahli, Vincent, Van Renesse, Robbert, Bickford, Marck, Constable, Robert L.

“…Fault-tolerant distributed systems often contain complex error handling code. Such code is hard to test or model-check because there are often too many…”
Get full text

Meeting the Challenges of Critical and Extreme Dependability and Security by Esteves-Verissimo, Paulo, Volp, Marcus, Decouchant, Jeremie, Rahli, Vincent, Rocha, Francisco

“…The world is becoming an immense critical information infrastructure, with the fast and increasing entanglement of utilities, telecommunications, Internet,…”
Get full text

Reliable Communication in Hybrid Authentication and Trust Models by Chotkan, Rowdy, Cox, Bart, Rahli, Vincent, Decouchant, Jérémie

“…Reliable communication is a fundamental distributed communication abstraction that allows any two nodes of a network to communicate with each other. It is…”
Get full text

OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments by Decouchant, Jeremie, Kozhaya, David, Rahli, Vincent, Yu, Jiangshan

“…Byzantine fault-tolerance is arguably an expensive characteristic for protocols to support, especially when considering its overhead on message complexity,…”
Get full text

Intrusion Resilience Systems for Modern Vehicles by Shoker, Ali, Rahli, Vincent, Decouchant, Jeremie, Esteves-Verissimo, Paulo

“…In the 97th IEEE Vehicular Technology Conference: VTC2023 Current vehicular Intrusion Detection and Prevention Systems either incur high false-positive rates…”
Get full text

Investigations in intersection types: confluence, and semantics of expansion in the λ-calculus, and a type error slicing method by Rahli, Vincent

“…Type systems were invented in the early 1900s to provide foundations for Mathematics where types were used to avoid paradoxes. Type systems have then been…”
Get full text

Practical Byzantine Reliable Broadcast on Partially Connected Networks (Extended version) by Bonomi, Silvia, Decouchant, Jérémie, Farina, Giovanni, Rahli, Vincent, Tixeuil, Sébastien

“…In this paper, we consider the Byzantine reliable broadcast problem on authenticated and partially connected networks. The state-of-the-art method to solve…”
Get full text

PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite by Kozhaya, David, Decouchant, Jeremie, Rahli, Vincent, Esteves-Verissimo, Paulo

“…The accelerated digitalisation of society along with technological evolution have extended the geographical span of cyber-physical systems. Two main threats…”
Get full text

A diversified and correct-by-construction broadcast service by Rahli, V., Schiper, N., Van Renesse, R., Bickford, M., Constable, R. L.

“…We present a fault-tolerant ordered broadcast service that is correct-by-construction. Our broadcast service allows for diversity in space, whereby the…”
Get full text

Skalpel: A Type Error Slicer for Standard ML by Rahli, Vincent, Wells, Joe, Pirie, John, Kamareddine, Fairouz

“…Compilers for languages with type inference algorithms produce confusing type error messages and give a single error location which is often far away from the…”
Get full text

Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction by Kamareddine, Fairouz, Rahli, Vincent

“…The simplest proofs of the Church Rosser Property are usually done by the syntactic method of parallel reduction. On the other hand, reducibility is a semantic…”
Get full text

Realisability Semantics for Intersection Types and Expansion Variables by Kamareddine, Fairouz, Nour, Karim, Rahli, Vincent, Wells, J. B

“…4th Workshop on Intersection Types and Related Systems (ITRS '08), Turin : Italie (2008) Expansion was invented at the end of the 1970s for calculating…”
Get full text