John C. Eidson

University of California, Berkeley — United States

Computer Science · Physical Sciences

16h-index1.7kcitations50works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Network Time Synchronization Technologies(22), Real-Time Systems Scheduling(20), Embedded Systems Design Techniques(18), Sensor Technology and Measurement Systems(10), Formal Methods in Verification(9)

Publications50 total

On Enabling Technologies for the Internet of Important Things
IEEE Access·2019· 16 citedOpen Access
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems
2018· 5 citedOpen Access
An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)·2018· 3 cited
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems·2017· 20 citedOpen Access
Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems·2017
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems
2017· 7 cited
INVITED: A testbed to verify the timing behavior of Cyber-Physical Systems
Design Automation Conference·2017· 2 cited
Time in Cyber-Physical Systems | NIST
Proceedings of the IEEE·2016
Time in cyber-physical systems
2016· 23 cited
Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems
2015· 6 cited
Timing in cyber-physical systems: The last inch problem
2015· 20 cited
Time-Aware Applications, Computers, and Communication Systems (TAACCS)
2015· 35 citedOpen Access
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems
Lecture notes in computer science·2015· 12 citedOpen Access
Evolution of IEEE 1588 and its Impact on Cyber-physical Systems
2014
Endlessly circulating messages in IEEE 1588-2008 systems
2014· 3 citedOpen Access
Endlessly Circulating Messages in IEEE 1588-2008 Systems
2014· 2 cited
The Case for Cross Disciplinary Research on Time Aware Applications, Computers and Communication Systems (TAACCS) | NIST
2013· 8 cited
Using Ptides and synchronized clocks to design distributed systems with deterministic system wide timing
2013· 14 cited
Temporal Issues in Cyber-Physical Systems
2013· 48 cited
Deterministic Execution of Ptides Programs
2013· 3 cited
page 1 of 3Next →

Frequent Co-authors

Patricia Derler(15), Edward A. Lee(11), Kevin Stanton(10), Marc A. Weiss(9), Aviral Shrivastava(9), Hugo A. Andrade(9), Mohammad Khayatian(8), Ya-Shian Li-Baboud(8), Slobodan Matic(7), Sanjit A. Seshia(6), Mohammadreza Mehrabian(6), Edward Griffor(6), David Broman(5), Kang B. Lee(5), Jia Zou(4), Michael Zimmer(3), Ankush Desai(3), Joel T. Johnson(2), R.T. Shin(2), Leung Tsang(2)