Search the dblp DataBase

Publications of Author

1. Peter T. Breuer, Simon Pickin
   One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. [Citation Graph (0, 0)][DBLP]
   Ada-Europe, 2006, pp:56-70 [Conf]
   
2. Pierre Combes, Simon Pickin
   Formalisation of a user view of network and services for feature interaction detection. [Citation Graph (0, 0)][DBLP]
   FIW, 1994, pp:120-135 [Conf]
   
3. Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot
   Process Instances in LOTOS Simulation. [Citation Graph (0, 0)][DBLP]
   FME, 1993, pp:521-540 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   FORTE, 2002, pp:97-113 [Conf]
   
5. Peter T. Breuer, Simon Pickin
   Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science (4), 2006, pp:765-772 [Conf]
   
6. Simon Pickin, Jean-Marc Jézéquel
   Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. [Citation Graph (0, 0)][DBLP]
   IFM, 2004, pp:481-500 [Conf]
   
7. Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel
   Automated Requirements-based Generation of Test Cases for Product Families. [Citation Graph (0, 0)][DBLP]
   ASE, 2003, pp:263-266 [Conf]
   
8. Manuel Arias, Angeles Manjarrés Riesco, Francisco Javier Díez, Simon Pickin
   Construction of a Development Environment for GPMs Based on OO Analysis Patterns. [Citation Graph (0, 0)][DBLP]
   KES, 2003, pp:1351-1356 [Conf]
   
9. Angeles Manjarrés Riesco, Gerson Sunyé, Damien Pollet, Simon Pickin, Jean-Marc Jézéquel
   Al analysis patterns as UML meta-model constructs. [Citation Graph (0, 0)][DBLP]
   SEKE, 2002, pp:237-238 [Conf]
   
10. Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray
    A UML-integrated Test Description Language for Component Testing. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:208-223 [Conf]
    
11. Simon Pickin, Angeles Manjarrés Riesco
    Describing AI Analysis Patterns with UML. [Citation Graph (0, 0)][DBLP]
    UML, 2000, pp:466-481 [Conf]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:223-233 [Conf]
    
13. Angeles Manjarrés Riesco, Simon Pickin, José Mira
    Knowledge model reuse: therapy decision through specialisation of a generic decision model. [Citation Graph (0, 0)][DBLP]
    Expert Syst. Appl., 2002, v:23, n:2, pp:113-135 [Journal]
    
14. Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon
    Test Synthesis from UML Models of Distributed Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:4, pp:252-269 [Journal]
    
15. 
    Verification in the Large via Symbolic Approximation. [Citation Graph (, )][DBLP]
    
    
16. 
    Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. [Citation Graph (, )][DBLP]