default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnton 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, Anton Wijs, Armin Biere:
Certified SAT solving with GPU accelerated inprocessing. Formal Methods Syst. Des. 62(1): 79-118 (2024) - [c64]Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman:
Compact Parallel Hash Tables on the GPU. Euro-Par (2) 2024: 226-241 - [c63]Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand:
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. FMICS 2024: 152-169 - [c62]Muhammad Osama, Anton Wijs:
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, Anton Wijs, Marieke Huisman, Mark van den Brand:
HaliVer: Deductive Verification and Scheduling Languages Join Forces. TACAS (3) 2024: 71-89 - [e7]Paula Herber, Anton Wijs:
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] - [i6]Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand:
HaliVer: Deductive Verification and Scheduling Languages Join Forces. CoRR abs/2401.10778 (2024) - [i5]Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman:
Compact Parallel Hash Tables on the GPU. CoRR abs/2406.09255 (2024) - 2023
- [b1]Marieke Huisman, Anton Wijs:
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, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs:
Innermost many-sorted term rewriting on GPUs. Sci. Comput. Program. 225: 102910 (2023) - [j17]Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs:
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, Muhammad Osama:
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. SPIN 2023: 188-197 - [c58]Anton Wijs, Muhammad Osama:
A GPU Tree Database for Many-Core Explicit State Space Exploration. TACAS (1) 2023: 684-703 - 2022
- [c57]Rikayan Chaki, Anton Wijs:
Formally Characterizing the Effect of Model Transformations on System Properties. FACS 2022: 39-58 - [c56]Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs:
Alpinist: An Annotation-Aware GPU Program Optimizer. TACAS (2) 2022: 332-352 - 2021
- [c55]Muhammad Osama, Anton Wijs:
GPU Acceleration of Bounded Model Checking with ParaFROST. CAV (2) 2021: 447-460 - [c54]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. FACS 2021: 115-133 - [c53]Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs:
Term Rewriting on GPUs. FSEN 2021: 175-189 - [c52]Muhammad Osama, Anton Wijs, Armin Biere:
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, Anton Wijs:
Towards verified construction of correct and optimised GPU software. FTfJP@ECOOP 2020: 10-14 - [c50]Muhammad Osama, Anton Wijs:
Multiple Decision Making in Conflict-Driven Clause Learning. ICTAI 2020: 161-169 - [c49]Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman:
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, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs:
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, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs:
Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. 184 (2019) - [c46]Muhammad Osama, Anton Wijs:
SIGmA: GPU Accelerated Simplification of SAT Formulas. IFM 2019: 514-522 - [c45]Anton Wijs, Maciej Wilkowski:
Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. SEFM 2019: 410-429 - [c44]Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse:
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) 2019: 21-39 - [c43]Muhammad Osama, Anton Wijs:
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, Anton Wijs:
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, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs:
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, Anton Wijs:
Analysing the Performance of GPU Hash Tables for State Space Exploration. GaM@ETAPS 2017: 1-15 - [c37]Nathan Cassee, Thomas Neele, Anton Wijs:
On the Scalability of the GPUexplore Explicit-State Model Checker. GaM@ETAPS 2017: 38-52 - 2016
- [j11]Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki:
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, Anton Wijs:
Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. 130: 1 (2016) - [j9]Anton Wijs, Dragan Bosnacki:
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, Anton Wijs, Dragan Bosnacki, Jaco van de Pol:
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, Thomas Neele, Dragan Bosnacki:
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. FM 2016: 694-701 - [c32]Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs:
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, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs:
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD 2016: 578-588 - [c30]Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang:
Dependency Safety for Java: Implementing Failboxes. PPPJ 2016: 15:1-15:6 - [c29]Jan Friso Groote, Anton Wijs:
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, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang:
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, Joost-Pieter Katoen, Dragan Bosnacki:
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. CAV 2014: 310-326 - [c24]Alfons Laarman, Anton Wijs:
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, Luc Engelen:
REFINER: Towards Formal Verification of Model Transformations. NASA Formal Methods 2014: 258-263 - [c21]Yanja Dajsuren, Christine M. Gerpheide, Alexander Serebrenik, Anton Wijs, Bogdan Vasilescu, Mark G. J. van den Brand:
Formalizing correspondence rules for automotive architecture views. QoSA 2014: 129-138 - [c20]Anton Wijs, Dragan Bosnacki:
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. TACAS 2014: 233-247 - [e3]Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs:
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, Luc Engelen:
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, Willem P. A. Ligtenberg, Peter A. J. Hilbers:
Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors. BMC Bioinform. 13: 281 (2012) - [j6]Anton Wijs, Mohammad Torabi Dashti:
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, Dragan Bosnacki:
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, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs:
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, Mohammad Torabi Dashti, Anton Wijs:
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, Jaco van de Pol, Elena M. Bortnik:
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, Ansgar Fehnker, Husain Aljazzar:
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, Anton Wijs:
Distributed Analysis with mu CRL: A Compendium of Case Studies. TACAS 2007: 683-689 - [c5]Muhammad Torabi Dashti, Anton Wijs, Bert Lisser:
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, Bas Luttik, Joanna M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan J. Fokkink, Jacobus E. Rooda:
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, Jun Pang, Anton Wijs:
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-10-31 20:11 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:
