John C. Eidson

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 7

Top Topics

Distributed Computation

Mazurkiewicz Traces

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee
On Enabling Technologies for the Internet of Important Things. IEEE Access 7 (2019)
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
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. DAC (2018)
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
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
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
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. DAC (2017)
Aviral Shrivastava, Patricia Derler, Ya-Shian Li-Baboud, Kevin B. Stanton, Mohammad Khayatian, Hugo A. Andrade, Marc Weiss, John C. Eidson, Sundeep Chandhoke
Time in cyber-physical systems. CODES+ISSS (2016)
Hugo A. Andrade, Patricia Derler, John C. Eidson, Ya-Shian Li-Baboud, Aviral Shrivastava, Kevin B. Stanton, Marc Weiss
Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems. ReConFig (2015)
Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. CAV (2) (2015)
John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou
Distributed Real-Time Software for Cyber-Physical Systems. Proc. IEEE 100 (1) (2012)
Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson, Edward A. Lee
PTIDES model on a distributed testbed emulating smart grid real-time applications. ISGT Europe (2011)
Todor Cooklev, John C. Eidson, Afshaneh Pakdaman
An Implementation of IEEE 1588 Over IEEE 802.11b for Synchronization of Wireless Local Area Network Nodes. IEEE Trans. Instrum. Meas. 56 (5) (2007)