↓ Skip to main content

Software Engineering and Formal Methods

Overview of attention for book
Cover of 'Software Engineering and Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data
  3. Altmetric Badge
    Chapter 2 Relating Session Types and Behavioural Contracts: The Asynchronous Case
  4. Altmetric Badge
    Chapter 3 Asynchronous Cooperative Contracts for Cooperative Scheduling
  5. Altmetric Badge
    Chapter 4 Automatic Failure Explanation in CPS Models
  6. Altmetric Badge
    Chapter 5 Evolution of Formal Model-Based Assurance Cases for Autonomous Robots
  7. Altmetric Badge
    Chapter 6 Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
  8. Altmetric Badge
    Chapter 7 SAT Encodings of the At-Most- k Constraint
  9. Altmetric Badge
    Chapter 8 Software Evolution with a Typeful Version Control System
  10. Altmetric Badge
    Chapter 9 Compositional Feature-Oriented Systems
  11. Altmetric Badge
    Chapter 10 Multi-objective Search for Effective Testing of Cyber-Physical Systems
  12. Altmetric Badge
    Chapter 11 Mutation Testing with Hyperproperties
  13. Altmetric Badge
    Chapter 12 Test Model Coverage Analysis Under Uncertainty
  14. Altmetric Badge
    Chapter 13 Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach
  15. Altmetric Badge
    Chapter 14 Incorporating Data into EFSM Inference
  16. Altmetric Badge
    Chapter 15 Isabelle/DOF: Design and Implementation
  17. Altmetric Badge
    Chapter 16 Towards Logical Specification of Statistical Machine Learning
  18. Altmetric Badge
    Chapter 17 Efficient Formal Verification for the Linux Kernel
  19. Altmetric Badge
    Chapter 18 Reproducible Execution of POSIX Programs with DiOS
  20. Altmetric Badge
    Chapter 19 Using Relational Verification for Program Slicing
  21. Altmetric Badge
    Chapter 20 Local Nontermination Detection for Parallel C++ Programs
  22. Altmetric Badge
    Chapter 21 An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
  23. Altmetric Badge
    Chapter 22 Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators
  24. Altmetric Badge
    Chapter 23 An Operational Guide to Monitorability
  25. Altmetric Badge
    Chapter 24 Let’s Prove It Later—Verification at Different Points in Time
  26. Altmetric Badge
    Chapter 25 Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
  27. Altmetric Badge
    Chapter 26 Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment
  28. Altmetric Badge
    Chapter 27 Formal Verification of Rewriting Rules for Dynamic Fault Trees
  29. Altmetric Badge
    Chapter 28 Partially Bounded Context-Aware Verification
Attention for Chapter 25: Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
Altmetric Badge

Mentioned by

5 tweeters


1 Dimensions

Readers on

7 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
Chapter number 25
Book title
Software Engineering and Formal Methods
Published by
Springer, Cham, September 2019
DOI 10.1007/978-3-030-30446-1_25
Book ISBNs
978-3-03-030445-4, 978-3-03-030446-1

Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple, Farrell, Marie, Bradbury, Matthew, Fisher, Michael, Dennis, Louise A., Dixon, Clare, Yuan, Hu, Maple, Carsten

Twitter Demographics

The data shown below were collected from the profiles of 5 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 7 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 3 43%
Student > Ph. D. Student 1 14%
Unknown 3 43%
Readers by discipline Count As %
Computer Science 3 43%
Unknown 4 57%