| 2015 | Task Planning of Cyber-Human Systems. | Roykrong Sukkerd, David Garlan, Reid G. Simmons |
| 2015 | A Formal Study of Backward Compatible Dynamic Software Updates. | Jun Shen, Rida A. Bazzi |
| 2015 | On Integrating Social and Sensor Networks for Emergency Management. | Farshad Shams, Antonio Cerone, Rocco De Nicola |
| 2015 | A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems. | Suryana Setiawan, Antonio Cerone, Paolo Milazzo |
| 2015 | Model-Based Robustness Testing in Event-B Using Mutation. | Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet |
| 2015 | Dependable Composition of Software and Services in the Internet of Things: A Biological Approach. | Amleto Di Salle, Francesco Gallo, Alexander Perucci |
| 2015 | Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns. | Amleto Di Salle, Francesco Gallo, Alexander Perucci |
| 2015 | Techniques for Memory-Efficient Model Checking of C and C++ Code. | Petr Rockai, Vladimr Still, Jiri Barnat |
| 2015 | Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. | Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro |
| 2015 | An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities. | Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2015 | Fuzzy Description Logics for Component Selection in Software Design. | Tommaso Di Noia, Marina Mongiello, Umberto Straccia |
| 2015 | Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. | Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi |
| 2015 | Learning Assertions to Verify Linked-List Programs. | Jan Tobias Mhlberg, David H. White, Mike Dodds, Gerald Lttgen, Frank Piessens |
| 2015 | Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection. | Karl Meinke, Peter Nycander |
| 2015 | The Synergy Between User Experience Design and Software Testing. | Arjan P. van der Meer, Rachid Kherrazi, Neda Noroozi, Anita Wierda |
| 2015 | An Interface Theory for the Internet of Things. | Marten Lohstroh, Edward A. Lee |
| 2015 | Formalizing a Secure Foreign Function Interface. | Adriaan Larmuseau, Dave Clarke |
| 2015 | From Failure to Proof: The ProB Disprover for B and Event-B. | Sebastian Krings, Jens Bendisposto, Michael Leuschel |
| 2015 | Generating None-Plans in Order to Find Plans. | Michal Knapik, Artur Niewiadomski, Wojciech Penczek |
| 2015 | Formal Analysis of Proactive, Distributed Routing. | Mojgan Kamali, Peter Hfner, Maryam Kamali, Luigia Petre |
| 2015 | Reasoning about Separation Using Abstraction and Reification. | Cliff B. Jones, Nisansala Yatapanage |
| 2015 | Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. | Marie-Christine Jakobs |
| 2015 | Efficient Testing of Different Loop Paths. | Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2015 | Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems. | Daniel Homm, Jrgen Eckert, Reinhard German |
| 2015 | On the Testability of Properties Patterns. | Simone Hanazumi, Ana Cristina Vieira de Melo |