| |
| 2001 | ||
|---|---|---|
| 3 | 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 | ||
| 2 | Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux: Testing Temporal Logic Properties in Distributed Systems. IWTCS 1998: 247-258 | |
| 1997 | ||
| 1 | Xavier Logean, Jean-Pierre Hubaux, Simon Znaty: A Generic Component Model for the design of future. MMNS 1997: 3-16 | |
| 1 | Falk Dietrich | [2] [3] |
| 2 | Jean-Pierre Hubaux | [1] [2] [3] |
| 3 | Shawn Koppenhoefer | [2] |
| 4 | Simon Znaty | [1] |