Прати
Bas Luttik
Bas Luttik
Associate Professor of Computer Science, Eindhoven University of Technology
Верификована је имејл адреса на tue.nl - Почетна страница
Наслов
Навело
Навело
Година
Branching bisimilarity with explicit divergence
R van Glabbeek, B Luttik, N Trčka
Fundamenta Informaticae 93 (4), 371-392, 2009
1032009
Description and formal specification of the link layer of P1394
SP Luttik
Centrum voor Wiskunde en Informatica, 1997
831997
Specification of Rewriting Strategies∗
SP Luttik, E Visser
Proceedings of the 2nd International Workshop on the Theory and Practice of …, 1997
661997
Towards model checking executable UML specifications in mCRL2
HH Hansen, J Ketema, B Luttik, MR Mousavi, J van de Pol
Innovations in Systems and Software Engineering 6, 83-90, 2010
642010
Analyzing a χ model of a turntable system using Spin, CADP and Uppaal
E Bortnik, N Trčka, AJ Wijs, B Luttik, JM van de Mortel-Fronczak, ...
The Journal of Logic and Algebraic Programming 65 (2), 51-104, 2005
592005
Finite equational bases in process algebra: Results and open questions
L Aceto, W Fokkink, A Ingólfsdóttir, B Luttik
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated …, 2005
582005
A process-theoretic approach to supervisory control theory
JCM Baeten, DA Van Beek, B Luttik, J Markovski, JE Rooda
Proceedings of the 2011 American Control Conference, 4496-4501, 2011
452011
Reactive Turing machines
J Baeten, B Luttik, P Van Tilburg
Information and Computation 231, 143-166, 2013
442013
Choice quantification in process algebra
SP Luttik
Thela Thesis, 2002
422002
Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset
M Bartholomeus, B Luttik, T Willemse
International Workshop on Formal Methods for Industrial Critical Systems, 98-114, 2018
342018
Automated verification of executable UML models
H Hvid Hansen, J Ketema, B Luttik, MR Mousavi, J van de Pol, ...
Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012
342012
An ω-complete equational specification of interleaving
WJ Fokkink, SP Luttik
International Colloquium on Automata, Languages, and Programming, 729-743, 2000
332000
Computation Tree Logic with Deadlock Detection
R Glabbeek, B Luttik, N Trcka
Logical Methods in Computer Science 5 (4: 5), 1, 2009
302009
A finite equational base for CCS with left merge and communication merge
L Aceto, W Fokkink, A Ingólfsdóttir, B Luttik
ACM Transactions on Computational Logic (TOCL) 10 (1), 1-26, 2009
292009
Decomposition orders—another generalisation of the fundamental theorem of arithmetic
B Luttik, V Van Oostrom
Theoretical Computer Science 335 (2-3), 147-186, 2005
29*2005
CCS with Hennessy's merge has no finite-equational axiomatization
L Aceto, W Fokkink, A Ingólfsdóttir, B Luttik
Theoretical Computer Science 330 (3), 377-405, 2005
292005
Modelling and analysing software in mCRL2
JF Groote, JJA Keiren, B Luttik, EP de Vink, TAC Willemse
Formal Aspects of Component Software: 16th International Conference, FACS …, 2020
282020
Expressiveness modulo bisimilarity of regular expressions with parallel composition
JCM Baeten, B Luttik, T Muller, P Van Tilburg
Mathematical Structures in Computer Science 26 (6), 933-968, 2016
282016
Divide and congruence III: from decomposition of modal formulas to preservation of stability and divergence
W Fokkink, R van Glabbeek, B Luttik
Information and Computation 268, 104435, 2019
26*2019
Proof graphs for parameterised Boolean equation systems
S Cranen, B Luttik, TAC Willemse
CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013
262013
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–20