Simon Pickin

According to our database, Simon Pickin authored at least 31 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Requirements Elicitation Based on Psycho-Pedagogical Theatre for Context-Sensitive Affective Educational Recommender Systems.

Marcos Belver, Angeles Manjarrés Riesco, Alejandra Barbarelli, Simon Pickin

IEEE Access, 2023

2021

AI4Eq: For a True Global Village Not for Global Pillage.

Angeles Manjarrés Riesco, Simon Pickin, Miguel Ángel Artaso, Elizabeth D. Gibbons

IEEE Technol. Soc. Mag., 2021

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, Jesús Salgado Criado, Txetxu Ausín

IEEE Technol. Soc. Mag., 2021

2019

Semi-Automatic Generation of Competency Maps Based on Educational Data Mining.

David Alfonso, Angeles Manjarrés Riesco, Simon Pickin

Int. J. Comput. Intell. Syst., 2019

Safe Compilation for Encrypted Computing.

Peter T. Breuer, Simon Pickin

IACR Cryptol. ePrint Arch., 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

Comput. Appl. Eng. Educ., 2019

A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of Mathematics.

Peter T. Breuer, Simon J. Pickin

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2015

Processor Rescue - Safe Coding for Hardware Aliasing.

Peter T. Breuer, Jonathan P. Bowen, Simon Pickin

Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

2014

Open source verification in an anonymous volunteer network.

Peter T. Breuer, Simon Pickin

Sci. Comput. Program., 2014

2013

Soundness and Completeness of the NRB Verification Logic.

Peter T. Breuer, Simon Pickin

Proceedings of the Software Engineering and Formal Methods, 2013

2010

A formal nethod (a networked formal method).

Peter T. Breuer, Simon Pickin

Innov. Syst. Softw. Eng., 2010

Open Source Verification under a Cloud.

Peter T. Breuer, Simon Pickin

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2008

Approximate verification in an open source world.

Peter T. Breuer, Simon Pickin

Innov. Syst. Softw. Eng., 2008

2007

Test Synthesis from UML Models of Distributed Software.

Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon

IEEE Trans. Software Eng., 2007

Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects.

Peter T. Breuer, Simon Pickin

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006

Symbolic approximation: an approach to verification in the large.

Peter T. Breuer, Simon Pickin

Innov. Syst. Softw. Eng., 2006

Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source.

Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Verification in the Large via Symbolic Approximation.

Peter T. Breuer, Simon Pickin

Proceedings of the Leveraging Applications of Formal Methods, 2006

Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code.

Peter T. Breuer, Simon Pickin

Proceedings of the Computational Science, 2006

One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code.

Peter T. Breuer, Simon Pickin

Proceedings of the Reliable Software Technologies, 2006

2004

Using UML Sequence Diagrams as the Basis for a Formal Test Description Language.

Simon Pickin, Jean-Marc Jézéquel

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Construction of a Development Environment for GPMs Based on OO Analysis Patterns.

Manuel Arias, Angeles Manjarrés Riesco, Francisco Javier Díez, Simon Pickin

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

Automated Requirements-based Generation of Test Cases for Product Families.

Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002

Knowledge model reuse: therapy decision through specialisation of a generic decision model.

Angeles Manjarrés Riesco, Simon Pickin, José Mira

Expert Syst. Appl., 2002

Describing generic expertise models as object-oriented analysis patterns: the heuristic multi-attribute decision pattern.

Angeles Manjarrés Riesco, Simon Pickin

Expert Syst. J. Knowl. Eng., 2002

Al analysis patterns as UML meta-model constructs.

Angeles Manjarrés Riesco, Gerson Sunyé, Damien Pollet, Simon Pickin, Jean-Marc Jézéquel

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

System Test Synthesis from UML Models of Distributed Software.

Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

A UML-integrated Test Description Language for Component Testing.

Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

2000

Describing AI Analysis Patterns with UML.

Simon Pickin, Angeles Manjarrés Riesco

Proceedings of the «UML» 2000, 2000

1994

Formalisation of a user view of network and services for feature interaction detection.

Pierre Combes, Simon Pickin

Proceedings of the Feature Interactions in Telecommunications Systems, 1994

1993

Process Instances in LOTOS Simulation.

Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993