Simon Pickin

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 6

Top Topics

Formal Verification

Artificial Intelligence

Top Venues

IEEE Technol. Soc. Mag.

IACR Cryptol. ePrint Arch.

Int. J. Comput. Intell. Syst.

Publications

Marcos Belver, Angeles Manjarrés Riesco, Alejandra Barbarelli, Simon Pickin
Requirements Elicitation Based on Psycho-Pedagogical Theatre for Context-Sensitive Affective Educational Recommender Systems. IEEE Access 11 (2023)
Angeles Manjarrés Riesco, Simon Pickin, Miguel Ángel Artaso, Elizabeth D. Gibbons
AI4Eq: For a True Global Village Not for Global Pillage. IEEE Technol. Soc. Mag. 40 (1) (2021)
Celia Fernández-Aller, Arturo Fernández de Velasco, Angeles Manjarrés Riesco, David Pastor-Escuredo, Simon Pickin, Jesús Salgado Criado, Txetxu Ausín
An Inclusive and Sustainable Artificial Intelligence Strategy for Europe Based on Human Rights. IEEE Technol. Soc. Mag. 40 (1) (2021)
Alberto Núñez, Carolina Mañoso, Angel Pérez de Madrid, Simon Pickin
SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees. Comput. Appl. Eng. Educ. 27 (5) (2019)
Peter T. Breuer, Simon Pickin
Safe Compilation for Encrypted Computing. IACR Cryptol. ePrint Arch. 2019 (2019)
David Alfonso, Angeles Manjarrés Riesco, Simon Pickin
Semi-Automatic Generation of Competency Maps Based on Educational Data Mining. Int. J. Comput. Intell. Syst. 12 (2) (2019)
Peter T. Breuer, Jonathan P. Bowen, Simon Pickin
Processor Rescue - Safe Coding for Hardware Aliasing. SoMeT (2015)
Peter T. Breuer, Simon Pickin
Open source verification in an anonymous volunteer network. Sci. Comput. Program. 91 (2014)
Peter T. Breuer, Simon Pickin
Soundness and Completeness of the NRB Verification Logic. SEFM Workshops (2013)
Peter T. Breuer, Simon Pickin
Soundness and Completeness of the NRB Verification Logic. CoRR (2013)
Peter T. Breuer, Simon Pickin
Open Source Verification under a Cloud. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Peter T. Breuer, Simon Pickin
A formal nethod (a networked formal method). Innov. Syst. Softw. Eng. 6 (4) (2010)
Peter T. Breuer, Simon Pickin
Approximate verification in an open source world. Innov. Syst. Softw. Eng. 4 (1) (2008)
Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon
Test Synthesis from UML Models of Distributed Software. IEEE Trans. Software Eng. 33 (4) (2007)
Peter T. Breuer, Simon Pickin
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. SEW (2007)
Peter T. Breuer, Simon Pickin
Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code. International Conference on Computational Science (4) (2006)
Peter T. Breuer, Simon Pickin
Symbolic approximation: an approach to verification in the large. Innov. Syst. Softw. Eng. 2 (3-4) (2006)
Peter T. Breuer, Simon Pickin
Verification in the Large via Symbolic Approximation. ISoLA (2006)
Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. SEW (2006)
Peter T. Breuer, Simon Pickin
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. Ada-Europe (2006)
Simon Pickin, Jean-Marc Jézéquel
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. IFM (2004)
Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel
Automated Requirements-based Generation of Test Cases for Product Families. ASE (2003)
Manuel Arias, Angeles Manjarrés Riesco, Francisco Javier Díez, Simon Pickin
Construction of a Development Environment for GPMs Based on OO Analysis Patterns. KES (2003)
Angeles Manjarrés Riesco, Simon Pickin, José Mira
Knowledge model reuse: therapy decision through specialisation of a generic decision model. Expert Syst. Appl. 23 (2) (2002)
Angeles Manjarrés Riesco, Simon Pickin
Describing generic expertise models as object-oriented analysis patterns: the heuristic multi-attribute decision pattern. Expert Syst. J. Knowl. Eng. 19 (3) (2002)
Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec
System Test Synthesis from UML Models of Distributed Software. FORTE (2002)
Angeles Manjarrés Riesco, Gerson Sunyé, Damien Pollet, Simon Pickin, Jean-Marc Jézéquel
Al analysis patterns as UML meta-model constructs. SEKE (2002)
Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray
A UML-integrated Test Description Language for Component Testing. pUML (2001)
Simon Pickin, Angeles Manjarrés Riesco
Describing AI Analysis Patterns with UML. UML (2000)
Pierre Combes, Simon Pickin
Formalisation of a user view of network and services for feature interaction detection. FIW (1994)
Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot
Process Instances in LOTOS Simulation. FME (1993)