The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Simon Pickin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002