2024

  1. Hao Bu and Meng Sun. Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation. accepted by Transactions on Software Engineering.
  2. Zeming Wei, Xiyue Zhang, Yihao Zhang and Meng Sun. Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks. Journal of Logical and Algebraic Methods in Programming, vol. 136, 100907, 2024.
  3. Yuteng Lu, Kaicheng Shao, Jia Zhao, Weidi Sun and Meng Sun. Mutation Testing of Unsupervised Learning Systems. Journal of Systems Architecture, vol. 146, 103050, 2024.
  4. Xiaoyong Xue, Meng Sun. Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification. accepted by ICECCS 2024.
  5. Meng Sun and Zhirui Chen. Formal Modeling and Verification of Kafka Producer-Consumer Communication in Mediator. accepted by the 12th Computing Conference, 2024.

回到顶部

2023

  1. Cristina David and Meng Sun eds. Theoretical Aspects of Software Engineering. LNCS 13931, Springer, 2023.
  2. Weidi Sun, Xiaoyong Xue, Yuteng Lu, Jia Zhao and Meng Sun. HashC: Making Deep Learning Coverage Testing Finer and Faster. Journal of Systems Architecture, vol. 144, 102999, 2023.
  3. Hao Bu and Meng Sun. Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking. in Proceedings of IJCNN 2023, pages 1-8, IEEE, 2023.
  4. Hao Bu and Meng Sun. DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks. In Proceedings of DeepTest 2023, pages 25-32, IEEE, 2023.
  5. Yihao Zhang, Zeming Wei, Xiyue Zhang and Meng Sun. Using Z3 for Formal Modeling and Verification of FNN Global Robustness. in Proceedings of SEKE 2023, pages 110-113, KSI Research Inc. and Knowledge Systems Institute, 2023.
  6. Xiaoyong Xue, Xiyue Zhang and Meng Sun. kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification. in Proceedings of FSEN 2023, LNCS 14155, pages 142-156, Springer, 2023.
  7. Hao Bu and Meng Sun. Certifying Semantic Robustness of Deep Neural Networks. in Proceedings of ICECCS 2023, pages 51-60, IEEE, 2023.
  8. Hao Bu and Meng Sun. Guiding the Comparison of Neural Network Local Robustness: An Empirical Study. In Proceedings of ICANN 2023, LNCS 14258, pages 312-323, Springer, 2023.
  9. Xiaoyong Xue and Meng Sun. Branch and Bound for Sigmoid-like Neural Network Verification. In Proceedings of ICFEM 2023, LNCS 14308, Springer, 2023.
  10. Weidi Sun, Yuteng Lu, Xiaokun Luan and Meng Sun. HeatC: A Variable-grained Coverage Criterion for Deep Learning Systems, in Proceedings of SETTA 2023, LNCS 14464, pages 243-261, Springer, 2023.
  11. Yi Li and Meng Sun. Challenges Engaging Formal CBSE in Industrial Applications. in Proceedings of FACS 2023, LNCS 14485, pages 153-167, Springer, 2023.
  12. Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue and Meng Sun. MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms, in 2023 IEEE 23st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2023), pages 451-460, IEEE, 2023.
  13. Ziyun Xu and Meng Sun. Formal Modeling and Verification of Timed Connectors in IoT with Z3. in Proceedings of 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE 2023), pages 2556-2563, IEEE, 2023.

回到顶部

2022

  1. 陈立前，孙猛，形式化方法与应用（专刊），《软件学报》2022年第8期，2022。
  2. 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.
  3. Yuteng Lu, Weidi Sun, and Meng Sun. Towards Mutation Testing of Reinforcement Learning Systems. Journal of Systems Architecture, vol. 131, 102701, 2022.
  4. Ai Liu, Shaoying Liu, and Meng Sun. Probabilistic Mediator: A Coalgebraic Perspective. Journal of Logical and Algebraic Methods in Programming, vol. 129, 100808, 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.

回到顶部

2021

  1. Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça, eds. Machine Learning and Principles and Practice of Knowledge Discovery in Databases. CCIS vol. 1524, Springer, 2021.
  2. 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.
  3. Ai Liu, Shun Wang, Luis Soares Barbosa and Meng Sun. Fuzzy Automata as Coalgebras. Mathematics, vol. 9(3), 272, 2021.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. Weidi Sun, Yuteng Lu, Meng Sun. Are Coverage Criteria Meaningful Metrics for DNNs? in Proceedings of IJCNN 2021, pages 1-8, IEEE, 2021.
  12. 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.
  13. 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.
  14. 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.

回到顶部

2020

  1. 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.
  2. 薛骁勇，孙猛，Mediator的概率扩展，《计算机工程与科学》，42(8)，1367-1373，2020。
  3. Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun. Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty. in Proceedings of ICSE 2020, pages 739-751, ACM, 2020.
  4. 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.
  5. 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.
  6. 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.
  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.

