| 2015 | SoMeT | Processor Rescue - Safe Coding for Hardware Aliasing. | Peter T. Breuer, Jonathan P. Bowen, Simon Pickin |
| 2013 | SEFM | Soundness and Completeness of the NRB Verification Logic. | Peter T. Breuer, Simon Pickin |
| 2007 | SEW | Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. | Peter T. Breuer, Simon Pickin |
| 2006 | ICCS | Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code. | Peter T. Breuer, Simon Pickin |
| 2006 | ISoLA | Verification in the Large via Symbolic Approximation. | Peter T. Breuer, Simon Pickin |
| 2006 | SEW | Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. | Peter T. Breuer, Simon Pickin, Mara M. Larrondo-Petrie |
| 2004 | IFM | Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. | Simon Pickin, Jean-Marc Jzquel |
| 2003 | KES | Construction of a Development Environment for GPMs Based on OO Analysis Patterns. | Manuel Arias, Angeles Manjarrs Riesco, Francisco Javier Dez, Simon Pickin |
| 2002 | FORTE | System Test Synthesis from UML Models of Distributed Software. | Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jron, Jean-Marc Jzquel, Alain Le Guennec |
| 2002 | SEKE | Al analysis patterns as UML meta-model constructs. | Angeles Manjarrs Riesco, Gerson Suny, Damien Pollet, Simon Pickin, Jean-Marc Jzquel |
| 1993 | FM | Process Instances in LOTOS Simulation. | Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot |