| 2014 | WeVerca: Web Applications Verification for PHP. | David Hauzar, Jan Kofron |
| 2014 | Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2014 | Retrieving Points of Interest from Human Systematic Movements. | Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Dino Pedreschi, Fosca Giannotti |
| 2014 | Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. | Jon Grov, Peter Csaba lveczky |
| 2014 | Model-Based Verification of Safety Contracts. | Elena Gmez-Martnez, Ricardo J. Rodrguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle |
| 2014 | Use of Mobile Phone Data to Estimate Visitors Mobility Flows. | Lorenzo Gabrielli, Barbara Furletti, Fosca Giannotti, Mirco Nanni, Salvatore Rinzivillo |
| 2014 | A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. | Lars-ke Fredlund, ngel Herranz-Nieva, Julio Mario |
| 2014 | Verified Functional Iterators Using the FoCaLiZe Environment. | Catherine Dubois, Renaud Rioboo |
| 2014 | Optimising the ProB Model Checker for B Using Partial Order Reduction. | Ivaylo Dobrikov, Michael Leuschel |
| 2014 | A Tool for Verifying Dynamic Properties in B. | Fama Diagne, Amel Mammar, Marc Frappier |
| 2014 | A Two-Phase Static Analysis for Reliable Adaptation. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2014 | Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea. | Cesar Augusto Nieto Coria, Luca Tesei, Giuseppe Scarcella, Tommaso Russo, Emanuela Merelli |
| 2014 | Phase-Type Approximations for Non-Markovian Systems: A Case Study. | Gabriel Ciobanu, Armand Stefan Rotaru |
| 2014 | Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. | Maria Christakis, Peter Mller, Valentin Wstholz |
| 2014 | Research Challenges in Modelling Ecosystems. | Antonio Cerone, Marco Scotti |
| 2014 | Learning Extended Finite State Machines. | Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen |
| 2014 | IKOS: A Framework for Static Analysis Based on Abstract Interpretation. | Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet |
| 2014 | Test Suite Completeness and Partial Models. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura |
| 2014 | Quantitative Anonymity Evaluation of Voting Protocols. | Fabrizio Biondi, Axel Legay |
| 2014 | Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. | Domenico Bianculli, Carlo Ghezzi, Srdan Krstic |
| 2014 | Modelling and Verification of Survivability Requirements for Critical Systems. | Simona Bernardi, Lacramioara Dranca, Jos Merseguer |
| 2014 | A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. | Bernhard Beckert, Sarah Grebing, Florian Bhl |
| 2014 | A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems. | Klaus Becker, Bernhard Schtz, Michael Armbruster, Christian Buckl |
| 2014 | Using Z in the Development and Maintenance of Computational Models of Real-World Systems. | Shahrzad Moeiniyan Bagheri, Graeme Smith, Jim Hanan |
| 2014 | A General Framework for Architecture Composability. | Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis |