Computer Science ›› 2014, Vol. 41 ›› Issue (9): 84-87.doi: 10.11896/j.issn.1002-137X.2014.09.015
Previous Articles Next Articles
YU Jun,ZHANG Peng-cheng,ZHOU Yu-peng and LIU Zong-lei
[1] de Alfaro L,Stoelinga M.Interfaces:A game-theoretic framework for reasoning about component-based systems[J].Electr.Notes Theor.Comput.Sci.,2004,97:3-23 [2] Zhang X,Leucker M,Dong W.Runtime verification with predictive semantics[C]∥NASA Formal Methods.2012:418-432 [3] Giannakopoulou D,Havelund K.Automata- based verification of temporal properties on running programs[C]∥ASE 2001 .IEEE Computer Society,2001:412-416 [4] Harel D,Segall I.Synthesis from scenario-based specifications[J].J.Comput.Syst.Sci.,2012,78(3):970-980 [5] 张鹏程,李宣东,李雯睿.基于博弈论的开放环境下场景规约监控语义[J].中国科学信息科学,2013 [6] Zhang P,Yu J,Li W,et al.Game-based monitors for scenario-based specifications[C]∥The 18th International Conference on Engineering of Complex Computer Systems (ICECCS2013).2013:264-267 [7] PSC Project.PSC Web site.http://www.di.univaq.it/psc2ba,2005 [8] Autili M,Inverardi P,Elliccione P P.A scenario based notation for specifying temporal properties [C]∥The 5th SCESM06,ICSE06.Shanghai,2006 [9] The AspectJ Project.AspectJ Web site.http://eclipse.org/aspectj/ [10] Ehlers R,Finkbeiner B.Monitoring realizability[C]∥RV 2011.2011:427-441 [11] Jin D,Meredith P O,Lee C,et al.Javamop:Efficient parametric runtime monitoring framework[C]∥ICSE.2012:1427-1430 [12] Allan C,Avgustinov P,Christensen A S,et al.Adding tracematching with free variables to aspectj[C]∥OOPSLA.2005:345-364 |
No related articles found! |
|