E-LIB Suche - Ergebnisse für: Neele, Thomas

1

AuDaLa is Turing Complete:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Franken, Tom T. P. ; Neele, Thomas - p. 221-229 , 2024

Link: https://doi.org/10.1007/..

2

Simplifying Process Parameters by Unfolding Algebraic Data ..:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,

Stramaglia, Anna ; Keiren, Jeroen J. A. ; Neele, Thomas - p. 399-416 , 2023

Link: https://doi.org/10.1007/..

3

An Autonomous Data Language:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,

Franken, Tom T. P. ; Neele, Thomas ; Groote, Jan Friso - p. 158-177 , 2023

Link: https://doi.org/10.1007/..

4

Compositional Automata Learning of Synchronous Systems:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Neele, Thomas ; Sammartino, Matteo - p. 47-66 , 2023

Link: https://doi.org/10.1007/..

5

Tools and algorithms for the construction and analysis of s..:

Jensen, Peter Gjøl ; Neele, Thomas
International Journal on Software Tools for Technology Transfer. 25 (2023) 2 - p. 129-131 , 2023

Link: https://doi.org/10.1007/..

6

Partial-order reduction for parity games and parameterised ..:

Neele, Thomas ; Willemse, Tim A. C. ; Wesselink, Wieger.
International Journal on Software Tools for Technology Transfer. 24 (2022) 5 - p. 735-756 , 2022

Link: https://doi.org/10.1007/..

7

A Detailed Account of The Inconsistent Labelling Problem of..:

Neele, Thomas ; Valmari, Antti ; Willemse, Tim A. C.
Logical Methods in Computer Science. 17, Issue 3 (2021) - p. , 2021

Link: https://doi.org/10.46298..

8

Finding compact proofs for infinite-data parameterised Bool..:

Neele, Thomas ; Willemse, Tim A.C. ; Groote, Jan Friso
Science of Computer Programming. 188 (2020) - p. 102389 , 2020

Link: https://doi.org/10.1016/..

9

Partial-Order Reduction for Parity Games with an Applicatio..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Neele, Thomas ; Willemse, Tim A. C. ; Wesselink, Wieger - p. 307-324 , 2020

Link: https://doi.org/10.1007/..

10

The Inconsistent Labelling Problem of Stutter-Preserving Pa..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Neele, Thomas ; Valmari, Antti ; Willemse, Tim A. C. - p. 482-501 , 2020

Link: https://doi.org/10.1007/..

11

The mCRL2 Toolset for Analysing Concurrent Systems: Improve..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bunte, Olav ; Groote, Jan Friso ; Keiren, Jeroen J. A.... - p. 21-39 , 2019

Link: https://doi.org/10.1007/..

12

Verifying System-Wide Properties of Industrial Component-Ba..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Neele, Thomas ; Rol, Marijn ; Groote, Jan Friso - p. 158-175 , 2019

Link: https://doi.org/10.1007/..

13

Correction to: Verifying System-Wide Properties of Industri..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Neele, Thomas ; Rol, Marijn ; Groote, Jan Friso - p. C1-C1 , 2019

Link: https://doi.org/10.1007/..

14

Solving Parameterised Boolean Equation Systems with Infinit..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Neele, Thomas ; Willemse, Tim A. C. ; Groote, Jan Friso - p. 216-236 , 2018

Link: https://doi.org/10.1007/..

15

Operations on Fixpoint Equation Systems:

Neele, Thomas ; van de Pol, Jaco
http://arxiv.org/abs/2304.07162. , 2023

Link: http://arxiv.org/abs/230..