| 2008 | Modeling and Verifying Web Browser Interactions. | Shengbo Chen, Huaikou Miao, Zhong-sheng Qian |
| 2008 | Behavioral Specification of Real-Time Requirements. | Seyed Morteza Babamir, Faezeh Sadat Babamir |
| 2008 | AORE (Aspect-Oriented Requirements Engineering) Methodology for Automotive Software Product Lines. | Mikio Aoyama, Atsuko Yoshino |
| 2008 | Emergent Properties in Reactive Systems. | Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki |
| 2007 | An Empirical Study of Class Sizes for Large Java Systems. | Hongyu Zhang, Hee Beng Kuan Tan |
| 2007 | Toward Efficient Aspect Mining for Linux. | Danfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen |
| 2007 | Early Validation and Verification of a Distributed Role-Based Access Control Model. | Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey |
| 2007 | Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets. | Reng Yin, Hao Hu, JiDong Ge, Jian Lu |
| 2007 | Distributed Collaborative Modeling Support System for UML diagrams. | Dongmei Xu, Jun Kurogi, Yoshihide Ohgame, Atsuo Hazeyama |
| 2007 | Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. | Di Wu, Jie Chen, Flvio Oquendo |
| 2007 | 1st International Workshop on Software Patterns and Quality (SPAQu'07). | Hironori Washizaki, Nobukazu Yoshioka |
| 2007 | Project Management Practices on Building Management Information System in IBM Global Business Service. | Yi Wang, Huihui Shi |
| 2007 | Developing an Insulin Pump System Using the SOFL Method. | Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou |
| 2007 | Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems. | Chien-Min Wang, Chi-Chang Huang, Hsi-Min Chen, Shun-Te Wang |
| 2007 | DFTL: a Description Language for Transformation of Data Formats. | Meng Wang, Ping Chen, Xiyang Liu, Shengming Hu, Miao Zhang |
| 2007 | Validating Software Reliability by Binary Translation. | Yi Wang |
| 2007 | An Approach for Specifying Access Control Policy in J2EE Applications. | Hieu Dinh Vo, Masato Suzuki |
| 2007 | Using B to Verify the Weaving of Aspects. | Ninh-Thuan Truong, Viet Ha Nguyen |
| 2007 | UCSI Towards a User-Centric Service Integration Approach. | Pengwei Tian, Yaoxue Zhang, Yuezhi Zhou, Ming Zhong, Cunhao Fang |
| 2007 | Education Workshop: Bridging the University/Industry Gap. | J. Barrie Thompson, Masami Noro, Helen M. Edwards |
| 2007 | Static Call Graph Generator for C++ using Debugging Information. | Yui Terashima, Katsuhiko Gondow |
| 2007 | Secure Behavior of Web Browsers to Prevent Information Leakages. | Takaaki Tateishi, Naoshi Tabuchi |
| 2007 | Workshop on Service Oriented Architecture. | Toshiro Takase |
| 2007 | Construction Method of a High-Order Markov Chain Usage Model. | Tomohiko Takagi, Zengo Furukawa |
| 2007 | Enterprise Assets Security Requirements Construction from ESRMG Grammar based on Security Patterns. | Kawin Supaporn, Nakornthip Prompoon, Thongchai Rojkangsadan |