×

zbMATH — the first resource for mathematics

Willemse, Tim A. C.

Compute Distance To:
Author ID: willemse.tim-a-c Recent zbMATH articles by "Willemse, Tim A. C."
Published as: Willemse, T. A. C.; Willemse, Tim; Willemse, Tim A. C.
Documents Indexed: 41 Publications since 2004

Publications by Year

Citations contained in zbMATH

25 Publications have been cited 99 times in 49 Documents Cited by Year
Branching bisimulation for probabilistic systems: characteristics and decidability. Zbl 1092.68062
Andova, Suzana; Willemse, Tim A. C.
13
2006
An overview of the mCRL2 toolset and its recent advances. Zbl 1381.68198
Cranen, Sjoerd; Groote, Jan Friso; Keiren, Jeroen J. A.; Stappers, Frank P. M.; de Vink, Erik P.; Wesselink, Wieger; Willemse, Tim A. C.
12
2013
Model-checking processes with data. Zbl 1082.68067
Groote, J. F.; Willemse, T. A. C.
11
2005
Test generation based on symbolic specifications. Zbl 1081.68570
Frantzen, Lars; Tretmans, Jan; Willemse, Tim A. C.
7
2005
Parameterised Boolean equation systems. Zbl 1077.68061
Groote, Jan Friso; Willemse, Tim A. C.
7
2005
Static analysis techniques for parameterised Boolean equation systems. Zbl 1234.68263
Orzan, Simona; Wesselink, Wieger; Willemse, Tim A. C.
5
2009
Instantiation for parameterised Boolean equation systems. Zbl 1161.68596
van Dam, A.; Ploeger, B.; Willemse, T. A. C.
4
2008
Equivalence checking for infinite systems using parameterized Boolean equation systems. Zbl 1151.68521
Chen, Taolue; Ploeger, Bas; van de Pol, Jaco; Willemse, Tim A. C.
4
2007
A cure for stuttering parity games. Zbl 1362.68165
Cranen, Sjoerd; Keiren, Jeroen J. A.; Willemse, Tim A. C.
3
2012
Consistent consequence for Boolean equation systems. Zbl 1298.68173
Gazda, Maciej W.; Willemse, Tim A. C.
3
2012
Consistent correlations for parameterised Boolean equation systems with applications in correctness proofs for manipulations. Zbl 1287.68112
Willemse, Tim A. C.
3
2010
Invariants for parameterised Boolean equation systems. Zbl 1191.68415
Orzan, Simona; Willemse, Tim A. C.
3
2010
Invariants for parameterised Boolean equation systems. (Extended abstract). Zbl 1160.68446
Orzan, Simona; Willemse, Tim A. C.
3
2008
A complete axiomatisation of branching bisimulation for probabilistic systems with an application in protocol verification. Zbl 1151.68502
Andova, Suzana; Baeten, Jos C. M.; Willemse, Tim A. C.
3
2006
Branching bisimulation games. Zbl 1347.68276
de Frutos Escrig, David; Keiren, Jeroen J. A.; Willemse, Tim A. C.
2
2016
On parity game preorders and the logic of matching plays. Zbl 1448.91063
Gazda, M. W.; Willemse, T. A. C.
2
2016
Evidence for fixpoint logic. Zbl 1373.68286
Cranen, Sjoerd; Luttik, Bas; Willemse, Tim A. C.
2
2015
Abstraction in fixpoint logic. Zbl 1367.68187
Cranen, Sjoerd; Gazda, Maciej; Wesselink, Wieger; Willemse, Tim A. C.
2
2015
Liveness analysis for parameterised Boolean equation systems. Zbl 1448.68302
Keiren, Jeroen J. A.; Wesselink, Wieger; Willemse, Tim A. C.
2
2014
Synchronizing asynchronous conformance testing. Zbl 1350.68048
Noroozi, Neda; Khosravi, Ramtin; Mousavi, Mohammad Reza; Willemse, Tim A. C.
2
2011
Verification of reactive systems via instantiation of parameterised Boolean equation systems. Zbl 1215.68133
Ploeger, B.; Wesselink, J. W.; Willemse, T. A. C.
2
2011
Parity game reductions. Zbl 1398.68337
Cranen, Sjoerd; Keiren, Jeroen J. A.; Willemse, Tim A. C.
1
2018
Family-based model checking with mCRL2. Zbl 1430.68155
ter Beek, Maurice H.; de Vink, Erik P.; Willemse, Tim A. C.
1
2017
Proof graphs for parameterised Boolean equation systems. Zbl 1390.68425
Cranen, Sjoerd; Luttik, Bas; Willemse, Tim A. C.
1
2013
Parameterised Boolean equation systems (extended abstract). Zbl 1099.68670
Groote, Jan Friso; Willemse, Tim
1
2004
Parity game reductions. Zbl 1398.68337
Cranen, Sjoerd; Keiren, Jeroen J. A.; Willemse, Tim A. C.
1
2018
Family-based model checking with mCRL2. Zbl 1430.68155
ter Beek, Maurice H.; de Vink, Erik P.; Willemse, Tim A. C.
1
2017
Branching bisimulation games. Zbl 1347.68276
de Frutos Escrig, David; Keiren, Jeroen J. A.; Willemse, Tim A. C.
2
2016
On parity game preorders and the logic of matching plays. Zbl 1448.91063
Gazda, M. W.; Willemse, T. A. C.
2
2016
Evidence for fixpoint logic. Zbl 1373.68286
Cranen, Sjoerd; Luttik, Bas; Willemse, Tim A. C.
2
2015
Abstraction in fixpoint logic. Zbl 1367.68187
Cranen, Sjoerd; Gazda, Maciej; Wesselink, Wieger; Willemse, Tim A. C.
2
2015
Liveness analysis for parameterised Boolean equation systems. Zbl 1448.68302
Keiren, Jeroen J. A.; Wesselink, Wieger; Willemse, Tim A. C.
2
2014
An overview of the mCRL2 toolset and its recent advances. Zbl 1381.68198
Cranen, Sjoerd; Groote, Jan Friso; Keiren, Jeroen J. A.; Stappers, Frank P. M.; de Vink, Erik P.; Wesselink, Wieger; Willemse, Tim A. C.
12
2013
Proof graphs for parameterised Boolean equation systems. Zbl 1390.68425
Cranen, Sjoerd; Luttik, Bas; Willemse, Tim A. C.
1
2013
A cure for stuttering parity games. Zbl 1362.68165
Cranen, Sjoerd; Keiren, Jeroen J. A.; Willemse, Tim A. C.
3
2012
Consistent consequence for Boolean equation systems. Zbl 1298.68173
Gazda, Maciej W.; Willemse, Tim A. C.
3
2012
Synchronizing asynchronous conformance testing. Zbl 1350.68048
Noroozi, Neda; Khosravi, Ramtin; Mousavi, Mohammad Reza; Willemse, Tim A. C.
2
2011
Verification of reactive systems via instantiation of parameterised Boolean equation systems. Zbl 1215.68133
Ploeger, B.; Wesselink, J. W.; Willemse, T. A. C.
2
2011
Consistent correlations for parameterised Boolean equation systems with applications in correctness proofs for manipulations. Zbl 1287.68112
Willemse, Tim A. C.
3
2010
Invariants for parameterised Boolean equation systems. Zbl 1191.68415
Orzan, Simona; Willemse, Tim A. C.
3
2010
Static analysis techniques for parameterised Boolean equation systems. Zbl 1234.68263
Orzan, Simona; Wesselink, Wieger; Willemse, Tim A. C.
5
2009
Instantiation for parameterised Boolean equation systems. Zbl 1161.68596
van Dam, A.; Ploeger, B.; Willemse, T. A. C.
4
2008
Invariants for parameterised Boolean equation systems. (Extended abstract). Zbl 1160.68446
Orzan, Simona; Willemse, Tim A. C.
3
2008
Equivalence checking for infinite systems using parameterized Boolean equation systems. Zbl 1151.68521
Chen, Taolue; Ploeger, Bas; van de Pol, Jaco; Willemse, Tim A. C.
4
2007
Branching bisimulation for probabilistic systems: characteristics and decidability. Zbl 1092.68062
Andova, Suzana; Willemse, Tim A. C.
13
2006
A complete axiomatisation of branching bisimulation for probabilistic systems with an application in protocol verification. Zbl 1151.68502
Andova, Suzana; Baeten, Jos C. M.; Willemse, Tim A. C.
3
2006
Model-checking processes with data. Zbl 1082.68067
Groote, J. F.; Willemse, T. A. C.
11
2005
Test generation based on symbolic specifications. Zbl 1081.68570
Frantzen, Lars; Tretmans, Jan; Willemse, Tim A. C.
7
2005
Parameterised Boolean equation systems. Zbl 1077.68061
Groote, Jan Friso; Willemse, Tim A. C.
7
2005
Parameterised Boolean equation systems (extended abstract). Zbl 1099.68670
Groote, Jan Friso; Willemse, Tim
1
2004
all top 5

