Process Instances in LOTOS Simulation. - Simon Pickin 001; Yan Yang; Wiet Bouma; Sylvie Simon; Tanja de Groot (FME, 1993)

Formalisation of a user view of network and services for feature interaction detection. - Pierre Combes; Simon Pickin 001 (FIW, 1994)

Describing AI Analysis Patterns with UML. - Simon Pickin 001; Angeles Manjarrés Riesco (UML, 2000)

A UML-integrated Test Description Language for Component Testing. - Simon Pickin 001; Claude Jard; Thierry Heuillard; Jean-Marc Jézéquel; Philippe Desfray (pUML, 2001)

System Test Synthesis from UML Models of Distributed Software. - Simon Pickin 001; Claude Jard; Yves Le Traon; Thierry Jéron; Jean-Marc Jézéquel; Alain Le Guennec (FORTE, 2002)

Al analysis patterns as UML meta-model constructs. - Angeles Manjarrés Riesco; Gerson Sunyé; Damien Pollet; Simon Pickin 001; Jean-Marc Jézéquel (SEKE, 2002)

Describing generic expertise models as object-oriented analysis patterns: the heuristic multi-attribute decision pattern. - Angeles Manjarrés Riesco; Simon Pickin 001 (Expert Syst. J. Knowl. Eng., 2002)

Knowledge model reuse: therapy decision through specialisation of a generic decision model. - Angeles Manjarrés Riesco; Simon Pickin 001; José Mira (Expert Syst. Appl., 2002)

Automated Requirements-based Generation of Test Cases for Product Families. - Clémentine Nebut; Simon Pickin 001; Yves Le Traon; Jean-Marc Jézéquel (ASE, 2003)

Construction of a Development Environment for GPMs Based on OO Analysis Patterns. - Manuel Arias 004; Angeles Manjarrés Riesco; Francisco Javier Díez 001; Simon Pickin 001 (KES, 2003)

Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. - Simon Pickin 001; Jean-Marc Jézéquel (IFM, 2004)

One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. - Peter T. Breuer; Simon Pickin 001 (Ada-Europe, 2006)

Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code. - Peter T. Breuer; Simon Pickin 001 (International Conference on Computational Science (4), 2006)

Verification in the Large via Symbolic Approximation. - Peter T. Breuer; Simon Pickin 001 (ISoLA, 2006)

Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. - Peter T. Breuer; Simon Pickin 001; María M. Larrondo-Petrie (SEW, 2006)

Symbolic approximation: an approach to verification in the large. - Peter T. Breuer; Simon Pickin 001 (Innov. Syst. Softw. Eng., 2006)

Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. - Peter T. Breuer; Simon Pickin 001 (SEW, 2007)

Test Synthesis from UML Models of Distributed Software. - Simon Pickin 001; Claude Jard; Thierry Jéron; Jean-Marc Jézéquel; Yves Le Traon (IEEE Trans. Software Eng., 2007)

Approximate verification in an open source world. - Peter T. Breuer; Simon Pickin 001 (Innov. Syst. Softw. Eng., 2008)

Open Source Verification under a Cloud. - Peter T. Breuer; Simon Pickin 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A formal nethod (a networked formal method). - Peter T. Breuer; Simon Pickin 001 (Innov. Syst. Softw. Eng., 2010)

Soundness and Completeness of the NRB Verification Logic. - Peter T. Breuer; Simon Pickin 001 (SEFM Workshops, 2013)

Open source verification in an anonymous volunteer network. - Peter T. Breuer; Simon Pickin 001 (Sci. Comput. Program., 2014)

Processor Rescue - Safe Coding for Hardware Aliasing. - Peter T. Breuer; Jonathan P. Bowen; Simon Pickin 001 (SoMeT, 2015)

A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of Mathematics. - Peter T. Breuer; Simon J. Pickin (FM Workshops (2), 2019)

SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees. - Alberto Núñez; Carolina Mañoso; Angel Pérez de Madrid; Simon Pickin 001 (Comput. Appl. Eng. Educ., 2019)

Safe Compilation for Encrypted Computing. - Peter T. Breuer; Simon Pickin 001 (IACR Cryptol. ePrint Arch., 2019)

Semi-Automatic Generation of Competency Maps Based on Educational Data Mining. - David Alfonso; Angeles Manjarrés Riesco; Simon Pickin 001 (Int. J. Comput. Intell. Syst., 2019)

An Inclusive and Sustainable Artificial Intelligence Strategy for Europe Based on Human Rights. - Celia Fernández-Aller; Arturo Fernández de Velasco; Angeles Manjarrés Riesco; David Pastor-Escuredo; Simon Pickin 001; Jesús Salgado Criado; Txetxu Ausín (IEEE Technol. Soc. Mag., 2021)

AI4Eq: For a True Global Village Not for Global Pillage. - Angeles Manjarrés Riesco; Simon Pickin 001; Miguel Ángel Artaso; Elizabeth D. Gibbons (IEEE Technol. Soc. Mag., 2021)

Requirements Elicitation Based on Psycho-Pedagogical Theatre for Context-Sensitive Affective Educational Recommender Systems. - Marcos Belver; Angeles Manjarrés Riesco; Alejandra Barbarelli; Simon Pickin 001 (IEEE Access, 2023)