2023

  1. Hao Bu and Meng Sun. Certifying Semantic Robustness of Deep Neural Networks. accepted by ICECCS 2023.
  2. Hao Bu and Meng Sun. Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking. accepted by IJCNN 2023.
  3. Hao Bu and Meng Sun. DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks. accepted by DeepTest 2023.
  4. Xiaoyong Xue, Xiyue Zhang and Meng Sun. kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification. accepted by FSEN 2023.
  5. Yihao Zhang, Zeming Wei, Xiyue Zhang and Meng Sun. Using Z3 for Formal Modeling and Verification of FNN Global Robustness. accepted by SEKE 2023.

Back to top

2022

  1. Weidi Sun, Yuteng Lu, Xiyue Zhang, and Meng Sun. DeepGlobal: a Framework for Global Robustness Verification of Feedforward Neural Networks. Journal of Systems Architecture, vol. 128, 102582, 2022.
  2. Yuteng Lu, Weidi Sun, and Meng Sun. Towards Mutation Testing of Reinforcement Learning Systems. Journal of Systems Architecture, vol. 131, 102701, 2022.
  3. Ai Liu, Shaoying Liu, and Meng Sun. Probabilistic Mediator: A Coalgebraic Perspective. Journal of Logical and Algebraic Methods in Programming, vol. 129, 100808, 2022.
  4. Liqian Chen，Meng Sun，Formal Methods and Applications（Preface），Journal of Software, vol. 33(8)，2022。
  5. Xiyue Zhang, Xiaohong Chen, and Meng Sun. Towards a Unifying Logical Framework for Neural Networks. in Proceedings of ICTAC 2022, LNCS 13572, pages 442-461, Springer, 2022.
  6. Zeming Wei, Xiyue Zhang, and Meng Sun. Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. in Proceedings of ICFEM 2022, LNCS 13478, pages 370-385, Springer, 2022. Preprint version at arxiv: https://arxiv.org/abs/2206.14621.
  7. Yuteng Lu, Kaicheng Shao, Weidi Sun, and Meng Sun. RGChaser: A RL-Guided Fuzz and Mutation Testing Framework for Deep Learning Systems. in Proceedings of DSA 2022, pages 12-23, IEEE, 2022.
  8. Weidi Sun, Xiaoyong Xue, Yuteng Lu and Meng Sun. HashC: Making DNNs' Coverage Testing Finer and Faster. in Proceedings of SETTA 2022, LNCS 13649, pages 3-21, Springer, 2022.
  9. Yuteng Lu, Kaicheng Shao, Weidi Sun, and Meng Sun. MTUL: Towards Mutation Testing of Unsupervised Learning Systems. in Proceedings of SETTA 2022, LNCS 13649, pages 22-40, Springer, 2022.
  10. Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, and Lijun Zhang. EPMC Gets Knowledge in Multi-Agent Systems. in Proceedings of VMCAI 2022, LNCS 13182, pages 93-107, Springer, 2022.
  11. Xiaokun Luan and Meng Sun. Modeling and Verification of CKB Consensus Protocol in Coq. in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021)，pages 660-667, IEEE, 2022.

Back to top

2021

  1. Meng Sun, Yuteng Lu, Yi-chun Feng, Qi Zhang and Shaoying Liu. Modeling and Verifying the CKB Blockchain Consensus Protocol. Mathematics, vol. 9(22), 2954, 2021.
  2. Ai Liu, Shun Wang, Luis Soares Barbosa and Meng Sun. Fuzzy Automata as Coalgebras. Mathematics, vol. 9(3), 272, 2021.
  3. Ai Liu and Meng Sun. A Unifying Coalgebraic Semantics Framework for Quantum Systems. International Journal of Software Engineering and Knowledge Engineering, vol. 31(3), pages 381-403, 2021.
  4. M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger and Meng Sun. Proof Searching in HOL4 with Evolutionary/Heuristic and Deep Learning Techniques. Applied Intelligence vol. 51(3), pages 1580-1601, 2021.
  5. M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger and Meng Sun. An Evolutionary/Heuristic-Based Proof Searching Framework for Interactive Theorem Prover. Applied Soft Computing, vol. 104: 107200, 2021.
  6. Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu and Meng Sun. Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. in Proceedings of AAAI 2021, pages 11699-11707, 2021.
  7. Xiaokun Luan, Xiyue Zhang, Meng Sun. Using LSTM to Predict Tactics in Coq. in Proceedings of SEKE 2021, pages 132-137, KSI Research Inc. and Knowledge Systems Institute, 2021.
  8. Yi-Chun Feng, Yuteng Lu, Meng Sun. Modeling and Verification of CKB Consensus Protocol in UPPAAL. in Proceedings of SEKE 2021, pages 150-153, KSI Research Inc. and Knowledge Systems Institute, 2021.
  9. Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun. DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems. in Proceedings of SEKE 2021, pages 172-176, KSI Research Inc. and Knowledge Systems Institute, 2021.
  10. Weidi Sun, Yuteng Lu, Meng Sun. Are Coverage Criteria Meaningful Metrics for DNNs? in Proceedings of IJCNN 2021, pages 1-8, IEEE, 2021.
  11. M. Saqib Nawaz, Meng Sun and Philippe Fournier-Viger. Proof Searching in PVS theorem prover using Simulated Annealing. in Proceedings of ICSI 2021, LNCS 12690, pages 253-262, Springer, 2021.
  12. Weidi Sun, Yuteng Lu, Xiyue Zhang and Meng Sun. DeepGlobal: a Global Robustness Verifiable FNN Framework. in Proceedings of SETTA 2021, LNCS 13071, pages 22-39, Springer, 2021.
  13. Yuteng Lu, Weidi Sun and Meng Sun. Mutation Testing of Reinforcement Learning Systems. in Proceedings of SETTA 2021, LNCS 13071, pages 143-160, Springer, 2021.
  14. Xiaokun Luan and Meng Sun. Modeling and Verification of CKB Consensus Protocol in Coq. accepted by BSC@QRS 2021.

Back to top

2020

  1. Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun. Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty. in Proceedings of ICSE 2020, pages 739-751, ACM, 2020.
  2. Yi Li, Weidi Sun and Meng Sun. Mediator: A Component-based Modeling Language for Concurrent and Distributed Systems. Science of Computer Programming. vol. 192, 102438, 2020.
  3. Xiyue Zhang, Yi Li and Meng Sun. Towards a Formally Verified EVM in Production Environment. in Proceedings of COORDINATION 2020, LNCS 12134, pages 341-349, Springer, 2020.
  4. Hao Bu and Meng Sun. Modeling and Verification of the CKB Block Synchronization Protocol in Coq. in Proceedings of ICFEM 2020, LNCS 12531, pages 287-296, Springer, 2020.
  5. Qi Zhang, Yuteng Lu and Meng Sun. Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL. in Proceedings of BlockSys 2020, CCIS 1267, pages 3-17，Springer, 2020.
  6. Xiaoyong Xue，Meng Sun，Probabilistic extension of Mediator (in Chinese)，Computer Engineering & Science，vol. 42(8)，1367-1373，2020.
  7. M. Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger and Meng Sun. Proof Searching in HOL4 with Genetic Algorithm. in Proceedings of SAC 2020, pages 513-520, ACM, 2020.

Back to top

2019

  1. Xiyue Zhang, Weijiang Hong, Yi Li and Meng Sun. Reasoning about Connectors Using Coq and Z3. Science of Computer Programming, vol. 170, pages 27-44, 2019.
  2. Yi Li, Xiyue Zhang, Yuanyi Ji and Meng Sun. A Formal Framework Capturing Real-Time and Stochastic Behavior in Connectors. Science of Computer Programming，vol. 177, pages 21-40, 2019.
  3. Ai Liu and Meng Sun. A Coalgebraic Semantic Framework for Quantum Systems. in Proceedings of ICFEM 2019, LNCS 11852, pages 387-402, Springer, 2019.
  4. Ai Liu, Shun Wang, Yi Li and Meng Sun. On Semantics for Mediator: A Coalgebraic Perspective. in Proceedings of SOFL+MSVL 2018, LNCS 11392, pages 146-165, Springer, 2019.
  5. Qi Zhang，Yi Li，Meng Sun，Automatic Generation of SystemC Code from Mediator (in Chinese). Computer Engineering & Science，vol. 41(5)，835-842，2019。
  6. Xiyue Zhang and Meng Sun. SMT-based Modeling and Verification of Cloud Applications. in Proceedings of SERVICES 2019, LNCS 11517, pages 1-15, Springer, 2019.
  7. Weidi Sun and Meng Sun. PRISM Code Generation for Verification of Mediator Models. in Proceedings of SEKE 2019, pages 271-274, KSI Research Inc. and Knowledge Systems Institute, 2019.
  8. M. Saqib Nawaz, Meng Sun and Philippe Fournier-Viger. Proof Guidance in PVS with Sequential Pattern Mining. in Proceedings of FSEN 2019, LNCS 11761, pages 45-60, Springer, 2019.
  9. M. Saqib Nawaz and Meng Sun. Using PVS for Modeling and Verification of Probabilistic Connectors. in Proceedings of FSEN 2019, LNCS 11761, pages 61-76, Springer, 2019.
  10. Yi Li and Meng Sun. Distributed Mediator. in Proceedings of TASE 2019, pages 17-24, IEEE, 2019.
  11. Xiyue Zhang, Yi Li, Weijiang Hong and Meng Sun. Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. in Proceedings of TASE 2019, pages 107-112, IEEE, 2019.
  12. Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun and Xiaofei Xie. Safe Inputs Generation for Black-box Systems. in Proceedings of ICECCS 2019, pages 180-189, IEEE, 2019.

Back to top

2018

  1. Sun Jing and Sun Meng eds. Formal Methods and Software Engineering. LNCS 11232, Springer, 2018.
  2. Sun Meng and Zhang Xiyue. A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. in Proceedings of FORMATS 2018, LNCS 11022, pages 125-141, Springer, 2018.
  3. Li Li, Sun Jun, Liu Yang, Sun Meng and Dong Jinsong. A Formal Specification and Verification Framework for Timed Security Protocols. in IEEE Transactions on Software Engineering, vol. 44(8), pages 725-746, 2018.
  4. Li Yi and Sun Meng. Generating Arduino C Codes from Mediator. In It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. LNCS 10865, pages 174-188, Springer, 2018.
  5. Zhang Xiyue and Sun Meng. Towards Formal Modeling and Verification of Probabilistic Connectors in Coq. In Proceedings of SEKE 2018, pages 385-390, KSI Research Inc. and Knowledge Systems Institute, 2018.
  6. M. Saqib Nawaz and Sun Meng. Reo2PVS: Formal Specification and Verification of Component Connectors. In Proceedings of SEKE 2018, pages 391-396, KSI Research Inc. and Knowledge Systems Institute, 2018.
  7. Lu Yuteng and Sun Meng. Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things. In Proceedings of SEKE 2018, pages 270-275, KSI Research Inc. and Knowledge Systems Institute, 2018.
  8. Hong Weijiang, Saqib Nawaz, Zhang Xiyue, Li Yi and Sun Meng. Using Coq for Formal Modeling and Verification of Timed Connectors. in Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops, Revised Selected Papers,, LNCS 10729, pages 558-573, Springer, 2018.
  9. Xu Heyuan, Sun Meng and Gui Yanfeng. Regression Analysis in Estimating Gas Usage. in Proceedings of IHMSC 2018, pages 77-80, IEEE Computer Society, 2018.
  10. M. Saqib Nawaz and Sun Meng. Using PVS for Modeling and Verifying Cloud Services and Their Composition. in Proceedings of CBD 2018, pages 42-47, IEEE, 2018.
  11. M. Saqib Nawaz and Sun Meng. A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS. in Proceedings of BDIOT 2018, pages 186-190, ACM, 2018.
  12. Lu Yuteng and Sun Meng. Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things. International Journal on Software Engineering and Knowledge Engineering, vol. 28, no. 11n12, pages 1619-1636, 2018.

