Segui
Bas Luttik
Bas Luttik
Associate Professor of Computer Science, Eindhoven University of Technology
Email verificata su tue.nl - Home page
Titolo
Citata da
Citata da
Anno
Branching bisimilarity with explicit divergence
R van Glabbeek, B Luttik, N Trčka
Fundamenta Informaticae 93 (4), 371-392, 2009
992009
Description and formal specification of the link layer of P1394
SP Luttik
Centrum voor Wiskunde en Informatica, 1997
831997
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
672010
Specification of Rewriting Strategies∗
SP Luttik, E Visser
Proceedings of the 2nd International Workshop on the Theory and Practice of …, 1997
671997
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
572005
Reactive Turing machines
J Baeten, B Luttik, P Van Tilburg
Information and Computation 231, 143-166, 2013
432013
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
432011
Choice quantification in process algebra
SP Luttik
Thela Thesis, 2002
422002
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
352012
An ω-complete equational specification of interleaving
WJ Fokkink, SP Luttik
International Colloquium on Automata, Languages, and Programming, 729-743, 2000
342000
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
302018
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
302009
Computation Tree Logic with Deadlock Detection
R Glabbeek, B Luttik, N Trcka
Logical Methods in Computer Science 5 (4: 5), 1, 2009
302009
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
272020
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
272016
A process-theoretic look at automata
JCM Baeten, PJL Cuijpers, B Luttik, PJA van Tilburg
Fundamentals of Software Engineering: Third IPM International Conference …, 2010
262010
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
24*2019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20