| 2007 |
|---|
| 16 | EE | 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 |
| 15 | EE | 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 |
|---|
| 14 | EE | 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 |
| 13 | EE | 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 |
| 12 | EE | 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 |
| 11 | EE | Peter T. Breuer,
Simon Pickin:
Symbolic approximation: an approach to verification in the large.
ISSE 2(3-4): 147-163 (2006) |
| 2004 |
|---|
| 10 | EE | 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 |
|---|
| 9 | EE | 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 |
| 8 | EE | 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 |
|---|
| 7 | EE | 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 |
| 6 | EE | 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 |
| 5 | EE | 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) |
| 2001 |
|---|
| 4 | | 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 |
|---|
| 3 | EE | Simon Pickin,
Angeles Manjarrés Riesco:
Describing AI Analysis Patterns with UML.
UML 2000: 466-481 |
| 1994 |
|---|
| 2 | | Pierre Combes,
Simon Pickin:
Formalisation of a user view of network and services for feature interaction detection.
FIW 1994: 120-135 |
| 1993 |
|---|
| 1 | | Simon Pickin,
Yan Yang,
Wiet Bouma,
Sylvie Simon,
Tanja de Groot:
Process Instances in LOTOS Simulation.
FME 1993: 521-540 |
