| 2016 | Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. | Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings |
| 2016 | A Generalised Theory of Interface Automata, Component Compatibility and Error. | Sascha Fendrich, Gerald Lttgen |
| 2016 | Formal Verification of Safety PLC Based Control Software. | Dniel Darvas, Istvn Majzik, Enrique Blanco Viuela |
| 2016 | Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. | Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards |
| 2016 | On Type Checking Delta-Oriented Product Lines. | Ferruccio Damiani, Michael Lienhardt |
| 2016 | On Robust Malware Classifiers by Verifying Unwanted Behaviours. | Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik |
| 2016 | Perspectives of Model Transformation Reuse. | Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strber |
| 2016 | On Implementing a Monitor-Oriented Programming Framework for Actor Systems. | Ian Cassar, Adrian Francalanza |
| 2016 | Enhancing Automata Learning by Log-Based Metrics. | Petra van den Bos, Rick Smetsers, Frits W. Vaandrager |
| 2016 | Symbolic Reachability Analysis of B Through ProB and LTSmin. | Jens Bendisposto, Philipp Krner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield |
| 2016 | Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite Automata. | Stephan Barth |
| 2016 | Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. | Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe |
| 2016 | Probabilistic Formal Analysis of App Usage to Inform Redesign. | Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost |
| 2016 | Why Just Boogie? - Translating Between Intermediate Verification Languages. | Michael Ameri, Carlo A. Furia |
| 2016 | Combining Static Analysis and Testing for Deadlock Detection. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel |
| 2016 | Can Formal Methods Improve the Efficiency of Code Reviews? | Martin Hentschel, Reiner Hhnle, Richard Bubel |
| 2014 | A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
| 2014 | Managing LTL Properties in Event-B Refinement. | Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams |
| 2014 | A Hybrid Analysis for Security Protocols with State. | John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe |
| 2014 | A Separation Principle for Embedded System Interfacing. | Lucian M. Patcas, Mark Lawford, Tom Maibaum |
| 2014 | Model-Checking Circus State-Rich Specifications. | Marcel Vincius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho |
| 2014 | Formal Refinement in SysML. | Alvaro Miyazawa, Ana Cavalcanti |
| 2014 | Verifying Behavioral UML Systems via CEGAR. | Yael Meller, Orna Grumberg, Karen Yorav |
| 2014 | Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. | Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres |
| 2014 | A Probabilistic Framework for Security Scenarios with Dependent Actions. | Barbara Kordy, Marc Pouly, Patrick Schweitzer |