Bas Luttik
Bas Luttik
Assistant Professor of Computer Science, Eindhoven University of Technology
Verifierad e-postadress på tue.nl - Startsida
TitelCiteras avÅr
Description and formal specification of the link layer of P1394
SP Luttik
Proceedings of the 2nd International Workshop on Applied Formal Methods in …, 1997
731997
Branching bisimilarity with explicit divergence
R Van Glabbeek, B Luttik, N Trčka
Fundamenta Informaticae 93 (4), 371-392, 2009
662009
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
562005
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 (1-2), 83-90, 2010
482010
Finite equational bases in process algebra: Results and open questions
L Aceto, W Fokkink, A Ingolfsdottir, B Luttik
Processes, terms and cycles: steps on the road to infinity, 338-367, 2005
462005
Specification of rewriting strategies
SP Luttik, E Visser
Universiteit van Amsterdam. Programming Research Group, 1997
451997
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
392011
Choice quantification in process algebra
SP Luttik
Universiteit van Amsterdam [Host], 2002
392002
An ω-complete equational specification of interleaving
WJ Fokkink, SP Luttik
International Colloquium on Automata, Languages, and Programming, 729-743, 2000
292000
Decomposition orders—another generalisation of the fundamental theorem of arithmetic
B Luttik, V Van Oostrom
Theoretical Computer Science 335 (2-3), 147-186, 2005
26*2005
Automated verification of executable UML models
HH Hansen, J Ketema, B Luttik, MR Mousavi, J Van De Pol, ...
International Symposium on Formal Methods for Components and Objects, 225-250, 2010
242010
Reactive Turing machines
J Baeten, B Luttik, P Van Tilburg
Information and Computation 231, 143-166, 2013
232013
A finite equational base for CCS with left merge and communication merge
L Aceto, W Fokkink, A Ingólfsdóttir, B Luttik
ACM Trans. Comput. Log, 2009
232009
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
232005
A process-theoretic look at automata
JCM Baeten, PJL Cuijpers, B Luttik, PJA Van Tilburg
International Conference on Fundamentals of Software Engineering, 1-33, 2009
192009
Undecidability and completeness results for process algebras with alternative quantification over data. Report SEN-R9806, CWI, The Netherlands
JF Groote, SP Luttik
191998
Computation Tree Logic with Deadlock Detection
R Glabbeek, B Luttik, N Trcka
Logical Methods in Computer Science 5 (4: 5), 1, 2009
18*2009
On finite alphabets and infinite bases
T Chen, W Fokkink, B Luttik, S Nain
Information and Computation 206 (5), 492-519, 2008
152008
Proof graphs for parameterised boolean equation systems
S Cranen, B Luttik, TAC Willemse
International Conference on Concurrency Theory, 470-484, 2013
122013
Finite equational bases for fragments of CCS with restriction and relabelling
L Aceto, A Ingólfsdóttir, B Luttik, P van Tilburg
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
122008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20