中文论文

• 童燕翔,秦逸,马晓星.自适应软件系统模型偏差检测方法的适用性评估[J].计算机研究与发展,2022,59(09):1929-1946.
• 陈俊洁,汤恩义,何啸,马晓星.面向非确定性的软件质量保障方法与技术专题前言[J].软件学报,2021,32(07):1923-1925.DOI:10.13328/j.cnki.jos.006273.
• 毛新军,吴文峻,马晓星,刘璘.复杂系统的软件工程和需求工程专题前言[J].计算机科学,2020,47(12):3-4.
• 王珏,蒋炎岩,许畅,马晓星,吕建.Android应用测试输入自动生成技术[J].中国科学:信息科学,2019,49(10):1234-1266.
• 马晓星,刘譞哲,谢冰,余萍,张天,卜磊,李宣东.软件开发方法发展回顾与展望[J].软件学报,2019,30(01):3-21.DOI:10.13328/j.cnki.jos.005650.
• 蒋炎岩,许畅,马晓星,吕建.获取访存依赖:并发程序动态分析基础技术综述[J].软件学报,2017,28(04):747-763.DOI:10.13328/j.cnki.jos.005193.
• 杨启亮,马晓星,邢建春,胡昊,王平,韩德帅.软件自适应:基于控制理论的方法[J].计算机学报,2016,39(11):2189-2215.
• 吕建,王千祥,马晓星,毛新军.自适应软件系统:开发方法和运行支撑专题前言[J].软件学报,2015,26(04):711-712.DOI:10.13328/j.cnki.jos.004762.
• 任国超,王姜,马晓星.ConUp:一个支持构件动态更新的SCA中间件系统[J].计算机科学,2014,41(09):60-63+100.
• 孙辉,洪学志,许畅,马晓星.面向移动机器人应用的跨平台自适应软件框架[J].计算机科学与探索,2014,8(05):550-561.
• 谢国珍,马晓星.C语言程序动态更新中的逻辑正确性[J].计算机工程与应用,2013,49(14):39-44+80.
• 吕建,马晓星,陶先平,黄宇,余萍,许畅.面向网构软件的环境显式化技术[J].中国科学:信息科学,2013,43(01):1-23.
• 杨启亮,吕建,陶先平,马晓星,邢建春,宋巍.Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty[J].Journal of Computer Science & Technology,2013,28(01):165-187.
• 冯仁君,宋巍,马晓星.基于WS-BPEL过程的Web服务依赖关系分析[J].计算机工程与应用,2014,50(02):25-30+74.
• 王姜,余萍,曹春,马晓星.开放网络环境下的程序设计:从RPC到REST[J].计算机工程与应用,2013,49(17):30-37.
• 葛海龙,马晓星,许畅.自适应软件系统构造——自动避障三轮小车的案例研究[J].计算机科学与探索,2012,6(05):409-418.
• 宋巍,唐金辉,张功萱,马晓星.WS-BPEL服务可替换性分析[J].中国科学:信息科学,2012,42(03):264-279.
• 郭卿,曹春,马晓星.基于软件体系结构的Web应用自适应[J].小型微型计算机系统,2011,32(08):1575-1580.
• 黄宇,余建平,马晓星,陶先平,吕建.开放环境特性感知技术[J].软件学报,2011,22(05):865-876.
• 宋巍,马晓星,胡昊,吕建.过程感知信息系统中过程的动态演化[J].软件学报,2011,22(03):417-438.
• 邢阳,谢德平,马晓星,曹春,吕建.一种图文法制导的软件体系结构开发环境Artemis-GADE[J].计算机研究与发展,2010,47(07):1165-1174.
• 曹春,马晓星,陶先平.Artemis-COOR:一个基于Agent的软件动态协同支撑平台[J].计算机工程与科学,2010,32(05):1-5+9.
• 宋巍,马晓星,吕建.Web服务组合动态演化的实例可迁移性[J].计算机学报,2009,32(09):1816-1831.
• 李叶青,马晓星,吕建.一个面向应用过程监控系统的测试工具[J].计算机应用研究,2009,26(05):1639-1644.
• 谢德平,邢阳,马晓星,曹春,吕建.一种基于动态语境组装的分布式构件框架的设计与实现[J].电子学报,2009,37(S1):57-64.
• 虞建杰,马晓星,吕建.一种动态服务组合技术及其支撑系统[J].计算机科学,2008,35(12):234-238.
• 张凌浩,马晓星.基于进程代数的软件动态演化模型初探[J].计算机与数字工程,2008(10):63-69.
• 马晓星,曹春,余萍,周宇.基于图文法的动态软件体系结构支撑环境[J].软件学报,2008(08):1881-1892.
• 吕建,马晓星,陶先平,曹春,黄宇,余萍.面向网构软件的环境驱动模型与支撑技术研究[J].中国科学(E辑:信息科学),2008(06):864-900.
• 余萍,马晓星,周宇,陶先平,吕建.普适计算中基于移动代理的应用follow-me迁移技术[J].计算机应用研究,2008(04):1160-1163+1177.
• 陶先平,马晓星,吕建,余萍,周宇.软件服务多模式交互中间件模型及其支撑技术[J].中国科学(E辑:信息科学),2008(04):504-518.
• 潘健,周宇,罗滨,马晓星,吕建.一种基于本体的软件自适应机制[J].计算机科学,2007(11):264-269.
• 周宇,马晓星,曹建农,余萍,吕建.普适环境下基于软件代理虚拟化的应用迁移[J].软件学报,2007(08):2038-2048.
• 石兵,冉平,马晓星,陶先平,吕建.软件体系结构的属性图文法描述及其约束验证[J].计算机应用研究,2007(03):163-168.
• 陆闻天,余萍,马晓星,陶先平,吕建.构件化软件服务及其在Artemis-ARC系统中的应用[J].计算机应用研究,2007(03):169-172.
• 马骞,虞建杰,马晓星,吕建.一种基于运行时体系结构的BPEL支撑环境[J].电子学报,2006(S1):2360-2365.
• 马骞,俞春,马晓星,吕建.ARTEMIS-ARC系统协同模型的自省式实现技术研究[J].计算机科学,2006(10):242-246.
• 吕建,马晓星,陶先平,徐锋,胡昊.网构软件的研究与进展[J].中国科学E辑:信息科学,2006(10):1037-1080.
• 曹春,马晓星,吕建.SCoAC:一个面向服务计算的访问控制模型[J].计算机学报,2006(07):1209-1216.
• 余萍,马晓星,曹春,吕建.轻量级开放式移动Agent系统:原理与实现[J].计算机科学,2006(07):5-10.
• 胡海洋,吕建,马晓星,陶先平.面向对象范型体系结构中构件行为相容性研究[J].软件学报,2006(06):1276-1286.
• 余萍,马晓星,吕建,陶先平.一种面向动态软件体系结构的在线演化方法[J].软件学报,2006(06):1360-1371.
• 罗滨,潘健,马晓星,吕建.面向体系结构的可视化服务集成开发环境Artemis-VIDE[J].计算机科学,2006(06):242-246.
• 俞春,马骞,马晓星,吕建.一种面向体系结构的软件系统自适应机制[J].南京大学学报(自然科学版),2006(02):120-130.
• 冉平,石兵,马晓星,吕建.上下文相关图文法分析及其应用初探[J].计算机科学,2006(03):255-260.
• 吕建,陶先平,马晓星,胡昊,徐锋,曹春.基于Agent的网构软件模型研究[J].中国科学E辑:信息科学,2005(12):1233-1253.
• 胡海洋,葛季栋,马晓星,吕建.基于移动Agent的反射式异构服务协同机制初探[J].计算机科学,2005(10):146-148+171.
• 胡海洋,马晓星,陶先平,吕建.反射中间件的研究与进展[J].计算机学报,2005(09):1407-1420.
• 马晓星,余萍,陶先平,吕建.一种面向服务的动态协同架构及其支撑平台[J].计算机学报,2005(04):467-477.
• 马晓星,张小蕾,吕建.自省的动态软件体系结构描述与实现[J].南京大学学报(自然科学版),2004(02):146-155.
• 马晓星,曹建农,吕建.一种面向图的分布Web应用架构技术[J].计算机学报,2003(09):1104-1115.
• 陶先平,吕建,马晓星,胡昊.移动agent系统基准模型的研究[J].电子学报,2002(S1):2119-2121.
• 马晓星,吕建,陶先平,李英军,胡昊.A mobile-agent-based approach to software coordination in the HOOPE system[J].Science in China(Series F:Information Sciences),2002(03):203-219.
• 马晓星,吕建.分布式Web服务器技术综述[J].计算机科学,2002(01):7-12.
• 刘建中,马晓星,蔡敏,李英军,吕建.层次式面向对象并行环境中并行支撑层的实现[J].计算机科学,2001(04):25-28+24.
• 陶先平,唐宝,马晓星,伊波,吕建.柔性继承机制的设计与实现[J].计算机研究与发展,2001(01):98-104.
• 李英军,吕建,于大川,马晓星.一个层次式面向对象并行计算框架的设计[J].电子学报,2000(08):113-114.
• 唐宝,马晓星,陶先平,伊波,吕建.柔性继承支撑系统ND-Polya的设计与实现[J].南京大学学报(自然科学版),1999(05):573-581.
• 唐宝,马晓星,陶先平,吕建.ND-Polya中协变-反变问题的处理方法[J].计算机学报,1999(09):953-957.
• 马晓星,唐宝,陶先平,伊波,吕建.ND-Polya类比实现技术[J].计算机研究与发展,1999(06):56-65.