Decidability and undecidability results for duration calculus



Download 50.89 Kb.
Date09.01.2017
Size50.89 Kb.
参考文献

[Zhou1993] Chaochen. Zhou, M. Hansen and P. Sestoft, "Decidability and undecidability results for duration calculus," in Proc of STACS'93 10th Symposium on Theoretical Aspects of Computer Science, Würzburg, 1993.

[Zhu2006] Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P Bowen, Integrating Probability with Time and Shared-Variable Concurrency, In Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30, pp: 179-189, 2006.

[Chen2008] Yixiang Chen, Hengyang Wu, Domain semantics of possibility computations, Information Sciences, Vol 178:2661–2679, 2008.

[Tao2009] Hongwei Tao, Yixiang Chen, A Metric Model for Trustworthiness of Softwares, In Proceedings of International Conference on Web Intelligence and Intelligent Agent Technology, Vol 3:69-72,2009

[Liu2009] Huai Liu, Daoming Wang, Huimin Lin, and Tsong Yueh Chen. On the integration of metamorphic testing and model checking. IADIS AC 2, page 299-302. IADIS Press,(2009)

[Merkel2011] ROBERT MERKEL, DAOMING WANG;HUIMIN LIN;TSONG YUEH CHEN. AUTOMATIC VERIFICATION OF OPTIMIZATION ALGORITHMS:A CASE STUDY OF A QUADRATIC ASSIGNMENT PROBLEM SOLVER,International Journal of Software Engineering and Knowledge Engineering. 289-307, vol 21(2), 2011.

[Draeger2014a] K. Draeger, M. Kwiatkowska, D. Parker, and H. Qu.Local Abstraction Refinement for Probabilistic Timed Programs.Theoretical Computer Science, Elsevier. To appear. 2014.

[Draeger2014b] K. Draeger, V. Forejt, M. Kwiatkowska, D. Parker and M. Ujma.Permissive Controller Synthesis for Probabilistic Systems.In Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14), volume 8413 of LNCS, pages 531-546, Springer. 2014.

[Kwiatkowska2014] M. Kwiatkowska and C. Thachuk. Probabilistic Model Checking for Biology.In Software Safety and Security, IOS Press. To appear. 2014.

[Chilton2014] C. Chilton, B. Jonsson and M. Kwiatkowska.Compositional Assume-Guarantee Reasoning for Input/Output Component Theories.Science of Computer Programming, Elsevier. To appear. 2014.

[Chen2014] T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre.Quantitative Verification of Implantable Cardiac Pacemakers over Hybrid Heart Models.Information and Computation, Elsevier. To appear. 2014.



[Clarke2002] E. M. Clarke, O. Grumberg, D. A. Peled, Model Checking, MIT Press, 2002.

[Randell1992] David A. Randell , Zhan Cui , Anthony G. Cohn. A spatial logic based on regions and connection. Proc. 3rd International Conference on Knowledge Representation and Reasoning, Springer, pp. 165–176. San Mateo, 1992.

[Caires2001] Luís Caires, Luca Cardelli. A Spatial Logic for Concurrency (Part I). Theoretical Aspects of Computer Software, vol. 2215, pp. 1-37, 2001.

[Caires2004] Luís Caires, Luca Cardelli. A Spatial Logic for Concurrency (Part II). Theoretical Computer Science, vol. 322, pp. 517–565, 2004.

[McIver2005] Annabelle McIver, Carroll Morgan. Abstraction, Refinement and Proof for Probabilistic Systems, Springer, 2005.

[He2008] Jifeng He: Modelling Coordination and Compensation. The 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008): pages 15-36, Porto Sani, Greece, October 13-15, 2008.

[Ying2002] M. S. Ying. Bisimulation indexs and their applications. Theor. Comput. Sci., 2002, 275: 1-68.

[Li2013] Y. M. Li, L. J. Li. Model-checking of linear-time properties based on possibility measure. IEEE Trans. on Fuzzy Syst., 2013, 21(5) :842-854.



[Pan2012] 潘海玉. 状态转换系统的格值量化验证方法研究[D] . 上海:华东师范大学,2012.

