| 2013 | The G.O.A.L. Approach - A Goal-Oriented Algebraic Language. | Jrme Dantan, Yann Pollet, Salima Taibi |
| 2013 | Testing Distributed Communication Protocols by Formal Performance Monitoring. | Xiaoping Che, Stephane Maag |
| 2013 | A Formal Passive Performance Testing Approach for Distributed Communication Systems. | Xiaoping Che, Stephane Maag |
| 2013 | Comparing Two Class Composition Approaches. | Fernando Srgio Barbosa, Ademar Aguiar |
| 2013 | Composing Classes - Roles Vs Traits. | Fernando Srgio Barbosa, Ademar Aguiar |
| 2013 | Service Retrieval for Service-Oriented Business Process Modeling. | Youcef Baghdadi, Ricardo Prez-Castillo |
| 2012 | Ranking Web Services using Centralities and Social Indicators. | Tilo Zemke, Jos Ignacio Fernndez-Villamor, Carlos Angel Iglesias |
| 2012 | Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure. | Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki |
| 2012 | Business Processes Modeling through Multi Level Activity Diagrams. | Denis Del Villano, Gaetanino Paolone, Paolino Di Felice |
| 2012 | The Recursion Scheme of the Trace Function Method. | Baltasar Trancn y Widemann |
| 2012 | Unified Modeling of Static Relationships between Program Elements. | Ioana Sora |
| 2012 | A Meta-model for Representing Language-independent Primary Dependency Structures. | Ioana Sora |
| 2012 | A Semi-automated Approach towards Handling Inconsistencies in Software Requirements. | Richa Sharma, K. K. Biswas |
| 2012 | Handling Inconsistency in Software Requirements. | Richa Sharma, K. K. Biswas |
| 2012 | Correlation of Business Activities Executed in Legacy Information Systems. | Ricardo Prez-Castillo, Barbara Weber, Mario Piattini |
| 2012 | Improving Event Correlation for Non-process Aware Information Systems. | Ricardo Prez-Castillo, Barbara Weber, Ignacio Garca Rodrguez de Guzmn, Mario Piattini |
| 2012 | Using Use Cases for Domain Modeling. | Janis Osis, Armands Slihte, Asnate Jansone |
| 2012 | Agile Development with Stepwise Feature Introduction. | Mikolaj Olszewski, Ralph-Johan Back |
| 2012 | An Event-driven Approach for the Separation of Concerns. | Hayim Makabee |
| 2012 | Towards Online Data Mining System for Enterprises. | Jan Kupck, Tomas Hruska |
| 2012 | Reduction of Program-generation Times by Transformation-sequence Optimization. | Martin Kuhlemann, Andreas Lbcke, Gunter Saake |
| 2012 | Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications. | Radoslaw Klimek |
| 2012 | Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach. | Radoslaw Klimek |
| 2012 | Extending Service Selection Algorithms with Interoperability Analysis. | Pawel Kaczmarek |
| 2012 | Interoperability Constraints in Service Selection Algorithms. | Pawel Lech Kaczmarek |