John C. Eidson

According to our database, John C. Eidson authored at least 10 papers between 2007 and 2019.

Collaborative distances:

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

2019

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

2018

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

Proceedings of the 55th Annual Design Automation Conference, 2018

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

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

Proceedings of the 54th Annual Design Automation Conference, 2017

2016

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

Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2016

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

Proceedings of the International Conference on ReConFigurable Computing and FPGAs, 2015

Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems.

Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2012

Distributed Real-Time Software for Cyber-Physical Systems.

John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou

Proc. IEEE, 2012

2011

PTIDES model on a distributed testbed emulating smart grid real-time applications.

Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson, Edward A. Lee

Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011

2007

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