Formal verification for distributed real-time control: periodic Producer/Consumer. - Shawn Koppenhoefer; Jean-Dominique Decotignie (ICECCS, 1996)

Real-Time Communication in a Simplified Timed Token Protocol. - Ming Li III; Shawn Koppenhoefer (Multimedia Technology and Applications, 1996)

Testing Temporal Logic Properties in Distributed Systems. - Falk Dietrich; Xavier Logean; Shawn Koppenhoefer; Jean-Pierre Hubaux (IWTCS, 1998)

The Impact of the Internet on Telecommunication Architectures. - Jean-Pierre Hubaux; Constant Gbaguidi; Shawn Koppenhoefer; Jean-Yves Le Boudec (Comput. Networks, 1999)