回到顶部

2017

  1. Li Yi, Zhang Xiyue, Ji Yuanyi and Sun Meng. Capturing Stochastic and Real-time Behavior in Reo Connectors. in Proceedings of SBMF 2017, pages 287-304, LNCS 10623, Springer, 2017 (Best Paper Award).
  2. Li Yi and Sun Meng. Component-based Modeling in Mediator. In Proceedings of FACS 2017, pages 1-19, LNCS 10487, Springer, 2017.
  3. Zhang Xiyue, Hong Weijiang, Li Yi and Sun Meng. Reasoning about Connectors in Coq. In Proceedings of FACS 2016, pages 172-190, LNCS 10231, Springer, 2017.
  4. M. Saqib Nawaz, M. Ikram Ullah Lali and Sun Meng. Formal Modeling, Analysis and Verification of Black White Bakery Algorithm. in Proceedings of IHMSC 2017, pages 407-410, IEEE, 2017.
  5. Sun Meng and Fu Guirong. A Formal Design Model of Cloud Services. In Proceedings of SEKE 2017, pages 173-178, KSI Research Inc. and Knowledge Systems Institute, 2017.

Back to top

2016

  1. Li Yi, Sun Meng and Wang Yiwu. Active Learning from Blackbox to Timed Connectors. In Proceedings of TASE 2016, pages 132-135, IEEE, 2016.
  2. Kong Pingfan, Li Yi, Chen Xiaohong, Sun Jun, Sun Meng and Wang Jingyi. Towards Concolic Testing for Hybrid Systems. In Proceedings of FM 2016, LNCS 9995, pages 460-478, Springer, 2016.

Back to top

2015

  1. Li Shaodong, Chen Xiaohong, Wang Yiwu and Sun Meng. A Framework for Off-Line Conformance Testing of Timed Connectors. In Proceedings of TASE 2015, pages 15-22, IEEE Computer Society, 2015. (Best Paper Award)
  2. Li Yi and Sun Meng. Modeling and Verification of Component Connectors in Coq. In Science of Computer Programming. vol. 113(3), pages 285-301, 2015.
  3. Sun Meng. Towards a Coalgebraic Semantics of Behavioral Adaptation in Component-based Systems. In Proceedings of CSMA 2015, pages 41-44, IEEE Computer Society, 2015.

Back to top

2014

  1. Chen Xiaohong, Sun Jun and Sun Meng. A Hybrid Model of Connectors in Cyber-Physical Systems. In Proceedings of ICFEM 2014, LNCS 8829, pages 59-74, Springer, 2014.
  2. Li Yi and Sun Meng. Modeling and Analysis of Component Connectors in Coq. In Proceedings of FACS'13, LNCS 8348, pages 273-290, Springer, 2014.
  3. Sun Meng, Li Shaodong and Ou Yufei. Model Checking Business Processes for Web Service Compositions in mCRL2. In Proceedings of IHMSC 2014, pages 202-205, IEEE Computer Society, 2014.
  4. Sun Meng and Li Yi. Formal Modeling and Verification of Complex Interactions in E-Government Applications. In Proceedings of ICEGOV 2014, pages 506-507, ACM, 2014.

Back to top

2013

  1. Sun Meng. Challenges on Coordination for Cyber-Physical Systems. In Proceedings of ISCCCA'13, pages 243-246, Atlantis Press, 2013.

Back to top

2012

  1. Sun Meng，Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer and Jan Rutten. Connectors as Designs: Modeling, Refinement and Test Case Generation. In Science of Computer Programming. vol. 77(7-8), pages 799-822, 2012.
  2. Sun Meng. Connectors as Designs: the Time Dimension. In Proceedings of TASE 2012, pages 201-208, IEEE Computer Society, 2012.
  3. Luis Barbosa and Sun Meng. A Coinductive Calculus for QoS-aware Generic Components Composition. In Mathematics in Computer Science, Vol. 6(4), pages 475-497, 2012.

