Crossmark

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages

Crossref DOI link: https://doi.org/10.1007/978-3-030-30446-1_25

Published Online: 2019-09-09

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Farrell, Marie

Bradbury, Matthew

Fisher, Michael

Dennis, Louise A.

Dixon, Clare

Yuan, Hu

Maple, Carsten
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 9 September 2019

Conference Information

Conference Acronym: SEFM

Conference Name: International Conference on Software Engineering and Formal Methods

Conference City: Oslo

Conference Country: Norway

Conference Year: 2019

Conference Start Date: 18 September 2019

Conference End Date: 20 September 2019

Conference Number: 17

Conference ID: sefm2019

Conference URL: http://sefm2019.inria.fr/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 89

Number of Full Papers Accepted: 27

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 30% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 6

External Reviewers Involved: Yes