297 results on '"Huisman, Marieke"'
Search Results
2. Abstract Specifications
3. Design by Contract Specification Languages
4. System Modelling
5. First-Order Logic and Set Theory
6. Introduction
7. Static Annotation Checking
8. Functional System Properties in Temporal Logic
9. Model Checking Algorithms
10. Concise Guide to Software Verification
11. Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)
12. On Deductive Verification of an Industrial Concurrent Software Component with VerCors
13. SpecifyThis – Bridging Gaps Between Program Specification Paradigms
14. Teaching Design by Contract Using Snap!
15. Alpinist: An Annotation-Aware GPU Program Optimizer
16. Automated Verification of the Parallel Bellman–Ford Algorithm
17. Modular Transformation of Java Exceptions Modulo Errors
18. VerifyThis – Verification Competition with a Human Factor
19. TOOLympics 2019: An Overview of Competitions in Formal Methods
20. The VerifyThis Collaborative Long Term Challenge
21. Improving Performance of the VerCors Program Verifier
22. Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms
23. A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms
24. Formal Methods for GPGPU Programming: Is the Demand Met?
25. On the Industrial Application of Critical Software Verification with VerCors
26. Verification and Validation of Concurrent and Distributed Systems (Track Summary)
27. Formal Verification of Parallel Prefix Sum
28. Automated Verification of Parallel Nested DFS
29. Practical Abstractions for Automated Verification of Shared-Memory Concurrency
30. Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)
31. On Deductive Verification of an Industrial Concurrent Software Component with VerCors
32. Alpinist: An Annotation-Aware GPU Program Optimizer
33. Teaching Design by Contract Using Snap!
34. SpecifyThis – Bridging Gaps Between Program Specification Paradigms
35. Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools
36. Practical Abstractions for Automated Verification of Message Passing Concurrency
37. Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System
38. Practical Mutation Testing for Smart Contracts
39. Reasoning About JML: Differences Between KeY and OpenJML
40. Formal Methods in Industrial Practice - Bridging the Gap (Track Summary)
41. Static Code Verification Through Process Models
42. A Broader View on Verification: From Static to Runtime and Back (Track Summary)
43. Program Correctness by Transformation
44. On Models and Code : A Unified Approach to Support Large-Scale Deductive Program Verification
45. Towards Reliable Concurrent Software
46. Automated Verification of the Parallel Bellman–Ford Algorithm
47. Modular Transformation of Java Exceptions Modulo Errors
48. Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms
49. Automated Verification of Parallel Nested DFS
50. Verification and Validation of Concurrent and Distributed Systems (Track Summary)
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.