Xavier Logean

According to our database, Xavier Logean authored at least 5 papers between 1997 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Modeling and testing object-oriented distributed systems with linear-time temporal logic.

Falk Dietrich, Xavier Logean, Jean-Pierre Hubaux

Concurr. Comput. Pract. Exp., 2001

1999

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

1998

Testing Temporal Logic Properties in Distributed Systems.

Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

TINA service validation: the ErnesTINA project.

Xavier Logean, Falk Dietrich, Jean-Pierre Hubaux

Proceedings of the 1998 IEEE International Conference on Communications, 1998

1997

A Generic Component Model for the design of future.

Xavier Logean, Jean-Pierre Hubaux, Simon Znaty

Proceedings of the Management of Multimedia Networks and Services, 1997