Anton Wijs
Technische Universiteit Eindhoven
H-index: 24
Europe-Netherlands
Top articles of Anton Wijs
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
2024/4/5
Muhammad Osama
H-Index: 3
Anton Wijs
H-Index: 14
HaliVer: Deductive Verification and Scheduling Languages Join Forces
2024/4/5
Anton Wijs
H-Index: 14
Mark Van Den Brand
H-Index: 22
The fast and the capacious: memory-efficient multi-GPU accelerated explicit state space exploration with GPUexplore 3.0
Frontiers in High Performance Computing
2024/3/13
Anton Wijs
H-Index: 14
Muhammad Osama
H-Index: 3
iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
2023/11/10
Paula Herber
H-Index: 8
Anton Wijs
H-Index: 14
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview
2023/10/26
Anton Wijs
H-Index: 14
Certified SAT solving with GPU accelerated inprocessing
Formal Methods in System Design
2023/8/2
Towards relaxed memory semantics for the Autonomous Data Language
2023/8
Concise Guide to Software Verification: From Model Checking to Annotation Checking
2023/7/24
Anton Wijs
H-Index: 14
Model Checking Algorithms
2023/7/22
Anton Wijs
H-Index: 14
System Modelling
2023/7/22
Anton Wijs
H-Index: 14
Design by Contract Specification Languages
2023/7/22
Anton Wijs
H-Index: 14
Abstract Specifications
2023/7/22
Anton Wijs
H-Index: 14
Analysing Software
2023/7/22
Anton Wijs
H-Index: 14
First-Order Logic and Set Theory
2023/7/22
Anton Wijs
H-Index: 14
Runtime Annotation Checking
2023/7/22
Anton Wijs
H-Index: 14
Static Annotation Checking
2023/7/22
Anton Wijs
H-Index: 14
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data
2023/4/26
Anton Wijs
H-Index: 14
Muhammad Osama
H-Index: 3
A GPU tree database for many-core explicit state space exploration
2023/4/22
Anton Wijs
H-Index: 14
Muhammad Osama
H-Index: 3
Linear parallel algorithms to compute strong and branching bisimilarity
Software and Systems Modeling
2023/4
Innermost many-sorted term rewriting on GPUs
Science of Computer Programming
2023/1/1