Simon Pickin

Orcid: 0000-0002-5506-3602

Affiliations:
  • Complutense University of Madrid, Spain


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2021
AI4Eq: For a True Global Village Not for Global Pillage.
IEEE Technol. Soc. Mag., 2021

An Inclusive and Sustainable Artificial Intelligence Strategy for Europe Based on Human Rights.
IEEE Technol. Soc. Mag., 2021

2019
Semi-Automatic Generation of Competency Maps Based on Educational Data Mining.
Int. J. Comput. Intell. Syst., 2019

Safe Compilation for Encrypted Computing.
IACR Cryptol. ePrint Arch., 2019

SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees.
Comput. Appl. Eng. Educ., 2019

A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of Mathematics.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2015
Processor Rescue - Safe Coding for Hardware Aliasing.
Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

2014
Open source verification in an anonymous volunteer network.
Sci. Comput. Program., 2014

2013
Soundness and Completeness of the NRB Verification Logic.
Proceedings of the Software Engineering and Formal Methods, 2013

2010
A formal nethod (a networked formal method).
Innov. Syst. Softw. Eng., 2010

Open Source Verification under a Cloud.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2008
Approximate verification in an open source world.
Innov. Syst. Softw. Eng., 2008

2007
Test Synthesis from UML Models of Distributed Software.
IEEE Trans. Software Eng., 2007

Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006
Symbolic approximation: an approach to verification in the large.
Innov. Syst. Softw. Eng., 2006

Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Verification in the Large via Symbolic Approximation.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code.
Proceedings of the Computational Science, 2006

One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code.
Proceedings of the Reliable Software Technologies, 2006

2004
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
Construction of a Development Environment for GPMs Based on OO Analysis Patterns.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

Automated Requirements-based Generation of Test Cases for Product Families.
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.
Expert Syst. Appl., 2002

Describing generic expertise models as object-oriented analysis patterns: the heuristic multi-attribute decision pattern.
Expert Syst. J. Knowl. Eng., 2002

Al analysis patterns as UML meta-model constructs.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

System Test Synthesis from UML Models of Distributed Software.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001
A UML-integrated Test Description Language for Component Testing.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

2000
Describing AI Analysis Patterns with UML.
Proceedings of the «UML» 2000, 2000

1994
Formalisation of a user view of network and services for feature interaction detection.
Proceedings of the Feature Interactions in Telecommunications Systems, 1994

1993
Process Instances in LOTOS Simulation.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993


  Loading...