| 2009 | Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. | Barbara Gallina, Nicolas Guelfi, Pierre Kelsen |
| 2009 | A Realistic Model of Real-Time Systems for Efficient Scheduling. | Christian Fotsing, Annie Geniet, Guy Vidal-Naquet |
| 2009 | AgentCross: A Platform for the Development of Crosscutting Concerns in Multi-agent Systems. | Joo Alberto Neves dos Santos Filho, Ricardo Choren Noya, Karin Koogan Breitman |
| 2009 | Decentralized Reasoning in Ambient Intelligence. | Jos Viterbo Filho, Markus Endler |
| 2009 | JaBUTiService: A Web Service for Structural Testing of Java Programs. | Marcelo Medeiros Eler, Andr Takeshi Endo, Paulo Csar Masiero, Mrcio Eduardo Delamaro, Jos Carlos Maldonado, Auri Marcelo Rizzo Vincenzi, Marcos Lordello Chaim, Delano M. Beder |
| 2009 | Using Business Processes in System Requirements Definition. | Elaine Alves de Carvalho, Tatiana Escovedo, Rubens N. Melo |
| 2009 | Model-Based Engineering of Software: Three Productivity Perspectives. | Shawn A. Bohner, Sriram Mohan |
| 2009 | An Adaptative Framework Architecture for RFID Applications. | Leonardo A. Amaral, Fabiano Hessel, Eduardo A. Bezerra, Jernimo C. Corra, Oliver B. Longhi, Thiago F. O. Dias |
| 2009 | A Knowledge Representation and Data Provenance Model to Self-Tuning Database Systems. | Ana Carolina Almeida, Srgio Lifschitz, Karin K. Breitman |
| 2009 | Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods. | Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa |
| 2008 | A Middleware Architecture for Context-Aware and Location-Based Mobile Applications. | Jos Viterbo, Vagner J. do Sacramento Rodrigues, Ricardo Couto Antunes da Rocha, Gustavo Baptista, Marcelo Andrade da Gama Malcher, Markus Endler |
| 2008 | A Quasi-experiment for Effort and Defect Estimation Using Least Square Linear Regression and Function Points. | Nelson N. Tenrio Jr., Marcelo Blois Ribeiro, Duncan D. Ruiz |
| 2008 | CEFAM: Comprehensive Evaluation Framework for Agile Methodologies. | Masoumeh Taromirad, Raman Ramsin |
| 2008 | Variability Analysis: From Requirements Engineering Towards Interaction Design. | Bruno Santana da Silva, Simone Diniz Junqueira Barbosa |
| 2008 | A Software Architecture for an Engineering Collaborative Problem Solving Environment. | Ismael H. F. dos Santos, Alberto Barbosa Raposo, Marcelo Gattass |
| 2008 | On the Relation between External Software Quality and Static Code Analysis. | Reinhold Plsch, Harald Gruber, Alexander Hentschel, Gustav Pomberger, Stefan Schiffer |
| 2008 | Using Structural Testing to Identify Unintended Join Points Selected by Pointcuts in Aspect-Oriented Programs. | Otvio Augusto Lazzarini Lemos, Paulo Csar Masiero |
| 2008 | Database Mediation Using Multi-agent Systems. | Luiz Andr P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, Antnio L. Furtado |
| 2008 | User-centric Services and Service Composition, a Survey. | Nassim Laga, Emmanuel Bertin, Nol Crespi |
| 2008 | TBP: Code-Oriented Component Behavior Specification. | Jan Kofron, Toms Poch, Ondrej Sery |
| 2008 | Making Components Fit: SPINing. | Jan Kofron, Toms Poch, Ondrej Sery |
| 2008 | Categorizing and Assembling Web Services in a Composition Framework. | Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho |
| 2008 | Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP. | Ali Nasrat Haidar, Ali E. Abdallah |
| 2008 | SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties. | Barbara Gallina, Nicolas Guelfi |
| 2008 | A Proposal for Defining a Set of Basic Items for Project-Specific Traceability Methodologies. | Angelina Espinoza, Juan Garbajosa |