Development of an atomic-broadcast protocol using LOTOS

Testing from Formal Specifications, a Generic Approach

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies

Uniform random sampling of traces in very large models

Proceedings of the 1st international workshop on Random testing

Testing data types implementations from algebraic specifications

Formal methods and testing

SDL design of a radio resource control protocol for 3g evolution systems with two different approaches

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles