Anton Wijs

Available identifiers

zbMath Open wijs.anton-jDBLP77/6678WikidataQ56492970 ScholiaQ56492970MaRDI QIDQ436407

List of research outcomes

Publication	Date of Publication	Type
Compositional model checking with incremental counter-example construction	2022-07-01	Paper
Term rewriting on GPUs	2022-06-17	Paper
An O(m log n) algorithm for branching bisimilarity on labelled transition systems	2021-11-10	Paper
To compose, or not to compose, that is the question: an analysis of compositional state space generation	2021-05-04	Paper
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation	2019-09-17	Paper
BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs	2019-05-03	Paper
A formal verification technique for behavioural model-to-model transformations	2018-02-02	Paper
An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation	2017-07-13	Paper
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components	2017-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q2812141	2016-06-16	Paper
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique	2016-04-21	Paper
Efficient Property Preservation Checking of Model Refinements	2013-08-05	Paper
Sequential and distributed on-the-fly computation of weak tau-confluence	2012-07-20	Paper
Extended beam search for non-exhaustive state space analysis	2011-12-19	Paper
Hierarchical Adaptive State Space Caching Based on Level Sampling	2009-03-31	Paper
Survey on Directed Model Checking	2009-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q3601869	2009-02-12	Paper
Pruning State Spaces with Extended Beam Search	2008-07-03	Paper
Distributed Extended Beam Search for Quantitative Model Checking	2007-11-01	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal	2005-10-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anton Wijs