| 2012 | CPN based Data Integrity Evaluation for Cloud Transactions. | Yoshiyuki Shinkawa |
| 2012 | Evaluating Behavioral Correctness of a Set of UML Models. | Yoshiyuki Shinkawa |
| 2012 | Formal Analysis of Sequence Diagram with Combined Fragments. | Hui Shen, Mark Robinson, Jianwei Niu |
| 2012 | Concept-Oriented Programming - Classes and Inheritance Revisited. | Alexandr A. Savinov |
| 2012 | Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. | Antonella Santone, Gigliola Vaglini |
| 2012 | A Framework for Developing Component-based Applications with Temporal Analysis Capabilities. | Francisco Snchez-Ledesma, Juan Angel Pastor, Diego Alonso, Francisca Rosique |
| 2012 | A Distributed Architecture for Remote Service Discovery in Pervasive Computing. | Farzad Salehi, Stefan D. Bruda, Yasir Malik, Bessam Abdulrazak |
| 2012 | Traceability Support for MDE Development of Home Automation Systems. | Francisca Rosique, Pedro Snchez, Diego Alonso, Manuel Jimnez Buenda |
| 2012 | Towards a Framework for Information System Testing - A Model-driven Testing Approach. | Federico Toledo Rodrguez, Beatriz Prez Lamancha, Macario Polo Usaola |
| 2012 | Composing Model Transformations at Runtime - An Approach for Adapting Component-based User Interfaces. | Diego Rodrguez-Gracia, Javier Criado, Luis Iribarne, Nicols Padilla Soriano, Cristina Vicente-Chicote |
| 2012 | Parallel Finite State Machines for Very Fast Distributable Regular Expression Matching. | Luis Quesada, Fernando Berzal, Francisco J. Cortijo |
| 2012 | Fence - A Context-free Grammar Parser with Constraints for Model-driven Language Specification. | Luis Quesada, Fernando Berzal, Francisco J. Cortijo |
| 2012 | Tamil Characters Recognition and Retrieval. | Abdol Hamid Pilevar |
| 2012 | Transforming SQLITE to Run on a Bare PC. | Uzo Okafor, Ramesh K. Karne, Alexander L. Wijesinha, Bharat S. Rawal |
| 2012 | Data, Context, Situation - On the Usefulness of Semantic Layers for Designing Context-aware Systems. | Daniela Nicklas |
| 2012 | Domain Modeling. | Stephen J. Mellor |
| 2012 | Model-based Framework for Integrated Evolution of Business and IT Changes - Integrated Evolution of Business and IT Changes. | Anna Medve |
| 2012 | Architecting a Large-scale Elastic Environment - Recontextualization and Adaptive Cloud Services for Scientific Computing. | Paul Marshall, Henry M. Tufo, Kate Keahey, David La Bissoniere, Matthew Woitaszek |
| 2012 | A Model-driven Approach to Process Enactment. | Sana Damak Mallouli, Sad Assar, Carine Souveyet |
| 2012 | Enhancing Alternative and Augmentative Communications Devices with Context Awareness Computing. | Adam Loup, Lindsay Blue, Shengru Tu |
| 2012 | EMF on Rails. | Rosa Lpez-Landa, Julieta Noguez, Esther Guerra, Juan de Lara |
| 2012 | Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming. | Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo |
| 2012 | Size Measures for Large Web Service Systems. | Phoey Lee Teh, Geoffrey Muchiri Muketha |
| 2012 | Synthesis of Software from Logical Constraints. | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
| 2012 | P²E: A Tool for the Evolution Management of UML Profiles. | Fadoi Lakhal, Hubert Dubois, Dominique Rieu |