Search

Your search keyword '"Huisman, Marieke"' showing total 297 results

Search Constraints

Start Over You searched for: Author "Huisman, Marieke" Remove constraint Author: "Huisman, Marieke" Publisher springer international publishing Remove constraint Publisher: springer international publishing
297 results on '"Huisman, Marieke"'

Search Results

4. System Modelling

6. Introduction

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?

27. Formal Verification of Parallel Prefix Sum

28. Automated Verification of Parallel Nested DFS

29. Practical Abstractions for Automated Verification of Shared-Memory Concurrency

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

Catalog

Books, media, physical & digital resources