default search action
Anton Wijs
Person information
- affiliation: Eindhoven University of Technology, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [e8]Thomas Neele
, Anton Wijs
Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings. Lecture Notes in Computer Science 14624, Springer 2025, ISBN 978-3-031-66148-8 [contents] - 2024
- [j19]Muhammad Osama
Certified SAT solving with GPU accelerated inprocessing. Formal Methods Syst. Des. 62(1): 79-118 (2024) - [c65]Steef Hegeman
Compact Parallel Hash Tables on the GPU. Euro-Par (2) 2024: 226-241 - [c64]Lars B. van den Haak
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. FMICS 2024: 152-169 - [c63]Rik van Spreuwel, Anton Wijs
No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited. ISoLA (3) 2024: 353-373 - [c62]Muhammad Osama
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. TACAS (2) 2024: 23-43 - [c61]Lars B. van den Haak
HaliVer: Deductive Verification and Scheduling Languages Join Forces. TACAS (3) 2024: 71-89 - [e7]Paula Herber
iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings. Lecture Notes in Computer Science 14300, Springer 2024, ISBN 978-3-031-47704-1 [contents] - [i7]Lars B. van den Haak, Anton Wijs, Marieke Huisman
HaliVer: Deductive Verification and Scheduling Languages Join Forces. CoRR abs/2401.10778 (2024) - [i6]Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman:
Compact Parallel Hash Tables on the GPU. CoRR abs/2406.09255 (2024) - [i5]Jan Martens, Anton Wijs:
An Evaluation of Massively Parallel Algorithms for DFA Minimization. CoRR abs/2410.22764 (2024) - 2023
- [b1]Marieke Huisman
Concise Guide to Software Verification - From Model Checking to Annotation Checking, 2. Texts in Computer Science, Springer 2023, ISBN 978-3-031-30166-7, pp. 1-234 - [j18]Johri van Eerd, Jan Friso Groote
Innermost many-sorted term rewriting on GPUs. Sci. Comput. Program. 225: 102910 (2023) - [j17]Jan Martens
Linear parallel algorithms to compute strong and branching bisimilarity. Softw. Syst. Model. 22(2): 521-545 (2023) - [c60]Anton Wijs
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. FACS 2023: 206-227 - [c59]Anton Wijs
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. SPIN 2023: 188-197 - [c58]Anton Wijs
A GPU Tree Database for Many-Core Explicit State Space Exploration. TACAS (1) 2023: 684-703 - 2022
- [c57]Rikayan Chaki
Formally Characterizing the Effect of Model Transformations on System Properties. FACS 2022: 39-58 - [c56]Ömer Sakar
Alpinist: An Annotation-Aware GPU Program Optimizer. TACAS (2) 2022: 332-352 - 2021
- [c55]Muhammad Osama
GPU Acceleration of Bounded Model Checking with ParaFROST. CAV (2) 2021: 447-460 - [c54]Jan Martens
A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. FACS 2021: 115-133 - [c53]Johri van Eerd, Jan Friso Groote
Term Rewriting on GPUs. FSEN 2021: 175-189 - [c52]Muhammad Osama
SAT Solving with GPU Accelerated Inprocessing. TACAS (1) 2021: 133-151 - [e6]Gwen Salaün, Anton Wijs
Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings. Lecture Notes in Computer Science 13077, Springer 2021, ISBN 978-3-030-90635-1 [contents] - [i4]Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs:
A linear parallel algorithm to compute bisimulation and relational coarsest partitions. CoRR abs/2105.11788 (2021) - 2020
- [j16]Sander de Putter, Frédéric Lang, Anton Wijs:
Compositional model checking with divergence preserving branching bisimilarity is lively. Sci. Comput. Program. 196: 102493 (2020) - [c51]Marieke Huisman
Towards verified construction of correct and optimised GPU software. FTfJP@ECOOP 2020: 10-14 - [c50]Muhammad Osama
Multiple Decision Making in Conflict-Driven Clause Learning. ICTAI 2020: 161-169 - [c49]Lars B. van den Haak
Formal Methods for GPGPU Programming: Is the Demand Met? IFM 2020: 160-177 - [c48]Sander de Putter, Anton Wijs
Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. IFM 2020: 297-317 - [c47]David N. Jansen
An O(m log n) algorithm for branching bisimilarity on labelled transition systems. TACAS (2) 2020: 3-20 - [i3]Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs:
Term Rewriting on GPUs. CoRR abs/2009.07174 (2020)
2010 – 2019
- 2019
- [j15]Dan Zhang, Dragan Bosnacki, Mark van den Brand
Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. 184 (2019) - [c46]Muhammad Osama
SIGmA: GPU Accelerated Simplification of SAT Formulas. IFM 2019: 514-522 - [c45]Anton Wijs
Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. SEFM 2019: 410-429 - [c44]Olav Bunte, Jan Friso Groote
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) 2019: 21-39 - [c43]Muhammad Osama
Parallel SAT Simplification on GPU Architectures. TACAS (1) 2019: 21-40 - [i2]David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs:
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems. CoRR abs/1909.10824 (2019) - 2018
- [j14]Sander de Putter, Anton Wijs
A formal verification technique for behavioural model-to-model transformations. Formal Aspects Comput. 30(1): 3-43 (2018) - [j13]Dragan Bosnacki, Anton Wijs:
Model checking: recent improvements and applications. Int. J. Softw. Tools Technol. Transf. 20(5): 493-497 (2018) - [c42]Sander de Putter, Anton Wijs, Dan Zhang:
The SLCO Framework for Verified, Model-Driven Construction of Component Software. FACS 2018: 288-296 - [c41]Sander de Putter
To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. FM 2018: 485-504 - 2017
- [j12]Jan Friso Groote
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ACM Trans. Comput. Log. 18(2): 13:1-13:34 (2017) - [c40]Anton Wijs, Thomas Neele
Compositional Model Checking with Incremental Counter-Example Construction. CAV (1) 2017: 570-590 - [c39]Sander de Putter, Anton Wijs:
Compositional Model Checking Is Lively. FACS 2017: 117-136 - [c38]Nathan Cassee
Analysing the Performance of GPU Hash Tables for State Space Exploration. GaM@ETAPS 2017: 1-15 - [c37]Nathan Cassee
On the Scalability of the GPUexplore Explicit-State Model Checker. GaM@ETAPS 2017: 38-52 - 2016
- [j11]Anton Wijs
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Formal Methods Syst. Des. 48(3): 274-300 (2016) - [j10]Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente
Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. 130: 1 (2016) - [j9]Anton Wijs
Many-core on-the-fly model checking of safety properties using GPUs. Int. J. Softw. Tools Technol. Transf. 18(2): 169-185 (2016) - [c36]Thomas Neele
Partial-Order Reduction for GPU Model Checking. ATVA 2016: 357-374 - [c35]Anton Wijs
BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs. CAV (2) 2016: 472-493 - [c34]Sander de Putter, Anton Wijs
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. FASE 2016: 383-400 - [c33]Anton Wijs
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. FM 2016: 694-701 - [c32]Dan Zhang, Dragan Bosnacki, Mark van den Brand
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. MODELSWARD (Revised Selected Papers) 2016: 249-273 - [c31]Dan Zhang, Dragan Bosnacki, Mark van den Brand
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD 2016: 578-588 - [c30]Dragan Bosnacki, Mark van den Brand
Dependency Safety for Java: Implementing Failboxes. PPPJ 2016: 15:1-15:6 - [c29]Jan Friso Groote
An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. TACAS 2016: 607-624 - [e5]Dragan Bosnacki, Anton Wijs
Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Lecture Notes in Computer Science 9641, Springer 2016, ISBN 978-3-319-32581-1 [contents] - [e4]Alexander Heußner, Aleks Kissinger, Anton Wijs:
Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 231, 2016 [contents] - [i1]Jan Friso Groote, Anton Wijs:
An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. CoRR abs/1601.01478 (2016) - 2015
- [c28]Dragan Bosnacki, Mark van den Brand
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. FACS 2015: 141-160 - [c27]Anton Wijs
GPU Accelerated Strong and Branching Bisimilarity Checking. TACAS 2015: 368-383 - [c26]Anton Wijs:
Confluence Detection for Transformations of Labelled Transition Systems. GaM 2015: 1-15 - 2014
- [j8]Radu Mateescu, Anton Wijs
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity. Sci. Comput. Program. 96: 354-376 (2014) - [c25]Anton Wijs
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. CAV 2014: 310-326 - [c24]Alfons Laarman
Partial-Order Reduction for Multi-core LTL Model Checking. Haifa Verification Conference 2014: 267-283 - [c23]Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs:
Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS 2014: 64-69 - [c22]Anton Wijs
REFINER: Towards Formal Verification of Model Transformations. NASA Formal Methods 2014: 258-263 - [c21]Yanja Dajsuren, Christine M. Gerpheide, Alexander Serebrenik
Formalizing correspondence rules for automotive architecture views. QoSA 2014: 129-138 - [c20]Anton Wijs
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. TACAS 2014: 233-247 - [e3]Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. EPTCS 159, 2014 [contents] - 2013
- [c19]Anton Wijs
Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics. FACS 2013: 348-368 - [c18]Anton Wijs
Efficient Property Preservation Checking of Model Refinements. TACAS 2013: 565-579 - [e2]Anton Wijs, Dragan Bosnacki, Stefan Edelkamp:
Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2013, Rome, Italy, March 24, 2013. EPTCS 138, 2013 [contents] - 2012
- [j7]Dragan Bonaki, Maximilian R. Odenbrett, Anton Wijs
Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors. BMC Bioinform. 13: 281 (2012) - [j6]Anton Wijs
Extended beam search for non-exhaustive state space analysis. J. Log. Algebraic Methods Program. 81(1): 46-69 (2012) - [j5]Radu Mateescu, Anton Wijs
Sequential and distributed on-the-fly computation of weak tau-confluence. Sci. Comput. Program. 77(10-11): 1075-1094 (2012) - [c17]Anton Wijs
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. SPIN 2012: 98-116 - [e1]Anton Wijs, Dragan Bosnacki, Stefan Edelkamp:
Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012. EPTCS 99, 2012 [contents] - 2011
- [j4]Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs
Parallel probabilistic model checking on general purpose graphics processors. Int. J. Softw. Tools Technol. Transf. 13(1): 21-35 (2011) - [c16]Alfons Laarman
Multi-core Nested Depth-First Search. ATVA 2011: 321-335 - [c15]Anton Wijs
Towards Informed Swarm Verification. NASA Formal Methods 2011: 422-437 - [c14]Radu Mateescu, Anton Wijs
Property-Dependent Reductions for the Modal Mu-Calculus. SPIN 2011: 2-19 - [c13]Anton Wijs:
The HIVE Tool for Informed Swarm State Space Exploration. PDMC 2011: 91-98 - 2010
- [c12]Wan J. Fokkink
Partial Order Reduction for Branching Security Protocols. ACSD 2010: 191-200 - [c11]Anton Wijs
Forgetting the Time in Timed Process Algebra. FMOODS/FORTE 2010: 110-124
2000 – 2009
- 2009
- [j3]Anton Wijs
Solving scheduling problems by untimed model checking. Int. J. Softw. Tools Technol. Transf. 11(5): 375-392 (2009) - [c10]Radu Mateescu, Anton Wijs
Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS 2009: 215-229 - 2008
- [j2]Wan J. Fokkink, Jun Pang, Anton Wijs:
Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Informaticae 87(3-4): 287-311 (2008) - [c9]Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs
Survey on Directed Model Checking. MoChArt 2008: 65-89 - 2007
- [c8]Muhammad Torabi Dashti, Anton Wijs:
Pruning State Spaces with Extended Beam Search. ATVA 2007: 543-552 - [c7]Anton Wijs
Achieving Discrete Relative Timing with Untimed Process Algebra. ICECCS 2007: 35-46 - [c6]Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti
Distributed Analysis with mu CRL: A Compendium of Case Studies. TACAS 2007: 683-689 - [c5]Muhammad Torabi Dashti
Distributed Partial Order Reduction for Security Protocols. PDMC@CAV 2007: 93-99 - 2006
- [c4]Anton Wijs, Bert Lisser:
Distributed Extended Beam Search for Quantitative Model Checking. MoChArt 2006: 166-184 - 2005
- [j1]Elena M. Bortnik, Nikola Trcka, Anton Wijs
Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebraic Methods Program. 65(2): 51-104 (2005) - [c3]Anton Wijs, Jaco van de Pol, Elena M. Bortnik:
Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. FMICS 2005: 54-61 - [c2]Wan J. Fokkink
Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS 2005: 258-272 - [c1]Anton Wijs, Wan J. Fokkink:
From chi-t to µCRL: Combining Performance and Functional Analysis. ICECCS 2005: 184-193
Coauthor Index
Mark van den Brand
aka: Mark G. J. van den Brand
aka: Mark G. J. van den Brand
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: