| 2015 | A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. | Aissam Belghiat, Allaoua Chaoui |
| 2015 | A Path-based Equivalence Checking Method for Petri Net based Models of Programs. | Soumyadip Bandyopadhyay, Dipankar Sarkar, Kunal Banerjee, Chittaranjan A. Mandal |
| 2015 | How Trajectory Data Modeling Improves Decision Making?. | Noura Azaiez, Jalel Akaichi |
| 2015 | Analysing the Reliability of Open Source Software Projects. | Lerina Aversano, Maria Tortorella |
| 2015 | Invariant Implementation for Domain Models Applying Incremental OCL Techniques. | Alberto Manuel Fernndez lvarez, Daniel Fernndez Lanvin, Manuel Quintela-Pumares |
| 2015 | OCL for Rich Domain Models Implementation - An Incremental Aspect based Solution. | Alberto Manuel Fernndez lvarez, Daniel Fernndez Lanvin, Manuel Quintela-Pumares |
| 2015 | Wise Objects for Calm Technology. | Ilham Alloui, David Esale, Flavien Vernier |
| 2015 | Formalization of Secure Service Oriented Product Line. | Ines Achour, Lamia Labed, Henda Hajjami Ben Ghzala |
| 2015 | Design for Excellence in the Context of Very Large-Scale Requirements Engineering. | Sanja Aaramaa, Samuli Saukkonen, Jarkko Hyysalo, Jouni Simil, Pasi Kuvaja, Markku Oivo |
| 2014 | Toward Easy Migration of Client-Server Applications to the Cloud. | Jianbo Zheng, Weichang Du |
| 2014 | Software Reengineering Toolkit with Tangible Interface by Haptics. | Makoto Yoshida, Shinnta Okumura, Noriyuki Iwane |
| 2014 | Model Refactorings for and with Graph Transformation Rules. | Sabine Winetzhammer, Bernhard Westfechtel |
| 2014 | Propagating Model Refactorings to Graph Transformation Rules. | Sabine Winetzhammer, Bernhard Westfechtel |
| 2014 | Social Structures in Software Engineering. | Hans van Vliet |
| 2014 | Design Patterns for Model-Driven Development. | Timo Vepslinen, Seppo Kuikka |
| 2014 | Design Pattern Support for Model-Driven Development. | Timo Vepslinen, Seppo Kuikka |
| 2014 | An Alternative Implementation for Accelerating Some Functions of Operating System. | Jnos Vgh, dm Kicsk, Zsolt Bagoly, Pter Molnr |
| 2014 | A Multicore-aware Von Neumann Programming Model. | Jnos Vgh, Zsolt Bagoly, dm Kicsk, Pter Molnr |
| 2014 | A Component-based User Interface Approach for Smart TV. | Jess Vallecillos, Javier Criado, Nicols Padilla, Luis Iribarne |
| 2014 | Data Re-archival in IT Application Retirement Scenario - A Case Study. | Vidyasagar Uddagiri, Amarendra Mohanty, Biswaranjan Jena |
| 2014 | A Genetic Algorithm and Tabu Search for Discovering Regular Plans in Mobile Clients. | John Tsiligaridis |
| 2014 | A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. | Dragos Truscan, Jri Vain, Martin Koskinen, Junaid Iqbal |
| 2014 | Combining Aspect-orientation and UPPAAL Timed Automata. | Dragos Truscan, Jri Vain, Martin Koskinen |
| 2014 | Continuous Queries over Distributed Streams of Heterogeneous Monitoring Data in Cloud Datacenters. | Daniel Tovarnk, Toms Pitner |
| 2014 | Toward Preventing Stack Overflow Using Kernel Properties. | Benjamin Teissier, Stefan D. Bruda |