| 1 | | Michal Malohlava | Petr Hnetynka | Tomas Bures |
| | SOFA 2 Component Framework and Its Ecosystem |
| | Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 101-106 |
| 2 | | Ammar Osaiweran | Mathijs Schuts | Jozef Hooman | Jacco Wesselius |
| | Incorporating Formal Techniques into Industrial Practice: an Experience Report |
| | Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 49-63 |
| 3 | | Fazle Rabbi | Hao Wang | Wendy MacCaull | Adrian Rutle |
| | A Model Slicing Method for Workflow Verification |
| | Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 79-93 |
| 4 | | Natallia Kokash | Mohammad Mahdi Jaghoori | Farhad Arbab |
| | From Timed Reo Networks to Networks of Timed Automata |
| | Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 11-29 |
| 5 | | Samuel Kounev | Christoph Rathfelder | Benjamin Klatt |
| | Modeling of Event-based Communication in Component-based Architectures: State-of-the-Art and Future Directions |
| | Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 3-9 |
| 6 | | Samir Chouali | Ahmed Hammad | Hassan Mountassir |
| | Assembling Components using SysML with Non-Functional Requirements |
| | Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 31-47 |
| 7 | | Christian Prehofer |
| | Behavioral Refinement and Compatibility of Statechart Extensions |
| | Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 65-78 |
| 8 | | Eduard Paul Enoiu | Raluca Marinescu | Aida Čaušević | Cristina Seceleanu |
| | A Design Tool for Service-oriented Systems |
| | Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 95-100 |
| 9 | | Mark Anthony Cachia | Mark Micallef | Christian Colombo |
| | Towards Incremental Mutation Testing |
| | Electronic Notes in Theoretical Computer Science, 22 March 2013, Pages 2-11 |
| 10 | | Min Zhang | Kazuhiro Ogata | Kokichi Futatsugi |
| | Formalization and Verification of Behavioral Correctness of Dynamic Software Updates |
| | Electronic Notes in Theoretical Computer Science, 22 March 2013, Pages 12-23 |
