Fabien Duchene
Orcid: 0000-0002-8187-525XAffiliations:
- UCLouvain, Université catholique de Louvain, ICTEAM, Belgium (PhD 2019)
According to our database1,
Fabien Duchene
authored at least 13 papers
between 2012 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
2021
IEEE Access, 2021
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs.
Proceedings of the Model Checking Software - 27th International Symposium, 2021
2020
2019
2018
Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, 2018
Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies, 2018
2017
Proceedings of the 25th IEEE International Conference on Network Protocols, 2017
2014
FlowBender: Flow-level Adaptive Routing for Improved Latency and Throughput in Datacenter Networks.
Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies, 2014
2013
Proceedings of the 2013 workshop on Hot topics in middleboxes and network function virtualization, 2013
2012
Proceedings of the 2012 ACM SIGCOMM workshop on Cellular networks: operations, 2012
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012