Login / Signup
Falk Dietrich
Publication Activity (10 Years)
Years Active: 1998-2002
Publications (10 Years): 0
</>
Publications
</>
Falk Dietrich
,
Jean-Pierre Hubaux
Formal methods for communication services: meeting the industry expectations.
Comput. Networks
38 (1) (2002)
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)