[Zhang2013] J.J. Zhang, Z.H. Zhu. A modal characterization of alternating approximate bisimilarity. Formal Methods in System Design, DOI 10.1007/s10703-013-0201-9, 2013

[Cao2012] Y. Z. Cao. Reliability of mobile processes with noisy channels. IEEE Trans. Comput., 2012, 61(9): 1217-1230.

[Fan2013] Wenfei Fan, Floris Geerts, Frank Neven, Making Queries Tractable on Big Data with Preprocessing, Proceedings of the VLDB Endowment,Volume 6 Issue 9, Pages 685-696, July 2013.

[Pavlo2009] Andrew Pavlo,Erik Paulson,Alexander Rasin,Daniel J. Abadi,David J. DeWitt, Samuel Madden, Michael Stonebraker, A comparison of approaches to large-scale data analysis, Proceedings of the 2009 ACM SIGMOD International Conference on Management of Data, Pages 165-178,2009.

[Goel2012] Ashish Goel, Kamesh Munagala, Complexity Measures for Map-Reduce, and Comparison to Parallel Computing, eprint arXiv:1211.6526,11/2012

[Kajdanowicz2012] Tomasz Kajdanowicz, Wojciech Indyk, Przemyslaw Kazienko, Jakub Kukul, "Comparison of the Efficiency of MapReduce and Bulk Synchronous Parallel Approaches to Large Network Processing," 12th IEEE International Conference on Data Mining Workshop,pp.218-225,2012.

[Alexandrov2012] Alexander Alexandrov, Stephan Ewen, Max Heimel, Fabian Hueske, Odej Kao, Volker Markl, Erik Nijkamp, and Daniel Warneke, MapReduce and PACT - Comparing Data Parallel Programming Models, BTW, volume 180 of LNI, page 25-44. GI,2012.

[Qu2014] L. Qu, J.X. Yu, L. Chang, H. Cheng, C. Zhang, X. LIN, Scalable Big Graph Processing in MapReduce, to appear in SIGMOD 2014.

[Weerawarana2005] Sanjiva Weerawarana, Francisco Curbera, Frank Leymann, Tony Storey, Donald F. Ferguson. Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More. Prentice Hall. 2005.

[Arbab2004] Farhad Arbab. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science. vol 14(3). pp. 329–366. 2004.

[Misra2007] Jayadev Misra, and William R. Cook. Computation Orchestration: A Basis for Wide-Area Computing. Journal of Software and Systems Modeling. vol 6(1). pp. 83-110. March 2007.

[Acay2008] Daghan L. Acay, Gil Tidhar, Liz Sonenberg DIS. Extending Agent Capabilities: Tools vs. Agents, IEEE computer society, pp259-265,2008.

[Zhang2012] 张炜钟,王智学,王庆龙,赵文,陈剑. 复杂系统能力需求模型的仿真技术与实现,系统工程与电子技术,2012年34卷7期1419-1423

[Li2010] 李善飞,鲁延京,杨克巍,谭跃进. 武器装备体系能力形式化描述研究,兵工自动化,2010年29卷2期4-8.

[Agiriano2012] Etxeberria-Agiriano I, Calvo I, Noguero A, et al. Configurable cooperative middleware for the next generation of CPS[C]//Remote Engineering and Virtual Instrumentation (REV), 2012 9th International Conference on. IEEE, 2012: 1-5.

[Azab2012] Azab M, Eltoweissy M. Bio-inspired Evolutionary Sensory system for

Cyber-Physical System defense[C]//Homeland Security (HST), 2012 IEEE Conference on Technologies for. IEEE, 2012: 79-86.

[Shen2013] Shen W, Liu L, Cao X, et al. Cooperative Message Authenticationin Vehicular Cyber-Physical Systems[J]. 2013.

[Zhang2013] Zhang K, Li J, De La FORTELLE A, et al. Agent Based Adaptive Cooperative Models and Mechanisms of Multiple Autonomous Cyber-Physical Systems[C]//Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2013 14th ACIS International Conference on. IEEE, 2013: 159-164.

