# Semantics Papers

Although this is neither up-to-date nor comprehensive, below is a list of selected papers about semantics, specifically mathematical models and formal verification for timed and concurrent systems.

- Edward A. Lee, "Fundamental Limits of Cyber-Physical Systems Modeling,"
*ACM Transactions on Cyber-Physical Systems*, Vol. 1, No. 1, Article 3, November, 2016. - Marten Lohstroh, Edward A. Lee "An Interface Theory for the Internet of Things," in
*Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)*York, UK, Springer, LNCS 9276, pp. 20-34, Sept. 7-11, 2015. - Eleftherios Matsikoudis and Edward A. Lee," The Fixed-Point Theory of Strictly Causal Functions," in
*Theoretical Computer Science*, Vol. 574, pp. 39-88, April, 2015. - Edward A. Lee. "Constructive Models of Discrete and Continuous Physical Phenomena,"
*IEEE Access*, Vol.2, pp. 797-821, August 7, 2014. - Eleftherios Matsikoudis, Edward A. Lee. "The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices," Workshop on Fixed Points in Computer Science (FICS), Torino, Italy, September 1, 2013.
- Stavros Tripakis, Christos Stergiou, Chris Shaver, and Edward A. Lee. "A modular formal semantics for Ptolemy,"
*Mathematical Structures in Computer Science*, volume 23, issue 04, pp. 834-881, Aug 2013. - Eleftherios Matsikoudis, Edward A. Lee. "On Fixed Points of Strictly Causal Functions," 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Buenos Aires, Argentina, August 29-31, 2013.
- Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee. "On the Verification of Timed Discrete-Event Models," 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Buenos Aires, Argentina, August 29-31, 2013.
- Eleftherios Matsikoudis, Edward A. Lee. "An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals," 19th International Symposium on Fundamentals of Computation Theory (FCT), Liverpool, United Kingdom, August 19-21, 2013.
- Eleftherios Matsikoudis, Edward A. Lee. "From Transitions to Executions,"
*In D. Pattinson and L. Schröder, editors, Coalgebraic Methods in Computer Science, vol. 7399 of Lecture Notes in Computer Science*, pp. 170-190, Springer Berlin / Heidelberg, 2012. - Stavros Tripakis, Ben Lickly, Thomas A. Henzinger and Edward A. Lee, "A Theory of Synchronous Relational Interfaces,"
*ACM Transactions on Programming Languages and Systems*(TOPLAS). Vol.33, Issue 4, July 2011. - Eleftherios Matsikoudis, "Axioms for Asynchronous Processes," Ph.D. Dissertation, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2011-4. January 20, 2011.
- X. Liu, E.A. Lee, "CPO semantics of timed interactive actor networks,"
*Theoretical Computer Science*409 (1): pp.110-25, 2008. - Edward A. Lee and Eleftherios Matsikoudis, "The Semantics of Dataflow with Firing," Chapter in
*From Semantics to Computer Science: Essays in memory of Gilles Kahn*, Gèrard Huet, Gordon Plotkin, Jean-Jacques Lèvy, Yves Bertot, editors, Preprint Version, March 07, 2008, Copyright (c) Cambridge University Press, 2008. - Edward A. Lee, Haiyang Zheng, "Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems," EMSOFT '07, September 30 - October 3, 2007, Salzburg, Austria.
- Ye Zhou, "Interface Theories for Causality Analysis in Actor Networks," Ph.D. Dissertation, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2007-53, May 15, 2007.
- Edward A. Lee. "Concurrent Semantics without the Notions of State or State Transitions," in
*Proceedings of the International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)*, Paris, (LNCS 4202, Springer-Verlag, E. Asarin and P. Bouyer, Eds.), September 25-27, 2006. - Adam Cataldo, Edward Lee, Xiaojun Liu, Eleftherios Matsikoudis and Haiyang Zheng "A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems,"
*Workshop on Discrete Event Systems (WODES'06),*Ann Arbor, Michigan, July 10-12, 2006. - Xiaojun Liu and Edward A. Lee. "CPO Semantics of Timed Interactive Actor Networks," EECS Department, University of California, Berkeley UCB/EECS-2006-67, May 18, 2006.
- Xiaojun Liu, Eleftherios Matsikoudis, and Edward A. Lee. "Modeling Timed Concurrent Systems," in
*Proceedings of the 17th International Conference on Concurrency Theory (CONCUR)*, Bonn, Germany, August 27-30, C. Baier and H. Hermanns (Eds.), LNCS 4137, Springer-Verlag, pp. 1-15, 2006. - Edward A. Lee, Haiyang Zheng, and Ye Zhou, "Causality Interfaces and Compositional Causality Analysis," Invited paper in
*Foundations of Interface Technologies (FIT)*, Satellite to CONCUR 2005, ENTCS TBD, San Francisco, California, USA, August 21, 2005. - Edward A. Lee and Haiyang Zheng, "Operational Semantics of Hybrid Systems," Invited paper in
*Proceedings of Hybrid Systems: Computation and Control*(HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005, pp.25-53. - Edward A. Lee, "Concurrent Models of Computation for Embedded Software," Lecture Notes for EECS 290N, Advanced Topics in Systems Theory,
*Technical Memorandum UCB/ERL M05/2*, January 4, 2005, University of California, Berkeley, CA 94720. - Edward A. Lee and Yuhong Xiong, A Behavioral Type System and Its Application in Ptolemy II, in
*Formal Aspects of Computing*, Volume 16, Number 3, August 2004. - Stephen A. Edwards and Edward A. Lee, "The Semantics and Execution of a Synchronous Block-Diagram Language,"
*Science of Computer Programming*, Vol. 48, no. 1, July 2003, pp. 21-42. - Edward A. Lee and Yuhong Xiong, "System-Level Types for Component-Based Design,"
*First Workshop on Embedded Software, EMSOFT2001*, Lake Tahoe, CA, USA, Oct. 8-10, 2001. - Edward A. Lee and Alberto Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation,"
*IEEE Transactions on CAD*, Vol. 17, No. 12, December 1998. - E. A. Lee and T. M. Parks, "Dataflow Process Networks,"
*Proceedings of the IEEE*, vol. 83, no. 5, pp. 773-801, May, 1995. - E. A. Lee, "Consistency in Dataflow Graphs,"
*IEEE Trans. on Parallel and Distributed Systems,"*vol. 2, no. 2, April 1991. - E. A. Lee and D. G. Messerschmitt, "Synchronous Data Flow,"
*Proc. of the IEEE*, September, 1987.