A Generic Component Model for the design of future. - Xavier Logean; Jean-Pierre Hubaux; Simon Znaty (MMNS, 1997)

TINA service validation: the ErnesTINA project. - Xavier Logean; Falk Dietrich; Jean-Pierre Hubaux (ICC, 1998)

Testing Temporal Logic Properties in Distributed Systems. - Falk Dietrich; Xavier Logean; Shawn Koppenhoefer; Jean-Pierre Hubaux (IWTCS, 1998)

On applying formal techniques to the development of hybrid services: challenges and directions. - Xavier Logean; Falk Dietrich; Jean-Pierre Hubaux; S. Grisouard; P.-A. Etique (IEEE Commun. Mag., 1999)

Modeling and testing object-oriented distributed systems with linear-time temporal logic. - Falk Dietrich; Xavier Logean; Jean-Pierre Hubaux (Concurr. Comput. Pract. Exp., 2001)