[Kong2010] Kong L, Jiang D, Wu M Y. Optimizing the spatio-temporal distribution of cyber-physical systems for environment abstraction[C]//Distributed Computing Systems (ICDCS), 2010 IEEE 30th International Conference on. IEEE, 2010: 179-188.

[Hu2014] Hu J, Liu Z. Role Assignment Strategy in Multi-Agent Cooperation for Robot Soccer[C]//2014 International Conference on Management, Education and Social Science (ICMESS 2014). Atlantis Press, 2014.

[Wiki2014] Active Networks: http://en.wikipedia.org/wiki/Active_networks, accessed on 2014/4/10.

[Tennenhouse1996a] Tennenhouse, Wetherall, "Towards an Active Network Architecture", Computer Communication Review, Vol. 26, No. 2, April 1996.

[Tennenhouse1997] Tennenhouse et.al., "A Survey of Active Network Research", IEEE Communications Magazine, Vol. 35, No. 1, pp 80-86. January 1997.

[Tennenhouse1996b] Wetherall, Tennenhouse, "The Active IP Option", Proceedings of the 7th ACM SIGOPS European Workshop, Connemara, Ireland, Sept. 1996.

[Silva1996] Yemini, da Silva, "Towards Programmable Networks", IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, L'Aquila, Italy, October, 1996.

[Xu2014] Xu Ke, Zhu Min, Hu GuangWu, Zhu Liang, Zhong YiFeng, Liu Ying, Wu JianPing, Wang Ning. Towards Evolvable Internet Architecture – Design Constraints and Models Analysis, 2014.

[Zhu2013] 朱敏, 徐恪, 林嵩. 面向应用适应能力的互联网体系结构评估方法[J]. 计算机学报, 2013, 36(9): 1785-1798.

[Li2011] Li Q, Wang D, Xu M, et al. On the scalability of router forwarding tables: Nexthop-selectable FIB aggregation[C]//INFOCOM, 2011 Proceedings IEEE. IEEE, 2011: 321-325.

[Xu2013] Xu Y, Ren F, He T, et al. Real-time routing in wireless sensor networks: A potential field approach[J]. ACM Transactions on Sensor Networks (TOSN), 2013, 9(3): 35.

[Liu2011] Liu J, Ren F, Miao L, et al. A-ADHOC: An adaptive real-time distributed MAC protocol for Vehicular Ad Hoc Networks[J]. Mobile Networks and Applications, 2011, 16(5): 576-585.

[Cui2002] 崔勇, 吴建平, 徐恪, 等. 互联网络服务质量路由算法研究综述[J]. 软件学报, 2002, 11.

[Stojnic2013] Nenad Stojni

, Heiko Schuldt, OSIRIS-SR: a scalable yet reliable distributed workflow execution engine, Proceedings of the 2nd ACM SIGMOD Workshop on Scalable Workflow Execution Engines and Technologies, June 2013, New York, USA.

[Wang2013] Wei Wang, Hanli Wang, Guo Dong, Haoyang Wei, Guosun Zeng, Parallel time-space processing model based fast N-body simulation on GPUs, Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores, pp. 63-69, February 2013.

[Speck2012] R. Speck, D. Ruprecht, R. Krause, M. Emmett, M. Minion, M. Winkel, P. Gibbon, A massively space-time parallel N-body solver, Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, IEEE Computer Society Press, November 2012.

[Netzer2012] Arnon Netzer, Alon Grubshtein, Amnon Meisels, Concurrent forward bounding for distributed constraint optimization problems, Artificial Intelligence, Elsevier Science Publishers Ltd. 193, December 2012.

[Schendel2012] Eric R. Schendel, Saurabh V. Pendse, John Jenkins, David A. Boyuka, II, Zhenhuan Gong, Sriram Lakshminarasimhan,Qing Liu, Hemanth Kolla, Jackie Chen, Scott Klasky, Robert Ross, Nagiza F. Samatova, ISOBAR hybrid compression-I/O interleaving for large-scale parallel I/O optimization, Proceedings of the 21st international symposium on High-Performance Parallel and Distributed Computing, pp.61-72, June 2012.

