David Kozhaya

According to our database, David Kozhaya authored at least 17 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Qualitative Analysis for Validating IEC 62443-4-2 Requirements in DevSecOps.

Christian Göttel, Maëlle Kabir-Querrec, David Kozhaya, Thanikesavan Sivanthi, Ognjen Vukovic

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022

DAMYSUS: streamlined BFT consensus leveraging trusted components.

Jérémie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

2021

PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite.

David Kozhaya, Jérémie Decouchant, Vincent Rahli, Paulo Esteves Veríssimo

IEEE Trans. Parallel Distributed Syst., 2021

Probabilistic and temporal failure detectors for solving distributed problems.

Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet

J. Parallel Distributed Comput., 2021

2020

PISTIS: From a Word-of-Mouth to a Gentleman's Agreement.

David Kozhaya, Jeremie Decouchant, Vincent Rahli, Paulo Jorge Esteves Veríssimo

CoRR, 2020

Automatic Mitigation of Wrong Cabling in High Availability Industrial Networks.

David Kozhaya, Thanikesavan Sivanthi, Raphael Eidenbenz

Proceedings of the Fifth International Conference on Fog and Mobile Edge Computing, 2020

2019

RepuCoin: Your Reputation Is Your Power.

Jiangshan Yu, David Kozhaya, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo

IEEE Trans. Computers, 2019

RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast.

David Kozhaya, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo

IEEE Trans. Computers, 2019

Byzantine Resilient Protocol for the IoT.

Antônio Augusto Fröhlich, Roberto Milton Scheffel, David Kozhaya, Paulo Jorge Esteves Veríssimo

IEEE Internet Things J., 2019

2018

You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings.

David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2016

Reliable and Real-Time Distributed Abstractions.

David Kozhaya

PhD thesis, 2016

Who's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems.

Rachid Guerraoui, David Kozhaya, Manuel Oriol, Yvonne-Anne Pignolet

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

Right on Time Distributed Shared Memory.

Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Never Say Never - Probabilistic and Temporal Failure Detectors.

Dacfey Dzung, Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

2015

To Transmit Now or Not to Transmit Now.

Dacfey Dzung, Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Source Routing in Time-Varing Lossy Networks.

Dacfey Dzung, Rachid Guerraoui, David Kozhaya, Yvonne-Anne Pignolet

Proceedings of the Networked Systems - Third International Conference, 2015

An Ant Colony Optimization Heuristic to Optimize Prediction of Stability of Object-Oriented Components.

Haidar M. Harmanani, Danielle Azar, Grace Zgheib, David Kozhaya

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015