Simon Pickin

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