Simon Pickin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2019

Semi-Automatic Generation of Competency Maps Based on Educational Data MiningDavid Alfonso, Angeles Manjarrés Riesco, Simon Pickin. ijcisys, 12(2):744-760, 2019. [doi]

Safe Compilation for Encrypted ComputingPeter T. Breuer, Simon Pickin. iacr, 2019:301, 2019. [doi]

SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degreesAlberto Núñez, Carolina Mañoso, Angel Pérez de Madrid, Simon Pickin. caee, 27(5):1126-1138, 2019. [doi]

2015

Processor Rescue - Safe Coding for Hardware AliasingPeter T. Breuer, Jonathan P. Bowen, Simon Pickin. somet 2015: 137-148 [doi]

2014

Open source verification in an anonymous volunteer networkPeter T. Breuer, Simon Pickin. SCP, 91:161-187, 2014. [doi]

2013

Soundness and Completeness of the NRB Verification LogicPeter T. Breuer, Simon Pickin. SEFM 2014: 389-404 [doi]

2010

A formal nethod (a networked formal method)Peter T. Breuer, Simon Pickin. isse, 6(4):255-268, 2010. [doi]

Open Source Verification under a CloudPeter T. Breuer, Simon Pickin. eceasst, 33, 2010. [doi]

2008

Approximate verification in an open source worldPeter T. Breuer, Simon Pickin. isse, 4(1):87-105, 2008. [doi]

2007

Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C ProjectsPeter T. Breuer, Simon Pickin. sew 2007: 246-255 [doi]

Test Synthesis from UML Models of Distributed SoftwareSimon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon. TSE, 33(4):252-269, 2007. [doi]

2006

2004

Using UML Sequence Diagrams as the Basis for a Formal Test Description LanguageSimon Pickin, Jean-Marc Jézéquel. IFM 2004: 481-500 [doi]

2003

Construction of a Development Environment for GPMs Based on OO Analysis PatternsManuel Arias, Angeles Manjarrés Riesco, Francisco Javier Díez, Simon Pickin. kes 2003: 1351-1356 [doi]

Automated Requirements-based Generation of Test Cases for Product FamiliesClémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel. ASE 2003: 263-266 [doi]

2002

2001

A UML-integrated Test Description Language for Component TestingSimon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray. uml 2001: 208-223

2000

Describing AI Analysis Patterns with UMLSimon Pickin, Angeles Manjarrés Riesco. uml 2000: 466-481 [doi]

1994

Formalisation of a user view of network and services for feature interaction detectionPierre Combes, Simon Pickin. fiw 1994: 120-135

1993

Process Instances in LOTOS SimulationSimon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot. FM 1993: 521-540

Sign in or sign up to see more results.

runs on WebDSL