↓ Skip to main content

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

Overview of attention for book
Cover of 'Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Linux Driver Verification
  3. Altmetric Badge
    Chapter 2 Bioscientific Data Processing and Modeling
  4. Altmetric Badge
    Chapter 3 Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
  5. Altmetric Badge
    Chapter 4 Segmentation for High-Throughput Image Analysis: Watershed Masked Clustering
  6. Altmetric Badge
    Chapter 5 Efficient and Robust Shape Retrieval from Deformable Templates
  7. Altmetric Badge
    Chapter 6 OWL-DL Domain-Models as Abstract Workflows
  8. Altmetric Badge
    Chapter 7 Processes and Data Integration in the Networked Healthcare
  9. Altmetric Badge
    Chapter 8 Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain
  10. Altmetric Badge
    Chapter 9 Considerations for Healthcare Applications in a Platform as a Service Environment
  11. Altmetric Badge
    Chapter 10 Reha-Sports: The Challenge of Small Margin Healthcare Accounting
  12. Altmetric Badge
    Chapter 11 Timing Constraints: Theory Meets Practice
  13. Altmetric Badge
    Chapter 12 A Simple and Flexible Timing Constraint Logic
  14. Altmetric Badge
    Chapter 13 Generalized Weakly-Hard Constraints
  15. Altmetric Badge
    Chapter 14 Modeling a BSG-E Automotive System with the Timing Augmented Description Language
  16. Altmetric Badge
    Chapter 15 Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method
  17. Altmetric Badge
    Chapter 16 Formal Specification and Verification of Task Time Constraints for Real-Time Systems
  18. Altmetric Badge
    Chapter 17 The WCET Analysis Tool CalcWcet167
  19. Altmetric Badge
    Chapter 18 Abstract Execution for Event-Driven Systems – An Application from Automotive/Infotainment Development
  20. Altmetric Badge
    Chapter 19 Formal Methods for Intelligent Transportation Systems
  21. Altmetric Badge
    Chapter 20 Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective
  22. Altmetric Badge
    Chapter 21 Formal Methods in Avionic Software Certification: The DO-178C Perspective
  23. Altmetric Badge
    Chapter 22 Product Line Engineering Applied to CBTC Systems Development
  24. Altmetric Badge
    Chapter 23 Improving Verification Process in Driverless Metro Systems: The MBAT Project
  25. Altmetric Badge
    Chapter 24 Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings
  26. Altmetric Badge
    Chapter 25 Automated Generation of Safety Requirements from Railway Interlocking Tables
  27. Altmetric Badge
    Chapter 26 Distributing the Challenge of Model Checking Interlocking Control Tables
  28. Altmetric Badge
    Chapter 27 Quantitative Modelling and Analysis
  29. Altmetric Badge
    Chapter 28 Schedulability of Herschel-Planck Revisited Using Statistical Model Checking
  30. Altmetric Badge
    Chapter 29 Checking Correctness of Services Modeled as Priced Timed Automata
  31. Altmetric Badge
    Chapter 30 Software Aspects of Robotic Systems
  32. Altmetric Badge
    Chapter 31 Process-Oriented Geoinformation Systems and Applications
  33. Altmetric Badge
    Chapter 32 Concepts and Techniques of an Online 3D Atlas – Challenges in Cartographic 3D Geovisualization
  34. Altmetric Badge
    Chapter 33 Handling Heterogeneity in Formal Developments of Hardware and Software Systems
  35. Altmetric Badge
    Chapter 34 Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study
  36. Altmetric Badge
    Chapter 35 An Ontological Pivot Model to Interoperate Heterogeneous User Requirements
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 Facebook page


3 Dimensions

Readers on

89 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.
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Published by
Springer Berlin Heidelberg, September 2012
DOI 10.1007/978-3-642-34032-1
978-3-64-234031-4, 978-3-64-234032-1

Margaria, Tiziana, Steffen, Bernhard

Mendeley readers

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

Geographical breakdown

Country Count As %
Spain 1 1%
Brazil 1 1%
Egypt 1 1%
United States 1 1%
Belgium 1 1%
Netherlands 1 1%
Sweden 1 1%
Unknown 82 92%

Demographic breakdown

Readers by professional status Count As %
Student > Master 30 34%
Student > Ph. D. Student 19 21%
Researcher 12 13%
Unspecified 7 8%
Student > Bachelor 7 8%
Other 14 16%
Readers by discipline Count As %
Computer Science 58 65%
Unspecified 9 10%
Business, Management and Accounting 9 10%
Engineering 5 6%
Agricultural and Biological Sciences 4 4%
Other 4 4%