Edward A. Lee

Publications

Export list as BibTeX file

• 2017 autoCode4: Structural Controller Synthesis Chih-Hong Cheng, Edward A. Lee and Harald Rueß In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, pages 398–404, Details DOI BIB
• October 2010 Model-Based Specification of Timing Requirements Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll and Edward A. Lee In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239–248, Scottsdale, Arizona, USA, Association for Computer Machinery. Details URL DOI BIB
• 2009 Toward the Design of Robotic Software with Verifiable Safety Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee and Alois Knoll In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pages 622–623, Details URL DOI BIB