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.

Model checking Engineering & Materials Science
Model Checking Mathematics
Software design Engineering & Materials Science
Binary decision diagrams Engineering & Materials Science
Counterexample Mathematics
Order Reduction Mathematics
Concurrent Systems Mathematics
Correctness Mathematics

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

Research Output 2015 2020

  • 37 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

Model checking

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
Model checking

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
Model checking
9 Citations (Scopus)
18 Downloads (Pure)

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
Concurrent Systems
Graphical user interfaces
Software Product Lines
Domain-specific Languages
1 Citation (Scopus)
1 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

Software design
Software Design
Software System


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



Automotive software engineering

1/09/13 → …


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


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