A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams
暂无分享,去创建一个
[1] Yi Li,et al. Capturing Stochastic and Real-Time Behavior in Reo Connectors , 2017, SBMF.
[2] Farhad Arbab,et al. A Coinductive Calculus of Component Connectors , 2002, WADT.
[3] Nuno Oliveira,et al. IMCReo: interactive Markov chains for Stochastic Reo , 2015, J. Internet Serv. Inf. Secur..
[4] Jun Sun,et al. A Hybrid Model of Connectors in Cyber-Physical Systems , 2014, ICFEM.
[5] Christel Baier,et al. Stochastic Reasoning About Channel-Based Component Connectors , 2006, COORDINATION.
[6] Christel Baier,et al. Modeling component connectors in Reo by constraint automata , 2004, Sci. Comput. Program..
[7] Farhad Arbab,et al. From Coordination to Stochastic Models of QoS , 2009, COORDINATION.
[8] Farhad Arbab,et al. Fault-Based Test Case Generation for Component Connectors , 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
[9] Farhad Arbab,et al. Reo: A Channel-based Coordination Model for Component Composition , 2005 .
[10] Christel Baier,et al. Models and temporal logics for timed component connectors , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
[11] Yi Li,et al. Using Coq for Formal Modeling and Verification of Timed Connectors , 2017, SEFM Workshops.
[12] Farhad Arbab,et al. Connectors as designs: Modeling, refinement and test case generation , 2012, Sci. Comput. Program..
[13] Farhad Arbab,et al. Overview of Thirty Semantic Formalisms for Reo , 2012, Sci. Ann. Comput. Sci..
[14] Yixiang Chen,et al. Models of Connected Things: On Priced Probabilistic Timed Reo , 2017, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).
[15] Farhad Arbab,et al. Component Connectors with QoS Guarantees , 2007, COORDINATION.
[16] Yi Li,et al. Reasoning About Connectors in Coq , 2016, FACS.
[17] Christel Baier,et al. Probabilistic Models for Reo Connector Circuits , 2005, J. Univers. Comput. Sci..