| 2014 | An Open Alternative for SMT-Based Verification of Scade Models. Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius |
| 2014 | Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama |
| 2014 | Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. Thang Nguyen, Dejan Nickovic |
| 2014 | Deadlock Avoidance in Train Scheduling: A Model Checking Approach. Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari |
| 2014 | Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. Christian Ellen, Sven Sieverding, Hardi Hungar |
| 2014 | Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers |
| 2014 | Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings Frédéric Lang, Francesco Flammini |
| 2014 | Formal Specification and Verification of TCP Extended with the Window Scale Option. Lars Lockefeer, David M. Williams, Wan J. Fokkink |
| 2014 | Formal Verification of Steady-State Errors in Unity-Feedback Control Systems. Muhammad Ahmad, Osman Hasan |
| 2014 | Improving Static Analyses of C Programs with Conditional Predicates. Sandrine Blazy, David Bühler, Boris Yakobowski |
| 2014 | Learning Fragments of the TCP Network Protocol. Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager |
| 2014 | On the Validation of an Interlocking System by Model-Checking. Andrea Bonacchi, Alessandro Fantechi |
| 2014 | Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. Brian Campbell, Ian Stark |
| 2014 | Test Specification Patterns for Automatic Generation of Test Sequences. Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron |