| 2006 | Software Profiling for Deterministic Replay Debugging of User Code. | Satish Narayanasamy, Cristiano Pereira, Brad Calder |
| 2006 | Source Code Verification Tools for Software Security Bugs. | Frdric Michaud, Frdric Painchaud |
| 2006 | Supporting Program Comprehension for Refactoring Operations with Annotations. | Klaus Meffert, Ilka Philippow |
| 2006 | Transforming a Non-Software Company to a Software Company by Exploiting the LYEE Methodology. | Rikio Maruta, Noriko Taniguchi |
| 2006 | How to Create the Magic Wand? - Currently Implementable Formulation of the Problem. | Victor Malyshkin |
| 2006 | On specifying systems that connect to the physical world. | T. S. E. Maibaum |
| 2006 | Visualization Techniques for Program Comprehension - A Literature Review. | Franois Lemieux, Martin Salois |
| 2006 | A New Way of Automatic Design of Software (Simulating Human Intentional Activity). | Zenya Koono, Hassan Abolhassani, Hui Chen |
| 2006 | FOOD: An Intermediate Model for Automated Refactoring. | Nicolas Juillerat, Bat Hirsbrunner |
| 2006 | Towards Developing Adjustable Software: A Case Study with the Lyee Approach. | Sergei Gorlatch, Tae Kameda, Hamido Fujita, Michiru Tanaka, Yutaka Funyu, Osamu Arai |
| 2006 | A Formal Translation From an Imperative Language With Array to a Declarative Language. | Daniel Godbout, Bchir Ktari, Mohamed Mejri |
| 2006 | A Decision Procedure for Structured Cryptographic Protocols. | Franois Gagnon, Mohamed Mejri |
| 2006 | System Development Life-Cycle Support for Service-Oriented Applications. | George Feuerlicht |
| 2006 | Common Criteria Approach to J2ME CLDC Security Requirements. | Mourad Debbabi, Mohamed Mostafa Saleh, Chamseddine Talhi, Sami Zhioua |
| 2006 | A Framework for Predicting Person-Effort on Requirements Changes. | Bee Bee Chua, June M. Verner, Darren Dalcher |
| 2006 | Unified OTP Cryptosystem with Authentication and Secrecy. | Osamu Atsumi, Shogo Hayashida, Rikio Maruta |
| 2006 | A Formal Approach for the Forensic Analysis of Logs. | Ali Reza Arasteh, Mourad Debbabi, Assaad Sakha |
| 2006 | Verification of the Lyee requirement. | Osamu Arai, Hamido Fujita |
| 2005 | The Collatz Problem in a New Perspective: Energy Consumption Analysis. | Kostas Zotos, Andreas Litke, George Stephanides, Alexander Chatzigeorgiou |
| 2005 | Co-Developing Model for User Participation in Web Application Development. | Tae Yoneda, Kohei Mitsui, Jun Sasaki, Yutaka Funyu |
| 2005 | A Grounded Theory Study of Programming in Artist-Programmer Collaborations. | Greg Turner, Alastair Weakley, Yun Zhang, Ernest A. Edmonds |
| 2005 | GUIDE: Games with UML for Interactive Design Exploration. | Jennifer Tenzer |
| 2005 | Meme Media for the Federation of Intellectual Resources over the Web by Clipping and Combining Them. | Yuzuru Tanaka |
| 2005 | Design and Implementation of an Agent-Based Middleware for Context-Aware Ubiquitous Services. | Hideyuki Takahashi, Yoshikazu Tokairin, Takuo Suganuma, Norio Shiratori |
| 2005 | Advances in AOP with AspectC++. | Olaf Spinczyk, Daniel Lohmann, Matthias Urban |