受强制性开放获取政策约束的文章 - Marieke Huisman了解详情
无法在其他位置公开访问的文章：2 篇
Formal verification of an industrial safety-critical traffic tunnel control system
W Oortwijn, M Huisman
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
强制性开放获取政策： Netherlands Organisation for Scientific Research
Deductive Verification of SYCL in VerCors
E Wittingen, M Huisman, Ö Şakar
International Conference on Software Engineering and Formal Methods, 182-199, 2024
强制性开放获取政策： Netherlands Organisation for Scientific Research
可在其他位置公开访问的文章：39 篇
The VerCors tool set: verification of parallel and concurrent software
S Blom, S Darabi, M Huisman, W Oortwijn
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
强制性开放获取政策： Netherlands Organisation for Scientific Research, European Commission
Permission-based separation logic for multithreaded Java programs
C Haack, M Huisman, C Hurlin, A Amighi
Logical Methods in Computer Science 11, 2015
强制性开放获取政策： European Commission
Verification of concurrent systems with VerCors
A Amighi, S Blom, S Darabi, M Huisman, W Mostowski, ...
Formal Methods for Executable Software Models: 14th International School on …, 2014
强制性开放获取政策： European Commission
Witnessing the elimination of magic wands
S Blom, M Huisman
International Journal on Software Tools for Technology Transfer 17, 757-781, 2015
强制性开放获取政策： European Commission
A symbolic approach to permission accounting for concurrent reasoning
M Huisman, W Mostowski
2015 14th International Symposium on Parallel and Distributed Computing, 165-174, 2015
强制性开放获取政策： European Commission
An abstraction technique for describing concurrent program behaviour
W Oortwijn, S Blom, D Gurov, M Huisman, M Zaharieva-Stojanovski
Verified Software. Theories, Tools, and Experiments: 9th International …, 2017
强制性开放获取政策： Netherlands Organisation for Scientific Research, European Commission
VerCors: A layered approach to practical verification of concurrent software
A Amighi, S Blom, M Huisman
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
强制性开放获取政策： European Commission
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
M Safari, M Huisman
Theoretical Computer Science 912, 81-98, 2022
强制性开放获取政策： Netherlands Organisation for Scientific Research
Specification and verification of synchronization with condition variables
PC Gomes, D Gurov, M Huisman, C Artho
Science of computer programming 163, 174-189, 2018
强制性开放获取政策： European Commission
A generic approach to the verification of the permutation property of sequential and parallel swap-based sorting algorithms
M Safari, M Huisman
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020
强制性开放获取政策： Netherlands Organisation for Scientific Research
Resource Protection Using Atomics: Patterns and Verification
A Amighi, S Blom, M Huisman
Asian Symposium on Programming Languages and Systems, 255-274, 2014
强制性开放获取政策： European Commission
Formal specifications for Java's synchronisation classes
A Amighi, S Blom, M Huisman, W Mostowski, M Zaharieva-Stojanovski
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
强制性开放获取政策： European Commission
Practical abstractions for automated verification of shared-memory concurrency
W Oortwijn, D Gurov, M Huisman
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
强制性开放获取政策： Netherlands Organisation for Scientific Research
Verifying class invariants in concurrent programs
M Zaharieva-Stojanovski, M Huisman
Fundamental Approaches to Software Engineering: 17th International …, 2014
强制性开放获取政策： European Commission
Reasoning about JML: differences between KeY and OpenJML
J Boerman, M Huisman, S Joosten
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
强制性开放获取政策： Netherlands Organisation for Scientific Research
Alpinist: An Annotation-Aware GPU Program Optimizer
Ö Şakar, M Safari, M Huisman, A Wijs
International Conference on Tools and Algorithms for the Construction and …, 2022
强制性开放获取政策： Netherlands Organisation for Scientific Research
Permission-based verification of red-black trees and their merging
L Armborst, M Huisman
2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021
强制性开放获取政策： Netherlands Organisation for Scientific Research
An exercise in verifying sequential programs with VerCors
SJC Joosten, W Oortwijn, M Safari, M Huisman
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 40-45, 2018
强制性开放获取政策： Netherlands Organisation for Scientific Research
出版信息和资助信息由计算机程序自动确定