activity
20152026
most citedThe Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses

98 citations · 217 across the 18 of their papers we have counts for

collaborators
Showing eess.SPShow all

1 paper · 1 filter

eess.SP2020

A spatial algorithm for the analysis of transportation systems using statistical model checking

Daniël Reijsbergen, Stephen Gilmore

We present an automated methodology for using Automatic Vehicle Location measurements of public transportation vehicles to construct a probabilistic model. The model not only allow…