Back to top

2011

  1. Sun Meng, Farhad Arbab and Christel Baier. Synthesis of Reo Circuits from Scenario-based Interaction Specifications. In Science of Computer Programming. vol. 76(8), pages 651-680, 2011.
  2. Zhang Yuan and Sun Meng. An Operational Model of Security Policies in Service-Oriented Applications. In Proceedings of 2nd International Conference on Software Engineering and Service Science, IEEE ICSESS 2011, pages 18-21, IEEE Press, 2011.
  3. Deng Chen, Yang Hongli, Liao Husheng, Sun Meng and Qiu Zongyan. Analysis of WS-BPEL Processes in PRISM. In Proceedings of TASE 2011, pages 199-202, IEEE Computer Society, 2011.
  4. Luis Barbosa and Sun Meng. A Coinductive Calculus for QoS-aware Generic Components Composition. In Proceedings of the 4th International Conferences on Mathematical Aspects of Computer and Information Sciences, MACIS 2011, pages 22-37, 2011.
  5. Sun Meng. Pre-Galois Connection for Generic State-based Components Refinement. In Proceedings of the 4th International Conferences on Mathematical Aspects of Computer and Information Sciences, MACIS 2011, pages 178-194, 2011.
  6. He Kang, Yang Hongli, Qiu Zongyan and Sun Meng. An Approach of Modeling and Analyzing Data Gathering Protocol. In Proceedings of the 4th International Conferences on Mathematical Aspects of Computer and Information Sciences, MACIS 2011, pages 76-92, 2011.
  7. Zhang Naixiao, Chen Guang and Sun Meng. Algorithms and Data Structures in C (in Chinese), Higher Education Press, 2011.

Back to top

