Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSimon Pickin 0001
Person information
- affiliation: Complutense University of Madrid, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j13]Marcos Belver
, Angeles Manjarrés Riesco, Alejandra Barbarelli, Simon Pickin:
Requirements Elicitation Based on Psycho-Pedagogical Theatre for Context-Sensitive Affective Educational Recommender Systems. IEEE Access 11: 76284-76299 (2023)- 2021
- [j12]Angeles Manjarrés Riesco, Simon Pickin, Miguel Ángel Artaso, Elizabeth D. Gibbons:
AI4Eq: For a True Global Village Not for Global Pillage. IEEE Technol. Soc. Mag. 40(1): 31-45 (2021) - [j11]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:
An Inclusive and Sustainable Artificial Intelligence Strategy for Europe Based on Human Rights. IEEE Technol. Soc. Mag. 40(1): 46-54 (2021) - 2019
- [j10]Alberto Núñez, Carolina Mañoso, Angel Pérez de Madrid, Simon Pickin:
SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees. Comput. Appl. Eng. Educ. 27(5): 1126-1138 (2019) - [j9]David Alfonso, Angeles Manjarrés Riesco, Simon Pickin:
Semi-Automatic Generation of Competency Maps Based on Educational Data Mining. Int. J. Comput. Intell. Syst. 12(2): 744-760 (2019) - 2014
- [j8]Peter T. Breuer, Simon Pickin:
Open source verification in an anonymous volunteer network. Sci. Comput. Program. 91: 161-187 (2014) - 2010
- [j7]Peter T. Breuer, Simon Pickin:
Open Source Verification under a Cloud. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010) - [j6]Peter T. Breuer, Simon Pickin:
A formal nethod (a networked formal method). Innov. Syst. Softw. Eng. 6(4): 255-268 (2010) - 2008
- [j5]Peter T. Breuer, Simon Pickin:
Approximate verification in an open source world. Innov. Syst. Softw. Eng. 4(1): 87-105 (2008) - 2007
- [j4]Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon:
Test Synthesis from UML Models of Distributed Software. IEEE Trans. Software Eng. 33(4): 252-269 (2007) - 2006
- [j3]Peter T. Breuer, Simon Pickin:
Symbolic approximation: an approach to verification in the large. Innov. Syst. Softw. Eng. 2(3-4): 147-163 (2006) - 2002
- [j2]Angeles Manjarrés Riesco, Simon Pickin:
Describing generic expertise models as object-oriented analysis patterns: the heuristic multi-attribute decision pattern. Expert Syst. J. Knowl. Eng. 19(3): 142-169 (2002) - [j1]Angeles Manjarrés Riesco, Simon Pickin, José Mira:
Knowledge model reuse: therapy decision through specialisation of a generic decision model. Expert Syst. Appl. 23(2): 113-135 (2002)
Conference and Workshop Papers
- 2019
- [c17]Peter T. Breuer, Simon J. Pickin:
A Calculus of Chaos in Stochastic Compilation - Engineering in the Cause of Mathematics. FM Workshops (2) 2019: 167-184 - 2015
- [c16]Peter T. Breuer, Jonathan P. Bowen, Simon Pickin:
Processor Rescue - Safe Coding for Hardware Aliasing. SoMeT 2015: 137-148 - 2013
- [c15]Peter T. Breuer, Simon Pickin:
Soundness and Completeness of the NRB Verification Logic. SEFM Workshops 2013: 389-404 - 2007
- [c14]Peter T. Breuer, Simon Pickin:
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. SEW 2007: 246-255 - 2006
- [c13]Peter T. Breuer, Simon Pickin:
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. Ada-Europe 2006: 56-70 - [c12]Peter T. Breuer, Simon Pickin:
Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code. International Conference on Computational Science (4) 2006: 765-772 - [c11]Peter T. Breuer, Simon Pickin:
Verification in the Large via Symbolic Approximation. ISoLA 2006: 408-415 - [c10]Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie:
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. SEW 2006: 223-233 - 2004
- [c9]Simon Pickin, Jean-Marc Jézéquel:
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. IFM 2004: 481-500 - 2003
- [c8]Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel:
Automated Requirements-based Generation of Test Cases for Product Families. ASE 2003: 263-266 - [c7]Manuel Arias, Angeles Manjarrés Riesco, Francisco Javier Díez, Simon Pickin:
Construction of a Development Environment for GPMs Based on OO Analysis Patterns. KES 2003: 1351-1356 - 2002
- [c6]Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec:
System Test Synthesis from UML Models of Distributed Software. FORTE 2002: 97-113 - [c5]Angeles Manjarrés Riesco, Gerson Sunyé, Damien Pollet, Simon Pickin, Jean-Marc Jézéquel:
Al analysis patterns as UML meta-model constructs. SEKE 2002: 237-238 - 2001
- [c4]Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray:
A UML-integrated Test Description Language for Component Testing. pUML 2001: 208-223 - 2000
- [c3]Simon Pickin, Angeles Manjarrés Riesco:
Describing AI Analysis Patterns with UML. UML 2000: 466-481 - 1994
- [c2]Pierre Combes, Simon Pickin:
Formalisation of a user view of network and services for feature interaction detection. FIW 1994: 120-135 - 1993
- [c1]Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot:
Process Instances in LOTOS Simulation. FME 1993: 521-540
Informal and Other Publications
- 2019
- [i2]Peter T. Breuer, Simon Pickin:
Safe Compilation for Encrypted Computing. IACR Cryptol. ePrint Arch. 2019: 301 (2019) - 2013
- [i1]Peter T. Breuer, Simon Pickin:
Soundness and Completeness of the NRB Verification Logic. CoRR abs/1306.5585 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
