Nicolas Dilley

According to our database, Nicolas Dilley authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Automated verification of concurrent go programs via bounded model checking.

Nicolas Dilley, Julien Lange

Autom. Softw. Eng., June, 2023

2021

Automated Verification of Go Programs via Bounded Model Checking.

Nicolas Dilley, Julien Lange

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Bounded verification of message-passing concurrency in Go using Promela and Spin.

Nicolas Dilley, Julien Lange

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

2019

An Empirical Study of Messaging Passing Concurrency in Go Projects.

Nicolas Dilley, Julien Lange

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019