[Zheng2011] Fang Zheng, Hasan Abbasi, Jianting Cao, Jai Dayal, Karsten Schwan, Matthew Wolf, Scott Klasky, Norbert Podhorszki, In-situ I/O processing: a case for location flexibility, Proceedings of the sixth workshop on Parallel Data Storage, pp. 37-42, November 2011.

[Cledat2011] Romain E. Cledat, Tushar Kumar, Santosh Pande, Efficiently speeding up sequential computation through the n-way programming model, Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, 46(10), October 2011, New York, USA.

[Demoor2010] Thomas Demoor, Dieter Fiems, Joris Walraevens, Herwig Bruneel, Time and space priority in a partially shared priority queue, Proceedings of the 5th International Conference on Queueing Theory and Network Applications, pp.125-131, July 2010.

[Nieuwpoort2010] Rob V. Van Nieuwpoort, Gosia Wrzesińska, Ceriel J. H. Jacobs, Henri E. Bal, Satin: A high-level and efficient grid programming model, Transactions on Programming Languages and Systems (TOPLAS) , 32 (3), March 2010, New York, USA.

[Gandhi2009] Sorabh Gandhi, Suman Nath, Subhash Suri, Jie Liu, GAMPS: compressing multi sensor data by grouping and amplitude scaling, Proceedings of the 2009 ACM SIGMOD International Conference on Management of data, Association for Computing Machinery, Inc. June 2009.

[Hsiung2008] Pao-Ann Hsiung, Chao-Sheng Lin, Chih-Feng Liao, Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures, Transactions on Reconfigurable Technology and Systems (TRETS) , 1 (3), September 2008, New York, USA..

[Li2007] Xiaolin Li, Manish Parashar, Hybrid Runtime Management of Space-Time Heterogeneity for Parallel Structured Adaptive Applications, IEEE Transactions on Parallel and Distributed Systems, 18 (9), September 2007.

[Yu2004] Hongfeng Yu ,Kwan-Liu Ma ,Welling J, A Parallel Visualization Pipeline for Terascale Earthquake Simulations, Supercomputing , Proceedings of the ACM/IEEE SC Conference,pp.49, 06-12 Nov, 2004.

[Sodan2004] Angela C. Sodan, Lin Han, ATOP-space and time adaptation for parallel and grid applications via flexible data partitioning, Proceedings of the 3rd workshop on Adaptive and reflective middleware, pp. 268-276, October 2004.

[Yang1998] Tao Yang, Cong Fu, Space/time-efficient scheduling and execution of parallel irregular computations, Transactions on Programming Languages and Systems (TOPLAS) , 20(6), pp.1195-1222, November 1998.

[Peterson1979] G. L. Peterson, Time-space trade-offs for asynchronous parallel models (Reducibilities and Equivalences), STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing, pp.224-230, April 1979.

[Albert2002] R. Albert and A.L. Barabasi, Statistical mechanics of complex networks. Rev. Mod. Phys., 2002. 74: p. 47-97.

