Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Luttik, Bas
177  Ergebnisse:
Personensuche X
?
1

Sequential Value Passing Yields a Kleene Theorem for Proces..:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,
Baeten, Jos C. M. ; Luttik, Bas - p. 1-16 , 2024
Link: https://doi.org/10.1007/..
 
?
2

A Case in Point: Verification and Testing of a EULYNX Inter..:

Bouwman, Mark ; van der Wal, Djurre ; Luttik, Bas..
Formal Aspects of Computing.  35 (2023)  1 - p. 1-38 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Pushdown Automata and Context-Free Grammars in Bisimulation..:

Baeten, Jos C. M. ; Carissimo, Cesare ; Luttik, Bas
Logical Methods in Computer Science.  19, Issue 1 (2023)  - p. , 2023
Link: https://doi.org/10.46298..
 
?
4

Safe and Secure Future AI-Driven Railway Technologies: Chal..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice,
Seisenberger, Monika ; ter Beek, Maurice H. ; Fan, Xiuyi... - p. 246-268 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Decompositional Branching Bisimulation Minimisation of Mono..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
Bouwman, Mark ; Laveaux, Maurice ; Luttik, Bas. - p. 161-182 , 2022
Link: https://doi.org/10.1007/..
 
?
6

On the Axiomatisability of Parallel Composition:

Aceto, Luca ; Castiglioni, Valentina ; Ingolfsdottir, Anna..
Logical Methods in Computer Science.  18, Issue 1 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
7

Supporting Railway Innovations with Formal Modelling and Ve..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Luttik, Bas - p. 8-11 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Are Two Binary Operators Necessary to Obtain a Finite Axiom..:

Aceto, Luca ; Castiglioni, Valentina ; Fokkink, Wan..
ACM Transactions on Computational Logic.  23 (2022)  4 - p. 1-56 , 2022
Link: https://doi.org/10.1145/..
 
?
9

Equivalence checking for weak bi-Kleene algebra:

Kappé, Tobias ; Brunet, Paul ; Luttik, Bas..
Logical Methods in Computer Science.  17, Issue 3 (2021)  - p. , 2021
Link: https://doi.org/10.46298..
 
?
10

In search of lost time : axiomatising parallel compositi..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Aceto, Luca ; Anastasiadi, Elli ; Castiglioni, Valentina.. - p. 1-14 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

A Formalisation of SysML State Machines in mCRL2:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Bouwman, Mark ; Luttik, Bas ; van der Wal, Djurre - p. 42-59 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Off-the-Shelf Automated Analysis of Liveness Properties for..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Bouwman, Mark ; Luttik, Bas ; Willemse, Tim - p. 182-187 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Off-the-shelf automated analysis of liveness properties for..:

Bouwman, Mark ; Luttik, Bas ; Willemse, Tim
Acta Informatica.  57 (2020)  3-5 - p. 551-590 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Up-to Techniques for Branching Bisimilarity:

, In: SOFSEM 2020: Theory and Practice of Computer Science; Lecture Notes in Computer Science,
Erkens, Rick ; Rot, Jurriaan ; Luttik, Bas - p. 285-297 , 2020
Link: https://doi.org/10.1007/..
 
?
15

On the axiomatisability of priority III: Priority strikes a..:

Aceto, Luca ; Anastasiadi, Elli ; Castiglioni, Valentina...
Theoretical Computer Science.  837 (2020)  - p. 223-246 , 2020
Link: https://doi.org/10.1016/..
 
1-15