| |
| 2002 | ||
|---|---|---|
| 3 | EE | Falk Dietrich, Jean-Pierre Hubaux: Formal methods for communication services: meeting the industry expectations. Computer Networks 38(1): 99-120 (2002) |
| 2001 | ||
| 2 | Falk Dietrich, Xavier Logean, Jean-Pierre Hubaux: Modeling and testing object-oriented distributed systems with linear-time temporal logic. Concurrency and Computation: Practice and Experience 13(5): 385-420 (2001) | |
| 1998 | ||
| 1 | Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux: Testing Temporal Logic Properties in Distributed Systems. IWTCS 1998: 247-258 | |
| 1 | Jean-Pierre Hubaux | [1] [2] [3] |
| 2 | Shawn Koppenhoefer | [1] |
| 3 | Xavier Logean | [1] [2] |