| 2012 | A Framework for Translating Legal Knowledge into Administrative Processes: Dynamic Adaption of Business Processes. | Yiwei Gong, Marijn Janssen |
| 2012 | Concept and Experiences on Using a Wiki-Based System for Software-Related Seminar Papers. | Dominik Franke, Stefan Kowalewski |
| 2012 | Implementing Tactics of Refinement in CRefine. | Madiel Conserva Filho, Marcel Vincius Medeiros Oliveira |
| 2012 | TVAL+ : TVLA and Value Analyses Together. | Pietro Ferrara, Raphael Fuchs, Uri Juhasz |
| 2012 | FLOSS in Technology-Enhanced Learning. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa, Pantelis M. Papadopoulos |
| 2012 | A Preliminary Analysis of Learning Awareness in FLOSS Projects. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa |
| 2012 | A Systematic Approach to Atomicity Decomposition in Event-B. | Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh |
| 2012 | JSXM: A Tool for Automated Test Generation. | Dimitris Dranidis, Konstantinos Bratanis, Florentin Ipate |
| 2012 | Compositional Reasoning about Shared Futures. | Crystal Chang Din, Johan Dovland, Olaf Owe |
| 2012 | Frama-C - A Software Analysis Perspective. | Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski |
| 2012 | Towards a Formal Component Model for the Cloud. | Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro |
| 2012 | polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. | Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace |
| 2012 | A Timed Mobility Semantics Based on Rewriting Strategies. | Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles |
| 2012 | Guidelines for the Application of Data Envelopment Analysis to Assess Evolving Software. | Alexander Chatzigeorgiou |
| 2012 | Innovation and Sustainability in Education. | Antonio Cerone, Donatella Persico |
| 2012 | Modelling and Knowledge Management for Sustainable Development. | Antonio Cerone, Alexeis Garcia-Perez |
| 2012 | Models of Knowledge Transfer for Sustainable Development. | Ettore Bolisani, Francesca Scramoncin, Siraj Ahmed Shaikh |
| 2012 | Creative Classrooms: A Systemic Approach for Mainstreaming ICT-Enabled Innovation for Learning in Europe. | Stefania Bocconi, Panagiotis Kampylis, Yves Punie |
| 2012 | Learning CSCW Through Fairytales: A Practical Model. | Nicole Bittel, Marco C. Bettoni |
| 2012 | Securely Accessing Shared Resources with Concurrent Constraint Programming. | Stefano Bistarelli, Francesco Santini |
| 2012 | A Practical Approach for Closed Systems Formal Verification Using Event-B. | Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook |
| 2012 | Transition to Sustainability: Italian Scenarios Towards a Low-Carbon Economy. | Giovanni Bernardo, Simone D'Alessandro |
| 2012 | Checking Sanity of Software Requirements. | Jiri Barnat, Petr Bauch, Lubos Brim |
| 2012 | Modelling Population Dynamics Using Grid Systems. | Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan |
| 2012 | Mathematical Literacy as a Condition for Sustainable Development. | Lus Soares Barbosa, Maria Helena Martinho |