Shawn Koppenhoefer

According to our database, Shawn Koppenhoefer authored at least 4 papers between 1996 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

The Impact of the Internet on Telecommunication Architectures.

Jean-Pierre Hubaux, Constant Gbaguidi, Shawn Koppenhoefer, Jean-Yves Le Boudec

Comput. Networks, 1999

1998

Testing Temporal Logic Properties in Distributed Systems.

Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

1996

Real-Time Communication in a Simplified Timed Token Protocol.

Ming Li III, Shawn Koppenhoefer

Proceedings of the Multimedia Technology and Applications, 1996

Formal verification for distributed real-time control: periodic Producer/Consumer.

Shawn Koppenhoefer, Jean-Dominique Decotignie

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996