Search results

• Abstract PRET Machines, Edward A. Lee, Jan Reineke, Michael Zimmer, To appear, Real-Time Systems Symposium, IEEE, 5, December, 2017
• An Architectural Mechanism for Resilient IoT Services, Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee, 1st ACM Workshop on Internet of Safe Things (SafeThings 2017), 5, November, 2017
• An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems, Hokeun Kim, Armin Wasicek, Edward A. Lee, the 6th Workshop on Design, Modeling and Evaluation of Cyber-Physical Systems (CyPhy'17), 19, October, 2017
• Living Digital Things, Edward A. Lee, 15, October, 2017
• Living Digital Things, Edward A. Lee, 15, October, 2017
• Contextual Callbacks for Resource Discovery and Trust Negotiation on the Internet of Things, Marten Lohstroh, Hokeun Kim, Edward A. Lee, Proceedings of The ACM SIGBED International Conference on Embedded Software (EMSOFT), October, 2017
• Authentication and Authorization for the Internet of Things, Hokeun Kim, Edward A. Lee, IEEE IT Professional, 19, 5, 27-33, October, 2017
• Fundamental Limits of Cyber-Physical and Hybrid System Modeling, Edward A. Lee, 22, April, 2017
• autoCode4: Structural Controller Synthesis, Chihhong Cheng, Edward A. Lee, Harald Ruess, To appear in Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 22, April, 2017
• A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things, Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman, 19, April, 2017
• A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things, Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman, Proceedings of the 2nd ACM/IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), 19, April, 2017
• What Is Real Time Computing? A Personal View, Edward A. Lee, to appear in IEEE Design & Test, 2017

Found 12 publications.