SIMÓN JAMES
PICKIN
Profesor contratado doctor
Publications (33) SIMÓN JAMES PICKIN publications
2023
-
Requirements Elicitation Based on Psycho-Pedagogical Theatre for Context-Sensitive Affective Educational Recommender Systems
IEEE Access, Vol. 11, pp. 76284-76299
2021
-
AI4Eq: For a True Global Village Not for Global Pillage
IEEE Technology and Society Magazine, Vol. 40, Núm. 1, pp. 31-45
-
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
-
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
-
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)
-
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
-
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
-
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
-
Processor rescue safe coding for hardware aliasing
Communications in Computer and Information Science
2014
-
Open source verification in an anonymous volunteer network
Science of Computer Programming
-
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)
-
Still in the first steps of a barefoot knowledge engineering
2014 World Symposium on Computer Applications and Research, WSCAR 2014
2010
-
A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268
-
Open source verification under a cloud
Electronic Communications of the EASST
2008
-
Approximate verification in an open source world
Innovations in Systems and Software Engineering
2007
-
Test synthesis from UML models of distributed software
IEEE Transactions on Software Engineering, Vol. 33, Núm. 4, pp. 252-269
-
Verification in the light and large: Large-scale verification for fast-moving open source C projects
Proceedings - International Conference on Software Engineering
2006
-
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)
-
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
-
Detecting deadlock, double-free and other abuses in a million lines of linux kernel source
30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS