| 2008 | Securing Service-oriented Systems Using State-Based XML Firewall. | Abhinay Reddyreddy, Haiping Xu |
| 2008 | Techniques for De-fragmenting Mobile Applications: A Taxonomy. | Damith C. Rajapakse |
| 2008 | A Dynamic Adjusting Method for Test Case Prioritization. | Bo Qu, Changhai Nie, Baowen Xu, Xiaofang Zhang |
| 2008 | .NET Extensions to the p-architecture Description Languages. | Zawar Qayyum, Flvio Oquendo |
| 2008 | Process tailoring based on well-formedness rules. | Eliana Beatriz Pereira, Ricardo Melo Bastos, Toacy Cavalcante de Oliveira |
| 2008 | Verifying Behavioral Correctness of Design Pattern Implementation. | Tu Peng, Jing Dong, Yajing Zhao |
| 2008 | Sharing Application Logic Across Programming Language Boundaries. | Dennis S. Patrone, Bina Ramamurthy |
| 2008 | Towards the Detection of Emulated Environments via Analysis of the Stochastic Nature of System Calls. | Tauhida Parveen, William H. Allen, Scott R. Tilley, Gerald A. Marin, Richard Ford |
| 2008 | Japanese Puzzle as a SAT Problem. | Sachoun Park, Gihwon Kwon |
| 2008 | Using Boolean Cardinality Constraint for LTS Bounded Model Checking. | Sachoun Park, Gihwon Kwon |
| 2008 | Model Comparison: a Strategy-Based Approach. | Kleinner S. F. Oliveira, Toacy Cavalcante de Oliveira |
| 2008 | Documenting and Modeling Multi-agent Systems Product Lines. | Ingrid Nunes, Uir Kulesza, Camila Nunes, Carlos Jos Pereira de Lucena |
| 2008 | A Constraint Model for Automated Deployment of Automotive Control Software. | Mihai Nica, Bernhard Peischl, Franz Wotawa |
| 2008 | Ontology-based and Evolutionary Search for Computational Agents Schemes. | Roman Neruda |
| 2008 | Translating Workflow Diagrams into Web Designs. | Antonio Navarro, Jorge Merino, Alfredo Fernndez-Valmayor, Jesus Cristobal |
| 2008 | Estimating the Effort of Independent Verification and Validation in the Context of Mission-critical Software Systems - A Case Study. | Haruka Nakao, Adam Trendowicz, Jrgen Mnch |
| 2008 | Properties of Machine Learning Applications for Use in Metamorphic Testing. | Christian Murphy, Gail E. Kaiser, Lifeng Hu, Leon Wu |
| 2008 | Ontology-based Process Modeling and Execution Using STEP/EXPRESS. | Arndt Mhlenfeld, Wolfgang Mayer, Franz Maier, Markus Stumptner |
| 2008 | Eliciting Scenarios from Scenarios. | Abdolmajid Mousavi, Behrouz H. Far |
| 2008 | Subjective Assessment of the Mutual Influence of ISO 9126 Software Qualities: an Empirical Study. | Sandro Morasca |
| 2008 | An Algorithm for Computing Loop Functions. | Ali Mili, Shir Aharon, Chaitanya Nadkarni |
| 2008 | Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study. | Boleslaw Mikolajczak |
| 2008 | Towards Metrics for Ontology Balance. | Steffen Mencke, Martin Kunz, Reiner R. Dumke |
| 2008 | A Comparative Study on Data Representation to Categorize Text Documents. | D. A. Meedeniya, Amal Shehan Perera |
| 2008 | Linking Return on Training Investment with Defects Causal Analysis. | Santiago Matalonga, Toms San Feliu Gilabert |