Certified SAT solving with GPU accelerated inprocessing von Osama, Muhammad, Wijs, Anton, Biere, Armin

Volltext

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings von Salaün, Gwen, Wijs, Anton

Volltext

Confluence Detection for Transformations of Labelled Transition Systems von Wijs, Anton

Volltext

iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings von Herber, Paula, Wijs, Anton

Volltext

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings von Herber, Paula, Wijs, Anton

Volltext

Analysing the Performance of GPU Hash Tables for State Space Exploration von Cassee, Nathan, Wijs, Anton

Volltext

On the Scalability of the GPUexplore Explicit-State Model Checker von Cassee, Nathan, Neele, Thomas, Wijs, Anton

Volltext

The HIVE Tool for Informed Swarm State Space Exploration von Wijs, Anton

Volltext

An Evaluation of Massively Parallel Algorithms for DFA Minimization von Martens, Jan, Wijs, Anton

Volltext

Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors von Bošnački, Dragan, Odenbrett, Maximilian R, Wijs, Anton, Ligtenberg, Willem, Hilbers, Peter

Volltext

Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview von Wijs, Anton

Volltext

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings von Bosnački, Dragan, Wijs, Anton

Volltext

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Volltext

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

Volltext

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

Volltext

Corinne, a Tool for Choreography Automata von Orlando, Simone, Pasquale, Vairo Di, Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

Volltext

Property-dependent reductions adequate with divergence-sensitive branching bisimilarity von Mateescu, Radu, Wijs, Anton

Volltext

GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data von Wijs, Anton, Osama, Muhammad

Volltext

Innermost many-sorted term rewriting on GPUs von van Eerd, Johri, Groote, Jan Friso, Hijma, Pieter, Martens, Jan, Osama, Muhammad, Wijs, Anton

Volltext

Compositional model checking with divergence preserving branching bisimilarity is lively von de Putter, Sander, Lang, Frédéric, Wijs, Anton

Volltext