Xavier Logean

Publication Activity (10 Years)

Years Active: 1997-2001
Publications (10 Years): 0

Publications

Falk Dietrich, Xavier Logean, Jean-Pierre Hubaux
Modeling and testing object-oriented distributed systems with linear-time temporal logic. Concurr. Comput. Pract. Exp. 13 (5) (2001)
Xavier Logean, Falk Dietrich, Jean-Pierre Hubaux, S. Grisouard, P.-A. Etique
On applying formal techniques to the development of hybrid services: challenges and directions. IEEE Commun. Mag. 37 (7) (1999)
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux
Testing Temporal Logic Properties in Distributed Systems. IWTCS (1998)
Xavier Logean, Falk Dietrich, Jean-Pierre Hubaux
TINA service validation: the ErnesTINA project. ICC (1998)
Xavier Logean, Jean-Pierre Hubaux, Simon Znaty
A Generic Component Model for the design of future. MMNS (1997)