Concepedia

Nicolas Dilley

ND

Statistics

Publications

3

Citations

73

H-Index

3

Active since

2019

Affiliations

University of Kent(Current)

Nicolas Dilley is an author at University of Kent specializing in concurrency verification, concurrency analysis, and static concurrency analysis.

Publications per year

2019–2021

3

Publications

3

An Empirical Study of Messaging Passing Concurrency in Go Projects

Nicolas Dilley, Julien Lange · 2019 · 32 citations

, , +15

Automated Verification of Go Programs via Bounded Model Checking

Nicolas Dilley, Julien Lange · 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) · 2021 · 21 citations

, , +15

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

Nicolas Dilley, Julien Lange · Electronic Proceedings in Theoretical Computer Science · 2020 · 20 citations · Full text

, , +16

1–3 of 3