2. Luca de Alfaro & Thomas A. Henzinger (2001): Interface Theories for Component-Based Design. In: Thomas A. Henzinger & Christoph M. Kirsch: Embedded Software. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 148–165, doi:10.1145/177492.177726.
  3. Bowen Alpern & Fred B. Schneider (1985): Defining liveness. Information Processing Letters 21(4), pp. 181 – 185, doi:10.1016/0020-0190(85)90056-0.
  4. F. Arbab & J. J. M. M. Rutten (2003): A Coinductive Calculus of Component Connectors. In: Martin Wirsing, Dirk Pattinson & Rolf Hennicker: Recent Trends in Algebraic Development Techniques. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 34–55, doi:10.2140/pjm.1955.5.285.
  5. Farhad Arbab (2005): Abstract Behavior Types: a foundation model for components and their composition. Science of Computer Programming 55(1), pp. 3–52, doi:10.1016/j.scico.2004.05.010. Formal Methods for Components and Objects: Pragmatic aspects and applications.
  6. Michael R. Clarkson & Fred B. Schneider (2010): Hyperproperties. J. Comput. Secur. 18(6), pp. 11571210.
  7. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott (2007): All About Maude: A High-Performance Logical Framework. Springer.
  8. José Fiadeiro, Antónia Lopes, Benoît Delahaye & Axel Legay (2018): Dynamic networks of heterogeneous timed machines. 1emMathematical Structures in Computer Science1em 28(6), pp. 800855, doi:10.1017/S0960129517000135.
  9. Bernd Finkbeiner, Christopher Hahn, Jana Hofmann & Leander Tentrup (2020): Realizing ω-regular Hyperproperties. In: Shuvendu K. Lahiri & Chao Wang: Computer Aided Verification. Springer International Publishing, Cham, pp. 40–63, doi:10.1109/CSFW.2003.1212703.
  10. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov & Carolyn Talcott (2021): On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report.
  11. Max Kanovich1, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov & Carolyn Talcott (2016): Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. In: The 14th International Conference on Formal Modelling and Analysis of Timed Systems 9884, pp. 228–244, doi:10.1017/S096012951500016X.
  12. Tobias Kappé, Benjamin Lion, Farhad Arbab & Carolyn Talcott (2019): Soft component automata: Composition, compilation, logic, and verification. Science of Computer Programming 183, pp. 102300, doi:10.1016/j.scico.2019.08.001.
  13. K. Kim & P. R. Kumar (2012): CyberPhysical Systems: A Perspective at the Centennial. Proceedings of the IEEE 100(Special Centennial Issue), pp. 1287–1308, doi:10.1109/JPROC.2012.2189792.
  14. E. A. Lee (2008): Cyber Physical Systems: Design Challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 363–369, doi:10.1109/ISORC.2008.25.
  15. Benjamin Lion, Farhad Arbab & Carolyn Talcott (2021): A Semantic Model for Interacting Cyber-Physical Systems.
  16. Xiaojun Liu, Eleftherios Matsikoudis & Edward A. Lee (2006): Modeling Timed Concurrent Systems. In: Christel Baier & Holger Hermanns: CONCUR 2006 – Concurrency Theory. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 1–15, doi:10.1016/S0304-3975(99)00165-6.
  17. Nancy Lynch, Roberto Segala & Frits Vaandrager (2003): Hybrid I/O automata. Information and Computation 185(1), pp. 105–157, doi:10.1016/S0890-5401(03)00067-1.
  18. Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh & Taylor T. Johnson (2017): Hyperproperties of Real-Valued Signals. In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE '17. Association for Computing Machinery, New York, NY, USA, pp. 104113, doi:10.1145/3127041.3127058.
  19. Jin Woo Ro, Avinash Malik & Partha Roop (2019): A Compositional Semantics of Simulink/Stateflow Based on Quantized State Hybrid Automata. In: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE '19. Association for Computing Machinery, New York, NY, USA, pp. 11, doi:10.1145/3359986.3361198.
  20. J.J.M.M. Rutten (2000): Universal coalgebra: a theory of systems. Theoretical Computer Science 249(1), pp. 3–80, doi:10.1016/S0304-3975(00)00056-6. Modern Algebra.
  21. Lui Sha, Abdullah Al-Nayeem, Mu Sun, Jose Meseguer & Peter Ölveczky (2010): PALS: Physically Asynchronous Logically Synchronous Systems. Technical Report. University of Illinois, Urbana Champaign.
  22. Carolyn Talcott (2008): Cyber-Physical Systems and Events, pp. 101–115. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-540-89437-7_6.
  23. Carolyn Talcott, Farhad Arbab & Maneesh Yadav (2015): Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems, pp. 273–290. Springer International Publishing, Cham, doi:10.1007/978-3-319-15545-6_18.
  24. S. Tripakis, C. Stergiou, C. Shaver & Edward A. Lee (2013): A modular formal semantics for Ptolemy. Mathematical Structures in Computer Science 23, pp. 834 – 881, doi:10.1007/3-540-57208-2_27.

Comments and questions to:
For website issues: