Aggregated from the papers indexed here — not the author's full publication record. We identify authors by name alone, so two people who share a name appear as one. Some figures — citations in particular — are still being collected, so they may be incomplete or out of date.

Research topics

No topics recorded yet.

Frequent co-authors 10

Jan Tretmans 7 shared papers
Rom Langerak 5 shared papers
Angelika Mader 4 shared papers
Joost-Pieter Katoen 4 shared papers
Arend Rensink 3 shared papers
Laura Brandán Briones 3 shared papers
Pedro R. D'Argenio 3 shared papers
David Harel 2 shared papers
Diego Latella 2 shared papers
Gerd Behrmann 2 shared papers

Is this you?

Are you this author? Sign in to claim this profile. Claims are submitted through Profile Settings and verified by a reviewer.

Ed Brinksma

Testing Transition Systems: An Annotated Bibliography

Production Scheduling by Reachability Analysis - A Case Study

An algebraic approach to the specification of stochastic systems

04371 Summary - Perspectives of Model-Based Testing

06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)

06351 Summary -- Methods for Modelling Software Systems (MMOSS)

04371 Abstracts Collection - Perspectives of Model-Based Testing

On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract)

Refining Interfaces of Communicating Systems

Testing Real-Time Multi Input-Output Systems

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality

Goal-Driven LOTOS Execution

Validation in context

A tutorial on LOTOS

A Specification of the OSI Transport Service in LOTOS

Cache consistency by design

A Framework for Test Selection

Staying Alive as Cheaply as Possible