| 2013 | Behavioural Types Inspired by Cellular Thresholds. | Bogdan Aman, Gabriel Ciobanu |
| 2013 | Real-Time Migration Properties of rTiMo Verified in Uppaal. | Bogdan Aman, Gabriel Ciobanu |
| 2013 | Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO. | Robert Abo, Laurent Voisin |
| 2012 | The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. | Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu |
| 2012 | A Denotational Model for Instantaneous Signal Calculus. | Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He |
| 2012 | Verification of Aspectual Composition in Feature-Modeling. | Qinglei Zhang, Ridha Khdri, Jason Jaskolka |
| 2012 | A Low-Overhead, Value-Tracking Approach to Information Flow Security. | Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
| 2012 | Mobile Augmented Reality with Audio - Supporting Fieldwork of Cultural Sciences Students in Florence. | Stefaan Ternier, Fred de Vries, Dirk Brner, Marcus Specht |
| 2012 | Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification. | Oscar Slotosch |
| 2012 | Innovation and Sustainability in Higher Education: Lessons Learnt from the Case Study of an Online University. | Donatella Persico, Stefania Manca, Francesca Pozzi |
| 2012 | Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. | Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin |
| 2012 | Using Open Source Projects in Higher Education: A Two-Way Certification Framework. | Pantelis M. Papadopoulos, Ioannis Stamelos, Antonio Cerone |
| 2012 | The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments. | Pantelis M. Papadopoulos, Antonio Cerone |
| 2012 | Efficient Probabilistic Abstraction for SysML Activity Diagrams. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2012 | Inquiry-Based Science Education in Secondary School Informatics - Challenges and Rewards. | Nikolina Nikolova, Eliza Stefanova |
| 2012 | A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. | Durica Nikolic, Corrado Priami, Roberto Zunino |
| 2012 | Open Source Software Process: A Potential Catalyst for Major Changes in Electronic Health Record Systems. | Mirjan Merruko, Eleni Berki, Pirkko Nyknen |
| 2012 | Extensible Specifications for Automatic Re-use of Specifications and Proofs. | Daniel Matichuk, Toby C. Murray |
| 2012 | A Web Portal for the Certification of Open Source Software. | Pedro Martins, Joo Paulo Fernandes, Joo Saraiva |
| 2012 | An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. | Raluca Lefticaru, Florentin Ipate |
| 2012 | Secure Migration of Legacy Applications to the Web. | Zisis Karampaglis, Anakreon Mentis, Fotios Rafailidis, Paschalis Tsolakidis, Apostolos Ampatzoglou |
| 2012 | A Certification Process for Android Applications. | Harsha K. Kalutarage, Padmanabhan Krishnan, Siraj Ahmed Shaikh |
| 2012 | Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches. | Ozan Kahramanogullari, James F. Lynch, Corrado Priami |
| 2012 | Abstraction as a Unifying Link for Formal Approaches to Concurrency. | Cliff B. Jones |
| 2012 | A Configuration Approach for IMA Systems. | Visar Januzaj, Stefan Kugele, Florian Biechele, Ralf Mauersberger |