↓ Skip to main content

Leveraging Applications of Formal Methods, Verification, and Validation

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 New Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective
  3. Altmetric Badge
    Chapter 2 Certification of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain
  4. Altmetric Badge
    Chapter 3 Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns
  5. Altmetric Badge
    Chapter 4 Seamless Model-Driven Development Put into Practice
  6. Altmetric Badge
    Chapter 5 Timely Time Estimates
  7. Altmetric Badge
    Chapter 6 Compiler-Support for Robust Multi-core Computing
  8. Altmetric Badge
    Chapter 7 Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems
  9. Altmetric Badge
    Chapter 8 Analyzing the Security in the GSM Radio Network Using Attack Jungles
  10. Altmetric Badge
    Chapter 9 Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method
  11. Altmetric Badge
    Chapter 10 Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
  12. Altmetric Badge
    Chapter 11 Contract-Based Slicing
  13. Altmetric Badge
    Chapter 12 Special Track on Worst Case Traversal Time (WCTT)
  14. Altmetric Badge
    Chapter 13 The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus
  15. Altmetric Badge
    Chapter 14 NC-Maude: A Rewriting Tool to Play with Network Calculus
  16. Altmetric Badge
    Chapter 15 Leveraging Applications of Formal Methods, Verification, and Validation
  17. Altmetric Badge
    Chapter 16 A Self-adversarial Approach to Delay Analysis under Arbitrary Scheduling
  18. Altmetric Badge
    Chapter 17 Flow Control with (Min,+) Algebra
  19. Altmetric Badge
    Chapter 18 An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
  20. Altmetric Badge
    Chapter 19 Towards Resource-Optimal Routing Plans for Real-Time Traffic
  21. Altmetric Badge
    Chapter 20 Partially Synchronizing Periodic Flows with Offsets Improves Worst-Case End-to-End Delay Analysis of Switched Ethernet
  22. Altmetric Badge
    Chapter 21 Analyzing End-to-End Functional Delays on an IMA Platform
  23. Altmetric Badge
    Chapter 22 Tools in Scientific Workflow Composition
  24. Altmetric Badge
    Chapter 23 Workflows for Metabolic Flux Analysis: Data Integration and Human Interaction
  25. Altmetric Badge
    Chapter 24 Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
  26. Altmetric Badge
    Chapter 25 Combining Subgroup Discovery and Permutation Testing to Reduce Reduncancy
  27. Altmetric Badge
    Chapter 26 Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins
  28. Altmetric Badge
    Chapter 27 Workflow Construction for Service-Oriented Knowledge Discovery
  29. Altmetric Badge
    Chapter 28 Workflow Composition and Enactment Using jORCA
  30. Altmetric Badge
    Chapter 29 Leveraging Applications of Formal Methods, Verification, and Validation
  31. Altmetric Badge
    Chapter 30 Towards More Adaptive Voice Applications
  32. Altmetric Badge
    Chapter 31 Telco Service Delivery Platforms in the Last Decade - A R&D Perspective
  33. Altmetric Badge
    Chapter 32 Ontology-Driven Pervasive Service Composition for Everyday Life
  34. Altmetric Badge
    Chapter 33 Navigating the Web of Things: Visualizing and Interacting with Web-Enabled Objects
  35. Altmetric Badge
    Chapter 34 Leveraging Applications of Formal Methods, Verification, and Validation
  36. Altmetric Badge
    Chapter 35 Relay Placement Problem in Smart Grid Deployment
  37. Altmetric Badge
    Chapter 36 Towards a Research Agenda for Enterprise Crowdsourcing
  38. Altmetric Badge
    Chapter 37 Analyzing Collaboration in Software Development Processes through Social Networks
  39. Altmetric Badge
    Chapter 38 A Web-Based Framework for Collaborative Innovation
  40. Altmetric Badge
    Chapter 39 A Distributed Dynamics for WebGraph Decontamination
  41. Altmetric Badge
    Chapter 40 Increasing Users’ Trust on Personal Assistance Software Using a Domain-Neutral High-Level User Model
  42. Altmetric Badge
    Chapter 41 Understanding IT Organizations
  43. Altmetric Badge
    Chapter 42 On the 2-Categorical View of Proofs
  44. Altmetric Badge
    Chapter 43 WOMM: A Weak Operational Memory Model
  45. Altmetric Badge
    Chapter 44 A Memory Model for Static Analysis of C Programs
  46. Altmetric Badge
    Chapter 45 Analysing Message Sequence Graph Specifications
  47. Altmetric Badge
    Chapter 46 Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination
  48. Altmetric Badge
    Chapter 47 A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
  49. Altmetric Badge
    Chapter 48 SPARDL: A Requirement Modeling Language for Periodic Control System
  50. Altmetric Badge
    Chapter 49 AutoPA: Automatic Prototyping from Requirements
  51. Altmetric Badge
    Chapter 50 Systematic Model-Based Safety Assessment Via Probabilistic Model Checking
  52. Altmetric Badge
    Chapter 51 Learning Techniques for Software Verification and Validation – Special Track at ISoLA 2010
  53. Altmetric Badge
    Chapter 52 Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning
  54. Altmetric Badge
    Chapter 53 Inferring Compact Models of Communication Protocol Entities
  55. Altmetric Badge
    Chapter 54 Inference and Abstraction of the Biometric Passport
  56. Altmetric Badge
    Chapter 55 From ZULU to RERS
Attention for Chapter 54: Inference and Abstraction of the Biometric Passport
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
18 Mendeley
citeulike
1 CiteULike
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
Inference and Abstraction of the Biometric Passport
Chapter number 54
Book title
Leveraging Applications of Formal Methods, Verification, and Validation
Published by
Springer, Berlin, Heidelberg, October 2010
DOI 10.1007/978-3-642-16558-0_54
Book ISBNs
978-3-64-216557-3, 978-3-64-216558-0
Authors

Fides Aarts, Julien Schmaltz, Frits Vaandrager

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Portugal 1 6%
Unknown 17 94%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 28%
Student > Master 4 22%
Researcher 2 11%
Student > Bachelor 2 11%
Professor 1 6%
Other 3 17%
Unknown 1 6%
Readers by discipline Count As %
Computer Science 13 72%
Unspecified 1 6%
Arts and Humanities 1 6%
Social Sciences 1 6%
Chemistry 1 6%
Other 0 0%
Unknown 1 6%