2010

  1. Sun Meng and Bernhard Schatz (eds.) Proceedings of 6th International Workshop on Formal Aspects of Component Software (FACS'09). Electronic Notes in Theoretical Computer Science, Volume 263, 2010.
  2. Sun Meng. A First Step towards Security Policy Compliance of Connectors. In F. Arbab and M. Sirjani Eds.: Proceedings of FSEN 2009, LNCS 5961, pp. 447--454, Springer, 2010.
  3. Sun Meng and Luis Barbosa. Towards the Introduction of QoS Information in a Component Model. In Proceedings of SAC'10, pages 2045-2046. ACM, 2010.
  4. Luis Barbosa and Sun Meng. Bringing Class Diagrams to Life. In Innovations in Systems and Software Engineering, Volume 6 (1-2), pages 91-98, 2010.
  5. Luis Barbosa and Sun Meng. QoS Aware Component Composition. In Leonard Barolli, Fatos Xhafa, Salvatore Vitabile and Hui-Huang Hsu eds., Proceedings of CISIS 2010, The Fourth International Conference on Complex, Intelligent and Software Intensive Systems. pages 1008-1013. IEEE Computer Society, 2010.
  6. Sun Meng and Farhad Arbab. A Model for Web Service Coordination in Long-Running Transactions. In Proceedings of 2010 IEEE International Symposium on Service-Oriented Systems Engineering, SOSE'10, pages 121-128, IEEE Computer Society, 2010.

Back to top

2009

  1. Sun Meng and Bernhard Schatz (eds.) Pre-Proceedings of 6th International Workshop on Formal Aspects of Component Software. CWI Technical Report SEN-E0902. 2009.
  2. Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon and Chretien Verhoef. From Coordination to Stochastic Models of QoS. In J. Field and V. T. Vasconcelos eds. Proceedings of 11th International Conference on Coordination Models and Languages, Coordination'09,  LNCS 5521, pages 268-287, Springer, 2009.
  3. Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng and Jan Rutten. Fault-based Test Case Generation for Component Connectors. In Proceedings of 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE'09, pages 147-154, IEEE Computer Society, 2009.
  4. Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Kwiatkowska and Hongyang Qu. Reo2MC: a Tool Chain for Performance Analysis of Coordination Models. In Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE'09, pages 287-288, ACM, 2009.
  5. Sun Meng and Luis Barbosa. A Coalgebraic Semantic Framework for Reasoning about Interaction Designs. Invited book chapter in Kevin Lano eds. UML Semantics and its Applications. Wiley, 2009.
  6. Sun Meng and Farhad Arbab. QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. In Fundamenta Informaticae, Vol. 95(1), pages 103–128, 2009.
  7. Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, and Sun Meng. Static Validation of WS-CDL Documents. In Simulation Modelling Practice and Theory, Vol. 17, No. 8, pp. 1367-1377, 2009.
  8. Farhad Arbab, Sun Meng and Christel Baier. Synthesis of Reo Circuits from Scenario-based Specifications. In Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA'08, Vol. 229 of ENTCS, pages 21-41, 2009.
  9. Sun Meng and Farhad Arbab. Connectors as Designs. In Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA'09, Vol. 255 of ENTCS, pages 119-135, 2009.

Back to top

2008

  1. Luis Barbosa and Sun Meng. UML Model Refactoring as Refinement: A Coalgebraic Perspective. In Proceedings of 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC'08, pages 340-347, IEEE Computer Society, 2008.
  2. Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Sun Meng and Geguang Pu. Static Check of WSCDL Documents. In Proceedings of 2008 IEEE International Symposium on Service-Oriented Systems Engineering, SOSE'08, pages 142-147, IEEE Computer Society, 2008.
  3. Farhad Arbab, Natallia Kokash and Sun Meng. Towards Using Reo for Compliance-aware Business Process Modeling. In T. Margaria and B. Steffen eds. Proceedings of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA'08, pages 108-123, CCIS 17, Springer, 2008.
  4. Farhad Arbab and Sun Meng. Synthesis of Connectors from Scenario-based Interaction Specifications. In M.R.V. Chaudron and C. Szyperski eds. Proceedings of 11th International Symposium on Component Based Software Engineering, CBSE'08, pages 114-129, LNCS 5282, Springer, 2008.
  5. Sun Meng and Luis Barbosa. A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. In Hong Zhu ed. Proceedings of the 8th International Conference on Quality Software, QSIC'08, pages 17-26, IEEE Computer Society, 2008.
  6. Sun Meng and Farhad Arbab. QoS-Driven Service Selection and Composition. In Jonathan Billington, Zhenhua Duan and Maciej Koutny eds. Proceedings of 8th International Conference on Application of Concurrency to System Design, ACSD'08, pages 160-169, IEEE Press, 2008.
  7. Sun Meng. Services and Contracts: Coalgebraically. In Proceedings of First International Conference on Foundations of Informatics, Computing and Software, FICS'08,  Vol. 212 of ENTCS, pages 207-223, 2008.
  8. Sun Meng. Pre-Galois Connection on Coalgebras for Generic Component Refinement. Electronic Notes in Theoretical Computer Science. Vol.207: 203-217, 2008.
  9. Zhang Naixiao, Ju Xiaoming and Sun Meng. Garden: An Integrated DSL Development Environment. Science in China. Vol. 38 (12): 2084-2098, 2008.

Back to top

2007

  1. Sun Meng. QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. In J. He and J. Sanders eds. Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE'07, pages 389-400, IEEE Computer Society, 2007.
  2. Sun Meng and Farhad Arbab. On Resource-Sensitive Timed Component Connectors. In M.M. Bonsangue and E.B. Johnsen eds. Proceedings of 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS'07, LNCS 4468, pages 301-316, 2007.
  3. Sun Meng and Zhang Naixiao. On Composition and Refinement of Domain-Specific Languages in the Model of Language Family. In H. R. Arabnia and H. Reza eds. Proceedings of 2007 International Conference on Software Engineering Research and Practice, SERP'07, pages 190-196, CSREA Press 2007, ISBN 1-60132-033-7, 2007. (preprint)
  4. Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon. Component Connectors with QoS Guarantees. In A. L. Murphy and J. Vitek eds. Proceedings of 9th International Conference on Coordination Models and Languages, Coordination'07,  LNCS 4467, pages 286-304, Springer, 2007.
  5. Sun Meng and Farhad Arbab. Web Services Choreography and Orchestration in Reo and Constraint Automata. In Proceedings of 22nd Annual ACM Symposium on Applied Computing, SAC'07, pages 346-353, 2007.
  6. Sun Meng, Yang Hongli, Zhang Naixiao and Qiu Zongyan. Using UML for Specification and Refinement of Software Architectures. Acta Scientiarum Naturalium Universitatis Pekinensis, Vol.43, No.1, pp.1-10, 2007.

Back to top

2006

  1. Luis S. Barbosa, Sun Meng, Bernhard K. Aichernig and Nuno Rodrigues. On the semantics of componentware: a coalgebraic perspective. In Jifeng He and Zhiming Liu eds. Mathematical Frameworks for Component Software.- Models for Analysis and Synthesis. World Scientific, 2006.
  2. Sun Meng and Luis S. Barbosa. Components as Coalgebras: the Refinement Dimension. Theoretical Computer Science. Vol.351(2): 276-294, 2006.
  3. Ankit Goel, Sun Meng, Abhik Roychoudhury and P. S. Thiagarajan. Interacting Process Classes. In Proceedings of ICSE'06, pages 302-311, 2006.

Back to top

2005

  1. Sun Meng, Luis S. Barbosa and Zhang Naixiao. On Refinement of Software Architectures. In D. V. Hung and M. Wirsing eds. Proceedings of ICTAC'05. volume 3722 of LNCS, pages 482-497, 2005.
  2. Sun Meng, Bernhard K. Aichernig and Zhang Naixiao. Coalgebraic Component Specification and Verification in RSL. In Hong Shen and Koji Nakano eds. Proceedings of PDCAT'05, pages 424-426, IEEE Computer Society, 2005.
  3. Sun Meng, Zhang Naixiao and Bernhard K. Aichernig. The Formal Foundations in RSL for UML Statechart Diagrams. Acta Scientiarum Naturalium Universitatis Pekinensis. Vol.41, No.3, pp.344-357, 2005. (preprint)
  4. Sun Meng, Bernhard K. Aichernig, Luis S. Barbosa and Zhang Naixiao. A Coalgebraic Semantic Framework for Component Based Development in UML. In CTCS'04, Proceedings of 10th International Conference on Category Theory and Computer Science, volume 122 of ENTCS, pages 229-245, 2005.

Back to top

2004

  1. Sun Meng. Coalgebra Theory and its Application in Component Software. Ph.D. Thesis (in Chinese), School of Mathematical Sciences, Peking University, November, 2004. Defended on 11 November, 2004.
  2. Sun Meng, Zhang Naixiao and Luis S. Barbosa. On Semantics and Refinement of UML Statecharts: A Coalgebraic View. In Jorge R. Cuellar and Zhiming Liu eds. SEFM2004, 2nd International Conference on Software Engineering and Formal Methods, pages 168-183, IEEE Computer Society, 2004.
  3. Sun Meng and Luis S. Barbosa. On Refinement of Generic State-Based Software Components. In C. Rattray, S. Maharaj and C. Shankland eds. Algebraic Methodology And Software Technology, 10th International Conference, AMAST'04, Proceedings, volume 3116 of LNCS, pages 506-520, Springer, 2004 (Best student paper award).

Back to top

2003

  1. Sun Meng and Bernhard K. Aichernig. A Coalgebraic Calculus for Component Based Systems. In Hung Dang Van and Zhiming Liu, eds, Proceedings of the Workshop on Formal Aspects of Component Software FACS'03, Pisa, Italy, pages 27-46, 2003.
  2. Luis S. Barbosa and Sun Meng. Generic Components. In Graham Hutton eds, Proceedings of First APPSEM-II Workshop, Nottingham, March, 2003.

Back to top