Falk Dietrich

According to our database, Falk Dietrich authored at least 5 papers between 1998 and 2002.

Collaborative distances:

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

2002

Formal methods for communication services: meeting the industry expectations.

Falk Dietrich, Jean-Pierre Hubaux

Comput. Networks, 2002

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