Tim A. C. Willemse

According to our database1, Tim A. C. Willemse authored at least 79 papers between 2002 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Cooking Your Own Parity Game Preorders Through Matching Plays.
Int. J. Found. Comput. Sci., 2018

A Comparison of BDD-Based Parity Game Solvers.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Parity game reductions.
Acta Inf., 2018

Efficient Extended ABAC Evaluation.
Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018

Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting.
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Evidence Extraction from Parameterised Boolean Equation Systems.
Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017
Games for Bisimulations and Abstraction.
Logical Methods in Computer Science, 2017

Refinement-Aware Generation of Attack Trees.
Proceedings of the Security and Trust Management - 13th International Workshop, 2017

Family-Based Model Checking of SPL based on mCRL2.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

A Formalisation of Consistent Consequence for Boolean Equation Systems.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Formalising the Dezyne Modelling Language in mCRL2.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Family-Based Model Checking with mCRL2.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016
Parity Games.
Encyclopedia of Algorithms, 2016

Games for Bisimulations and Abstraction.
CoRR, 2016

Parity Game Reductions.
CoRR, 2016

Towards a Feature mu-Calculus Targeting SPL Verification.
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

On Parity Game Preorders and the Logic of Matching Plays.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

Branching Bisimulation Games.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015
Abstraction in Fixpoint Logic.
ACM Trans. Comput. Log., 2015

Synchrony and asynchrony in conformance testing.
Software and System Modeling, 2015

Improvement in Small Progress Measures.
Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Documenting and Designing QVTo Model Transformations Through Mathematics.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Designing and Describing QVTo Model Transformations.
Proceedings of the ICSOFT-EA 2015, 2015

Evidence for Fixpoint Logic.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

Using SMT for Solving Fragments of Parameterised Boolean Equation Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Strategy Derivation for Small Progress Measures.
CoRR, 2014

Results on Embeddings Between State-Based and Event-Based Systems.
Comput. J., 2014

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Liveness Analysis for Parameterised Boolean Equation Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.
Sci. Comput. Program., 2013

Using model checking to analyze the system behavior of the LHC production grid.
Future Generation Comp. Syst., 2013

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
CoRR, 2013

Decomposability in Input Output Conformance Testing
Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds.
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

An Overview of the mCRL2 Toolset and Its Recent Advances.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.
Proceedings of the NASA Formal Methods, 2013

On the Complexity of Input Output Conformance Testing.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Proof Graphs for Parameterised Boolean Equation Systems.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
Structural Analysis of Boolean Equation Systems.
ACM Trans. Comput. Log., 2012

Expressiveness and Completeness in Abstraction
Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

Consistent Consequence for Boolean Equation Systems.
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

A Cure for Stuttering Parity Games.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Using Model Checking to Analyze the System Behavior of the LHC Production Grid.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2011
Experiences in developing the mCRL2 toolset.
Softw., Pract. Exper., 2011

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems.
Inf. Comput., 2011

Stuttering Equivalence for Parity Games
CoRR, 2011

Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
CoRR, 2011

Folk Theorems on the Correspondence between State-Based and Event-Based Systems.
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Synchronizing Asynchronous Conformance Testing.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Stuttering Mostly Speeds Up Solving Parity Games.
Proceedings of the NASA Formal Methods, 2011

Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010
Invariants for Parameterised Boolean Equation Systems.
Theor. Comput. Sci., 2010

Folk Theorems on the Correspondence between State-Based and Event-Based Systems
CoRR, 2010

Structural Analysis of Boolean Equation Systems
CoRR, 2010

Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Search algorithms for automated validation.
J. Log. Algebr. Program., 2009

Analysis of Boolean Equation Systems through Structure Graphs
Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Static Analysis Techniques for Parameterised Boolean Equation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Bisimulation Minimisations for Boolean Equation Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2009

2008
Instantiation for Parameterised Boolean Equation Systems.
Proceedings of the Theoretical Aspects of Computing, 2008

Invariants for Parameterised Boolean Equation Systems.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Testing and Model-Checking Techniques for Diagnosis.
Proceedings of the Testing of Software and Communicating Systems, 2007

Integrating Verification, Testing, and Learning for Cryptographic Protocols.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
Branching bisimulation for probabilistic systems: Characteristics and decidability.
Theor. Comput. Sci., 2006

Heuristics for ioco -Based Test-Based Modelling.
Proceedings of the Formal Methods: Applications and Technology, 2006

A Symbolic Framework for Model-Based Testing.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embedded Comput. Syst., 2005

Parameterised boolean equation systems.
Theor. Comput. Sci., 2005

Model-checking processes with data.
Sci. Comput. Program., 2005

Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2005

2004
Language-Driven System Design.
International Journal of Software Engineering and Knowledge Engineering, 2004

Embeddings of Hybrid Automata in Process Algebra.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Test Generation Based on Symbolic Specifications.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

Parameterised Boolean Equation Systems (Extended Abstract).
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
A Checker for Modal Formulae for Processes with Data.
Proceedings of the Formal Methods for Components and Objects, 2003

2002
Language Driven System Design.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002


  Loading...