Publicaciones (33) Publicaciones de SIMÓN JAMES PICKIN

2023

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

    IEEE Access, Vol. 11, pp. 76284-76299

2021

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

    IEEE Technology and Society Magazine, Vol. 40, Núm. 1, pp. 31-45

  2. An Inclusive and Sustainable Artificial Intelligence Strategy for Europe Based on Human Rights

    IEEE Technology and Society Magazine, Vol. 40, Núm. 1, pp. 46-54

  3. Aprendizaje-Servicio y Agenda 2030 en la formación de ingenieros de la tecnología inteligente

    Revista Diecisiete: Investigación Interdisciplinar para los Objetivos de Desarrollo Sostenible., Núm. 4, pp. 59-82

2020

  1. A calculus of chaos in stochastic compilation: Engineering in the cause of mathematics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Virtu@l-ApS: Soporte Tecnológico para el Aprendizaje-Servicio Virtual

    RIED: revista iberoamericana de educación a distancia, Vol. 23, Núm. 1, pp. 85-109

2019

  1. SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees

    Computer Applications in Engineering Education, Vol. 27, Núm. 5, pp. 1126-1138

  2. Semi-automatic generation of competency maps based on educational data mining

    International Journal of Computational Intelligence Systems, Vol. 12, Núm. 2, pp. 744-760

2015

  1. Processor rescue safe coding for hardware aliasing

    Communications in Computer and Information Science

2014

  1. Open source verification in an anonymous volunteer network

    Science of Computer Programming

  2. Soundness and completeness of the NRB verification logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Still in the first steps of a barefoot knowledge engineering

    2014 World Symposium on Computer Applications and Research, WSCAR 2014

2010

  1. A formal nethod (a networked formal method)

    Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268

  2. Open source verification under a cloud

    Electronic Communications of the EASST

2008

  1. Approximate verification in an open source world

    Innovations in Systems and Software Engineering

2007

  1. Test synthesis from UML models of distributed software

    IEEE Transactions on Software Engineering, Vol. 33, Núm. 4, pp. 252-269

  2. Verification in the light and large: Large-scale verification for fast-moving open source C projects

    Proceedings - International Conference on Software Engineering

2006

  1. Checking for deadlock, double-free and other abuses in the Linux kernel source code

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. 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

  3. Detecting deadlock, double-free and other abuses in a million lines of linux kernel source

    30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS