Anton Wijs - RankMe

106 papers A* 1A 6B 14C 3Journal 29Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An overview of research with Slco on seamless integration of formal verification into model-driven software engineering. Sci. Comput. Program. Anton Wijs
2025	J	`jnl`	Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking. CoRR Jan Heemstra, Jan Martens, Anton Wijs
2025	—	`conf`	GPUexplore TACAS (3) Jan Heemstra, Anton Wijs
2025	J	`jnl`	Introduction to the Special Collection from iFM 2023. Formal Aspects Comput. Paula Herber, Anton Wijs
2025	—	`ed.`	Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings SPIN Thomas Neele, Anton Wijs
2025	J	`jnl`	Preserving provability over GPU program optimizations with annotation-aware transformations. Formal Methods Syst. Des. Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs
2024	—	`conf`	An Evaluation of Massively Parallel Algorithms for DFA Minimization. GandALF Jan Martens, Anton Wijs
2024	J	`jnl`	Certified SAT solving with GPU accelerated inprocessing. Formal Methods Syst. Des. Muhammad Osama, Anton Wijs, Armin Biere
2024	—	`conf`	Compact Parallel Hash Tables on the GPU. Euro-Par (2) Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman
2024	J	`jnl`	Compact Parallel Hash Tables on the GPU. CoRR Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman
2024	—	`conf`	HaliVer: Deductive Verification and Scheduling Languages Join Forces. TACAS (3) Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
2024	J	`jnl`	HaliVer: Deductive Verification and Scheduling Languages Join Forces. CoRR Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
2024	—	`conf`	Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. TACAS (2) Muhammad Osama, Anton Wijs
2024	—	`conf`	No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited. ISoLA (3) Rik van Spreuwel, Anton Wijs
2024	—	`conf`	Towards End-to-End GPU Acceleration of PCTL Model Checking. Principles of Verification (2) Jan Heemstra, Muhammad Osama, Anton Wijs
2024	C	`conf`	Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. FMICS Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
2024	B	`ed.`	iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings iFM Paula Herber, Anton Wijs
2023	—	`conf`	A GPU Tree Database for Many-Core Explicit State Space Exploration. TACAS (1) Anton Wijs, Muhammad Osama
2023	—	`book`	Concise Guide to Software Verification - From Model Checking to Annotation Checking, 2 Marieke Huisman, Anton Wijs
2023	—	`conf`	Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. FACS Anton Wijs
2023	—	`conf`	GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. SPIN Anton Wijs, Muhammad Osama
2023	J	`jnl`	Innermost many-sorted term rewriting on GPUs. Sci. Comput. Program. Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs
2023	J	`jnl`	Linear parallel algorithms to compute strong and branching bisimilarity. Softw. Syst. Model. Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
2022	—	`conf`	Alpinist: An Annotation-Aware GPU Program Optimizer. TACAS (2) Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs
2022	—	`conf`	Formally Characterizing the Effect of Model Transformations on System Properties. FACS Rikayan Chaki, Anton Wijs
2021	—	`conf`	A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. FACS Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
2021	J	`jnl`	A linear parallel algorithm to compute bisimulation and relational coarsest partitions. CoRR Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
2021	—	`ed.`	Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings FACS Gwen Salaün, Anton Wijs
2021	—	`conf`	GPU Acceleration of Bounded Model Checking with ParaFROST. CAV (2) Muhammad Osama, Anton Wijs
2021	—	`conf`	SAT Solving with GPU Accelerated Inprocessing. TACAS (1) Muhammad Osama, Anton Wijs, Armin Biere
2021	—	`conf`	Term Rewriting on GPUs. FSEN Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
2020	—	`conf`	An O(m log n) algorithm for branching bisimilarity on labelled transition systems. TACAS (2) David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
2020	J	`jnl`	Compositional model checking with divergence preserving branching bisimilarity is lively. Sci. Comput. Program. Sander de Putter, Frédéric Lang, Anton Wijs
2020	B	`conf`	Formal Methods for GPGPU Programming: Is the Demand Met? IFM Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman
2020	B	`conf`	Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. IFM Sander de Putter, Anton Wijs
2020	B	`conf`	Multiple Decision Making in Conflict-Driven Clause Learning. ICTAI Muhammad Osama, Anton Wijs
2020	J	`jnl`	Term Rewriting on GPUs. CoRR Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
2020	—	`conf`	Towards verified construction of correct and optimised GPU software. FTfJP@ECOOP Marieke Huisman, Anton Wijs
2019	J	`jnl`	A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems. CoRR David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
2019	J	`jnl`	Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
2019	B	`conf`	Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. SEFM Anton Wijs, Maciej Wilkowski
2019	—	`conf`	Parallel SAT Simplification on GPU Architectures. TACAS (1) Muhammad Osama, Anton Wijs
2019	B	`conf`	SIGmA: GPU Accelerated Simplification of SAT Formulas. IFM Muhammad Osama, Anton Wijs
2019	—	`conf`	The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) 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
2018	J	`jnl`	A formal verification technique for behavioural model-to-model transformations. Formal Aspects Comput. Sander de Putter, Anton Wijs
2018	J	`jnl`	Model checking: recent improvements and applications. Int. J. Softw. Tools Technol. Transf. Dragan Bosnacki, Anton Wijs
2018	—	`conf`	The SLCO Framework for Verified, Model-Driven Construction of Component Software. FACS Sander de Putter, Anton Wijs, Dan Zhang
2018	B	`conf`	To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. FM Sander de Putter, Anton Wijs
2017	J	`jnl`	An ACM Trans. Comput. Log. Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs
2017	—	`conf`	Analysing the Performance of GPU Hash Tables for State Space Exploration. GaM Nathan Cassee, Anton Wijs
2017	—	`conf`	Compositional Model Checking Is Lively. FACS Sander de Putter, Anton Wijs
2017	—	`conf`	Compositional Model Checking with Incremental Counter-Example Construction. CAV (1) Anton Wijs, Thomas Neele
2017	—	`conf`	On the Scalability of the GPUexplore Explicit-State Model Checker. GaM Nathan Cassee, Thomas Neele, Anton Wijs
2016	J	`jnl`	An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. CoRR Jan Friso Groote, Anton Wijs
2016	A	`conf`	An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. TACAS Jan Friso Groote, Anton Wijs
2016	—	`conf`	BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs. CAV (2) Anton Wijs
2016	—	`conf`	Dependency Safety for Java: Implementing Failboxes. PPPJ Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang
2016	J	`jnl`	Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Formal Methods Syst. Des. Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki
2016	B	`conf`	GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. FM Anton Wijs, Thomas Neele, Dragan Bosnacki
2016	J	`jnl`	Many-core on-the-fly model checking of safety properties using GPUs. Int. J. Softw. Tools Technol. Transf. Anton Wijs, Dragan Bosnacki
2016	—	`ed.`	Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings SPIN Dragan Bosnacki, Anton Wijs
2016	B	`conf`	Partial-Order Reduction for GPU Model Checking. ATVA Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol
2016	—	`ed.`	Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016. GaM Alexander Heußner, Aleks Kissinger, Anton Wijs
2016	J	`jnl`	Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs
2016	C	`conf`	Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs
2016	—	`conf`	Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. MODELSWARD (Revised Selected Papers) Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
2016	B	`conf`	Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. FASE Sander de Putter, Anton Wijs
2015	—	`conf`	Confluence Detection for Transformations of Labelled Transition Systems. GaM Anton Wijs
2015	A	`conf`	GPU Accelerated Strong and Branching Bisimilarity Checking. TACAS Anton Wijs
2015	—	`conf`	Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. FACS Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang
2014	—	`conf`	Formalizing correspondence rules for automotive architecture views. QoSA Yanja Dajsuren, Christine M. Gerpheide, Alexander Serebrenik, Anton Wijs, Bogdan Vasilescu, Mark G. J. van den Brand
2014	A*	`conf`	GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. CAV Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki
2014	A	`conf`	GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. TACAS Anton Wijs, Dragan Bosnacki
2014	—	`conf`	Partial-Order Reduction for Multi-core LTL Model Checking. Haifa Verification Conference Alfons Laarman, Anton Wijs
2014	—	`ed.`	Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. GRAPHITE Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs
2014	J	`jnl`	Property-dependent reductions adequate with divergence-sensitive branching bisimilarity. Sci. Comput. Program. Radu Mateescu, Anton Wijs
2014	—	`conf`	REFINER: Towards Formal Verification of Model Transformations. NASA Formal Methods Anton Wijs, Luc Engelen
2014	—	`conf`	Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs
2013	—	`conf`	Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics. FACS Anton Wijs
2013	A	`conf`	Efficient Property Preservation Checking of Model Refinements. TACAS Anton Wijs, Luc Engelen
2013	—	`ed.`	Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2013, Rome, Italy, March 24, 2013. GRAPHITE Anton Wijs, Dragan Bosnacki, Stefan Edelkamp
2012	J	`jnl`	Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors. BMC Bioinform. Dragan Bonaki, Maximilian R. Odenbrett, Anton Wijs, Willem P. A. Ligtenberg, Peter A. J. Hilbers
2012	J	`jnl`	Extended beam search for non-exhaustive state space analysis. J. Log. Algebraic Methods Program. Anton Wijs, Mohammad Torabi Dashti
2012	—	`conf`	Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. SPIN Anton Wijs, Dragan Bosnacki
2012	—	`ed.`	Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012. GRAPHITE Anton Wijs, Dragan Bosnacki, Stefan Edelkamp
2012	J	`jnl`	Sequential and distributed on-the-fly computation of weak tau-confluence. Sci. Comput. Program. Radu Mateescu, Anton Wijs
2011	B	`conf`	Multi-core Nested Depth-First Search. ATVA Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs
2011	J	`jnl`	Parallel probabilistic model checking on general purpose graphics processors. Int. J. Softw. Tools Technol. Transf. Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs
2011	—	`conf`	Property-Dependent Reductions for the Modal Mu-Calculus. SPIN Radu Mateescu, Anton Wijs
2011	—	`conf`	The HIVE Tool for Informed Swarm State Space Exploration PDMC Anton Wijs
2011	—	`conf`	Towards Informed Swarm Verification. NASA Formal Methods Anton Wijs
2010	—	`conf`	Forgetting the Time in Timed Process Algebra. FMOODS/FORTE Anton Wijs
2010	—	`conf`	Partial Order Reduction for Branching Security Protocols. ACSD Wan J. Fokkink, Mohammad Torabi Dashti, Anton Wijs
2009	A	`conf`	Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS Radu Mateescu, Anton Wijs
2009	J	`jnl`	Solving scheduling problems by untimed model checking. Int. J. Softw. Tools Technol. Transf. Anton Wijs, Jaco van de Pol, Elena M. Bortnik
2008	J	`jnl`	Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Informaticae Wan J. Fokkink, Jun Pang, Anton Wijs
2008	—	`conf`	Survey on Directed Model Checking. MoChArt Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar
2007	B	`conf`	Achieving Discrete Relative Timing with Untimed Process Algebra. ICECCS Anton Wijs
2007	A	`conf`	Distributed Analysis with TACAS Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
2007	—	`conf`	Distributed Partial Order Reduction for Security Protocols. PDMC@CAV Muhammad Torabi Dashti, Anton Wijs, Bert Lisser
2007	B	`conf`	Pruning State Spaces with Extended Beam Search. ATVA Muhammad Torabi Dashti, Anton Wijs
2006	—	`conf`	Distributed Extended Beam Search for Quantitative Model Checking. MoChArt Anton Wijs, Bert Lisser
2005	J	`jnl`	Analyzing a J. Log. Algebraic Methods Program. 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
2005	B	`conf`	From chi-t to µCRL: Combining Performance and Functional Analysis. ICECCS Anton Wijs, Wan J. Fokkink
2005	—	`conf`	Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS Wan J. Fokkink, Jun Pang, Anton Wijs
2005	C	`conf`	Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. FMICS Anton Wijs, Jaco van de Pol, Elena M. Bortnik