• 46 Citations
20152020

Research output per year

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

Fingerprint Dive into the research topics where Thomas Neele is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 46 Citations
  • 8 Conference contribution
  • 2 Report
  • 2 Article

Finding compact proofs for infinite-data parameterised Boolean equation systems

Neele, T., Willemse, T. A. C. & Groote, J. F., 1 Mar 2020, In : Science of Computer Programming. 188, 22 p., 102389.

Research output: Contribution to journalArticleAcademicpeer-review

  • 1 Citation (Scopus)

    Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)

    Neele, T., Willemse, T. & Wesselink, W., 1 Sep 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/02)

    Research output: Book/ReportReportAcademic

    Open Access
    File
  • The inconsistent labelling problem of stutter-preserving partial-order reduction

    Neele, T., Valmari, A. & Willemse, T. A. C., 22 Oct 2019, In : arXiv. 19 p., 1910.09829v2.

    Research output: Contribution to journalArticleAcademic

    Open Access
    File
  • 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
  • 15 Citations (Scopus)
    22 Downloads (Pure)

    Verifying system-wide properties of industrial component-based software

    Neele, T., Rol, M. H. & Groote, J. F., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 158-175 18 p. (Lecture notes in computer science; vol. 11761).

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

  • 1 Citation (Scopus)
    1 Downloads (Pure)

    Prizes

    Best Paper Award FACS 2018

    T.S. Neele (Recipient), Tim A.C. Willemse (Recipient) & J.F. Groote (Recipient), 11 Oct 2018

    Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

    Informatie Scriptieprijs (second prize)

    Thomas Neele (Recipient), 28 Nov 2016

    Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

  • Courses

    Automotive software engineering

    1/09/13 → …

    Course

    Student theses

    An analysis of ASD timers and their expressivity with mCRL2

    Author: Hong, T., 29 Apr 2019

    Supervisor: Groote, J. F. (Supervisor 1) & Neele, T. (Supervisor 2)

    Student thesis: Master

    File

    Discretization for timed mCRL2 models using the region based construction

    Author: Liu, C., 28 Nov 2016

    Supervisor: Groote, J. (Supervisor 1), Schiffelers, R. (External coach), Voeten, J. (Coach) & Neele, T. (Coach)

    Student thesis: Master

    File