回到顶部

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. 张琦，李屹，孙猛，Mediator的SystemC代码自动生成。《计算机工程与科学》，41(5)，835-842，2019。
  4. Ai Liu and Meng Sun. A Coalgebraic Semantic Framework for Quantum Systems. in Proceedings of ICFEM 2019, LNCS 11852, pages 387-402, Springer, 2019.
  5. 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.
  6. Yi Li and Meng Sun. Distributed Mediator. in Proceedings of TASE 2019, pages 17-24, IEEE, 2019.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.

回到顶部

2018

  1. Jing Sun and Meng Sun eds. Formal Methods and Software Engineering. LNCS 11232, Springer, 2018.
  2. Yi Li and Meng Sun. 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.
  3. Li Li, Jun Sun, Yang Liu, Meng Sun and Jinsong Dong. A Formal Specification and Verification Framework for Timed Security Protocols. in IEEE Transactions on Software Engineering, vol. 44(8), pages 725-746, 2018.
  4. Yuteng Lu and Meng Sun. 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.
  5. Meng Sun and Xiyue Zhang. A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. in Proceedings of FORMATS 2018, LNCS 11022, pages 125-141, Springer, 2018.
  6. Xiyue Zhang and Meng Sun. 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.
  7. M. Saqib Nawaz and Meng Sun. Reo2PVS: Formal Specification and Verification of Component Connectors. In Proceedings of SEKE 2018, pages 391-396, KSI Research Inc. and Knowledge Systems Institute, 2018.
  8. Yuteng Lu and Meng Sun. 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.
  9. Weijiang Hong, Saqib Nawaz, Xiyue Zhang, Yi Li and Meng Sun. 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.
  10. Heyuan Xu, Meng Sun and Yanfeng Gui. Regression Analysis in Estimating Gas Usage. in Proceedings of IHMSC 2018, pages 77-80, IEEE Computer Society, 2018.
  11. M. Saqib Nawaz and Meng Sun. Using PVS for Modeling and Verifying Cloud Services and Their Composition. in Proceedings of CBD 2018, pages 42-47, IEEE, 2018.
  12. M. Saqib Nawaz and Meng Sun. A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS. in Proceedings of BDIOT 2018, pages 186-190, ACM, 2018.

回到顶部

2017

  1. Yi Li, Xiyue Zhang, Yuanyi Ji and Meng Sun. 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. Yi Li and Meng Sun. Component-based Modeling in Mediator. In Proceedings of FACS 2017, pages 1-19, LNCS 10487, Springer, 2017.
  3. Xiyue Zhang, Weijiang Hong, Yi Li and Meng Sun. 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 Meng Sun. Formal Modeling, Analysis and Verification of Black White Bakery Algorithm. in Proceedings of IHMSC 2017, pages 407-410, IEEE, 2017.
  5. Meng Sun and Guirong Fu. A Formal Design Model of Cloud Services. In Proceedings of SEKE 2017, pages 173-178, KSI Research Inc. and Knowledge Systems Institute, 2017.

回到顶部

2016

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

回到顶部

2015

  1. Yi Li and Meng Sun. Modeling and Verification of Component Connectors in Coq. In Science of Computer Programming. vol. 113(3), pages 285-301, 2015.
  2. Shaodong Li, Xiaohong Chen, Yiwu Wang and Meng Sun. 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)
  3. Meng Sun. Towards a Coalgebraic Semantics of Behavioral Adaptation in Component-based Systems. In Proceedings of CSMA 2015, pages 41-44, IEEE Computer Society, 2015.

回到顶部

2014

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

回到顶部

2013

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

回到顶部

2012

  1. Sun Meng and Bernhard Schatz (eds.) Formal Aspects of Component Software. Science of Computer Programming, vol. 78(1), pages 1-2, 2012.
  2. 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.
  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.
  4. Sun Meng. Connectors as Designs: the Time Dimension. In Proceedings of TASE 2012, pages 201-208, IEEE Computer Society, 2012.

回到顶部

2011

  1. Zhang Naixiao, Chen Guang and Sun Meng. Algorithms and Data Structures in C (in Chinese), Higher Education Press, 2011.
  2. 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.
  3. 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.
  4. Chen Deng, Hongli Yang, Husheng Liao, Meng Sun and Zongyan Qiu. Analysis of WS-BPEL Processes in PRISM. In Proceedings of TASE 2011, pages 199-202, IEEE Computer Society, 2011.
  5. 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.
  6. 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.
  7. 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.

回到顶部

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. 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.
  3. 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.
  4. 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.
  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.

回到顶部

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. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  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.

回到顶部

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.

回到顶部

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.

回到顶部

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.

回到顶部

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.

回到顶部

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).

回到顶部

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.

回到顶部