↓ Skip to main content

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings

Overview of attention for book
Cover of 'Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Verifying Temporal Properties of CommUnity Designs
  3. Altmetric Badge
    Chapter 2 Precise Scenarios – A Customer-Friendly Foundation for Formal Specifications
  4. Altmetric Badge
    Chapter 3 Automated Verification of Security Policies in Mobile Code
  5. Altmetric Badge
    Chapter 4 Slicing Concurrent Real-Time System Specifications for Verification
  6. Altmetric Badge
    Chapter 5 Slotted-Circus
  7. Altmetric Badge
    Chapter 6 Bug Hunting with False Negatives
  8. Altmetric Badge
    Chapter 7 Behavioural Specifications from Class Models
  9. Altmetric Badge
    Chapter 8 Inheriting Laws for Processes with States
  10. Altmetric Badge
    Chapter 9 Probabilistic Timed Behavior Trees
  11. Altmetric Badge
    Chapter 10 Guiding the Correction of Parameterized Specifications
  12. Altmetric Badge
    Chapter 11 Proving Linearizability Via Non-atomic Refinement
  13. Altmetric Badge
    Chapter 12 Lifting General Correctness into Partial Correctness is ok
  14. Altmetric Badge
    Chapter 13 Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
  15. Altmetric Badge
    Chapter 14 Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks
  16. Altmetric Badge
    Chapter 15 Finding State Solutions to Temporal Logic Queries
  17. Altmetric Badge
    Chapter 16 Qualitative Probabilistic Modelling in Event-B
  18. Altmetric Badge
    Chapter 17 Verifying Smart Card Applications: An ASM Approach
  19. Altmetric Badge
    Chapter 18 Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
  20. Altmetric Badge
    Chapter 19 UTP Semantics for Web Services
  21. Altmetric Badge
    Chapter 20 Combining Mobility with State
  22. Altmetric Badge
    Chapter 21 Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
  23. Altmetric Badge
    Chapter 22 Capturing Conflict and Confusion in CSP
  24. Altmetric Badge
    Chapter 23 A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems
  25. Altmetric Badge
    Chapter 24 Decomposing Integrated Specifications for Verification
  26. Altmetric Badge
    Chapter 25 Validating Z Specifications Using the ProB Animator and Model Checker
  27. Altmetric Badge
    Chapter 26 Verification of Multi-agent Negotiations Using the Alloy Analyzer
  28. Altmetric Badge
    Chapter 27 Integrated Static Analysis for Linux Device Driver Verification
  29. Altmetric Badge
    Chapter 28 Integrating Verification, Testing, and Learning for Cryptographic Protocols
  30. Altmetric Badge
    Chapter 29 Translating FSP into LOTOS and Networks of Automata
  31. Altmetric Badge
    Chapter 30 Common Semantics for Use Cases and Task Models
  32. Altmetric Badge
    Chapter 31 Unifying Theories of Objects
  33. Altmetric Badge
    Chapter 32 Non-interference Properties for Data-Type Reduction of Communicating Systems
  34. Altmetric Badge
    Chapter 33 Co-simulation of Distributed Embedded Real-Time Control Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 tweeters

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
6 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.
Title
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
Published by
Springer, January 2007
DOI 10.1007/978-3-540-73210-5
ISBNs
978-3-54-073209-9, 978-3-54-073210-5
Authors

Davies, Jim, Gibbons, Jeremy, BUTTERFIELD, ANDREW

Editors

Davies, Jim, Gibbons, Jeremy

Twitter Demographics

The data shown below were collected from the profiles of 3 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 6 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 17%
Unknown 5 83%
Readers by discipline Count As %
Computer Science 1 17%
Unknown 5 83%