Bas Luttik
Technische Universiteit Eindhoven
H-index: 22
Europe-Netherlands
Top articles of Bas Luttik
Four Formal Models of IEEE 1394 Link Layer
arXiv preprint arXiv:2403.18723
2024/3/27
Bas Luttik
H-Index: 10
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics
arXiv preprint arXiv:2309.07308
2023/9/13
Bas Luttik
H-Index: 10
Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers
arXiv preprint arXiv:2307.05143
2023/7/11
Bas Luttik
H-Index: 10
A case in point: verification and testing of a EULYNX interface
Formal Aspects of Computing
2023/3/16
Pushdown automata and context-free grammars in bisimulation semantics
Logical Methods in Computer Science
2023/3/2
Bas Luttik
H-Index: 10
Decompositional Branching Bisimulation Minimisation of Monolithic Processes
2022/11/2
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
ACM Transactions on Computational Logic
2022/10/20
Wan Fokkink
H-Index: 15
Bas Luttik
H-Index: 10
Safe and secure future AI-driven railway technologies: challenges for formal methods in railway
2022/10/17
Supporting Railway Innovations with Formal Modelling and Verification
2022/9/5
Bas Luttik
H-Index: 10
On the axiomatisation of branching bisimulation congruence over CCS
arXiv preprint arXiv:2206.13927
2022/6/28
Bas Luttik
H-Index: 10
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ ETAPS 2022, Munich, Germany, 2nd April 2022
2022/3/17
Clemens Dubslaff
H-Index: 11
Bas Luttik
H-Index: 10
On the axiomatisability of parallel composition
Logical Methods in Computer Science
2022/1/19
Bas Luttik
H-Index: 10
Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
2021/10/11
Bas Luttik
H-Index: 10
Equivalence checking for weak bi-Kleene algebra
Logical Methods in Computer Science
2021/8/13
In search of lost time: Axiomatising parallel composition in process algebras
2021/6/29
Bas Luttik
H-Index: 10
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
2021/1
Bartek Klin
H-Index: 13
Samson Abramsky
H-Index: 29
Giulio Guerrieri
H-Index: 11
Adrian Francalanza
H-Index: 20
Karoliina Lehtinen
H-Index: 7
Wan Fokkink
H-Index: 15
Bas Luttik
H-Index: 10
Paweł Parys
H-Index: 11
Nicole Schweikardt
H-Index: 13
Mark Bickford
H-Index: 9
Liron Cohen
H-Index: 12
Vincent Rahli
H-Index: 9
Anuj Dawar
H-Index: 17
Yannick Forster
H-Index: 11
Merlin Göttlinger
H-Index: 2
Lutz Schröder
H-Index: 16
Dirk Pattinson
H-Index: 16
Miika Hannula
H-Index: 10
Juha Kontinen
H-Index: 15
Jonni Virtema
H-Index: 13
Martín Hötzel Escardó
H-Index: 15
Takeshi Tsukada
H-Index: 9
Naoki Kobayashi
H-Index: 7
Jules Hedges
H-Index: 7
Paweł Sobociński
H-Index: 2
Long Pham
H-Index: 1
Jan Hoffmann
H-Index: 22
Alexander Rabinovich
H-Index: 17
Formal methods in railway signalling infrastructure standardisation processes
2021
Rooted divergence-preserving branching bisimilarity is a congruence
Logical Methods in Computer Science
2020/8/28
Bas Luttik
H-Index: 10