Concepedia

Bas Luttik

BL

14

Publications

381

Citations

11

H-Index

2004

Active since

Affiliations

Eindhoven University of Technology(Current)

Centrum Wiskunde & Informatica

Vrije Universiteit Amsterdam

UNSW Sydney

Bas Luttik is an author at Eindhoven University of Technology specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningComputer EngineeringVerificationSystems EngineeringDiscrete MathematicsPhysics

Publications per year

2004–2022

14

Publications

14

Branching Bisimilarity with Explicit Divergence

Rob van Glabbeek, Bas Luttik, Nikola Trčka · Fundamenta Informaticae · 2009 · 78 citations

CCS with Hennessy's merge has no finite-equational axiomatization

Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir et al. · Theoretical Computer Science · 2004 · 43 citations · Full text

Engineering, Automated Reasoning, Formal Methods +4

Towards model checking executable UML specifications in mCRL2

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik et al. · Innovations in Systems and Software Engineering · 2010 · 42 citations · Full text

Analyzing a χ model of a turntable system using Spin, CADP and Uppaal

Elena M. Bortnik, Nikola Trčka, Anton Wijs et al. · The Journal of Logic and Algebraic Programming · 2005 · 39 citations · Full text

χ Model, Turntable System, Computer Engineering +1

A process-theoretic approach to supervisory control theory

J. C. M. Baeten, D.A. van Beek, Bas Luttik et al. · 2011 · 34 citations

Control Theory, Engineering, Discrete Event System +15

Rows per page

1–5 of 14