| 2014 | An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2014 | Counterexample-Guided Prefix Refinement Analysis for Program Verification. | Marc Jasper |
| 2014 | A Core Language for Separate Variability Modeling. | Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski |
| 2014 | Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. | Falk Howar, Bernhard Steffen |
| 2014 | Tutorial: Automata Learning in Practice. | Falk Howar, Malte Isberner, Bernhard Steffen |
| 2014 | Evolving Critical Systems - Track Introduction. | Mike Hinchey, Tiziana Margaria |
| 2014 | Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching. | Axel Hessenkmper, Barbara Steffen, Steve Boelmann |
| 2014 | Monitoring with Data Automata. | Klaus Havelund |
| 2014 | Introduction to Track on Engineering Virtualized Services. | Reiner Hhnle, Einar Broch Johnsen |
| 2014 | Using Statistical Model Checking for Measuring Systems. | Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang |
| 2014 | Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. | Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka |
| 2014 | Combining Risk Analysis and Security Testing. | Jrgen Gromann, Martin A. Schneider, Johannes Viehmann, Marc-Florian Wendland |
| 2014 | Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data. | Frederik Gossen |
| 2014 | Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. | Georg Gri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz |
| 2014 | Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. | J. Paul Gibson, Idir At-Sadoune |
| 2014 | Towards the Typing of Resource Deployment. | Elena Giachino, Cosimo Laneve |
| 2014 | Dr. Watson? Balancing Automation and Human Expertise in Healthcare Delivery. | Mark Gaynor, George M. Wyner, Amar Gupta |
| 2014 | Risk-Based Testing - (Track Introduction). | Michael Felderer, Marc-Florian Wendland, Ina Schieferdecker |
| 2014 | A Risk Assessment Framework for Software Testing. | Michael Felderer, Christian Haisjackl, Viktor Pekar, Ruth Breu |
| 2014 | Blocking Advertisements on Android Devices Using Monitoring Techniques. | Khalil El-Harake, Ylis Falcone, Wassim Jerad, Matthieu Langet, Mariem Mamlouk |
| 2014 | Coverage Criteria for Behavioural Testing of Software Product Lines. | Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans |
| 2014 | Delta-Trait Programming of Software Product Lines. | Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann |
| 2014 | Domain Specific Languages for Managing Feature Models: Advances and Challenges. | Philippe Collet |
| 2014 | Model Checking Hybrid Systems - (Invited Talk). | Edmund M. Clarke, Sicun Gao |
| 2014 | Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract). | George Chatzieleftheriou, Apostolos Chatzopoulos, Panagiotis Katsaros |