• 38 Citaties
20152020

Research output per year

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Thomas Neele actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput

  • 38 Citaties
  • 8 Conferentiebijdrage
  • 2 Rapport
  • 2 Tijdschriftartikel

Finding compact proofs for infinite-data parameterised Boolean equation systems

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 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 blz. (Computer science reports; vol. 19/02)

    Onderzoeksoutput: Boek/rapportRapportAcademic

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

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

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

    Open Access
    Bestand
  • 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. (redactie). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
  • 9 Citaten (Scopus)
    21 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. (redactie). Cham: Springer, blz. 158-175 18 blz. (Lecture notes in computer science; vol. 11761).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1 Citaat (Scopus)
    1 Downloads (Pure)

    Prijzen

    Best Paper Award FACS 2018

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

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

    Informatie Scriptieprijs (second prize)

    Thomas Neele (Ontvanger), 28 nov 2016

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

  • Cursussen

    Automotive software engineering

    1/09/13 → …

    Cursus

    Scriptie

    An analysis of ASD timers and their expressivity with mCRL2

    Auteur: Hong, T., 29 apr 2019

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

    Scriptie/masterproef: Master

    Bestand

    Discretization for timed mCRL2 models using the region based construction

    Auteur: Liu, C., 28 nov 2016

    Begeleider: Groote, J. (Afstudeerdocent 1), Schiffelers, R. (Externe coach), Voeten, J. (Begeleider) & Neele, T. (Begeleider)

    Scriptie/masterproef: Master

    Bestand