An Implementation of IEEE 1588 Over IEEE 802.11b for Synchronization of Wireless Local Area Network Nodes. - Todor Cooklev; John C. Eidson; Afshaneh Pakdaman (IEEE Trans. Instrum. Meas., 2007)

PTIDES model on a distributed testbed emulating smart grid real-time applications. - Slobodan Matic; Ilge Akkaya; Michael Zimmer 001; John C. Eidson; Edward A. Lee (ISGT Europe, 2011)

Distributed Real-Time Software for Cyber-Physical Systems. - John C. Eidson; Edward A. Lee; Slobodan Matic; Sanjit A. Seshia; Jia Zou 002 (Proc. IEEE, 2012)

Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. - Ankush Desai; Sanjit A. Seshia; Shaz Qadeer; David Broman; John C. Eidson (CAV (2), 2015)

Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems. - Hugo A. Andrade; Patricia Derler; John C. Eidson; Ya-Shian Li-Baboud; Aviral Shrivastava; Kevin B. Stanton; Marc Weiss (ReConFig, 2015)

Time in cyber-physical systems. - Aviral Shrivastava; Patricia Derler; Ya-Shian Li-Baboud; Kevin B. Stanton; Mohammad Khayatian; Hugo A. Andrade; Marc Weiss; John C. Eidson; Sundeep Chandhoke (CODES+ISSS, 2016)

A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. - Aviral Shrivastava; Mohammadreza Mehrabian; Mohammad Khayatian; Patricia Derler; Hugo A. Andrade; Kevin B. Stanton; Ya-Shian Li-Baboud; Edward R. Griffor; Marc Weiss; John C. Eidson (DAC, 2017)

Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. - Mohammadreza Mehrabian; Mohammad Khayatian; Aviral Shrivastava; John C. Eidson; Patricia Derler; Hugo A. Andrade; Ya-Shian Li-Baboud; Edward R. Griffor; Marc Weiss; Kevin B. Stanton (ACM Trans. Embed. Comput. Syst., 2017)

An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. - Mohammadreza Mehrabian; Mohammad Khayatian; Ahmed Mousa; Aviral Shrivastava; Ya-Shian Li-Baboud; Patricia Derler; Edward R. Griffor; Hugo A. Andrade; Marc Weiss; John C. Eidson; Dhananjay M. Anand (DAC, 2018)

On Enabling Technologies for the Internet of Important Things. - Marten Lohstroh; Hokeun Kim; John C. Eidson; Chadlia Jerad; Beth Osyk; Edward A. Lee (IEEE Access, 2019)