Simon Pickin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

16EEPeter T. Breuer, Simon Pickin: Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. SEW 2007: 246-255
15EESimon 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)
14EEPeter 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
13EEPeter 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
12EEPeter 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
11EEPeter T. Breuer, Simon Pickin: Symbolic approximation: an approach to verification in the large. ISSE 2(3-4): 147-163 (2006)
10EESimon Pickin, Jean-Marc Jézéquel: Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. IFM 2004: 481-500
9EEClé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
8EEManuel 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
7EESimon 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
6EEAngeles 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
5EEAngeles 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)
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
3EESimon Pickin, Angeles Manjarrés Riesco: Describing AI Analysis Patterns with UML. UML 2000: 466-481
2 Pierre Combes, Simon Pickin: Formalisation of a user view of network and services for feature interaction detection. FIW 1994: 120-135
1 Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot: Process Instances in LOTOS Simulation. FME 1993: 521-540

Coauthor Index

1Manuel Arias [8]
2Wiet Bouma (L. G. Bouma) [1]
3Peter T. Breuer [11] [12] [13] [14] [16]
4Pierre Combes [2]
5Philippe Desfray [4]
6Francisco Javier Díez [8]
7Tanja de Groot [1]
8Alain Le Guennec [7]
9Thierry Heuillard [4]
10Claude Jard [4] [7] [15]
11Thierry Jéron [7] [15]
12Jean-Marc Jézéquel [4] [6] [7] [9] [10] [15]
13María M. Larrondo-Petrie (Maria M. Larrondo-Petrie) [12]
14José Mira Mira (José Mira) [5]
15Clémentine Nebut [9]
16Damien Pollet [6]
17Angeles Manjarrés Riesco [3] [5] [6] [8]
18Sylvie Simon [1]
19Gerson Sunyé [6]
20Yves Le Traon [7] [9] [15]
21Yan Yang [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)