• Analysis Software for Model Checking Edinburgh Buses 

      Reijsbergen, Daniel; Gao, Wulinjian
      This software is supplementary material for the paper 'An automated methodology for analysing urban transportation systems using model checking' by Daniël Reijsbergen and Stephen Gilmore. It was used to construct the figures ...
    • Lothian Buses Full Fleet GPS Traces, 2014 to 2015 

      Reijsbergen, Daniёl; European Commission
      These datasets have been collected and provided to us by Lothian Buses. They consist of Automatic Vehicle Location (AVL) data obtained using periodic GPS location measurements. Each data entry consists of a bus identifier, ...
    • Path-ZVA Implementation 

      Reijsbergen, Daniel
      This Java project is an implementation of the algorithm presented in the paper 'Path-ZVA: general, efficient and automated importance sampling for highly reliable Markovian systems' by Daniël Reijsbergen, Pieter-Tjerk de ...
    • A Survey on Developer-Centred Security 

      Tahaei, Mohammad; Vaniea, Kami
      Our research reports a systematic literature review of 49 publications on security studies with software developer participants. These attached files are: - A BibTeX file: includes all 49 references in BibTex format. - ...
    • Triangulating Context Lemmas 

      McLaughlin, Craig; McKinna, James; Stark, Ian
      Agda formalisation to accompany the paper "Triangulating Context Lemmas" by Craig McLaughlin, James McKinna and Ian Stark. DOI 10.1145/3167081.