| 2013 | Extracting Characteristics of Speaker's Voice Harmonic Spectrum - Design of Human Voice Feature Extraction Technique. | Oldrich Hork, Jan Capek |
| 2013 | Towards Devising an Architectural Framework for Enterprise Operating Systems. | Srgio Guerreiro, Steven J. H. van Kervel, Eduard Babkin |
| 2013 | The DAO of Parallel Software Construction. | Armin Grlinger |
| 2013 | State of the Art of Dynamic Software Updating in Java. | Allan Raundahl Gregersen, Michael Rasmussen, Bo Nrregaard Jrgensen |
| 2013 | Dynamic Software Updating with Gosh! - Current Status and the Road Ahead. | Allan Raundahl Gregersen, Michael Rasmussen, Bo Nrregaard Jrgensen |
| 2013 | Compiling Functional to Scripting Languages. | Paola Giannini, Albert Shaqiri |
| 2013 | An Intermediate Language for Compilation to Scripting Languages. | Paola Giannini, Albert Shaqiri |
| 2013 | An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks. | Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed |
| 2013 | Real-Time Reconfigurable Scheduling of Sporadic Tasks. | Hamza Gharsellaoui, Samir Ben Ahmed |
| 2013 | Model Checking of Distributed Component-based Control Systems. | Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed |
| 2013 | A Comparison of Maintainability Metrics of Two A+ Interpreters. | Pter Gl, kos Kiss |
| 2013 | Managing Risk in Open Source Software Adoption. | Xavier Franch, Angelo Susi, Maria Carmela Annosi, Claudia P. Ayala, Ruediger Glott, Daniel Gross, Ron S. Kenett, Fabio Mancinelli, Pop Ramsamy, Cedric Thomas, David Ameller, Stijn Bannier, Nili Bergida, Yehuda Blumenfeld, Olivier Bouzereau, Dolors Costal, Manuel Dominguez, Kirsten Haaland, Lidia Lpez, Mirko Morandini, Alberto Siena |
| 2013 | Enabling Informed Decision Making Through Mobile Technologies: A Challenge for Software Engineering. | Xavier Franch, Anna Perini, Norbert Seyff |
| 2013 | Mobile Technologies to Enable Users' Informed Decisions. | Xavier Franch, Anna Perini, Hugo H. Pibernat, Norbert Seyff |
| 2013 | A Layered Architecture based on Previsional Mechanisms. | Francesco Fiamberti, Daniela Micucci, Marco Mobilio, Francesco Tisato |
| 2013 | A Computer-Aided Process from Problems to Laws in Requirements Engineering. | Stephan Fabender, Maritta Heisel |
| 2013 | From Problems to Laws in Requirements Engineering - Using Model-Transformation. | Stephan Fabender, Maritta Heisel |
| 2013 | Linear Software Models - Vector Spaces for Design Pattern Modules. | Iaakov Exman |
| 2013 | Simultaneously Improving Quality and Time-to-Market in Agile Development. | Pryscilla Marcilli Dra, Ana Cristina Oliveira, J. Anto B. Moura |
| 2013 | Improving Quality in Agile Development Processes. | Pryscilla Marcilli Dra, Ana Cristina Oliveira, J. Anto B. Moura |
| 2013 | ATMOS - A Data Collection and Presentation Toolkit for the Nevada Climate Change Portal. | Andrew Dittrich, Sergiu Dascalu, Mehmet Hadi Gunes |
| 2013 | Language Design and Implementation via the Combination of Embedding and Parsing. | Gergely Dvai, Dniel Lesk, Mt Tejfel |
| 2013 | Embedding and Parsing Combined for Efficient Language Design. | Gergely Dvai, Dniel Lesk, Mt Tejfel |
| 2013 | ACME+ for Software Architecture Analysis. | Imen Derbel, Lamia Labed Jilani, Ali Mili |
| 2013 | Multi-method Software Estimation Utilizing Judgment and Model based Methods. | Aldo Dagnino |