F. Dietrich

Formal methods for communication services: meeting the industry expectations

Jean-Pierre Hubaux, Falk Dietrich, J. Hubaux, 2002, Comput. Networks.

On applying formal techniques to the development of hybrid services: challenges and directions

Jean-Pierre Hubaux, Xavier Logean, Falk Dietrich, 1999, IEEE Commun. Mag..

Formal Methods for Communication Services

Jean-Pierre Hubaux, Falk Dietrich, J. Hubaux, 1999 .

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

Jean-Pierre Hubaux, Xavier Logean, Falk Dietrich, 2001, Concurr. Comput. Pract. Exp..