Distributed Real-Time Software for Cyber-Physical Systems
Eidson, John C., Lee, Edward A., Matic, Slobodan, Seshia, Sanjit A., Zou, Jia
Published in Proceedings of the IEEE (01.01.2012)
Published in Proceedings of the IEEE (01.01.2012)
Get full text
Journal Article
On Enabling Technologies for the Internet of Important Things
Lohstroh, Marten, Kim, Hokeun, Eidson, John C., Jerad, Chadlia, Osyk, Beth, Lee, Edward A.
Published in IEEE access (2019)
Published in IEEE access (2019)
Get full text
Journal Article
Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems
Andrade, Hugo A., Derler, Patricia, Eidson, John C., Li-Baboud, Ya-Shian, Shrivastava, Aviral, Stanton, Kevin, Weiss, Marc
Published in 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig) (01.12.2015)
Published in 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig) (01.12.2015)
Get full text
Conference Proceeding
Distributed Real-Time Software for Cyber―Physical Systems: New programming abstractions and modeling tools are presented in this paper to precisely capture the physical notion of time in these systems : CYBER-PHYSICAL SYSTEMS
EIDSON, John C, LEE, Edward A, MATIC, Slobodan, SESHIA, Sanjit A, JIA ZOU
Published in Proceedings of the IEEE (2012)
Get full text
Published in Proceedings of the IEEE (2012)
Journal Article
After Ethnos. Tobias Rees. Durham, NC: Duke University Press, 2018. 192 pp
Get full text
Book Review
Journal Article
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems
Desai, Ankush, Seshia, Sanjit A., Qadeer, Shaz, Broman, David, Eidson, John C.
Published in Computer Aided Verification (2015)
Published in Computer Aided Verification (2015)
Get full text
Book Chapter
Conference Proceeding
INVITED: A testbed to verify the timing behavior of Cyber-Physical Systems
Shrivastava, Aviral, Mehrabian, Mohammadreza, Khayatian, Mohammad, Derler, Patricia, Andrade, Hugo, Stanton, Kevin, Li-Baboud, Ya-Shian, Griffor, Edward, Weiss, Marc, Eidson, John
Published in 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2017)
Published in 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2017)
Get full text
Conference Proceeding
From Herder to Heidegger: Three Recent Works on the "German Connection" in Anthropology
Get full text
Book Review
Journal Article
Blood and Nation: The European Aesthetics of Race; German Bodies: Race and Representation after Hitler
Get full text
Book Review
Journal Article
Welcome message from the general co-chairs
Published in 2017 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS)
(01.08.2017)
Get full text
Conference Proceeding