Nicolas Dilley

According to our database, Nicolas Dilley authored at least 3 papers between 2019 and 2021.

Collaborative distances:

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

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