Tim A. C. Willemse

Available identifiers

zbMath Open willemse.tim-a-cMaRDI QIDQ960854

List of research outcomes

Publication	Date of Publication	Type
Correct and efficient antichain algorithms for refinement checking	2024-02-06	Paper
On the preservation of properties when changing communication models	2023-08-14	Paper
Decomposing monolithic processes in a process algebra with multi-actions	2023-03-20	Paper
Family-Based SPL Model Checking Using Parity Games with Variability	2022-10-13	Paper
Off-the-shelf automated analysis of liveness properties for just paths (extended abstract)	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5020944	2022-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q3384882	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5013885	2021-12-03	Paper
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems	2021-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q5155669	2021-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q4992503	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4986259	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5856411	2021-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q5150133	2021-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5129943	2020-11-03	Paper
The inconsistent labelling problem of stutter-preserving partial-order reduction	2020-09-23	Paper
Off-the-shelf automated analysis of liveness properties for just paths	2020-05-26	Paper
Family-Based Model Checking with mCRL2	2020-02-13	Paper
Parity game reductions	2018-08-10	Paper
Cooking Your Own Parity Game Preorders Through Matching Plays	2018-07-24	Paper
A formalisation of consistent consequence for Boolean equation systems	2018-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4596797	2017-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q5351951	2017-08-31	Paper
Abstraction in Fixpoint Logic	2017-07-12	Paper
Branching Bisimulation Games	2016-10-19	Paper
On Parity Game Preorders and the Logic of Matching Plays	2016-03-10	Paper
Using SMT for Solving Fragments of Parameterised Boolean Equation Systems	2016-01-08	Paper
Liveness Analysis for Parameterised Boolean Equation Systems	2015-12-17	Paper
Structural Analysis of Boolean Equation Systems	2015-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q2848135	2013-09-25	Paper
Proof Graphs for Parameterised Boolean Equation Systems	2013-08-12	Paper
An Overview of the mCRL2 Toolset and Its Recent Advances	2013-08-05	Paper
A Cure for Stuttering Parity Games	2012-09-21	Paper
Consistent Consequence for Boolean Equation Systems	2012-06-15	Paper
Verification of reactive systems via instantiation of parameterised Boolean equation systems	2011-04-28	Paper
Folk Theorems on the Correspondence between State-Based and Event-Based Systems	2011-02-15	Paper
Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations	2010-08-31	Paper
Invariants for parameterised Boolean equation systems	2010-03-29	Paper
Integrated Formal Methods	2009-05-07	Paper
Search algorithms for automated validation	2009-04-29	Paper
Static Analysis Techniques for Parameterised Boolean Equation Systems	2009-03-31	Paper
Integrating Verification, Testing, and Learning for Cryptographic Protocols	2009-03-06	Paper
Invariants for Parameterised Boolean Equation Systems	2008-11-25	Paper
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems	2008-09-18	Paper
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification	2007-09-04	Paper
Branching bisimulation for probabilistic systems: characteristics and decidability	2006-05-29	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
Parameterised Boolean equation systems	2005-11-01	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
Model-checking processes with data	2005-08-05	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: Tim A. C. Willemse