↓ Skip to main content

Integrated Formal Methods

Overview of attention for book
Cover of 'Integrated Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
  3. Altmetric Badge
    Chapter 2 Modelling and Verification of Timed Robotic Controllers
  4. Altmetric Badge
    Chapter 3 Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL
  5. Altmetric Badge
    Chapter 4 Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL
  6. Altmetric Badge
    Chapter 5 Making Whiley Boogie!
  7. Altmetric Badge
    Chapter 6 Complexity Analysis for Java with AProVE
  8. Altmetric Badge
    Chapter 7 The VerCors Tool Set: Verification of Parallel and Concurrent Software
  9. Altmetric Badge
    Chapter 8 An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs
  10. Altmetric Badge
    Chapter 9 Generalised Test Tables: A Practical Specification Language for Reactive Systems
  11. Altmetric Badge
    Chapter 10 Transient and Steady-State Statistical Analysis for Discrete Event Simulators
  12. Altmetric Badge
    Chapter 11 Algebraic Compilation of Safety-Critical Java Bytecode
  13. Altmetric Badge
    Chapter 12 Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver
  14. Altmetric Badge
    Chapter 13 Analysis of Synchronisations in Stateful Active Objects
  15. Altmetric Badge
    Chapter 14 BTS: A Tool for Formal Component-Based Development
  16. Altmetric Badge
    Chapter 15 Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking
  17. Altmetric Badge
    Chapter 16 Synthesizing Coalitions for Multi-agent Games
  18. Altmetric Badge
    Chapter 17 Hoare-Style Reasoning from Multiple Contracts
  19. Altmetric Badge
    Chapter 18 A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows
  20. Altmetric Badge
    Chapter 19 Triggerless Happy
  21. Altmetric Badge
    Chapter 20 SemSlice: Exploiting Relational Verification for Automatic Program Slicing
  22. Altmetric Badge
    Chapter 21 VBPMN: Automated Verification of BPMN Processes (Tool Paper)
  23. Altmetric Badge
    Chapter 22 How Well Can I Secure My System?
  24. Altmetric Badge
    Chapter 23 MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams
  25. Altmetric Badge
    Chapter 24 Formal Verification of CNL Health Recommendations
  26. Altmetric Badge
    Chapter 25 Modular Verification of Order-Preserving Write-Back Caches
  27. Altmetric Badge
    Chapter 26 Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -
  28. Altmetric Badge
    Chapter 27 Certified Password Quality
  29. Altmetric Badge
    Chapter 28 Verification of STAR-Vote and Evaluation of FDR and ProVerif
Attention for Chapter 1: An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
21 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
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
Chapter number 1
Book title
Integrated Formal Methods
Published in
arXiv, September 2017
DOI 10.1007/978-3-319-66845-1_1
Book ISBNs
978-3-31-966844-4, 978-3-31-966845-1
Authors

Simone Silvetti, Alberto Policriti, Luca Bortolussi

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 21 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 7 33%
Student > Master 4 19%
Student > Bachelor 3 14%
Professor > Associate Professor 2 10%
Other 1 5%
Other 2 10%
Unknown 2 10%
Readers by discipline Count As %
Computer Science 11 52%
Engineering 7 33%
Business, Management and Accounting 1 5%
Unknown 2 10%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 29 August 2017.
All research outputs
#19,633,569
of 25,000,733 outputs
Outputs from arXiv
#471,485
of 1,020,465 outputs
Outputs of similar age
#236,660
of 323,506 outputs
Outputs of similar age from arXiv
#12,824
of 18,332 outputs
Altmetric has tracked 25,000,733 research outputs across all sources so far. This one is in the 18th percentile – i.e., 18% of other outputs scored the same or lower than it.
So far Altmetric has tracked 1,020,465 research outputs from this source. They receive a mean Attention Score of 4.1. This one is in the 43rd percentile – i.e., 43% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 323,506 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 22nd percentile – i.e., 22% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 18,332 others from the same source and published within six weeks on either side of this one. This one is in the 19th percentile – i.e., 19% of its contemporaries scored the same or lower than it.