Tim A. C. Willemse
发表
David de Frutos-Escrig,
Jeroen Keiren,
Tim A. C. Willemse,
2016,
FORTE.
Mohammad Reza Mousavi,
Tim A. C. Willemse,
Neda Noroozi,
2013,
MBT.
Tim A. C. Willemse,
Maciej Gazda,
2014,
ArXiv.
Tim A. C. Willemse,
Ulyana Tikhonova,
2015,
2015 10th International Joint Conference on Software Technologies (ICSOFT).
Sjoerd Cranen,
Tim A. C. Willemse,
Maciej Gazda,
2013
.
Sjouke Mauw,
Tim A. C. Willemse,
Wouter T. Wiersma,
2002,
Proceedings of the 35th Annual Hawaii International Conference on System Sciences.
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2005,
Theor. Comput. Sci..
Erik P. de Vink,
Bas Luttik,
Jan Friso Groote,
2019,
FACS.
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2020,
Sci. Comput. Program..
Suzana Andova,
Tim A. C. Willemse,
S. Andova,
2005,
Theor. Comput. Sci..
Tim A. C. Willemse,
Olav Bunte,
Louis C. M. van Gool,
2020,
FMICS.
Tim A. C. Willemse,
Lisette Sanchez,
Wieger Wesselink,
2018,
GandALF.
Tim A. C. Willemse,
Wieger Wesselink,
2018,
ARQNL@IJCAR.
Tim A. C. Willemse,
Maciej Gazda,
2015,
GandALF.
Sjoerd Cranen,
Tim A. C. Willemse,
Maciej Gazda,
2015,
ACM Trans. Comput. Log..
Bas Luttik,
Michael Leuschel,
Tim A. C. Willemse,
2019
.
Jos C. M. Baeten,
Brian Nielsen,
Nicolas Halbwachs,
2005
.
Jan Friso Groote,
Jeroen Keiren,
Tim A. C. Willemse,
2011,
Softw. Pract. Exp..
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2004,
CONCUR.
Kees Verstoep,
Henri E. Bal,
Wan Fokkink,
2012
.
Hans Zantema,
Tim A. C. Willemse,
Ruud P. J. Koolen,
2015,
ATVA.
Jan Tretmans,
Tim A. C. Willemse,
Vlad Rusu,
2007,
IFM.
Bas Luttik,
Sjoerd Cranen,
Tim A. C. Willemse,
2013,
CONCUR.
Tim A. C. Willemse,
J. W. Wesselink,
L. Sanchez,
2018
.
Jan Friso Groote,
Tim A. C. Willemse,
2003,
FMCO.
R. Gomez-Reino,
Lorenzo Masetti,
Tim A. C. Willemse,
2011
.
Erik P. de Vink,
Maurice H. ter Beek,
Tim A. C. Willemse,
2016,
FMSPLE.
Sjoerd Cranen,
Jeroen Keiren,
Tim A. C. Willemse,
2011,
NASA Formal Methods.
Jaco van de Pol,
Taolue Chen,
Tim A. C. Willemse,
2007,
CONCUR.
Michel A. Reniers,
Tim A. C. Willemse,
Rob Schoren,
2014,
Comput. J..
Sjouke Mauw,
Tim A. C. Willemse,
Wouter T. Wiersma,
2002,
Proceedings of the 35th Annual Hawaii International Conference on System Sciences.
Sjoerd Cranen,
Jeroen Keiren,
Tim A. C. Willemse,
2016,
Acta Informatica.
Tim A. C. Willemse,
Ulyana Tikhonova,
2015,
ICSOFT.
Tim A. C. Willemse,
Maciej Gazda,
2016,
Encyclopedia of Algorithms.
Simona Orzan,
Tim A. C. Willemse,
T. Willemse,
2008,
Theor. Comput. Sci..
Jan Tretmans,
Tim A. C. Willemse,
Lars Frantzen,
2004,
FATES.
Sander J. J. Leemans,
Jeroen Keiren,
Tim A. C. Willemse,
2011,
Sci. Comput. Program..
Erik P. de Vink,
Jan Friso Groote,
Anton Wijs,
2019,
TACAS.
Herman Geuvers,
Tim A. C. Willemse,
Myrthe van Delft,
2017,
ITP.
Tim A. C. Willemse,
Bas Ploeger,
Wieger Wesselink,
2011,
Inf. Comput..
Kees Verstoep,
Henri E. Bal,
Tim A. C. Willemse,
2013,
Future Gener. Comput. Syst..
Bas Luttik,
Tim A. C. Willemse,
Maarten Bartholomeus,
2018,
FMICS.
Michel A. Reniers,
Tim A. C. Willemse,
M. Reniers,
2010,
SOS.
Erik P. de Vink,
Maurice H. ter Beek,
Tim A. C. Willemse,
2020,
FASE.
Mohammad Reza Mousavi,
Tim A. C. Willemse,
Neda Noroozi,
2013,
FACS.
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2018,
FACS.
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
pdf
Jeroen Keiren,
Tim A. C. Willemse,
Wieger Wesselink,
2013,
ArXiv.
Erik P. de Vink,
Jan Friso Groote,
Sjoerd Cranen,
2013,
TACAS.
Tim A. C. Willemse,
Maciej Gazda,
Maciej Gazda,
2012,
SOFSEM.
Jan Friso Groote,
Tim A. C. Willemse,
Muck van Weerdenburg,
2009,
J. Log. Algebraic Methods Program..
Michel A. Reniers,
Tim A. C. Willemse,
2011,
SOFSEM.
Charles Morisset,
Nicola Zannone,
Tim A. C. Willemse,
2018,
SACMAT.
Jan Friso Groote,
Robert Howe,
Paul F. Hoogendijk,
2017,
FMICS-AVoCS.
Sjoerd Cranen,
Jeroen Keiren,
Tim A. C. Willemse,
2011,
ArXiv.
Bas Luttik,
Sjoerd Cranen,
Tim A. C. Willemse,
2015,
CSL.
Tim A. C. Willemse,
Bas Ploeger,
Alexander van Dam,
2008,
ICTAC.
David de Frutos-Escrig,
Jeroen Keiren,
Tim A. C. Willemse,
2016,
Log. Methods Comput. Sci..
Tim A. C. Willemse,
Maciej Gazda,
Maciej Gazda,
2012,
EXPRESS/SOS.
Jeroen Keiren,
Tim A. C. Willemse,
2009,
Haifa Verification Conference.
Suzana Andova,
Tim A. C. Willemse,
S. Andova,
2005,
EXPRESS.
Michel A. Reniers,
Jeroen Keiren,
Tim A. C. Willemse,
2010,
TOCL.
Tim A. C. Willemse,
2007
.
Sjoerd Cranen,
Jeroen Keiren,
Tim A. C. Willemse,
2012,
ICTAC.
Andy J. Wellings,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli,
2005,
TECS.
Erik P. de Vink,
Maurice H. ter Beek,
Tim A. C. Willemse,
2017,
FASE.
Charles Morisset,
Nicola Zannone,
Tim A. C. Willemse,
2019,
Cybersecur..
Mohammad Reza Mousavi,
Ramtin Khosravi,
Tim A. C. Willemse,
2011,
SEFM.
Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
pdf
Tim A. C. Willemse,
Vincent Kusters,
Yi-Ling Hwong,
2011,
FSEN.
Olga Gadyatskaya,
Ravi Jhawar,
Tim A. C. Willemse,
2017,
STM.
Tim A. C. Willemse,
2006,
FMICS/PDMC.
Erik P. de Vink,
Tim A. C. Willemse,
Ziad Ben Snaiba,
2017,
SPLC.
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2002
.
Jos C. M. Baeten,
Suzana Andova,
Tim A. C. Willemse,
2006,
CONCUR.
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2019,
FORTE.
Jan Friso Groote,
Tim A. C. Willemse,
2005,
Sci. Comput. Program..
Tim A. C. Willemse,
2004,
IFM.
Kees Verstoep,
Henri E. Bal,
Tim A. C. Willemse,
2013,
NASA Formal Methods.
Jos C. M. Baeten,
Suzana Andova,
Tim A. C. Willemse,
2006
.
Tim A. C. Willemse,
Maciej Gazda,
2016,
SOFSEM.
Kees Verstoep,
Henri E. Bal,
Wan Fokkink,
2012,
2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012).
Kees Verstoep,
Henri E. Bal,
Tim A. C. Willemse,
2014,
FORTE.
Mohammad Reza Mousavi,
Ramtin Khosravi,
Tim A. C. Willemse,
2012,
Software & Systems Modeling.
Tim A. C. Willemse,
M.C.J.D. van Eekelen,
G. J. Tretmans,
2005
.
Simona Orzan,
Tim A. C. Willemse,
Wieger Wesselink,
2009,
TACAS.
Jan Friso Groote,
Tim A. C. Willemse,
J. van der Wulp,
2008
.
Simona Orzan,
Tim A. C. Willemse,
2010,
Theor. Comput. Sci..
Jeroen Keiren,
Tim A. C. Willemse,
Wieger Wesselink,
2014,
ATVA.
Tim A. C. Willemse,
Maciej Gazda,
2018,
Int. J. Found. Comput. Sci..
Tim A. C. Willemse,
T. Willemse,
2010,
CONCUR.
Jan Tretmans,
Tim A. C. Willemse,
Lars Frantzen,
2006,
FATES/RV.
Tim A. C. Willemse,
Maciej Gazda,
2013,
GandALF.
Antti Valmari,
Tim A. C. Willemse,
Thomas Neele,
2021,
Logical Methods in Computer Science.
Bas Luttik,
Tim A. C. Willemse,
Mark Bouwman,
2020,
Acta Informatica.