D.J. Watts and S.H. Strogatz, Collective dynamics of /`small-world/' networks. Nature, 1998. 393: p. 440-442.

[Faloutsos2000] M. Faloutsos,P. Faloutsos, and C. Faloutsos, On power-law relationships of the internet topology. Comput. Commun. Rev., 2000. 29: p. 378-382.

[Callaway2000] D.S. Callaway, et al., Network robustness and fragility: Percolation on random graphs. Phys. Rev. Lett., 2000. 85: p. 5468-5471.

[Cohen2000] R. Cohen, et al., Resilience of the Internet to random breakdown. Phys. Rev. Lett., 2000. 85: p. 4626-4628.

[Sachtjen2000] M.L. Sachtjen, B.A. Carreras, and V.E. Lynch, Disturbances in a power transmission system. Phys. Rev. E, 2000. 61: p. 4877-4882.

[Leskovec2010] J. Leskovec, D. Huttenlocher, and J. Kleinberg, Predicting positive and negative links in online social networks, in ACM WWW International conference on World Wide Web. 2010. p. 641-650.

[Gopalan2013] P. Gopalan, C. Wang, and D. Blei. Modeling Overlapping Communities with Node Popularities. in Advances in Neural Information Processing Systems. p.2850-2858. 2013.

[Papadopoulos2012] F. Papadopoulos, et al., Popularity versus similarity in growing networks. Nature, 2012. 489(7417): p. 537-540.

[Zhang2009] Y. Zhang, et al. Spatio-temporal compressive sensing and internet traffic matrices. in ACM SIGCOMM Computer Communication Review. p.267-278. 2009. ACM.

[Sun2013] X. Sun and H. Zhuge, Modeling and navigation of social information networks in metric spaces. World Wide Web, 2013: p. 1-22.

[Lakhina2003] A. Lakhina, et al. Sampling biases in IP topology measurements. in INFOCOM 2003. Twenty-Second Annual Joint Conference of the IEEE Computer and Communications. IEEE Societies. p.332-341. 2003.

[Steinhauser2008] Steinhauser, M. O. (2008). Multiscale Modeling of Fluids and Solids - Theory and Applications. ISBN 978-3540751168.

Multiscale modeling. http://en.wikipedia.org/wiki/Multiscale_modeling

[E2011] Weinan E. Principle of Multiscale Modeling. Cambridge University Press. 2011.

[Horstemeyer2009] Mark Horstemeyer. Multiscale Modeling: A Review. Springer Science + Business Media, pp. 87-135, 2009.

[Plale2006] Plale B, Gannon D, Brotzge J, et al. Casa and lead: Adaptive cyberinfrastructure for real-time multiscale weather forecasting[J]. IEEE Computer, 2006, 39(11): 56-64.

[Wilcox1988] Wilcox D C. Multiscale model for turbulent flows[J]. AIAA journal, 1988, 26(11): 1311-1320.

[Kamerlin2011] Kamerlin S C L, Vicatos S, Dryga A, et al. Coarse-grained (multiscale) simulations in studies of biophysical and chemical systems[J]. Annual review of physical chemistry, 2011, 62: 41-64.

[Baffico2002] Baffico L, Bernard S, Maday Y, et al. Parallel-in-time molecular-dynamics simulations[J]. Physical Review E, 2002, 66(5): 057701.

[Ammar2012] Ammar A, Chinesta F, Cueto E, et al. Proper generalized decomposition of time‐multiscale models[J]. International Journal for Numerical Methods in Engineering, 2012, 90(5): 569-596.

[Engblom2009] Stefan Engblom. Parallel in Time Simulation of Multiscale Stochastic Chemical Kinetics. Multiscale Model. Simul. 8(1):46--68 (2009).



[Samaddar2010] Samaddar D, Newman D E, Sánchez R. Parallelization in time of numerical simulations of fully-developed plasma turbulence using the parareal algorithm[J]. Journal of Computational Physics, 2010, 229(18): 6558-6573.

[Bulin2013] Bulin J. Large-scale time parallelization for molecular dynamics problems[J]. 2013.

[Katz2011] R. H. Katz, D. E. Culler, S. Sanders, et al, An Information-centric Energy Infrastructure: The Berkeley View, Sustainable Computing: Informatics and Systems, 1(1), 7-22, 2011.

[Xie2008] L. Xie and M. D. Ilić, Module-based Modeling of Cyber-physical Power Systems, Proc. 28th Int. Conf. on Distributed Computing Systems Workshops, Beijing, China, 513-518, 2008.

[Li2010] G Li, C Du, C Song, et al, Cyber-Physical Aware Model based on IEC 61850 for Advanced Power Grid, Proc. the Asia-Pacific Power and Energy Engineering Conf., 1-5, 2010.

[Zhao2010] 赵俊华、文福拴、薛禹胜等,电力CPS的架构及其实现技术与挑战,电力系统自动化,第34卷,第16期,1-7页,2010.



[Zhao2011] 赵俊华、文福拴、薛禹胜等,电力信息物理融合系统的建模分析与控制研究框架,电力系统自动化,第35卷,第16期,1-8页,2011.

Download 50.89 Kb.

Share with your friends:




The database is protected by copyright ©ininet.org 2020
send message

    Main page