Cited by 97 Authors

12 Willemse, Tim A. C.
5 Groote, Jan Friso
3 Cranen, Sjoerd
3 Gazda, Maciej W.
3 Gebler, Daniel E.
3 Georgievska, Sonja
3 Keiren, Jeroen J. A.
3 Tini, Simone
2 Andova, Suzana
2 Castiglioni, Valentina
2 Delahaye, Benoît
2 Deng, Yuxin
2 Gregorio-Rodríguez, Carlos
2 Larsen, Kim Guldstrand
2 Legay, Axel
2 Luttik, Bas
2 Mousavi, Mohammadreza
2 Orzan, Simona
2 Trčka, Nikola
2 Turrini, Andrea
2 van Glabbeek, Robert Jan
2 Wesselink, Wieger
2 Wijs, Anton J.
1 Aarts, Fides
1 Aceto, Luca
1 Aiguier, Marc
1 Ambert, Fabrice
1 Arbab, Farhad
1 Baldan, Paolo
1 Basile, Davide
1 Beohar, Harsh
1 Bernardo, Marco
1 Bliudze, Simon
1 Bouquet, Fabrice
1 Bouwman, Mark
1 Bué, Pierre-Christophe
1 Crafa, Silvia
1 de Frutos-Escrig, David
1 De Nicola, Rocco
1 de Putter, Sander
1 de Vink, Erik P.
1 Dokter, Kasper
1 Du, Wenjie
1 Duan, Zhenhua
1 Fábregas, Ignacio
1 Forejt, Vojtěch
1 Garavel, Hubert
1 Hashemi, Vahid
1 Hennessy, Matthew C. B.
1 Hermanns, Holger
1 Huang, Wenling
1 Ingólfsdóttir, Anna
1 Jančar, Petr
1 Jansen, David N.
1 Jongmans, Sung-Shik T. Q.
1 Julliand, Jacques
1 Katoen, Joost-Pieter
1 Khosravi, Ramtin
1 Kiefer, Stefan
1 Klin, Bartek
1 Kuppens, Harco
1 Le Gall, Pascale
1 Łełyk, Mateusz
1 Llana, Luis
1 Longuet, Delphine
1 Loreti, Michele
1 Ma, Qian
1 Machado, Patricia D. L.
1 Martínez, Rafael García
1 Masson, Pierre-Alain
1 Morgan, Carroll C.
1 Mota, Alexandre C.
1 Noroozi, Neda
1 Paiva, Sofia Costa
1 Peleska, Jan
1 Peureux, Fabien
1 Ploeger, Bas
1 Pugliese, Rosario
1 Rapin, Nicolas
1 Reniers, Michel Adriaan
1 Rivera Verduzco, Jao
1 Silva, Daniel A.
1 Simao, Adenilso
1 Spaninks, Linda
1 Stoelinga, Mariëlle
1 ter Beek, Maurice H.
1 Timmer, Mark
1 Tissot, Régis
1 Tretmans, Jan
1 Vaandrager, Frits W.
1 van de Pol, Jan Cornelis
1 Verwer, Sicco
1 Wang, Xiaobing
1 Wesselink, J. W.
1 Worrell, James B.
1 Zhang, Chenyi
1 Zhang, Nan

Citations by Year