If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2020

    Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

    Neele, T., Willemse, T. A. C. & Wesselink, W., 17 Apr 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 307-324 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    1 Citation (Scopus)
  • 2019

    The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

    Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    45 Citations (Scopus)
    47 Downloads (Pure)
  • 2018

    A comparison of BDD-based parity game solvers

    Sanchez, L., Wesselink, W. & Willemse, T. A. C., 7 Sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification. Waterloo: Open Publishing Association, p. 103-117 15 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 277).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    3 Citations (Scopus)
    2 Downloads (Pure)
  • Evidence extraction from parameterised Boolean equation systems

    Wesselink, W. & Willemse, T. A. C., 1 Jan 2018, Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018): Oxford, UK, July 18, 2018.. Benzmüller, C. & Otten, J. (eds.). CEUR-WS.org, p. 86-100 15 p. (CEUR Workshop Proceedings; vol. 2095).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    7 Citations (Scopus)
    23 Downloads (Pure)
  • 2017

    Formalising the Dezyne modelling language in mCRL2

    van Beusekom, R., Groote, J. F., Hoogendijk, P., Howe, R., Wesselink, W., Wieringa, R. & Willemse, T. A. C., 2017, Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings. Petrucci, L., Seceleanu, C. & Cavalcanti, A. (eds.). Dordrecht: Springer, p. 217-233 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10471 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
  • 2014

    Liveness analysis for parameterised Boolean equation systems

    Keiren, J. J. A., Wesselink, J. W. & Willemse, T. A. C., 2014, Automated Technology for Verification and Analysis (12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014). Cassez, F. & Raskin, J-F. (eds.). Berlin: Springer, p. 219-234 (Lecture Notes in Computer Science; vol. 8837).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
  • 2013

    An overview of the mCRL2 toolset and its recent advances

    Cranen, S., Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Vink, de, E. P., Wesselink, J. W. & Willemse, T. A. C., 2013, Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). Piterman, N. & Smolka, S. A. (eds.). Berlin: Springer, p. 199-213 (Lecture Notes in Computer Science; vol. 7795).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    99 Citations (Scopus)
    1 Downloads (Pure)
  • 2010

    Experience in developing the mCRL2 toolset

    Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W. & Willemse, T. A. C., 2010, Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010). Gervais, F. & Fraikin, B. (eds.). p. 1-3

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    29 Downloads (Pure)
  • Generic programming in the mCRL2 toolset

    Wesselink, J. W., Wulp, van der, J. & Keiren, J. J. A., 2010, Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010). Gervais, F. & Fraikin, B. (eds.). p. 1-3

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    48 Downloads (Pure)
  • 2009

    EufDpll - A tool to check satisfiability of equality logic formulas

    Tveretina, O. & Wesselink, J. W., 2009, Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2006, Cork, Ireland, August 1-5, 2006). Seda, A., Boubekeur, M., Hurley, T., Mac an Airchinnigh, M., Schellekens, M. & Strong, G. (eds.). p. 405-420 (Electronic Notes in Theoretical Computer Science; vol. 225).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Static analysis techniques for parameterised Boolean equation systems

    Orzan, S. M., Wesselink, J. W. & Willemse, T. A. C., 2009, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 15th International Conference, TACAS 2009, part of ETAPS 2009, York, UK, March 22-29, 2009). Kowalewski, S. & Philippou, A. (eds.). Berlin: Springer, p. 230-245 (Lecture Notes in Computer Science; vol. 5505).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (Scopus)
    2 Downloads (Pure)
  • 2008

    The mCRL2 toolset

    Groote, J. F., Keiren, J. J. A., Mathijssen, A. H. J., Ploeger, B., Stappers, F. P. M., Tankink, C., Usenko, Y. S., Weerdenburg, van, M. J., Wesselink, J. W., Willemse, T. A. C. & Wulp, van der, J., 2008, Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP). p. 5-1/10

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)
  • 2007

    Assertion-based proof checking of Chang-Roberts leader election in PVS

    Wesselink, J. W., Romijn, J. M. T. & Mooij, A. J., 2007, Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007) 22-25 October 2007, Tokyo, Japan. Namjoshi, K. S., Yoneda, T., Higashino, T. & Okamura, Y. (eds.). Berlin, Germany: Springer, p. 347-361 (Lecture Notes in Computer Science; vol. 4762).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    163 Downloads (Pure)
  • 2006

    Realizability criteria for compositional MSC

    Mooij, A. J., Romijn, J. M. T. & Wesselink, J. W., 2006, Algebraic Methodology and Software Technology (Proceedings 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006). Johnson, M. & Vene, V. (eds.). Berlin: Springer, p. 248-262 (Lecture Notes in Computer Science; vol. 4019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
  • 2005

    Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory

    Wesselink, J. W., Goga, N., Mooij, A. J. & Spronk, R., 2005, Proceedings of the 18th Canadian Conference on Electrical and Computer Engineering, CCECE 2005, Saskatoon, Saskatchewan, Canada, May 1-4, 2005. Institute of Electrical and Electronics Engineers, p. 1656-1659

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • Incremental verification of Owicki/Gries proof outlines using PVS

    Mooij, A. J. & Wesselink, J. W., 2005, Formal methods and software engineering : 7th international conference, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings. Lau, K. K. & Banach, R. (eds.). Berlin: Springer, p. 390-404 (Lecture Notes in Computer Science; vol. 3785).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
  • 2004

    A distributed spanning tree algorithm for topology-aware networks

    Mooij, A. J., Goga, N. & Wesselink, J. W., 2004, Proceedings of the Conference on Design, Analysis, and Simulation of Distributed Systems 2004 (DASD 2004, Arlington VA, USA, April 18-22, 2004). Unger, H. (ed.). Society for Modeling and Simulation International, p. 168-178

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2003

    An analysis of medical device communication standard IEEE 1073.2

    Mooij, A. J., Goga, N., Wesselink, J. W. & Bosnacki, D., 2003, Communication Systems and Networks (Proceedings of the Second IASTED International Conference, CSN 2003, Benalmádena, Spain, September 8-10, 2003). Palau Salvador, E. C. (ed.). ACTA Press

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    1 Downloads (Pure)
  • Shortest solutions for Sokoban

    Wesselink, J. W. & Zantema, H., 2003, Proceedings 15th Netherlands/Belgium Conference on Artificial Intelligence (BNAIC'03, Nijmegen, The Netherlands, October 23-24, 2003). Heskes, T. & et al., X. (eds.). Nijmegen: SNN/KUN, p. 323-330

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

  • 2002

    Perceptual evaluation of audiovisual cues for prominence

    Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings 7th Int. Conf. on Spoken Language Processing (Denver CO, USA, 16-20 September 2002). Denver, CO, USA: ISLP, Vol. 3. p. 1933-11936

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (Scopus)
  • Pitch, eyebrows and the perception of focus

    Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings of the Speech Prosody 2002 Conference, Aix-en-Provence, France, April 11-13, 2002. Bel, B. & Marlien, I. (eds.). Aix-en-Provence, France: Laboratoire Parole et Language, p. 443-446

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

  • Pitch, eyebrows and the perception of focus speech

    Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings Prosody 2002 (Aix-en-Provence, France, April 2002).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • VIPwin : a general-purpose platform of natural user interface in Windows based on VIP technology

    Hou, Y., Hao, L., Zuo, F., Kong, J., Wesselink, J. W. & Greef, de, H. P., 2002, Proceedings 5th Asia Pacific Conference on Computer Human Interaction (APCHI '02, Beijing, China, November 2002). Beijing, China: APCHI, p. 785-798

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

  • 2001

    Developing interaction styles to support informal communication at home

    Vroubel, M., Markopoulos, P., Bekker, M. M. & Wesselink, J. W., 2001, Analysis, design and evaluation of man-machine systems : proceedings of the IFAC/IFIP/IFORS/IEA conference, 8th, Kassel, Germany, 18-20 September 2001. Johannsen, G. (ed.). Oxford: Pergamon, p. 609-613

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Interaction design for home information applliances

    Markopoulos, P., Vroubel, M., Bekker, M. M. & Wesselink, J. W., 2001, Advances in human-computer interaction I: Proceedings of the Panhellenic conference with international participation in human-computer interaction, PC-HCI 2001, Patras, Greece, December 7-9, 2001. Avouris, N. & Fakotakis, N. (eds.). Patras, Greece: Typorama, p. 140-145

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Visual interaction platform

    Aliakseyeu, D., Martens, J. B., Subramanian, S., Vroubel, M. & Wesselink, J. W., 2001, Human Computer Interaction (INTERACT '01) : IFIP TC.13 international conference : proceedings, '01, 9-13 July 2001, Tokyo, Japan. Hirose, M. (ed.). Amsterdam: IOS Press, p. 232-239

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1995

    Modeling 3D curves of minimal energy

    Veltkamp, R. C. & Wesselink, J. W., 1995, Proceedings of the 16th Annual Conference and Exhibition of the European Association for Computer Graphics (Eurographics '95, Maastricht, The Netherlands, August 28-September 1, 1995). Post, F. & Göbel, M. (eds.). Wiley-Blackwell, p. 97-110

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    25 Citations (Scopus)
  • 1994

    Interactive variational curve design

    Wesselink, J. W. & Veltkamp, R. C., 1994, Computing Science in the Netherlands (CSN'94, Utrecht, The Netherlands, November 21-22, 1994). Amsterdam: Centrum voor Wiskunde en Informatica, p. 318-331

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1993

    Constrained variational triangular surface design

    Veltkamp, R. C., Wesselink, J. W. & Wetering, van de, H. M. M., 1993, Computing Science in the Netherlands (CSN'93, Utrecht, The Netherlands, November 9-10, 1993). Amsterdam: Centrum voor Wiskunde en Informatica, p. 355-368

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review